http://dspace.nbuv.gov.ua:80/handle/123456789/6811 2026-04-07T08:29:43Z 2026-04-07T08:29:43Z Шмойлов, В.И. Бронзов, В.О. http://dspace.nbuv.gov.ua:80/handle/123456789/7166 2010-03-26T10:01:01Z 2008-01-01T00:00:00Z

Пульсирующие информационные решётки с матричной коммутацией Шмойлов, В.И.; Бронзов, В.О. Рассматриваются пульсирующие информационные решётки с матричной коммутацией (пульсиры). Пульсиры представляют собой однородную вычислительную среду, ориентированную не на микросхему, а на пластину – кремниевую подложку диаметром до 400 мм. Пульсиры – совокупность однобитовых процессоров, которые соединены между собой «по близкодействию». Пульсиры с матричной коммутацией – пульсиры второго поколения, имеют развитую систему связей, которая обеспечивает коммутацию информационных потоков между ячейками, расположенными как на обеих поверхностях пластины, так и на разных пластинах.; There are viewed pulsating information lattices with matrix switching (pulsirs). Pulsating information lattices (pulsirs) are homogeneous computing environments of new generation, oriented to silicon wafers with diameter up to 400 mm. Pulsir is a set of bit-processors with close-range interaction. Pulsirs with matrix switching are the second generation pulsirs with extended commutation system which provides data flow commutation between cells placed on both sides of silicon wafer and on different wafers.

2008-01-01T00:00:00Z Четвериков, Г.Г. Вечирская, И.Д. http://dspace.nbuv.gov.ua:80/handle/123456789/7165 2010-03-26T10:00:59Z 2008-01-01T00:00:00Z

Формальное описание логического пространства Четвериков, Г.Г.; Вечирская, И.Д. Развита теория логического поля, логического векторного пространства, что позволяет определить класс задач, решаемых с помощью линейных логических преобразований. Приведена предикатная интерпретация логического пространства, которая является в свою очередь промежуточным этапом между формализацией естественноязыковой задачи и ее программной реализацией.; Дістала подальшого розвитку теорія логічного поля, логічного векторного простору, що дає можливість визначити клас задач, які розв’язують за допомогою лінійних логічних перетворень. Наведено предикатну інтерпретацію логічного простору, що служить в свою чергу проміжним етапом між формалізацією природномовної задачі та її програмною реалізацією.; The theory of logical field, logical vector space are developed. Its allow to define the class of tasks, wich we can solve using linear logical transformations. The predicate interpretation of logical space is leaded. It is a milestone in formalization of natural language problem and its software support.

2008-01-01T00:00:00Z Чеботарев, А.Н. Головинский, А.Л. http://dspace.nbuv.gov.ua:80/handle/123456789/7164 2010-03-26T10:01:03Z 2008-01-01T00:00:00Z

Доказательное проектирование алгоритмов функционирования реактивных систем Чеботарев, А.Н.; Головинский, А.Л. Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения.; Описується підхід до доказового проектування реактивних алгоритмів, що розвивається в Інституті кібернетики ім. В.М. Глушкова НАН України. Розглядаються основні проблеми, які виникають при проектуванні реактивних алгоритмів, що специфіковані логічною мовою L, та методи їх розв’язання.; An approach to provably-correct design of reactive algorithms is described, that has been developed at the Glushkov Institute of Cybernetics of the Ukrainian Academy of Sciences. The basic problems arising in the design of reactive algorithms specified in the logical language L, and methods to solve them are considered.

2008-01-01T00:00:00Z Царёв, И.В. http://dspace.nbuv.gov.ua:80/handle/123456789/7163 2010-03-26T10:00:58Z 2008-01-01T00:00:00Z

ЯРД – язык сетевого программирования в распределенных вычислительных системах с динамической архитектурой Царёв, И.В. Рассматривается сетевой язык программирования, предназначенный для параллельного программирования в распределённых системах, основанных на идеологии мультипроцессоров с динамической архитектурой (МДА), обеспечивающих автоматическое распараллеливание программ, высокую надежность вычислений и неограниченную масштабируемость. Рассматриваемый язык описывает не алгоритм решения задачи, а её структуру, которая изменяется в процессе решения задачи. Язык имеет две формы представления задачи – графическую и текстовую и полностью освобождает программиста от необходимости заботиться о распараллеливании задачи и об используемых вычислительных ресурсах.; Розглядається сітьова мова програмування, призначена для паралельного програмування в розподілених системах, заснованих на ідеології мультипроцесорів з динамічною архітектурою (МДА), які забезпечують автоматичне розпаралелювання програм, високу надійність обчислень і необмежену масштабованість. Дана мова описує не алгоритм рішення задачі, а її структуру, яка змінюється в процесі рішення задачі. Мова має дві форми представлення задачі – графічну і текстову і повністю звільняє програміста від необхідності піклуватися про розпаралелювання задачі і про використовувані обчислювальні ресурси.; Network programming language, dedicated for parallel programming in distributed systems based on ideology of multiprocessors with dynamic architecture (MDA) that provide automatic paralleling programs, high reliability of computations and unlimited scaling is considered. The language considered describes not the algorithm of the problem being solved but its initial structure that can be transformed during the process of solution. The language has two forms of program representation – graphic and text ones and completely releases the programmer from care of paralleling program and of computational resources used.

2008-01-01T00:00:00Z