Искусственный интеллект, 2008, № 3http://dspace.nbuv.gov.ua:80/xmlui/handle/123456789/68112024-03-28T22:05:52Z2024-03-28T22:05:52ZПульсирующие информационные решётки с матричной коммутациейШмойлов, В.И.Бронзов, В.О.http://dspace.nbuv.gov.ua:80/xmlui/handle/123456789/71662010-03-26T10:01:01Z2008-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/xmlui/handle/123456789/71652010-03-26T10:00:59Z2008-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/xmlui/handle/123456789/71642010-03-26T10:01:03Z2008-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/xmlui/handle/123456789/71632010-03-26T10:00:58Z2008-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