A lost sales inventory system with a set of reorder levels. 23: 2, 2001

Розглянуто систему керування запасами, що функціонує неперервно, в якій передбачено довільний розподіл періодів між запитами. На відміну від звичайного методу розміщення замовлення на фіксованому рівні, розглянуто ряд рівнів перезамовлення з заданою імовірністю розміщення замовлення на певному рівні перезамовлення. Величина замовлення залежить від рівня перезамовлення, на якому воно ініціюється. Передбачено, що час упередження розподілено експоненціально. Вимоги, що надходять у періоди відсутності накопичення, втрачаються. Виведено розподіл рівня запасів у перехідному та стаціонарному режимах. Наведено міри продуктивності системи.

A Reconfiguration Algorithm for Distributed problem Solving. 22: 2, 2000

Наведено основні аспекти методології роботи команди на основі відповідної підтримки індивідуальних, суспільних і колективних мотиваційних відносин у групі різнорідних агентів. Ключовим поняттям є "колективне зобов'язання". Основні фази розв'язку розподіленої задачі (побудова, підтримка і реалізація колективних зобов'язань) призначено для чотирирівневої абстрактної архітектури. Ефективний і гнучкий алгоритм реконфігурації визначено у значеннях цих загальних рівнів та їх взаємодії. Показано використання алгоритму реконфігурації у середовищі розподілу.

Age-dependent branching process with disasters. 23: 2, 2001

Розглянуто розгалужений процес, що залежить від віку, за якого частки розщеплюються на довільне число. Катастрофи виникають як процес відтворення, що призводить до знищення або виживання усіх часток. Обговорено асимптотичну поведінку засобів для підкритичних, критичних і надкритичних випадків. Результати розповсюджено на випадки, коли іміграція виникає як процес відновлення. Як окремий випадок розглянуто також відповідний марковський розгалужений процес. З цієї узагальненої моделі випливають деякі результати, отримані раніше.

An age-dependent stochastic model for tumour cell population. 23: 2, 2001

Ріст пухлинних клітин регулюється чергуванням станів латентності та різкого зростання. До того ж час перебування у кожному з них є величиною стохастичною. Розроблено стохастичну модель, що залежить від віку клітини, яка описує розвиток популяції пухлинних клітин. Отримано стохастичні характеристики кількості клітин у кожному зі станів у перехідному та стабільному режимах.

Analysis of Waiting Time of M/G/1/K System under Random Scheduling and LCFS. 22: 4, 2000

Розглянуто систему черг M/G/1 з кінцевим буфером за випадкового розкладу та LCFS дисципліни обслуговування. Наведено деякі числові результати середнього часу очікування і коефіцієнти варіацій часу очікування за таких дисциплін обслуговування: "першим прибув - першим обслуговано" (FCFS), випадковий розклад, "останнім прибув - першим обслуговано" (LCFS). Показано, що варіації часу очікування за FCFS є найменшими, а за LCFS - найбільшими.

Application of Parallel Computers and Concurrent Programming in Electrical Engineering. 22: 2, 2000

Наведено паралельні розрахунки явищ електромагнітного поля. Подано короткі технічні характеристики використаних паралельних MIMD комп'ютерів. Розглянуто декілька паралельних алгоритмів: метод скінченнорізницевих часових областей, метод кінцевих елементів (МКЕ) та передпроцесорний модуль для МКЕ з автоматичним вибором кроку сітки. Досліджено властивості розроблених алгоритмів.

Artificial intelligence methods in computer aided design of digital circuits. 23: 4, 2001

Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

Distributed Simulation Strategies of Graphite Electrode Forming Process. 22: 2, 2000

Проведено розрахунок складних процесів масопереносу, а саме, дифузійно-зміненого потоку сильнов'язкої рідини в перехідних процесах. Паралельні алгоритми широко використано на основних етапах розрахунків (складання матриць, лінійна розв'язуюча програма). Ефективне розподілене виконання зазначених алгоритмів забезпечує удосконалена система керування задачами з подвійним зворотнім зв'язком. Перший контур зворотнього зв'язку організований поза програмою і охоплює систему діагностики мереж з механізмами розподілення задач та міграції. Другий контур зворотнього зв'язку сильно впливає на чисельний алгоритм і динамічно корегує подрібнення сітки на кожному кроці ітерації. У стратегіях розподілу задач використано прогнозування стохастичної ефективності.

Dynamic Load Balancing for Adaptive Mesh Ocean Circulation Model. 22: 2, 2000

Наведено метод паралельної реалізації подрібнення адаптивної сітки в скінченнорізницевій моделі циркуляції океану. Метод грунтується на моделі "податливих задач" із коефіцієнтом неефективності, що дозволяє отримати прості вирази для різних рівнів паралелізму. Цей підхід перевірено за реальних умов, для чого розроблено стратегію компенсації навантажень, що будується на добре відомому порівневому відбитті. Наведено результати попередніх експериментів.

Empirical Evaluation of Heuristic Scheduling Algorithms Used in Parallel Systems Design. 22: 2, 2000

