http://dspace.nbuv.gov.ua:80/handle/123456789/84008 2026-04-28T15:53:25Z 2026-04-28T15:53:25Z Баркалов, А.А. Титаренко, Л.А. Баркалов, А.А. (мл.) http://dspace.nbuv.gov.ua:80/handle/123456789/84044 2015-07-03T00:02:16Z 2012-01-01T00:00:00Z

Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС Баркалов, А.А.; Титаренко, Л.А.; Баркалов, А.А. (мл.) Запропоновано дві моделі схеми мікропрограмного автомата Мілі, що базуються на перетворенні кодів об’єктів. Методи синтезу орієнтовані на ПЛІС типу FPGA, що включають вбудовані блоки пам’яті. Для зменшення числа логічних елементів у схемі автомата запропоновано зменшувати кількість нерегулярних функцій у його описі. Наведено приклад синтезу і результати досліджень для методу, який ґрунтується на перетворенні кодів наборів мікрооперацій у коди станів автомата.; Two models of logic circuit are proposed for Mealy FSM. The models target on FPGA with embedded memory blocks and are based on transformation of the object codes. To decrease the number of LUT elements, it is proposed to decrease the number of irregular functions representing FSM. Both example of design and results of experiments are given for the method based on transformation of the codes of collections of microoperations into state codes of FSM.

2012-01-01T00:00:00Z Левин, В.И. http://dspace.nbuv.gov.ua:80/handle/123456789/84043 2015-07-03T00:02:17Z 2012-01-01T00:00:00Z

Синтез логических многополюсников с заданной динамикой выходных процессов Левин, В.И. Сформульовано задачу синтезу динамічного процесу заданої форми на виході деякого логічного (n, 1)-полюсника при заданій залежності b = f(a1,...,an) моменту b переключення вихідного сигналу від моментів a1,..., an переключення вхідних сигналів, f — функція неперервної логіки. Запропоновано регулярну процедуру розв’язання задачі за допомогою (n, 1)-полюсника, що реалізує потрібну залежність f . Наведено розв’язки для всіх можливих типів випадків, а також алгоритм розв’язання в загальному випадку.; The problem of the synthesis of a dynamic process of prescribed form at the output of some logical ((n, 1)-pole device is formulated, for the given dependence b = f(a1,...,an) of switching of the output signal on moments a1,..., an of switching of input signals, f is a continuous-logic function. A regular procedure is proposed to solve the problem by constructing an (n, 1)-pole device that implements the required dependence f . The solutions for all the possible typical cases and the solution algorithm for the general case are given.

2012-01-01T00:00:00Z Акуловский, В.Г. http://dspace.nbuv.gov.ua:80/handle/123456789/84042 2015-07-03T00:02:10Z 2012-01-01T00:00:00Z

Алгебра алгоритмов, базирующаяся на данных Акуловский, В.Г. На основі модифікованої моделі ЕОМ Глушкова побудовано систему алгоритмічних алгебр. Дані формалізовані й специфіковані на вході й виході Д-операторів і, таким чином, побудований формальний апарат базується на даних. Доведено деякі властивості Д-операторів і операцій, що утворюють сигнатуру алгебри, а також можливість побудови похідних Д-операторів.; A system of algorithmic algebras is formed based on a modified Glushkov’s computer model. Data are formalized and specified at the input and output of D-operators and thus the formal apparatus is based on data. Some properties of D-operators and of operations that form the signature of algebra are proved and setting up derived D-operators is shown to be possible.

2012-01-01T00:00:00Z Бабенко, Л.П. http://dspace.nbuv.gov.ua:80/handle/123456789/84041 2015-07-03T00:02:40Z 2012-01-01T00:00:00Z

Как понять программу. Характеристический анализ современных подходов к пецификации программ Бабенко, Л.П. Для сучасних інформаційних технологій характерною рисою є тенденція до інтеграції і відкритого обміну ресурсами (знаннями, онтологіями, публікаціями, компонентами розробки програмного забезпечення, стандартами та іншими документами). Продуктивність такого обміну визначається здатністю користувача зрозуміти зміст і призначення ресурсів. Аналізуються підходи до специфікації інформаційних ресурсів у проектах, що одержали найбільший резонанс. Аналізуються їх загальні і специфічні концептуальні та проектні рішення, характеристики, що застосовуються для розкриття змісту специфікацій.; One of the main features of modern information technologies is the tendency to integration and open interchange of information resources (knowledge, ontologies, publications, software development components, standards, and other documents). The usefulness of such exchange is determined by the ability of the user to understand the sense and purpose of such resources. The author analyzes the approaches to specifications of information resources in some most popular projects and their common and specific conceptual and design solutions, sets of attributes applied to achieve the understandability of specifications.

2012-01-01T00:00:00Z