Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами

Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, интенсивно взаимодействующих с внешними устройствами. Перспективность полученных...

Full description

Saved in:

Bibliographic Details
Published in:	Управляющие системы и машины
Date:	2012
Main Authors:	Дорошенко, А.Е., Акуловский, В.Г.
Format:	Article
Language:	Russian
Published:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Subjects:	Программная инженерия и программные средства
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/83068
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами / А.Е. Дорошенко, В.Г. Акуловский // Управляющие системы и машины. — 2012. — № 3. — С. 45-53. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

_version_	1859762086246088704
author	Дорошенко, А.Е. Акуловский, В.Г.
author_facet	Дорошенко, А.Е. Акуловский, В.Г.
citation_txt	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами / А.Е. Дорошенко, В.Г. Акуловский // Управляющие системы и машины. — 2012. — № 3. — С. 45-53. — Бібліогр.: 8 назв. — рос.
collection	DSpace DC
container_title	Управляющие системы и машины
description	Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, интенсивно взаимодействующих с внешними устройствами. Перспективность полученных возможностей показана на примере простейшей системы управления. The algebra of the algorithms with data is supplemented by the descriptions of input/output operations resulting in the modification of the Glushkov’s abstract model computer. The ability to describe the input/output operations is relevant to a wide range of systems, which are intensely interacting with external devices. The prospect of capabilities is demonstrated at the example of a simple control system. Алгебру алгоритмів з даними доповнено засобами опису операцій вводу-виводу в результаті модифікації абстрактної моделі ЕОМ Глушкова. Можливість опису операцій вводу-виводу актуальна для широкого класу систем, що інтенсивно взаємодіють із зовнішніми пристроями. Перспективність отриманих можливостей показано на прикладі простої системи управління.
first_indexed	2025-12-02T04:06:10Z
format	Article
fulltext	УСиМ, 2012, № 3 45 Программная инженерия и программные средства УДК: 519.681 А.Е. Дорошенко, В.Г. Акуловский Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной мо- дели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, интенсивно взаимо- действующих с внешними устройствами. Перспективность полученных возможностей показана на примере простейшей системы управления. The algebra of the algorithms with data is supplemented by the descriptions of input/output operations resulting in the modification of the Glushkov’s abstract model computer. The ability to describe the input/output operations is relevant to a wide range of systems, which are in- tensely interacting with external devices. The prospect of capabilities is demonstrated at the example of a simple control system. Алгебру алгоритмів з даними доповнено засобами опису операцій вводу-виводу в результаті модифікації абстрактної моделі ЕОМ Глушкова. Можливість опису операцій вводу-виводу актуальна для широкого класу систем, що інтенсивно взаємодіють із зовнішніми пристроями. Перспективність отриманих можливостей показано на прикладі простої системи управління. Введение. Ключевую роль в процессе разра- ботки алгоритмов программных систем [1–3] играют данные. В результате модификации из- вестной [4] модели ЭВМ Глушкова предложе- на алгебра алгоритмов с данными (САА\Д) [5, 6]. САА\Д – это система алгоритмических алгебр <U, L, >, где U – множество Д-опера- торов, L – множество логических условий,  – сигнатура операций, состоящая из логических операций 1, принимающих значения на мно- жестве L, и операций 2, принимающих значе- ния на множестве операторов U. Постановка задачи Принципиальные отличия САА\Д от алгеб- ры Глушкова состоят в следующем. Модификация модели ЭВМ заключается в том, что операционный автомат, входящий в указанную модель, оснащен памятью – носи- телем данных. Данными D, хранящимися в памяти, назы- вается упорядоченная пара  З, , где  – но- ситель данных (фрагмент памяти), З – кортеж значений, хранимый этим носителем данных в текущий момент времени. Введено понятие – состояние вычислитель- ного процесса. Определение 1. Состояние вычислительно- го процесса на любом i-м шаге выполнения 1T P d k i i i iD D D    определяется статической со- ставляющей (текущим состоянием памяти P iD – статические данные) и динамической состав- ляющей d iD и 1k i  , где d iD – текущее состояние множества динамических данных, 1k i  – состо- яние логического условия. Статическая состав- ляющая имеет место на каждом шаге вычисли- тельного процесса, т.е. P iD  при всех воз- можных i. Динамическая составляющая опре- делена только на некоторых его шагах, т.е. p , где d pD  в состоянии T pD и m , где 1{ }k m   в состоянии T mD . Эта составляющая существует только на данном шаге, т.е. для любого T jD , где j p и mj , выполняется d pD  и 1{ }k m  . При этом, если d pD , то 1{ }k p  , а если 1{ }k m  , то d mD . Из определения следует, что возможны сле- дующие состояния вычислительного процесса: T P i iD D ( d iD , 1{ }k i  ), T P d i i iD D D  ( 1{ }k i   ), 1{ }T P k i i iD D    ( d iD ). Д-операторы изменяют состояние вычисли- тельного процесса, переводя его из исходного для него состояния T iD в состояние 1 T iD  такое, 46 УСиМ, 2012, № 3 что 1 T T i iD D  . Они в общем случае записывают- ся в виде (D ) X (D ), где D и D  – данные, специфицированные на его входе и выходе, чем и обусловлено название операторов. На входе и выходе Д-операторов, в соответствии с определением 1, специфицируются статические, динамические данные и логические условия. Статические данные D  D и D  D  – это кортежи значений, хранимые в памяти D  D p, D   D p и влияющие на состояние вычислитель- ного процесса P T i iD D на каждом его шаге. Динамические данные d iD  D  T iD – это кортеж значений, который не хранится в памя- ти, а определен (существует) только на теку- щем шаге вычислительного процесса. Логические условия 1k i  D  T iD в общем случае k +1-значные 1 {0,1,..., 1, }k k    , где  – неопределенное значение логического ус- ловия. В частных случаях логические условия могут быть произвольной значности, напри- мер, для трехзначных логических условий 3 3 {0,1, }E    . Логические условия определены 1{ }k T i iD  (существуют) только на текущем шаге вычислительного процесса. Д-операторы образуют следующий базовый набор:  (D)O(D ) переводит вычислительный про- цесс в состояние 1 1 T P i iD D  такое, что 1 P P i iD D  , т.е. изменяет состояние памяти;  (D)O(D d) переводит вычислительный про- цесс в состояние 1 1 1 T P d i i iD D D    такое, что 1 d iD  , 1 P P i iD D  , т.е. определяет (продуциру- ет) динамические данные;  1( )P( )kD  представляет собой в общем слу- чае n-местную логическую функцию, называе- мую предикатом. Предикат переводит в со- стояние 1 1 1 1{ }T P k i i iD D       такое, что 1 1{ }k i   , 1 P P i iD D  , т.е. определяет (продуцирует) k +1-зна- чное (в общем случае) логическое условие. Исходя из определения 1, введено понятие тождественного Д-оператора. Определение 2. Д-оператор (D) X (D), в ре- зультате исполнения которого получено соот- ношение 1 T T i iD D  , будем называть тождествен- ным и обозначать Z. Из определения 2 и определения Д-опера- торов следует (D) X () = Z, () X () = Z. (1) Все возможные Д-операторы образуют мно- жество U, на котором определены операции САА\Д. Операция композиция (обозначается «») Д-операторов 1 1 1 2 2 2( ) ( )( ) ( )X X D D D D озна- чает последовательное их выполнение. Операция pk-дизъюнкции 1 1 1 1 2 2 2 1 1 1 1 1 1 1 1 2 2 2 1 1 1 1 1 [( ) ( )](( ) ( ) ( ) ( ) ... ( ) ( ) ( ) ( )) ( ) ( ) если α 1; ( ) ( ) если 2; . . . . . . . . . . . ( ) ( ) если 0; ( ) ( ) если . k k k k k k k k k k k k k k k k k D P D O D D O D D O D D O D D O D , k D O D , k D O D , D O D ,                                         Результат выполнения этой операции – один из k +1 возможных Д-операторов, который вы- бирается в соответствии со значением логиче- ского условия 1k . В частных случаях, это операция p2-дизъ- юнкции 2 1 1 1 2 2 2 2 1 1 1 2 2 2 2 [( ](( ) ( ) ( ) ( )) ( ) ( ), если 1; ( ) ( ), если 1, D )P( ) D O D D O D D O D D O D             где, в соответствии со значением логического условия 2 , выбирается один из двух возмож- ных Д-операторов и другие производные опе- рации р-дизъюнкции. Операция р-итерации 2[( ) ( )]{( ) ( )}D P D O D  осуществляет цик- лическое выполнение Д-оператора (D)O(D ) (тела цикла) при 12  и завершается в про- тивном случае. УСиМ, 2012, № 3 47 Д-оператор в рамках САА\Д может быть представлен в следующей форме. Определение 3. Представление любого Д- оператора из U через образующие элементы системы <U, L, > называется регулярной схе- мой этого Д-оператора (РСД). Поскольку любая операция САА\Д может рассматриваться как Д-оператор, определим еще одну форму представления Д-операторов. Определение 4. Композиционной схемой (КС) Д-оператора из U называется представле- ние этого Д-оператора в виде композиции дру- гих Д-операторов, с помощью которых, в част- ности, представлены операции сигнатуры САА\Д из множества 2 . На некоторых этапах разработки и/или при описании некоторых классов алгоритмов мо- гут совместно использоваться обе формы записи Д-операторов, такую форму записи назовем композиционно-регулярной схемой (КРС). В приведенном алгебраическом аппарате средства, ориентированные на описание взаи- модействия алгоритма с внешними устрой- ствами (ВУ), отсутствуют. При этом известно, что большинство программных систем интен- сивно с ними взаимодействует и, очевидно, что такое взаимодействие существенным об- разом влияет на свойства алгоритма. Чтобы восполнить указанный пробел расширим воз- можности САА\Д. Формализация операций ввода-вывода Для обеспечения возможности описания ал- горитмов, взаимодействующих с ВУ, выполним еще одну модификацию модели ЭВМ и пока- жем ее на рисунке. Будем полагать, что ВУ являются носите- лями данных, организованных следующим об- разом. Элементарным носителем данных есть бит (разряд). Некоторая совокупность элемен- тарных носителей данных образуют простые данные, в общем случае различные. Некоторая совокупность простых носителей данных обра- зуют составные носители данных. Эти носите- ли данных являются их источниками и/или приемниками. Подчеркнем, что не все устрой- ства функционируют как источники и прием- ники данных, некоторые из них выполняют одну из этих функций. Будем различать три типа ВУ, т.е. ВУ = {ВП, УВВ, УСО}, где ВП – множество устройств внешней памяти ВП = {ВП1, ВП2, , ВПm}, УВВ – множество устройств ввода-вывода 1 2УВВ = {УВВ ,УВВ ,...,УВВ }n , УСО – множе- ство устройств связи с объектом управления 1 1УСО = {УСО ,УСО ,...,УСО }k . Каждое устройство ВП будем рассматри- вать как множество файлов ВП ВП 1 2ВП { , ,...i i i F F ВП..., }i rF , а каждый файл как носитель данных, образованный простыми или составными но- сителями данных ВП ВП ВП ВП 1 2{ , ,..., } i i i j j ji F F F j nF     . Каждое УВВ и УСО будем рассматривать как носитель данных, образованный простыми или составными носителями данных УВВр  УВВ УВВ 1{ ,..., }p p m   и УСО УСО 1УСО { ,..., }s s s r   . Данными D, как и в случае с памятью, назо- вем упорядоченную пару  З, , где  – носитель данных, З – кортеж значений, хра- нимый этим носителем данных в текущий мо- мент времени. Поскольку ВУ представляют собой некото- рую иерархию, то для записи вводимых и вы- водимых данных в зависимости от степени де- тализации алгоритма будем использовать сле- дующие обозначения: _ ,R ВУD _ ,W ВУD когда речь идет о всех внешних устройствах; _ВПRD , _УВВRD , _УСОRD , _ВПWD , _УВВWD , _УСОWD , ко- гда речь идет о группах устройств; _ВП ,iRD _УВВ ,iRD _УСО ,iRD _ВП ,iWD _УВВ ,iWD _УСО ,iWD _ВПiR jF , _ВПiW jF , когда речь идет об отдельном i-м устройстве или файле на устройстве внеш- ней памяти в последнем случае; _УВВ ,iR kD _УСОiR kD , _УВВiW kD , _УСОiW kD , ВП_ i jR F kD , ВП_ i jW F kD , когда речь идет о конкретном k-м множестве данных, вводимых или выводимых на i-е ВУ, j-й файл i-го устройства ВП в последнем случае. В случаях, когда речь будет идти о вводи- мых или выводимых данных вне зависимости 48 УСиМ, 2012, № 3 от типа ВУ и уровня иерархии, такие данные в дальнейшем будем обозначать DR и DW соот- ветственно. Учитывая выполненную модификацию мо- дели ЭВМ, доопределим понятие состояния вычислительного процесса. Определение 5. Статическая составляющая состояния вычислительного процесса, опреде- ленная на каждом его шаге, включает состоя- ние внешних устройств DВУ и, таким образом, на любом i-м шаге вычислительный процесс находится в одном из трех возможных состоя- ний: BУT P i i iD D D  , BУT P d i i i iD D D D   , T P i iD D  BУ 1{ }k i iD    . В остальном данное определение полностью совпадает с определением 1. Исходя из определения 5, в базовый набор введем дополнительные Д-операторы, которые переводят вычислительный процесс из любого исходного состояния T iD в состояние 1 T T i iD D  , где 1 1{ }k i   , следующим образом:  (D) O (DW) выводит данные из памяти на ВУ и переводит вычислительный процесс в такое состояние, что BУ BУ 1i iD D  , 1 P P i iD D  ;  (Dd) O (DW) выводит динамические дан- ные на ВУ и переводит вычислительный про- цесс в такое состояние, что BУ BУ 1i iD D  , 1 P P i iD D  , 1 d iD  ;  (DR) O (D) вводит данные из ВУ и пере- водит вычислительный процесс в состояние такое, что 1 P P i iD D  , BУ BУ 1i iD D  , 1 d iD  ;  (DR) O (Dd) вводит данные c ВУ, опреде- ляет состояние динамической памяти и пере- водит вычислительный процесс в такое со- стояние, что 1 d iD  , BУ BУ 1i iD D  , 1 p p i iD D  ;  ( ) ( )WS D – выполняет служебные (вспомо- гательные) функции, например, включает, вы- ключает, осуществляет настройки ВУ. Этот Д- оператор переводит вычислительный процесс в такое состояние, что ВУ ВУ 1i iD D  , 1 p p i iD D  , 1 d iD  . Введенные Д-операторы, выполняющие опе- рации ввода-вывода, расширяют функциональ- ность, описывающих их схем. Композиционные схемы алгоритмов Из определений 3 и 4 следует, что могут быть построены производные Д-операторы. Напри- мер, 1 1 1 2 2 3 3( ) ( )( ) ( ) ( ) ( )d dD O D D O D D O D  , ( ) ( )dDO D 1 1 1 1( ) ( ) ( ) ( )k kD P D O     и т.д. В производных Д-операторах часть данных и функционально- сти инкапсулируется, т.е. они представляют собой более общие случаи Д-операторов. Про- цесс построения Д-операторов не ограничен и таким образом могут быть построены произ- водные Д-операторы неограниченной функ- циональности. Учитывая эту возможность, общий случай Д-оператора, выполняющего операции ввода– вывода, определим следующим образом. Определение 6. Общим случаем Д-опера- торов, осуществляющих операции ввода–вы- вода, будем называть Д-операторы вида ( , ) ( , )R WD D O D D , который при пустых мно- жествах некоторых входных и/или выходных данных трансформируется в частные случаи та- ких Д-операторов. Ограничения на возможно- сти получения частных случаев задаются свой- ством (1). Для данных, специфицированных на входе и выходе Д-операторов, допустимо как RD D , WD D , так и RD D , WD D . Теперь, с учетом определения 6, перейдем к рассмотрению композиционных схем алгорит- мов. Исходим из того, что алгоритм – это неко- торый случай Д-оператора. Для определения ал- горитма детализуем данные на входе и выходе Д-оператора. Заметим, что в данном случае под теоретико-множественными операциями пони- маются операции над множествами носителей данных. Определение 7. Входные и выходные дан- ные Д-оператора (D ) X (D ) представлены в виде следующих подмножеств:  D D   D , таких, что D D   и D D    ;  D D   D , таких, что D D   и  DD ~ , УСиМ, 2012, № 3 49 которые назовем: D  – исходные, D, D – про- ходные, D ~ – производные. При этом D D  D D  . Любое из подмножеств, образующих множества D и D , может быть пустым. Теперь определим алгоритм с учетом опре- деления 7. Определение 8. Произвольный автономный (не связанный с другими) алгоритм представ- ляет собой Д-оператор ( , ) ( )R WD D A D  , где D  – исходные, DR – вводимые данные, существу- ющие (определенные, имеющие определенные значения) до начала функционирования алго- ритма и RD D   , а DW-данные – результат его функционирования. Множества данных D  и DR по отдельности или вместе могут быть пустыми. Заметим, что WD , так как в противном случае, в соответствии со свойством 1, ( , ) ( )R WD D A D Z  . Алгоритм, в соответствии с определения- ми 4, 8, может быть представлен в виде КС, которую для общего случая мы и запишем 1 1 1 1 1 2 2 2 2 2 ( , ) ( ) ( , ) ( , ) ( , ) ( , ) ( , ) ( ). R W R W R W R W m m m m D D A D D D O D D D D O D D D D O D         , (2) Все исходные, вводимые и выводимые дан- ные «распределяются» внутри композиции Д- операторов, т.е. у 1 2 ... mD D D D     , 1 2 ...R R R R mD D D D    , 1 2 ...W W W W mD D D D    , (3) при выполнении этих условий и ограничения (1) у любого Д-оператора, входящего в КС, множества Di, R iD , W iD могут быть пустыми. Кроме того, данные обладают следующими свойствами 1D D   , mD . (4) Представление алгоритма в виде компози- ции Д-операторов будем рассматривать как первый шаг в процессе поуровневого его опи- сания (разработки). В результате дальнейшей детализации каж- дого Д-оператора, входящего в КС, на втором и всех последующих шагах будут получены семейства композиционных схем, образующие слои алгоритма. На i-м шаге слой алгоритма будет представлять собой совокупность сле- дующих выражений 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1( , ) ( , ) ( , ) ( , ) ... ( , ) ( ); i R W i R W i R W m m m m D D O D D D D O D D D D O D         1 1 1 1 1 2 2 2 2 1 2 2 2 2 2 1 1 1 1 1 ( , ) ( , ) ( , ) ( , ) ... ( , ) ( ); i R W i R m m W i R W m m m m m m m D D O D D D D O D D D D O D              … 1 1 1 1 1 1 1 1 1 1 1 ( , ) ( , ) ( , ) ( , ) ... ( , ) ( ); j j j j j j j j j i R W i R j j j j j m m m W i R W m m m m m m D D O D D D D O D D D D O D                   (5) … 1 1 1 1 1 1 1 1 1 1 1 ( , ) ( , ) ( , ) ( , ) ... ( , ) ( ) , n n n n n n n n n i R W i R n n n n n m m m W i R W m m m m m m D D O D D D D O D D D D O D                   , для которых свойства (3), (4) записываются в виде: 1 1 1 1 1 1 1 2 1 2 ( ... ),..., ( ... ); n n n i i i m n i m m m D D D D D D D D                  1 1 1 1 1 1 1 2 1 2 ( ... ),..., ( ... ); n n n i R i R R R i R m n i R R R m m m D D D D D D D D                1 1 1 1 1 1 1 1 2 1 2 ( ... ),..., ( ... ); n n n i W W W W i W m n i W W W m m m D D D D D D D D                1 1 1 i iD D   , nmD . Из изложенного видно, что алгоритм и об- разующие его Д-операторы, включающие опе- рации ввода-вывода, могут быть детализованы (декомпозированы), т.е. представлены в виде совокупностей КС. Проиллюстрируем эту возможность на при- мере классической для систем автоматическо- го управления (САУ) задачи, алгоритм реше- ния которой основан на интенсивном взаимо- действии с ВУ, т.е. на использовании операций ввода-вывода. САУ, используя некоторые исходные дан- ные, осуществляет ввод по готовности инфор- мации с двух датчиков, обработку введенной информации и вывод управляющих воздейст- вий на исполнительный механизм (ИМ). Пола- 50 УСиМ, 2012, № 3 гая, что датчики подключены к некоторому УСО1, а ИМ – к некоторому УСО3, алгоритм САУ (Д-оператор А) запишем в общем виде как 31 _УСО_УСО( , ) ( )WRD D A D  . Первый шаг детализации алгоритма предста- вим в виде следующей КРС 31 31 31 _УСО_УСО _УСО _УСО_УСО 1 1 1 _УСО_УСО 2 2 1 ( , ) ( ) ) [1]{ ( , ) ( ) ( , ) ( )} , WR W WR WR D D A D ( )S (D D D U D D D U D          (6) где 1 – тождественно истинное логическое ус- ловие. Из построенной КРС видно, что алгоритм САУ представляет собой две подсистемы U1 и U2, началу функционирования которых пред- шествует инициализация группы УСО, посред- ством Д-оператора _УСО( ) ( )WS D . Каждая подсистема вводит информацию 1_УСОRD с датчиков, подключенных к УСО1, а результаты обработки 3_УСО 1 WD выводит на один ИМ, подключенный к УСО3. При этом обе под- системы функционируют в «бесконечном» цик- ле, что характерно для систем данного класса. Продолжив детализацию алгоритма, получим три КРС:  31 УСОУСОУСО 1 2( ) ( ) ( ) ( ) ( ) ( );S D S D S D      31 1 1 3 _УСО_УСО _УСО 1 1 1 1 1 УСО2 2 2 1 _УСО 1 1 1 1 1 1 ( , ) ( ) [( ) ( ) ( ) ( )]{ }( ) (Д ) ( ,Д ) (Д )(Д ) ( ) ; WR R d d W D D U D D R D D P Z D R D O W D          (7)  31 1 1 3 _УСО_УСО _УСО 2 2 1 1 1 УСО2 3 3 2 _УСО 2 1 2 2 2 2 1 ( , ) ( ) [( ) ( ) ( ) ( )]{ } ( ) (Д ) ( ,Д ,Д ) (Д ) (Д ) ( ) , WR R d d W D D U D D R D D P Z D R D O W D            где 1Д и 2Д – данные, полученные с первого и второго датчиков, 1Д и 2Д – результаты об- работки этих данных. В первой КРС осуществляется инициализа- ция всех УСО. Во второй (первая подсистема) – ожидание готовности датчика до ее появления, с помо- щью операции р-итерации с тождественным те- лом цикла. Ввод данных с датчика, подключен- ного к первому порту УСО1, и занесение их в память (Д1). Обработка введенных данных, с ис- пользованием исходных данных ( 1D  ), занесе- ние результатов обработки в память ( 1Д ) и вы- вод на ИМ, подключенный к 1-му порту УСО3. В третьей (вторая подсистема) – выполня- ются та же последовательность действий при следующих отличиях. Данные вводятся с дат- чика, подключенного ко второму порту УСО1, и сохраняются в памяти 2Д . Продемонстрировав на конкретном примере возможность описания алгоритмов, содержа- щих операции ввода-вывода, перейдем к рас- смотрению информационных связей в КС. Информационные связи в схемах алго- ритмов В [7] было введено понятие связанных Д-опе- раторов, которое уточним в контексте данной работы. Определение 9. Д-операторы ( , ) ( ,R W i i i iD D O D )iD и ( , ) ( , )R W j j j j jD D O D D (i < j), входящие в КС, связаны, если для них выполняется соотноше- ние: i jD D  , т.е. некоторое подмножество выходных данных Д-оператора ( , ) ( , )R W i i i i iD D O D D поступает на вход Д-оператора ( , ) ( , )R W j j j j jD D O D D . Будем говорить, что множество данных i jD  i jD D  ( i j iD D и i j iD D ) связывает опе- раторы Oi и Oj (на что указывают используе- мые индексы) и эти данные назовем связы- вающими. Из определений 1 и 9 следует, что динами- ческие данные – связывающие, однако такая связь возможна только для последовательно выполняющихся Д-операторов, т.е. связанных операцией композиция. Для того чтобы специфицировать инфор- мационные связи Д-оператора, используем сле- дующую систему обозначений. Связывающие данные на входе j-го оператора, связывающие его с k-м, будем обозначать k jD  (где k – адрес источника, j – адрес приемника данных и k < j), а на выходе, связывающие его с p-м – УСиМ, 2012, № 3 51 ˆ j pD (где j – адрес источника, p – адрес при- емника данных и j < p). Понятие информационных связей в компо- зиционных схемах алгоритмов определим, с учетом определения 9, следующим образом. Определение 10. Множество л 1 ,j jS D  1, , , ,j i j j jD D D      назовем множеством ле- вых связей j-го оператора, а множество п jS  1 2 ˆ ˆ ˆ ˆ, , , , ,j j j j j p j nD D D D    – множеством его правых связей в КС. Любое из подмножеств пˆ j p jD S может быть пустым ( ˆ j pD  ), то- гда и для л j p jD S  выполняется j pD   . В соответствии с определениями 9, 10 для общего случая, когда каждый Д-оператор свя- зан со всеми следующими за ним и всеми предшествующими ему Д-операторами, за- пишем, используя введенные обозначения, композиционную схему алгоритма (2) со свя- зями 1 1 1 1 1 2 1 3 1 1 1 2 2 3 2 22 2 2 2 1 1 1 1 ˆ ˆ ˆ ˆ( , ) ( ) ( , ) ( , , ,..., ,..., ) ( , , ) ( , ,..., ,..., ) ... ... ( ,.., , ,..., , , ) ( , ,..., ,..., ) ... ... ( ,.., R W R W j n R W j n R W j i j j j j j j p j nj j j j n j D D A D D D O D D D D D D D D O D D D D D D D D D O D D D D D D                        1,..., , , ) ( ) .R W n n n n n n nD D D O D      Очевидно, что связи в КС могут быть спе- цифицированы на любом этапе детализации алгоритма. Используя эту возможность слой алгоритма (5), полученный на i-м шаге детали- зации, запишем в виде: 1 1 1 1 1 1 1 11 1 1 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 11 1 1 1 1 1 1 ˆ ˆ ˆ( , ) ( , ,..., ,..., ) ( , ) ( , ,..., ,..., ,..., ,..., ) ... ... ( ,..., ,..., , ) ( , ,..., ); j n n i R W j n i R W j m m m i R i W m j m m m m m m mm m m m D D O D D D D D D O D D D D D D D D D D D O D D D                   1 1 1 1 1 1 11 1 1 1 2 2 2 2 2 22 2 2 2 1 1 2 2 2 2 2 2 3 2 2 1 1 1 1 1 2 11 1 1 1 1 1 ˆ ˆ ˆ( , , ) ( , ,..., ,..., ) ( ,..., ,..., , , ) ( , ,..., ) ... ... ( ,..., ,..., , , ) ( , n i R W j n i R W m j m m m m m m mm m m m i R W m j m m m m mm m m m D D D O D D D D D D D D D O D D D D D D D D O D D                            21,..., );nm mD  … 1 1 1 1 1 11 1 1 1 1 1 1 1 1 1 1 1 2 11 1 1 1 ˆ ˆ ˆ( ,.., ,,..., , , ) ( , ,..., ,..., ) ( ,..., , , ) ( , ,..., ) ...j j j j j j nj j j j i R W j i j j j j j j j j j j p j n i R W m m m m m m mm m m m D D D D D O D D D D D D D D O D D D                               1 1 1( ,..., , , ) ( , ,..., );j j j j j j nj j j j i R W m m m m m m mm m m mD D D D O D D D        … 1 1 1 1 1 11 1 1 1 1 1 1 1 1 1 1 2 11 1 1 1 1 1 ( ,.., ,..., , , ) ( ) ( ,..., , , ) ( , ,..., ) ... ... ( ,..., , , ) ( ). n n n n n n nn n n n n n n n n n n i R W n j n n n n n n n i R W m m m m m m mm m m m R R m m m m m m m D D D D D O D D D D D O D D D D D D D O D                                    В записанных КС не только специфициро- ваны данные и связи между Д-операторами, но и все источники и приемники данных постав- лены в однозначное соответствие, т.е. любому ˆ j pD соответствует j pD  . При этом получена возможность спецификации информационных связей между всеми Д-операторами, образую- щими слой алгоритма, т.е. как внутри КС, так и между ними. Как правило, не все операторы в КС связаны друг с другом, так как в соответствии с опреде- лением 10 множества ˆ j pD ( j pD  ) могут быть пус- тыми. Более того, при л jS  и/или п jS  Д- оператор не имеет левых и/или правых связей. Возможность спецификации информацион- ных связей в алгоритмах весьма существенна с учетом контроля корректности информацион- ных связей между Д-операторами. Тем более, что такая возможность обеспечена на всех эта- пах разработки алгоритма. На данные, циркулирующие в КС, с учетом связывающих, налагаются некоторые ограни- чения. Утверждение. У Д-операторов, входящих в композиционную схему алгоритма, на входе, по- мимо вводимых, присутствуют только связыва- ющие и исходные (у первого 1 1 1 1 1( , ) ( , )R WD D O D D   – только исходные), а на выходе, помимо выво- димых, только связывающие (у последнего ( , ) ( )R W n n n nD D O D – только выводимые) данные. Доказательство следует из следующих про- стейших рассуждений. Если предположить, что на выходе Д-опера- тора 1 1( , ,.., , ,..., , ) ( , ,R W j j l j j j j j j j j D D D D D O D D       1 ˆ ˆ ˆ,..., ,..., )j j j p j nD D D специфицированы данные jD , отличные от связывающих и выводимых, 52 УСиМ, 2012, № 3 то они, очевидно, не будут использоваться на следующих шагах вычислительного процесса. Если предположить, что на входе j-го Д-опе- ратора 1 1( , , , , ,..., , ) ( ,R W j j j l j j j j j jD D D D D D O D       1 ˆ ˆ ˆ,..., ,..., )j j j p j nD D D специфицированы данные Dj, отличные от исходных, связывающих и входных, то они будут неопределенными на следующих шагах вычислительного процесса. В обоих случаях такие данные либо избы- точны, либо свидетельствуют о наличии ошиб- ки в спецификации данных. Утверждение доказано. Возможность идентификации «паразитных» спецификаций, в соответствии с утверждени- ем, еще одно положительное свойство введен- ных информационных связей. Проследим применимость спецификации ин- формационных связей для рассмотренного при- мера. Первый шаг декомпозиции САУ не выявил связей между подсистемами, что легко увидеть из (6). Специфицируем информационные связи в КРС, записанных в (7). Для этого последова- тельно пронумеруем все производные Д-опе- раторы: 31 1 1 3 _УСО_УСО _УСО2 1 1 1 1 1 1 УСО2 2 1 3 3 4 3 9 _УСО 3 4 4 5 4 51 4 5 3 ( , ) ( ) [( , ) ( ) ˆ ˆ( ) ( )]{ }( ) ( Д , Д ) ( , Д ) ( Д )( Д ) ( ) ; WR R d d W D D U D D D R D D P Z D R D O W D            31 1 1 3 _УСО_УСО _УСО2 2 2 1 2 6 УСО2 7 2 8 8 9 _УСО 3 9 9 10 9 101 9 10 3 ( , ) ( ) [( ) ( ) ˆ( ) ( )]{ }( ) ( Д ) ( , Д ) ( Д )*( Д ) ( ) . WR R d d W D D U D D R D D P Z D R D O W D           В обоих приведенных случаях все Д-опе- раторы последовательно связаны, что видно, во-первых, из наличия связывающих, в частно- сти динамических данных. Во-вторых, цикл ожидания готовности датчика, невзирая на отсутствие информационной связи, связан с Д-оператором, осуществляющим ввод дан- ных, «семантически», так как ввод с датчика по условию задачи осуществляется по его го- товности. При этом выявлена связь между подсисте- мами. Множество связывающих данных 3 9Д̂ ( 3 9Д  ), полученных в первой подсистеме, ис- пользуется для обработки данных во второй. Таким образом, наряду с возможностями кон- троля корректности алгоритмов, открываются дополнительные возможности для их анализа. Заключение. Очередной модификацией мо- дели ЭВМ осуществлено дальнейшее расши- рение возможностей алгебры алгоритмов с дан- ными. В результате развития алгебраического аппарата обеспечена возможность формализо- ванного описания операций ввода-вывода в алгоритмах, записанных в виде композицион- ных, регулярных или композиционно-регуляр- ных схем. Эти операции могут быть заданы для групп устройств, отдельных устройств и данных, доступных на этих устройствах, в за- висимости от степени детализации описывае- мого алгоритма. Эта возможность особенно актуальна для управляющих и информацион- но-управляющих систем, интенсивно взаимо- действующих с разнообразными и многочис- ленными внешними устройствами. Показаны свойства схем, содержащих опе- рации ввода-вывода, и возможность специфи- цировать все информационные связи как в КС алгоритмов, так и между схемами, образующи- ми слой алгоритма. Использование таких спе- цификаций в качестве средства контроля кор- ректности алгоритмов представляется весьма перспективным. Анализ информационных связей в алгорит- мах позволяет решать задачу их оптимизи- рующих преобразований. Отсутствие форма- лизованного описания взаимодействия алго- ритмов с ВУ ограничивало такую возможность [8]. Использование полученных в статье ре- зультатов для решения некоторых задач, опти- мизирующих преобразований алгоритмов, – ближайшая цель авторов. Кроме того, перспективные направления дальнейших исследований, использующих по- лученные результаты, – это задача оценки ин- формационной сложности алгоритмов и про- УСиМ, 2012, № 3 53 блема распараллеливания последовательных ал- горитмов. 1. Данные в языках программирования: абстракция и типология. Сб. ст. / Под ред. В. Агафонова. – М.: Мир, 1982. – 328 с. 2. Bastani F.B., Iyengar S.S. The effect of data structures on the logical complexity of programs // CACM, 1987, 30. – N 3. – P. 250–259. 3. Вирт Н. Алгоритмы + структуры данных = програм- мы. – М.: Мир, 1985. – 406 с. 4. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгеб- ра. Языки. Программирование. – К.: Наук. думка, 1978. – 319 с. 5. Акуловский В.Г. Расширенная алгебра алгоритмов. – Проблеми програмування. – 2007. – № 3 – C. 3–15. 6. Акуловский В.Г. Основы алгебры алгоритмов, бази- рующейся на данных / Матер. Сьомої міжнар. на- ук.-практ. конф. з програмування УкрПРОГ`2010. Київ // Проблеми програмування. – 2010. – № 2/3. – С. 89–96. 7. Акуловский В.Г. Некоторые аспекты формализации данных и декомпозиция Д-операторов // Там же. – 2009. – № 4 – C. 3–10. 8. Акуловский В.Г. Некоторые аспекты преобразования алгоритмов на основе формализации информаци- онных связей // Кибернетика и системный анализ. – 2009. – № 6. – С. 50–54. Поступила .03.11.2011 Тел. для справок: (044) 526-3539 (Киев) E-mail:dor@isofts.kiev.ua © А.Е. Дорошенко, В.Г. Акуловский, 2012  Окончание статьи М.Н. Дубовенко и др. Заключение. Добавление агентов иденти- фикации социальных сетей и пользователей в расширенную MVC-архитектуру распределен- ных приложений позволяет интегрировать со- циальные приложения в несколько социальных сетей одновременно и взаимодействовать с их пользователями без дополнительной разработ- ки программных систем. Гибкость такой архи- тектуры позволит в дальнейшем расширять биз- нес-логику социального приложения новыми задачами, а также адаптировать его под мо- бильные платформы. Социальные приложения как направление распределенных информационных систем да- ют инструментальную возможность масштаб- ным исследованиям и мониторингам в Интер- нете. Управление социальными приложениями можно развивать до корпоративного уровня для решения совместных научных задач при взаимодействии двух и более организаций не- зависимо от территориального расположения. 1. Белов В.М., Дубовенко М.Н. К проблеме Интернет- зависимости // Кибернетика и вычислительная тех- ника. – 2010. – 161. – С. 53–60. 2. http://vkontakte.ru/ developers.php#devstep2 3. Как создавать социальные приложения для Mail.Ru. – http://api.mail.ru/docs/guides/social-apps/ 4. Apps on Facebook.com. – http://developers.facebook. com/docs/guides/canvas/ 5. Соловйова К.О., Мовчан В.В. Розробка моделі про- грамного засобу візуалізації мережевих структур. – http://www.nbuv.gov.ua/portal/natural/vcpi/Sa/2010_9 /statya25_9.pdf 6. Карякин О.И., Кочетова Е.О., Щербак С.С. Техноло- гии разработки распределенных приложений и их применения в социальных сетях // Нові технології. Наук. вісн. Кременчуцького ун-ту економіки, інфор- маційних технологій і управління. – 2008 – № 4. – С. 70–77. 7. Дубовенко М.Н., Белов В.М. Информационная мо- дель взаимодействия программного исследователь- ского комплекса с внешними средами в Интернете / Мат. науч.-тех. шк.-сем., ФМШ Жукин, 21–24 ию- ня 2011 г. – С. 33–35. 8. Дубовенко М.Н., Белов В.М. Концептуальный алго- ритм классификации психологических проблем поль- зователей на основе приложений в социальных се- тях // Кибернетика и вычислительная техника. – 2011. – Вып. 165. – С. 3–15. Поступила 12.10.2011 Тел. для справок: (044) 503-9565 (Киев) E-mail: dep150@ukr.net © М.Н. Дубовенко, В.М. Белов, 2012  << /ASCII85EncodePages false /AllowTransparency false /AutoPositionEPSFiles true /AutoRotatePages /None /Binding /Left /CalGrayProfile (Dot Gain 20%) /CalRGBProfile (sRGB IEC61966-2.1) /CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2) /sRGBProfile (sRGB IEC61966-2.1) /CannotEmbedFontPolicy /Error /CompatibilityLevel 1.4 /CompressObjects /Tags /CompressPages true /ConvertImagesToIndexed true /PassThroughJPEGImages true /CreateJobTicket false /DefaultRenderingIntent /Default /DetectBlends true /DetectCurves 0.0000 /ColorConversionStrategy /CMYK /DoThumbnails false /EmbedAllFonts true /EmbedOpenType false /ParseICCProfilesInComments true /EmbedJobOptions true /DSCReportingLevel 0 /EmitDSCWarnings false /EndPage -1 /ImageMemory 1048576 /LockDistillerParams false /MaxSubsetPct 100 /Optimize true /OPM 1 /ParseDSCComments true /ParseDSCCommentsForDocInfo true /PreserveCopyPage true /PreserveDICMYKValues true /PreserveEPSInfo true /PreserveFlatness true /PreserveHalftoneInfo false /PreserveOPIComments true /PreserveOverprintSettings true /StartPage 1 /SubsetFonts true /TransferFunctionInfo /Apply /UCRandBGInfo /Preserve /UsePrologue false /ColorSettingsFile () /AlwaysEmbed [ true ] /NeverEmbed [ true ] /AntiAliasColorImages false /CropColorImages true /ColorImageMinResolution 300 /ColorImageMinResolutionPolicy /OK /DownsampleColorImages true /ColorImageDownsampleType /Bicubic /ColorImageResolution 300 /ColorImageDepth -1 /ColorImageMinDownsampleDepth 1 /ColorImageDownsampleThreshold 1.50000 /EncodeColorImages true /ColorImageFilter /DCTEncode /AutoFilterColorImages true /ColorImageAutoFilterStrategy /JPEG /ColorACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /ColorImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000ColorACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000ColorImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasGrayImages false /CropGrayImages true /GrayImageMinResolution 300 /GrayImageMinResolutionPolicy /OK /DownsampleGrayImages true /GrayImageDownsampleType /Bicubic /GrayImageResolution 300 /GrayImageDepth -1 /GrayImageMinDownsampleDepth 2 /GrayImageDownsampleThreshold 1.50000 /EncodeGrayImages true /GrayImageFilter /DCTEncode /AutoFilterGrayImages true /GrayImageAutoFilterStrategy /JPEG /GrayACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /GrayImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000GrayACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000GrayImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasMonoImages false /CropMonoImages true /MonoImageMinResolution 1200 /MonoImageMinResolutionPolicy /OK /DownsampleMonoImages true /MonoImageDownsampleType /Bicubic /MonoImageResolution 1200 /MonoImageDepth -1 /MonoImageDownsampleThreshold 1.50000 /EncodeMonoImages true /MonoImageFilter /CCITTFaxEncode /MonoImageDict << /K -1 >> /AllowPSXObjects false /CheckCompliance [ /None ] /PDFX1aCheck false /PDFX3Check false /PDFXCompliantPDFOnly false /PDFXNoTrimBoxError true /PDFXTrimBoxToMediaBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXSetBleedBoxToMediaBox true /PDFXBleedBoxToTrimBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXOutputIntentProfile () /PDFXOutputConditionIdentifier () /PDFXOutputCondition () /PDFXRegistryName () /PDFXTrapped /False /CreateJDFFile false /Description << /ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064406440637062806270639062900200641064A00200627064406450637062706280639002006300627062A0020062F0631062C0627062A002006270644062C0648062F0629002006270644063906270644064A0629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E0635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E> /BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043c0430043a04410438043c0430043b043d043e0020043f044004380433043e04340435043d04380020043704300020043204380441043e043a043e043a0430044704350441044204320435043d0020043f04350447043004420020043704300020043f044004350434043f0435044704300442043d04300020043f043e04340433043e0442043e0432043a0430002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e> /CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002> /CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002> /CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002c0020006b00740065007200e90020007300650020006e0065006a006c00e90070006500200068006f006400ed002000700072006f0020006b00760061006c00690074006e00ed0020007400690073006b00200061002000700072006500700072006500730073002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e> /DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e> /DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e> /ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e> /ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e4007400740065006900640020006b00760061006c006900740065006500740073006500200074007200fc006b006900650065006c007300650020007000720069006e00740069006d0069007300650020006a0061006f006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e000d000a> /FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e> /GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003c003bf03c5002003b503af03bd03b103b9002003ba03b103c42019002003b503be03bf03c703ae03bd002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003c003c103bf002d03b503ba03c403c503c003c903c403b903ba03ad03c2002003b503c103b303b103c303af03b503c2002003c503c803b703bb03ae03c2002003c003bf03b903cc03c403b703c403b103c2002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e> /HEB <FEFF05D405E905EA05DE05E905D5002005D105D405D205D305E805D505EA002005D005DC05D4002005DB05D305D9002005DC05D905E605D505E8002005DE05E105DE05DB05D9002000410064006F006200650020005000440046002005D405DE05D505EA05D005DE05D905DD002005DC05D405D305E405E105EA002005E705D305DD002D05D305E405D505E1002005D005D905DB05D505EA05D905EA002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E05D005DE05D905DD002005DC002D005000440046002F0058002D0033002C002005E205D905D905E005D5002005D105DE05D305E805D905DA002005DC05DE05E905EA05DE05E9002005E905DC0020004100630072006F006200610074002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E> /HRV (Za stvaranje Adobe PDF dokumenata najpogodnijih za visokokvalitetni ispis prije tiskanja koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.) /HUN <FEFF004b0069007600e1006c00f30020006d0069006e0151007300e9006701710020006e0079006f006d00640061006900200065006c0151006b00e90073007a00ed007401510020006e0079006f006d00740061007400e100730068006f007a0020006c006500670069006e006b00e1006200620020006d0065006700660065006c0065006c0151002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c0020006b00e90073007a00ed0074006800650074002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e> /ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e> /JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002> /KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e> /LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b00750072006900650020006c0061006200690061007500730069006100690020007000720069007400610069006b007900740069002000610075006b01610074006f00730020006b006f006b007900620117007300200070006100720065006e006700740069006e00690061006d00200073007000610075007300640069006e0069006d00750069002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e> /LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020012b00700061016100690020007000690065006d01130072006f00740069002000610075006700730074006100730020006b00760061006c0069007401010074006500730020007000690072006d007300690065007300700069006501610061006e006100730020006400720075006b00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e> /NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.) /NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e> /POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f002000770079006400720075006b00f30077002000770020007700790073006f006b00690065006a0020006a0061006b006f015b00630069002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e> /PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e> /RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e0074007200750020007400690070010300720069007200650061002000700072006500700072006500730073002000640065002000630061006c006900740061007400650020007300750070006500720069006f006100720103002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e> /RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043c0430043a04410438043c0430043b044c043d043e0020043f043e04340445043e0434044f04490438044500200434043b044f00200432044b0441043e043a043e043a0430044704350441044204320435043d043d043e0433043e00200434043e043f0435044704300442043d043e0433043e00200432044b0432043e04340430002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e> /SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b0074006f007200e90020007300610020006e0061006a006c0065007001610069006500200068006f0064006900610020006e00610020006b00760061006c00690074006e00fa00200074006c0061010d00200061002000700072006500700072006500730073002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e> /SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b006900200073006f0020006e0061006a007000720069006d00650072006e0065006a016100690020007a00610020006b0061006b006f0076006f00730074006e006f0020007400690073006b0061006e006a00650020007300200070007200690070007200610076006f0020006e00610020007400690073006b002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e> /SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e> /SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e> /TUR <FEFF005900fc006b00730065006b0020006b0061006c006900740065006c0069002000f6006e002000790061007a006401310072006d00610020006200610073006b013100730131006e006100200065006e0020006900790069002000750079006100620069006c006500630065006b002000410064006f006200650020005000440046002000620065006c00670065006c0065007200690020006f006c0075015f007400750072006d0061006b0020006900e70069006e00200062007500200061007900610072006c0061007201310020006b0075006c006c0061006e0131006e002e00200020004f006c0075015f0074007500720075006c0061006e0020005000440046002000620065006c00670065006c0065007200690020004100630072006f006200610074002000760065002000410064006f00620065002000520065006100640065007200200035002e003000200076006500200073006f006e0072006100730131006e00640061006b00690020007300fc007200fc006d006c00650072006c00650020006100e70131006c006100620069006c00690072002e> /UKR <FEFF04120438043a043e0440043804410442043e043204430439044204350020044604560020043f043004400430043c043504420440043800200434043b044f0020044104420432043e04400435043d043d044f00200434043e043a0443043c0435043d044204560432002000410064006f006200650020005000440046002c0020044f043a04560020043d04300439043a04400430044904350020043f045604340445043e0434044f0442044c00200434043b044f0020043204380441043e043a043e044f043a04560441043d043e0433043e0020043f0435044004350434043404400443043a043e0432043e0433043e0020043404400443043a0443002e00200020042104420432043e04400435043d045600200434043e043a0443043c0435043d0442043800200050004400460020043c043e0436043d04300020043204560434043a0440043804420438002004430020004100630072006f006200610074002004420430002000410064006f00620065002000520065006100640065007200200035002e0030002004300431043e0020043f04560437043d04560448043e04570020043204350440044104560457002e> /ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.) >> /Namespace [ (Adobe) (Common) (1.0) ] /OtherNamespaces [ << /AsReaderSpreads false /CropImagesToFrames true /ErrorControl /WarnAndContinue /FlattenerIgnoreSpreadOverrides false /IncludeGuidesGrids false /IncludeNonPrinting false /IncludeSlug false /Namespace [ (Adobe) (InDesign) (4.0) ] /OmitPlacedBitmaps false /OmitPlacedEPS false /OmitPlacedPDF false /SimulateOverprint /Legacy >> << /AddBleedMarks false /AddColorBars false /AddCropMarks false /AddPageInfo false /AddRegMarks false /ConvertColors /ConvertToCMYK /DestinationProfileName () /DestinationProfileSelector /DocumentCMYK /Downsample16BitImages true /FlattenerPreset << /PresetSelector /MediumResolution >> /FormElements false /GenerateStructure false /IncludeBookmarks false /IncludeHyperlinks false /IncludeInteractive false /IncludeLayers false /IncludeProfiles false /MultimediaHandling /UseObjectSettings /Namespace [ (Adobe) (CreativeSuite) (2.0) ] /PDFXOutputIntentProfileSelector /DocumentCMYK /PreserveEditing true /UntaggedCMYKHandling /LeaveUntagged /UntaggedRGBHandling /UseDocumentProfile /UseDocumentBleed false >> ] >> setdistillerparams << /HWResolution [2400 2400] /PageSize [612.000 792.000] >> setpagedevice
id	nasplib_isofts_kiev_ua-123456789-83068
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn	0130-5395
language	Russian
last_indexed	2025-12-02T04:06:10Z
publishDate	2012
publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
record_format	dspace
spelling	Дорошенко, А.Е. Акуловский, В.Г. 2015-06-13T18:53:03Z 2015-06-13T18:53:03Z 2012 Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами / А.Е. Дорошенко, В.Г. Акуловский // Управляющие системы и машины. — 2012. — № 3. — С. 45-53. — Бібліогр.: 8 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83068 519.681 Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, интенсивно взаимодействующих с внешними устройствами. Перспективность полученных возможностей показана на примере простейшей системы управления. The algebra of the algorithms with data is supplemented by the descriptions of input/output operations resulting in the modification of the Glushkov’s abstract model computer. The ability to describe the input/output operations is relevant to a wide range of systems, which are intensely interacting with external devices. The prospect of capabilities is demonstrated at the example of a simple control system. Алгебру алгоритмів з даними доповнено засобами опису операцій вводу-виводу в результаті модифікації абстрактної моделі ЕОМ Глушкова. Можливість опису операцій вводу-виводу актуальна для широкого класу систем, що інтенсивно взаємодіють із зовнішніми пристроями. Перспективність отриманих можливостей показано на прикладі простої системи управління. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Программная инженерия и программные средства Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами The Algebra-Algorithmic Description of the Algorithms with External Devices Алгебро-алгоритмічний опис взаємодії алгоритмів з зовнішніми пристроями Article published earlier
spellingShingle	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами Дорошенко, А.Е. Акуловский, В.Г. Программная инженерия и программные средства
title	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами
title_alt	The Algebra-Algorithmic Description of the Algorithms with External Devices Алгебро-алгоритмічний опис взаємодії алгоритмів з зовнішніми пристроями
title_full	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами
title_fullStr	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами
title_full_unstemmed	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами
title_short	Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами
title_sort	алгоритмическое описание взаимодействия алгоритмов с внешними устройствами
topic	Программная инженерия и программные средства
topic_facet	Программная инженерия и программные средства
url	https://nasplib.isofts.kiev.ua/handle/123456789/83068
work_keys_str_mv	AT dorošenkoae algoritmičeskoeopisanievzaimodeistviâalgoritmovsvnešnimiustroistvami AT akulovskiivg algoritmičeskoeopisanievzaimodeistviâalgoritmovsvnešnimiustroistvami AT dorošenkoae thealgebraalgorithmicdescriptionofthealgorithmswithexternaldevices AT akulovskiivg thealgebraalgorithmicdescriptionofthealgorithmswithexternaldevices AT dorošenkoae algebroalgoritmíčniiopisvzaêmodííalgoritmívzzovníšnímipristroâmi AT akulovskiivg algebroalgoritmíčniiopisvzaêmodííalgoritmívzzovníšnímipristroâmi

Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами

Institution

Similar Items