Описано деякі алгоритми евристичного планування, що використовуються під час автоматизованого проектування паралельних систем. Наведено результати емпіричної оцінки алгоритмів планування з обмеженням часу, ресурсів та часу/ресурсів. Особливу увагу приділено розбіжностям між конструктивними і трансформаційними алгоритмами.

Enumerating Matrices with Zeros and Ones. 22: 1, 2000

Получены формулы, включающие симметричные функции для расчета числа матриц с нулями и единицами при некоторых ограничениях. Приведена явная формула для числа матриц заданной размерности с заданным числом нулей и единиц при определенном размещении единиц в матрице.

Further results for random multiple access protocols via retrial queueing models with unreliable two-phase service. 23: 2, 2001

Розглянуто дві моделі організації черг із повторенням з урахуванням можливості невдалого обслуговування замовника. Стратегія повторень відноситься до порогового типу. Отримано вкладений розподіл стаціонарної орбіти.

Large deviation results for queues with continuous time Markov modulated arrivals. 22: 6, 2000

Получена функция показателя больших отклонений для марковского модулированного процесса с использованием результата Donsker и Varadhan. Эта функция имеет форму, отличную от приведенной в работе Iscole и др. Марковский модулированный процесс состоит из марковского модулированного вероятностного процесса, марковского "жидкостного" процесса и процесса с групповыми поступлениями. Получен асимптотический показатель затухания установившейся загрузки для модели очереди с марковским модулированным процессом в качестве процесса поступления. Этот асимптотический показатель отличен от полученного Duffield.

Limit theorems for switching processes and applications to queueing models. 23: 2, 2001

Розглянуто клас стохастичних процесів із напівмарковськими перемиканнями (або в напівмарковському середовищі). Доведено теореми типу принципу усереднення та дифузної апроксимації у випадку асимптотичного ергодичного середовища. Досліджено збіжність до розв'язку диференціального рівняння з марковським перемиканням або до дифузного процесу в марковському середовищі для випадку асимптотично збільшеного середовища. Розглянуто застосування до аналізу марковських та напівмарковських систем організації черг за умов інтенсивного трафіка.

Matrix riccati difference equations associated with the first order matrix difference system. 22: 4, 2000

Отримано загальний розв'язок матричного різницевого рівняння Ріккаті методом квазілінеаризації. За допомогою цього методу різницеве рівняння Ріккаті перетворюється на матричне різницеве рівняння Ляпунова. Показано монотонність послідовних наближень. Наведено аналіз чутливості нелінійного матричного різницевого рівняння Ріккаті.

Modelling and Simulation for the Development of Test Scenarios for Parallel and Distributed Programs. 22: 2, 2000

Розглянуто проблему структурного тестування паралельних та розподілених програм на основі спеціально визначеної моделі паралельних керованих течій (ланцюжки програмних модулів). Модель містить вузлові та знакові об'єкти, які, взаємодіючи, можуть представляти різні режими тестованої програми. На цій основі запропоновано метод динамічної символьної інтерпретації для визначення тестових сценаріїв, спроможних виявляти похибки, пов'язані з взаємодією. Методи є менш ушкоджуючими порівняно з класичними динамічними методами аналізу, такими як тестування узгодженості або миттєве відтворення, оскільки вони базуються на моделюванні та об'єднанні декількох методик статичного і динамічного аналізів у єдине ціле.

Multivariable Frequency Response Methods for Designing Robust Decentralized Control of a Solid-Fuel Boiler. 21: 6, 1999

Описано методику аналізу та синтезу у процесі проектування багатовимірних систем зі зворотним зв'язком. Розроблено оптимальні робастні децентралізовані контролери номінальної та діагонально-переважної номінальної моделей підсистеми котла з використанням сингулярного підходу. Запропоновані контролери є стійкими для опорних сигналів. Випробувано робастність системи зі спроектованими контролерами та проведено порівняння з раніше розробленим багатовимірним пропорційно-інтегральним контролером. Результати моделювання у частотній та часовій областях показали перевагу запропонованих децентралізованих контролерів.

On Kronecker product self-adjoint boundary value problems. 23: 1, 2001

Знайдено ряд критеріїв, за якими двоточкова крайова задача з кронекерівським добутком є самосполучною. У випадку, коли крайова задача не є самосполучною, досліджено критерії, за якими цю крайову задачу з кронекерівським добутком можна зробити самосполучною. Наведена теорія є набагато ширшою за класичну і включає в себе самосполучну крайову задачу як окремий випадок.

On Mapping Digital Signal Processing Algorithms into Field Programmable Gate Arrays. 22: 2, 2000

Розглянуто проблему відбиття алгоритмів цифрової обробки сигналів на програмовані логічні матриці (ПЛМ). Запропоновано новий метод відбиття, який враховує структурні властивості ПЛМ, мінімізує вартість апаратних засобів і дозволяє розробити конвейєрні структури з високою тактовою частотою. Мметод перевірено під час проектування структур фільтрів нескінченних імпульсних відгуків, що використовуються у ПЛМ. Структури мають високу пропускну здатність і високий коефіцієнт використання апаратури.

Problems of modelling of power system operation by mathematical programming. 22: 6, 2000

Представлены модели оптимизации энергосистем и методы математического программирования, используемые для их анализа. Кратко описаны примеры применения этих методов.