Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (3)Журнали та продовжувані видання (1)Автореферати дисертацій (1)Реферативна база даних (19)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Песчаненко В$<.>)
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16
1.

Песчаненко В. С. 
Часткові обчислення у системі інсерційного моделювання [Електронний ресурс] / В. С. Песчаненко // Проблеми програмування. - 2013. - № 1. - С. 14-22. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_1_4
Попередній перегляд:   Завантажити - 449.797 Kb    Зміст випуску     Цитування
2.

Летичевський О. А. 
Програмування в обмеженнях у системі інсерційного моделювання [Електронний ресурс] / О. А. Летичевський, О. О. Летичевський, В. С. Песчаненко, І. О. Блинов, Д. М. Кльонов // Проблеми програмування. - 2011. - № 4. - С. 14-22. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2011_4_4
Попередній перегляд:   Завантажити - 251.585 Kb    Зміст випуску     Цитування
3.

Колчин А. В. 
Обзор современных систем и методов верификации формальных моделей [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
Попередній перегляд:   Завантажити - 407.579 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Львов М. С. 
Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием [Електронний ресурс] / М. С. Львов, В. С. Песчаненко // Кибернетика и системный анализ. - 2012. - Т. 48, № 6. - С. 144-156. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_6_18
The method involves constructing canonical forms of a system of linear inequalities. Canonical forms represent a partition of the convex polyhedron of solutions of the system into a union of disjoint trapezoids. The result of using this method is a set of basis vectors of the polyhedron of solutions. An insertion model of the algorithm is presented.
Попередній перегляд:   Завантажити - 239.716 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Летичевский А. А. 
Алгоритм трансляции APLAN-кода [Електронний ресурс] / А. А. Летичевский, А. А. Летичевский, В. С. Песчаненко // Управляющие системы и машины. - 2010. - № 6. - С. 40-46. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2010_6_8
Попередній перегляд:   Завантажити - 333.177 Kb    Зміст випуску     Цитування
6.

Песчаненко В. С. 
Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse [Електронний ресурс] / В. С. Песчаненко // Управляющие системы и машины. - 2011. - № 5. - С. 80-85. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2011_5_13
Приведены основне сведения о системе инсерционного моделирования Insertion Modeling System и о технологии Graphical Modeling Framework Eclipse. Представлен процесс моделирования графических редакторов средствами Eclipse. Описаны диаграмма классов для графического редактора IMS и пример модели транзиционной системы в этом редакторе.
Попередній перегляд:   Завантажити - 453.242 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Летичевский А. А. 
Система доказательного программирования [Електронний ресурс] / А. А. Летичевский, М. К. Мороховец, В. С. Песчаненко // Управляющие системы и машины. - 2012. - № 6. - С. 64-71. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_10
Попередній перегляд:   Завантажити - 373.623 Kb    Зміст випуску     Цитування
8.

Летичевский А. А. 
Генерация символьных трасс в системе инсерционного моделирования [Електронний ресурс] / А. А. Летичевский, А. Ал. Летичевский, В. С. Песчаненко, А. А. Губа // Кибернетика и системный анализ. - 2015. - Т. 51, № 1. - С. 7-19. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_1_4
Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий.
Попередній перегляд:   Завантажити - 171.574 Kb    Зміст випуску    Реферативна БД     Цитування
9.

Летичевский А. А. 
Свойства предикатного трансформера системы VRS [Електронний ресурс] / А. А. Летичевский, А. Б. Годлевский, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 3-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_2
Попередній перегляд:   Завантажити - 147.659 Kb    Зміст випуску     Цитування
10.

Львов М. С. 
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул [Електронний ресурс] / М. С. Львов, В. С. Песчаненко, А. А. Летичевский, Ю. Г. Тарасич, А. С. Баев // Кибернетика и системный анализ. - 2018. - Т. 54, № 6. - С. 159-169. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_6_18
Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения.
Попередній перегляд:   Завантажити - 197.22 Kb    Зміст випуску    Реферативна БД     Цитування
11.

Летичевський О. О. 
Огляд сучасних методів захищеності та безпеки програмних систем [Електронний ресурс] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк, В. Ю. Радченко, В. М. Яковлев // Кибернетика и системный анализ. - 2019. - Т. 55, № 5. - С. 156-169. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2019_55_5_16
Попередній перегляд:   Завантажити - 150.826 Kb    Зміст випуску     Цитування
12.

Летичевський О. О. 
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах [Електронний ресурс] / О. О. Летичевський, В. С. Песчаненко, В. С. Харченко, В. А. Волков, О. М. Одарущенко // Кибернетика и системный анализ. - 2020. - Т. 56, № 5. - С. 29–37. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2020_56_5_5
Попередній перегляд:   Завантажити - 99.433 Kb    Зміст випуску     Цитування
13.

Летичевский А. А. 
Оптимизация переписывающей машины системы алгебраического программирования APS [Електронний ресурс] / А. А. Летичевский, А. А. (мл.) Летичевский, В. С. Песчаненко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2009. - № 847, Вип. 11. - С. 213-220. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2009_847_11_24
Попередній перегляд:   Завантажити - 175.255 Kb    Зміст випуску     Цитування
14.

Летичевський О. О. 
Техніка нечіткого тестування та її використання в задачах кібербезпеки [Електронний ресурс] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк // Кібернетика та системний аналіз. - 2022. - Т. 58, № 1. - С. 181–189. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2022_58_1_20
Розглянуто технологію нечіткого тестування, яка полягає у тестуванні програмних систем із поданням критичних або неочікуваних вхідних даних. Наведено огляд поточного стану проблеми та основні системи нечіткого тестування. Проаналізовано підхід до технології нечіткого тестування з використанням алгебричних методів, зокрема символьного моделювання. Розглянуто алгоритм "легкої ваги", який розроблено для скорочення часу генерації тестів. Алгоритм реалізовано в середовищі системи інсерційного моделювання та апробовано в тестуванні давно відомих версій систем, розроблених в ОС Linux.
Попередній перегляд:   Завантажити - 84.327 Kb    Зміст випуску    Реферативна БД     Цитування
15.

Летичевський О. О. 
Інсерційна семантика VHDL-мови електронного дизайну [Електронний ресурс] / О. О. Летичевський, О. М. Одарущенко, В. С. Песчаненко, В. С. Харченко, В. В. Москалець // Кібернетика та системний аналіз. - 2022. - Т. 58, № 2. - С. 154–165. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2022_58_2_17
Досліджено проблему інсерційної семантики специфікацій апаратного забезпечення, зокрема мови VHDL. Побудова семантики потрібна для представлення первинного коду мови VHDL у вигляді інсерційної моделі за допомогою алгебри поведінок. Це представлення надає змогу широко застосовувати формальні методи інсерційного моделювання для верифікації електронних проектів критичних систем. Розглянуто основні конструкції мови VHDL, зокрема процес, архітектуру, паралельні оператори, та їхню інсерційну семантику. У вигляді поведінкових рівнянь побудовано потік керування VHDL-програми. Послідовні оператори представлено як дії алгебри поведінок. Розглянуто проблему перегонів сигналів і методів її виявлення через визначення властивості переставності (permutability).
Попередній перегляд:   Завантажити - 112.764 Kb    Зміст випуску    Реферативна БД     Цитування
16.

Летичевський О. О. 
Сучасні методи та програмні системи молекулярного моделювання та застосування алгебри поведінок [Електронний ресурс] / О. О. Летичевський, В. А. Волков, Ю. Г. Тарасіч, Г. О. Соколова, В. С. Песчаненко // Кібернетика та системний аналіз. - 2022. - Т. 58, № 3. - С. 150–163. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2022_58_3_17
Розглянуто основні методи молекулярного моделювання та спеціалізоване програмне забезпечення для створення та дослідження молекулярних моделей. Наведено результати першого етапу побудови середовища для дослідження молекулярної і біомолекулярної взаємодії, що базується на формалізмі алгебри поведінки та інсерційного моделювання, а також результати експерименту застосування запропонованого підходу до моделювання ковалентного неполярного зв'язку.
Попередній перегляд:   Завантажити - 115.679 Kb    Зміст випуску    Реферативна БД     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського