WWW.PDF.KNIGI-X.RU
БЕСПЛАТНАЯ  ИНТЕРНЕТ  БИБЛИОТЕКА - Разные материалы
 

«УДК 658.012.011.56: 004.423: 004.896 КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ СИСТЕМ УПРАВЛЕНИЯ НА ОСНОВЕ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499 В.Н. Дубинин Кафедра «Вычислительная техника», ...»

УДК 658.012.011.56: 004.423: 004.896

КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ СИСТЕМ

УПРАВЛЕНИЯ НА ОСНОВЕ ФУНКЦИОНАЛЬНЫХ

БЛОКОВ IEC 61499

В.Н. Дубинин

Кафедра «Вычислительная техника», ГОУ ВПО «Пензенский

государственный университет»; victor_n_dubinin@yahoo.com

Представлена членом редколлегии профессором В.И. Коноваловым

Ключевые слова и фразы: дескриптивная логика; модель выполнения;

морфологический подход; САПР; стандарт IEC 61499; функциональный блок;

язык UML-FB.

Аннотация: Рассмотрены вопросы концептуального моделирования распределенных компонентно-базированных систем управления промышленными процессами на основе нового международного стандарта IEC 61499. Представлен объектно-ориентированный и онтологический подходы к описанию систем функциональных блоков. Для определения модели выполнения функциональных блоков используется частично-упорядоченное множество морфологических признаков. Приводятся сценарии использования концептуальных моделей в инструментальном комплексе поддержки проектирования систем на основе функциональных блоков.

__________________________________

Введение Основная тенденция в развитии систем управления в промышленном производстве состоит в переходе от централизованных систем к распределенным интеллектуальным системам, основанным на сетевых технологиях. Это нашло свое выражение в разработке нового международного стандарта IEC 61499 [1].

Данный стандарт поддерживает парадигму проектирования на основе функциональных блоков (ФБ). Несмотря на неоспоримые преимущества данной концепции, практика показала, что стандарт IEC 61499 оказался неполным в плане определения семантики ФБ. Реально это может привести к тому, что одна и та же система ФБ, выполняемая на различных платформах, может иметь различное поведение, что является недопустимым. Пробел в определении семантики ФБ призвана восполнить модель выполнения ФБ, работы по созданию которой были инициированы в 2006 г. сообществом OOONEIDA. К настоящему времени разработан только рабочий проект профиля совместимости [2]. В данном документе предлагаются три основные модели выполнения ФБ: последовательная, циклическая и параллельная.

Важными вопросами при разработке средств проектирования систем управления на основе IEC 61499 являются вопросы разработки адекватных концептуальных моделей систем ФБ. Концептуальная модель – это определенное множество понятий и связей между ними, являющихся смысловой структурой рассматISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

риваемой предметной области. Она может быть описана с помощью различных нотаций, наиболее популярной из которых является язык UML [3]. Концептуальная модель может служить основой для создания некоторого визуального доменно-специфического языка. В данном случае она представляется как метамодель, которая определяет синтаксис (и, возможно, семантику) этого языка. Вопросы метамоделирования систем ФБ рассмотрены в работе [4]. С понятиями концептуальной модели и метамодели тесно связано понятие онтологии, получившее в последнее время большое распространение. Под онтологией понимается формальное представление множества концептов внутри домена и отношений между этими концептами.

В данной работе рассмотрены два подхода для концептуального представления систем ФБ:

объектно-ориентированный, основанный на «легком» расширении метамодели языка UML с использованием механизма стереотипов;

онтологический, на основе дескриптивной логики (ДЛ) [5]. ДЛ позволяет в рамках единого формализма описывать как структуры и ограничения, так и осуществлять логический вывод, с помощью которого определяется семантическая корректность описания системы. ДЛ является формализмом для представления знаний, важным свойством которого является разрешимость. На основе ДЛ был разработан язык Web-онтологий OWL [6], являющийся одной из основных составных частей семантического Web. Концептуальная модель модели выполнения ФБ представляется множеством параметров, на котором определены отношения следования и несовместимости. Для разработки концептуальной модели выполнения ФБ использовались морфологические методы [7].

1. Краткий обзор стандарта IEC 61499

