http://dspace.nbuv.gov.ua:80/handle/123456789/1055 2026-04-07T11:11:43Z 2026-04-07T11:11:43Z Смородин, В.С. http://dspace.nbuv.gov.ua:80/handle/123456789/2339 2008-09-18T09:00:47Z 2006-01-01T00:00:00Z

Агрегатно-процессный стенд имитации для контроля реализаций технологии опасного производства Смородин, В.С. Сообщается о расширении возможностей системы автоматизации имитационного моделирования (САИМ) технологических процессов опасного производства (ТПОП). Предлагаются технология формализации ТПОП на основе использования вероятностных сетевых графиков (ВСГР) и методика автоматизации построения и эксплуатации имитационной модели (ИМ) ТПОП, содержащей в своем составе систему принятия управляющих решений. Расширены возможности планирования и динамического управления резервированием технологических операций и предложена технология использования стенда имитации для контроля за реализацией опасного производства.; Повiдомлюеться про розвиток можливостей системи автоматизацiï iмiтацiйного моделю¬вання технологiчних процесiв небезпечного виробництва (ТПНВ). Пропонуються техно¬логiя формування ТПНВ на основi викорис¬тання iмовiрних мережевих графiкiв i методика автоматизацiï побудови i експлуатацiï iмiта¬цiйной моделi ТПНВ, яка включае систему приняття керуючих рiшень. Розширенi можливостi планування i ди¬намiчного керування резервуванням техно¬логiчних операцiй i запропонована технологiя використання стенда для контролю за ре¬алiзацiею небезпечного виробництва. Ключевi слова: система автоматизацiï iмiта¬цiйного моделювання, технологiчнi про¬цеси небезпечного виробництва, система при¬няття керуючих рiшень.; About the expansion of system possibilities of simulation automation of technological processes of dangerous manufacture (TPDM) is reported. The technology of formalization TPDM on the base of use of probabilistic network graphs and the strategy automation of building and usage of simulation model of TPDM, containing decision making control system, are offerred. Possibilities of planning and dynamic management of standbies of technological operations are extended. Technology of using a stand of imitation for checking of the realization of dangerous manufacture is offered. Keywords: system of automation of simulation modeling, technological processes of dangerous manufacture, decision making control system.

2006-01-01T00:00:00Z Бабіч, В.І. Перевертун, І.М. http://dspace.nbuv.gov.ua:80/handle/123456789/2337 2009-07-17T12:22:52Z 2006-01-01T00:00:00Z

Програмний комплекс технологічної підготовки та управління будівельно-монтажними роботами з використанням інформоб’єктів Бабіч, В.І.; Перевертун, І.М. Робота присвячена проблемам комплексного автоматизованого управління житловим і комунальним будівництвом в Україні за допомогою власного програмного комплексу «Karts Planner 1.0». Особлива увага зосереджена на актуальних нині для будівельних корпорацій проблемах ресурсозбереження, прискорення та індустріалізації будівельно-монтажних робіт. Зокрема, запропоновано нову імітаційну модель для ефективної технологічної підготовки та управління будівництвом з використанням інформоб’єктів – повних моделей будівельних об’єктів (на компакт-дисках, Flash-пам’яті), описаних компактними і зручними лінгвістичними засобами з підключенням детальних довідників технологічних операцій та транспортно- технологічної комплектації.; The article is devoted to the problems of complex interactive management of house and municipal construction in Ukraine with help of own program complex «Karts Planner 1.0». The actual problems of building corporations such as saving of resources, speeding-up and industrialization of construction are specially attended. In particular, the new simulation approach for effective engineering preparation and management of construction with using of information objects is suggested. «Information objects» are full descriptions of building objects (with use of CD or Flash-memory) with help of compact and comfortable linguistic tools with connecting of detailed technological operation’s standards and transport complectation of building materials

2006-01-01T00:00:00Z Анисимов, А.В. Иванов, И.Ю. http://dspace.nbuv.gov.ua:80/handle/123456789/2336 2008-09-18T09:00:44Z 2006-01-01T00:00:00Z

Подходы к защите программного обеспечения от атак злонамеренного хоста Анисимов, А.В.; Иванов, И.Ю. Рассматриваются существующие методы защиты ПО от действий злонамеренного хоста, для каждого метода дается оценка его стоимости и обеспечиваемой защиты. Приводится комбинированный метод защиты ПО, представляющий собой усовершенствование двух существующих методов: затемнения, основанного на непроницаемых предикатах, и защиты от внесения изменений в код на основе «забывчивого хэширования». Предложенный метод обеспечивает более высокий уровень защиты по сравнению с базовыми методами, а также является применимым для более широкого класса программ.; Розглядаються існуючі методи захисту ПЗ від дій злочинного хоста, для кожного методу надається оцінка його вартості і захисту, який він забезпечує. Наводиться комбінований метод захисту ПЗ, що являє собою удосконалення двох існуючих методів: затемнення, що базується на непроникливих предикатах, і захисту від внесення змін до коду на основі “забудькуватого хешування”. Запропонований метод забезпечує більш високий рівень захисту у порівнянні з базовими методами, а також може бути застосованим для більш широкого класу програм.; The article considers existing approaches to software protection against attacks caused by malicious hosts. For each approach its cost and provided protection level are considered. As a result of improvement of two existing methods (obfuscation based on opaque predicates and tampering protection based on oblivious hashing), new complex protection method is proposed. The suggested method guarantees higher protection level than the base methods, besides it can be used with wider class of programs.

2006-01-01T00:00:00Z Дорошенко, А.Е. Яценко, Е.А. http://dspace.nbuv.gov.ua:80/handle/123456789/2334 2008-09-18T09:00:30Z 2006-01-01T00:00:00Z

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям Дорошенко, А.Е.; Яценко, Е.А. Рассмотрены средства алгоритмических описаний для представления последовательных и асинхронных алгоритмов для их формализованного проектирования. Предложены алгоритмы диалогового конструирования алгоритмов и генерации программ на целевых языках программирования. Описан метод синтеза многопоточных программ на языке Java по схемам асинхронных алгоритмов.; Розглянуто засоби алгоритмічних описів для подання послідовних і асинхронних алгоритмів для їх формалізованого проектування. Запропоновано алгоритми діалогового конструювання алгоритмів та генерації програм в цільових мовах програмування. Описано метод синтезу багатопоточних програм мовою Java за схемами асинхронних алгоритмів.; The means of algorithmic descriptions for representation of sequential and asynchronous algorithms for their formalized designing are considered. The algorithms of dialogue constructing of algorithms and generating of programs in target programming languages are offered. The method of synthesis of multithreaded programs in Java corresponding to the schemes of asynchronous algorithms is described.

2006-01-01T00:00:00Z