http://dspace.nbuv.gov.ua:80/handle/123456789/1671 2026-04-07T14:14:16Z 2026-04-07T14:14:16Z Смородин, В.С. 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/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 Балабанов, О.С. http://dspace.nbuv.gov.ua:80/handle/123456789/2333 2008-09-18T09:00:39Z 2006-01-01T00:00:00Z

Квазі-лінеарність у дискретних моделях залежностей та відкриття латентного фактору трьох ефектів Балабанов, О.С. Для дискретних моделей залежностей з ланцюговою (або деревовидною) структурою показано, що коли проміжна (сепараторна) змінна є бінарною, можна факторизувати (декомпозувати) транзитивну залежність згідно відтинків ланцюга. Ця властивість (“квазі-лінеарність”) для структури у формі “зірка з трьома променями” імплікує “тріад-стримування” – спеціальне обмеження типу рівність на добуток парних залежностей. Дотримання чинності тріад-стримування може правити за свідчення для ідентифікації прихованої бінарної змінної, яка є відповідальна за асоціацію трьох дискретних змінних.; Для дискретных моделей зависимостей с цепочной (или древовидной) структурой показано, что когда промежуточная (сепарирующая) переменная является бинарной, можно факторизовать (декомпозировать) путевую (транзитивную) зависимость на произведение зависимостей для фрагментов пути. Это свойство (“квази-линеарность”) имплицирует для структуры вида “трехлучевая звезда” специальное ограничение типа равенство на произведение парных зависимостей – “триад-констрэйнт”. Выполнение триад-констрэйнта может служить свидетельством для идентификации скрытой бинарной переменной, которая влияет на три дискретные переменные.; It is demonstrated for a discrete model with tree-like structure, that if there is a binary separating variable, then a path dependence (via this variable) may be factorized accordingly to this variable (into a corresponding subpath dependencies). This quasi-linearity property implies the “triad-constraint” on product of pairwise dependencies in star-like structure with three endpoints. So the triad-constraint satisfaction facilitates a discovery of a hidden binary variable (latent class), which is responsible for associations among three respective discrete manifest variables.

2006-01-01T00:00:00Z