Основным артефактом проектирования в стандарте IEC 61499 являются ФБ [1], которые делятся на базисные, составные и сервисные интерфейсные (СИФБ). Для ФБ всех видов характерно наличие интерфейса, включающего событийные входы и выходы, позволяющие организовать вычисления, управляемые событиями, а также входные и выходные переменные для организации потоков данных. Для съема значений входных и выходных переменных используются так называемые WITH-связи, соединяющие событийные и информационные линии.

Управляющее приложение представляется в виде сети связанных между собой ФБ или субприложений, которые могут выполняться на различных ресурсах и устройствах систем.

В качестве иллюстративного примера управляющей системы, построенной на основе IEC 61499, рассмотрим пример из Приложения 2 части 2 стандарта IEC 61499 [8]. Приведенная производственная система предназначена для сортировки продукции (например, апельсинов). Объект управления включает конвейер, бункер для приема бракованной продукции, датчик наличия и цвета и пневматический выталкиватель, расположенный на следующей позиции за датчиком. При обнаружении бракованного продукта (зеленого цвета) поршень выталкивает его с конвейера в бункер. На рис.1 схематично представлена вся система, включающая как управляющую часть, так и объект управления. Управляющая система состоит из приложения, распределенного по двум устройствам и двум ресурсам, причем каждое устройство включает только один ресурс. Каждый из ресурсов содержит по одному коммуникационному СИФБ для передачи данных через сеть. Приложение состоит из СИФБ SENSOR и ACTUATOR, осуществляющих низкоуровневое взаимодействие с датчиком и выталкивателем соответственно, а также базисного ФБ GATE, представляющего логику работы приложения (рис. 2). Алгоритм REQ, выполняемый в состоянии REQ этого ФБ, включает один оператор OUT := (IN1 & IN2).

–  –  –

2. Объектно-ориентированное представление систем ФБ Несмотря на многочисленные преимущества, концепция ФБ не в полную меру использует потенциал объектно-ориентированного и компонентнобазированного проектирования программного обеспечения. Как показала практика, между парадигмами проектирования на основе UML и ФБ существует разрыв, затрудняющий реализацию систем управления на основе ФБ IEC 61499 при использовании их UML-спецификаций. В работе [9] сделана попытка для сближения языка UML c языком ФБ, в результате которой был предложен язык UML–FB для моделирования систем управления промышленными процессами на основе стандарта IEC 61499.

Метамодель языка UML–FB фактически представляет метамодель языка UML, расширенную определенными стереотипами. В основу стереотипизации классов UML–FB положены основные понятия стандарта IEC 61499. В диаграмме классов могут использоваться следующие стереотипы классов: BFB (базисный функциональный блок), CFB (составной функциональный блок), SIFB (сервисный интерфейсный функциональный блок), SUB (субприложение), ADAPTER (адаптерный интерфейс), CONSTANT (константа), SERVICE (сервис СИФБ), SYSTEM ISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

Рис. 3. Диаграмма классов UML для приложения IEC 61499 Рис. 4. Диаграмма состояний UML, представляющая диаграмму ЕСС блока FB_AND (система), DEVICE (устройство), DEVICE_TYPE (тип устройства), RESOURCE (ресурс), RESOURCE_TYPE (тип ресурса), APPLICATION (приложение) а также предопределенный стереотип Interface.

При использовании UML–FB появляется возможность явного описания иерархии системы в виде диаграммы классов. Для описания функционирования системы могут использоваться диаграммы последовательностей, кооперации и состояний, отсутствующие в стандарте IEC 61499.

На рис. 3 в качества примера приведена диаграмма классов языка UML–FB для приложения IEC 61499, показанного на рис. 1, а на рис. 4 – диаграмма состояний UML–FB, представляющая диаграмму ЕСС, изображенную на рис. 2, б.

3. Онтологическое представление систем ФБ

Для определения онтологии ФБ предлагается использование ДЛ [5]. В качестве иллюстративного примера рассмотрим простую онтологию базисных ФБ (рис.

5). Словарь онтологии (иначе, терминология или TBox) включает концепты и роли. Определены следующие атомарные концепты: CEI – событийный вход оболочки ФБ; CEO – событийный выход оболочки ФБ; CDI – информационный вход оболочки ФБ; CDO – информационный выход оболочки ФБ; S – ЕСсостояние; T – ЕС-переход; GS – сторожевое условие EC-перехода; Act – ЕСакция; Var – внутренняя переменная; Alg – алгоритм. Определены следующие атомарные роли: hasSource (hasTarget) – отношение, связывающее EC-переходы с исходными (конечными) вершинами переходов; hasGuard (hasInEvent)– отношение, назначающее ЕС-переходам сторожевые условия (событийные входы); hasActList – отношение, связывающее ЕС-состояния с первыми EC-акциями в списках ЕС-акций; nextAct – отношение, связывающее ЕС-акции в линейный список;

hasAlg (hasOutEvent) – отношение для назначения ЕС-акциям алгоритмов (событийных выходов); read (write) – отношение, определяющее, какие переменные используются в качестве входных (выходных) для программных единиц; with1 (with2) – отношение стробирования между входными (выходными) событийными и информационными линиями. В качестве свойств-данных могут служить имена

–  –  –

Рис. 6. Система экземпляров, определяющая базисный блок FB_AND элементов, их геометрические характеристики (форма, цвет, координаты и т.д.), а также другие атрибуты (например, текст программ). Роли hasSource, hasTarget, hasEvent, hasGuard, hasActList, nextAct, hasOutEvent являются функциональными.

Можно считать, что приведенная онтология определяет синтаксис и (частично) семантику некоторого визуального языка описания ФБ, причем концепты представляют классы (типы элементов языка), а роли – типы дуг между классами.

На рис. 6 представлена система экземпляров (иначе, индивидуальности или ABox), определяющая базисный ФБ FB_AND, приведенный на рис. 2. Для простоты имена экземпляров включают имена соответствующих концептов и порядковый номер экземпляра в концепте. Экземпляр CEI_1 соответствует событийному входу REQ, а CEO_1 – событийному выходу CNF. Экземпляр S_1 представляет начальное состояние START, а S_2 – состояние REQ.

Для того чтобы описание ФБ было полным, необходимо задать дополнительные семантические ограничения в виде формул ДЛ (входят в TBox). Для обозначения инверсной роли будем использовать знак «–», поставленный на месте верхнего индекса базовой роли. Ниже представлены некоторые условия, которым должны удовлетворять семантически правильные классы, а также формулы ДЛ для спецификации соответствующих концептов.

1. Каждая ЕС-акция должна быть связана в линейный список, начало которого определяется ЕС-состоянием. Более подробно это можно определить следующим образом: в экземпляр класса Act должна входить или одна дуга типа hasActList, или одна дуга типа nextAct. Кроме того, из экземпляра класса Act должна выходить максимум одна дуга типа nextAct. Ниже представлена формула ДЛ для спецификации «правильной версии» концепта Act:

ISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

Actr Act ((hasActList.S ¬(nextAct.Act)) (nextAct.Act ¬(hasActList.S)).

2. Условие ЕС-перехода не может быть пустым и сам ЕС-переход имеет одно входное и одно выходное ЕС-состояние. Это можно интерпретировать следующим образом: из экземпляра класса T должна выходить хоть одна дуга типов hasInEvent или hasGuard, кроме того, экземпляр класса Т обязательно должен иметь по одной выходящей дуге типов hasSource и hasTarget. Данное условие представляет формула:

Tr T ¬(¬(hasInEvent.CEI) ¬(hasGuard.GC)) (=1 hasSource) (=1 hasTarget).

3. Каждый информационный вход (выход) должен быть связан с каким-либо событийным входом (выходом) с помощью with-связи:

–  –  –

hasSource.T hasTarget.T.

Sr= S Проверка семантической правильности конкретного базисного ФБ (в виде ABox) в отношении какого-либо из концептов состоит в сравнении числа экземпляров, отнесенных к этому концепту и к правильному варианту этого концепта.

Совпадение чисел соответствует отсутствию ошибок в описании. Обратное свидетельствует об ошибке. Для локализации ошибок может использоваться язык запросов на основе ДЛ.

Следует отметить, что существует несколько реализаций систем ДЛ. Как правило, такие системы включают клиентскую часть для поддержки проектирования и визуализации Web-онтологий и серверную часть, реализующую механизм рассуждений (reasoner). Наиболее популярной клиентской частью в настоящее время является система Protg [10]. Наиболее известны из «ризнеров» системы Racer, Pellet, Fact++. Вопросы использования Web-онтологий в проектировании систем промышленной автоматики рассмотрены в работе [11].

472 ISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

4. Параметризованная модель выполнения функциональных блоков В качестве абстрактной модели выполнения ФБ предлагается интегрированная параметризованная модель выполнения (ИПМВ) ФБ, в рамках которой предполагается собрать основные полезные свойства и методы существующих моделей, а также добавить ряд новых.

Параметризация должна позволить разработчику самому выбирать (конструировать) требуемую модель выполнения путем задания определенных значений параметров (иначе, путем установки режимов). Для разработки ИПМВ предлагается использовать морфологические методы [7]. Основой предлагаемой параметризации моделей выполнения ФБ является грануляция вычислений, а также порядок вычисления гранул на основе использования графа гранул.

Ниже предлагается набор морфологических признаков для моделей выполнения ФБ, причем сначала приводится название параметра, а в круглых скобках – его возможные значения: P1 – гранула выполнения (P11 – функциональный блок;

P12 – ЕС-состояние; P13 – ЕС-акция); P2 – порядок вычислений (P21 – обход графа в глубину; P22 – обход графа в ширину; P23 – приоритетный; P24 – циклический);

P3 – синхронность выполнения гранул [при P21 и P22] (P31 – последовательное выполнение; P32 – синхронное выполнение); P4 – синхронность передачи сигналов (по нескольким линиям) между парой ФБ (P41 – последовательный; P42 – синхронный); P5 – порядок выдачи сигналов через событийные выходы [при P41] (P51 – естественный, основанный на очередности выдачи выходных сигналов при выполнении инициирующей гранулы; P52 – приоритетный, с учетом приоритетов агрегирующих ФБ для гранул-последователей и приоритетов соответствующих событийных входов; P53 – приоритетный, с учетом приоритета событийного выхода ФБ; P54 – приоритетный, с учетом приоритета событийной связи, соединяющий гранулу-источник с гранулой-приемником); P6 – порядок передач сигналов через один и тот же событийный выход по разным линиям [при P41] (P61 – с учетом приоритетов агрегирующих ФБ и событийных входов для гранулпоследователей; P62 – с учетом приоритета событийной связи, исходящей из событийного выхода); P7 – кратность выдаваемых выходных сигналов с событийного выхода [при P41] (P71 – выдается один выходной сигнал; P72 – выдается столько выходных сигналов, сколько их было сгенерировано при выполнении гранулы);

P8 – порядок выбора ФБ-последователя [при P42] (P81 – с учетом приоритетов ФБпоследователей; P82 – с учетом максимального приоритета дуги в группе дуг, связывающих ФБ-источник и ФБ-приемник); P9 – порядок выбора входных сигналов при их одновременном приходе на ФБ [при P42] (P91 – определяется приоритетом событийного входа; P92 – определяется приоритетом входной событийной дуги;

P93 – определяется естественным порядком выдачи сигналов с ФБ-источников);

P10 – метод выполнения составных ФБ (P101 – как единой сущности; P102 – как контейнера); P11 – приоритетность базисных ФБ перед составными ФБ [при P101](P111 – больше; P112 – меньше; P113 – равноценны); P12 – степень интегрированности модели выполнения сети клапанов данных (КД) в модель выполнения системы ФБ [при P102] (P121 – сеть КД выполняется как единое целое отдельно от системы ФБ и взаимодействует с общей моделью, когда завершает свою работу;

P122 – система ФБ и сеть КД выполняются совместно, как единое целое); P13 – приоритетность сети КД перед базисными ФБ [при P121] (P131 – больше; P132 – меньше; P133 – равноценны); P14 – метод выполнения сети КД [при P121] (P141 – последовательное выполнение; P142 – синхронное выполнение; P143 – последовательно-синхронное выполнение); P15 – тип ЕС-переходов без событий в диаграмме ЕСС базисного ФБ (P151 – пассивные; P152 – активные); P16 – тип выполнения транзакции по обработке внешнего сигнала (P161 – непрерываемый; P162 – преры

–  –  –

5. Инструментальный комплекс поддержки проектирования Полученные выше результаты концептуального моделирования использовались при разработке инструментального комплекса поддержки проектирования систем на основе ФБ. Структура комплекса приведена на рис. 9. Его основные функции:

1) поддержка объектно-ориентированного проектирования систем ФБ;

2) рефакторинг (эквивалентные преобразования) систем ФБ;

3) верификация ФБ на основе метода Model Checking;

4) автоматическое преобразование системы ФБ в формальную модель ((a)NCES-сеть);

5) семантический анализ на основе использования онтологий;

6) имитационное (статистическое) моделирование с целью оценки производительности и качества функционирования;

7) синтез систем безопасности.

Для поддержки объектно-ориентированного проектирования разработаны программные конверторы, осуществляющие с использованием COM-интерфейса прямое преобразование UML-диаграмм CASE-средства Rational Rose в соответстISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

Рис. 9. Структура инструментального комплекса вующее XML-представление ФБ и обратное преобразование. Для осуществления семантического анализа с использованием Web-онтологий разработан конвертор стандартного XML-представления ФБ в OWL (RDF)-представление, которое в дальнейшем исследуется с использованием системы Protg с привлечением системы рассуждений, например, Fact++. Параметризованная модель выполнения используется в качестве входных данных для системы верификации и системы имитационного моделирования.

Заключение В работе рассмотрены концептуальные модели систем ФБ на основе объектно-ориентированного и онтологического подходов. Кроме того, сделана попытка концептуализации модели выполнения ФБ с использованием морфологических методов. Направлением дальнейших исследований является построение набора онтологий и их трансформаций для сквозного проектирования распределенных систем управления промышленными процессами.

Работа выполнена в рамках проекта «Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики» аналитической ведомственной целевой программы «Развитие научного потенциала высшей школы (2009– 2010 годы)», № гос. регистрации НИР 01200952061.

Список литературы

1. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p.

ISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

2. OOONEIDA. IEC 61499 Compliance Profile: Execution Models of IEC 61499 Function Block Applications, draft in progress [Электронный ресурс]. – Режим доступа : http://www.oooneida.org/standards_development_Compliance_Profile.html, 2009.

3. Буч, Г. UML: Руководство пользователя / Г. Буч, Д. Рамбо, А. Джекобсон. – М. : ДМК Пресс, 2001. – 432 с.

4. Дубинин, В.Н. Метамоделирование функциональных блоков IEC 61499 и NCES-сетей / В.Н. Дубинин, В.В. Вяткин // Сб. ст. Междунар. науч.-техн. конф.

«Современные информационные технологии», Пенза, 2008. – 2008. – Вып. 8. – С.162–169.

5. The Description Logic Handbook: Theory, Implementation, and Applications / F. Baader, [and others]. – Cambridge University Press, 2003. – 574 р.

6. W3C Консорциум. Язык Web-онтологий OWL [Электронный ресурс]. – Режим доступа: http : http//www.w3.org/2004/OWL/.

7. Дубинин, В.Н. Разработка интегрированной параметризованной модели выполнения функциональных блоков IEC 61499 с использованием морфологических методов / В.Н. Дубинин, В.В. Вяткин // Сб. ст. Междунар. науч.-техн. конф.

«Современные информационные технологии», Пенза, 2008. – 2008. – Вып. 7. – С.

146–154.

8. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 2 : Software tool requirements / International Electrotechnical Commission. – Geneva, 2005. – 41 p.

9. Dubinin, V. Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499 / V. Dubinin, V. Vyatkin, T. Pfeiffer // IEEE Int. Conf. on Robotics and Automation (ICRA’05), Barcelona, Spain, April 18–22 2005. – P. 4007–4012.

10. Protg [Электронный ресурс]. – Режим доступа :

http://protege.stanford.edu.

11. Дубинин, В.Н. Использование Web-онтологий в проектировании реконфигурируемых систем промышленной автоматики / В.Н. Дубинин, В.В. Вяткин // Тр. Междунар. науч.-техн. конф. «Интеллектуальные системы», Дивноморское, 2007. – Т. 2. – С. 14–22.

12. FBDK – Function Block Development Kit [Электронный ресурс]. – Режим доступа : http:// www.holobloc.com.

13. Vyatkin, V. Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499 / V. Vyatkin, V. Dubinin // IEEE Int. Conf. on Industrial Informatics (INDIN’07), Vienna, Austria, 2007. – P. 1137–1142.

–  –  –

Key words and phrases: CAD; descriptive logic; functional unit; IEC 61499 standard; morphological approach; performance model; UML-FB language.

Abstract: The paper studies the matters of conceptual modeling of distributed component-based systems of management for industrial processes on the basis of the new international standard IEC 61499. The paper presents object-oriented and 476 ISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.

ontological approaches to the description of functional unit systems. The partly-ordered set of morphological characteristics is used to select the model of functional unit performance. The scenarios for conceptual models application in the instrumental complex of support for designing the systems on the basis of functional blocks are given.

Konzeptmodellierung der Steuerungssysteme auf Grund der IEC 61499 Funktionalblcke Zusammenfassung: Es werden die Fragen der Konzeptmodellierung der verteilten der teilbasierenden Steuerungssysteme von den Industrieprozessen auf Grund des neuen IEC 61499 Internationalstandartes betrachtet. Es sind die objektorientierende und onthologische Einstellungen zur Beschreibung der Systeme der Funktionalblcke (FB) dargelegt. Fr die Bestimmung des Modells der FB Erfllung wird die teilordentliche Menge der morphologischen Merkmalen benutzt. Es werden die Szenariosder Benutzung der Konzeptmodelle im Instrumantalkomplex der Untersttzung der Systemprojektierung auf Grund von FB angefhrt.

Modlage conceptuel des systmes de la commande la base des blocs fonctionnels IEC 61499 Rsum: Sont examines les questions du modlage conceptuel des systmes rpartis de base et de composition pour la commande des processus industriels la base de la nouvelle norme IEC 61499. Sont prsentes une approche objective-oriente et celle onthologique pour la description des systmes des blocs fonctionnels (FB). Pour la dfinition du modle de l’excution du BF est utilise la multitude partiellement mise en ordre des indices. Sont cits les scnarios de l’emploi des modles conceptuels dans un comlexe instrumental de l’utilisation de la conception des systmes la base de BF.

Автор: Дубинин Виктор Николаевич – кандидат технических наук, доцент кафедры «Вычислительная техника», ГОУ ВПО «ПГУ».

Рецензент: Подольский Владимир Ефимович – доктор технических наук, профессор, проректор по информатизации, директор ТамбовЦНИТ, заведующий кафедрой «Системы автоматизированного проектирования», ГОУ ВПО «ТГТУ».

ISSN 0136-5835. Вестник ТГТУ. 2009. Том 15. № 3. Transactions TSTU.



Похожие работы:

«МИНИСТЕРСТВО ПУТЕЙ СООБЩЕНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ (МИИТ)_ Кафедра “САПР транспортных конструкций и сооружений” С. Н. НАЗАРЕНКО М.А. ГУРКОВА Утверждадено редакционно-издательским советом университета ПРОГРАММИРОВАНИЕ В СИСТЕ...»

«Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» УТВЕРЖДАЮ Проректор по учебной работе Е.Н. Живицкая 23.12.2016 Регистрационный № УД-6-641/р «Цифровая коммутация каналов и пакетов» Учебная программа учреждения высшего образования по учебной дисциплине для направлений специальн...»

«1157 УДК 621.311 ОЦЕНКА ВЛИЯНИЯ РАЗМЕРА ЗАПАСОВ СРЕДСТВ ЗАЩИТЫ ИНФОРМАЦИИ НА ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ ОРГАНИЗАЦИИ Е.П. Соколовский Краснодарское высшее военное училище (военный институт) Россия, 350063, Краснодар, Красина ул., 4 E-mail: bi...»

«Сравнительный анализ качества вероятностных и возможностных моделей измерительно-вычислительных преобразователей Д. А. Балакин, Т. В. Матвеева, Ю. П. Пытьев, О. В. Фаломкина Рассмотрены компьютерное моделирование вероятностных и возможностных моделей измер...»

«П. А. Колчин (аспирант), А. В. Суслов (к. филос. н., доцент) СИНЕРГЕТИЧЕСКИЙ ПОДХОД К ПРОБЛЕМАМ СОЦИАЛЬНОЙ ИНФОРМАТИКИ Москва, АБиК Минфина РФ, РГУИТП Важной чертой современной постнеклассической науки является усиление роли междисципли...»

«TNC 320 Руководствопользователя Программированиециклов Программноеобеспечение NC 771851-01 771855-01 Русский (ru) 11/2014 Основные положения Основные положения О данном руководстве О данном руководстве Ниже приведен список символов-указаний, используемых в данном руководстве Этот символ указывает на то, что для выполнени...»

«Министерство образования Республики Беларусь Учреждение образования БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ _ Кафедра вычислительных методов и программирования А.И. Во...»





















 
2017 www.pdf.knigi-x.ru - «Бесплатная электронная библиотека - разные матриалы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.