Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>I=Ж14163<.>) |
Загальна кількість знайдених документів : 1287
Представлено документи з 1 до 20
|
| |
A lost sales inventory system with a set of reorder levels
Elango, C. A lost sales inventory system with a set of reorder levels. 23: 2, 2001
Розглянуто систему керування запасами, що функціонує неперервно, в якій передбачено довільний розподіл періодів між запитами. На відміну від звичайного методу розміщення замовлення на фіксованому рівні, розглянуто ряд рівнів перезамовлення з заданою імовірністю розміщення замовлення на певному рівні перезамовлення. Величина замовлення залежить від рівня перезамовлення, на якому воно ініціюється. Передбачено, що час упередження розподілено експоненціально. Вимоги, що надходять у періоди відсутності накопичення, втрачаються. Виведено розподіл рівня запасів у перехідному та стаціонарному режимах. Наведено міри продуктивності системи. |
НАДХОДЖЕННЯ: A Reconfiguration Algorithm for Distributed problem Solving
Dunin-Keplicz, B. A Reconfiguration Algorithm for Distributed problem Solving. 22: 2, 2000
Наведено основні аспекти методології роботи команди на основі відповідної підтримки індивідуальних, суспільних і колективних мотиваційних відносин у групі різнорідних агентів. Ключовим поняттям є "колективне зобов'язання". Основні фази розв'язку розподіленої задачі (побудова, підтримка і реалізація колективних зобов'язань) призначено для чотирирівневої абстрактної архітектури. Ефективний і гнучкий алгоритм реконфігурації визначено у значеннях цих загальних рівнів та їх взаємодії. Показано використання алгоритму реконфігурації у середовищі розподілу. |
НАДХОДЖЕННЯ: Age-dependent branching process with disasters
Krishna Kumar, B. Age-dependent branching process with disasters. 23: 2, 2001
Розглянуто розгалужений процес, що залежить від віку, за якого частки розщеплюються на довільне число. Катастрофи виникають як процес відтворення, що призводить до знищення або виживання усіх часток. Обговорено асимптотичну поведінку засобів для підкритичних, критичних і надкритичних випадків. Результати розповсюджено на випадки, коли іміграція виникає як процес відновлення. Як окремий випадок розглянуто також відповідний марковський розгалужений процес. З цієї узагальненої моделі випливають деякі результати, отримані раніше. |
НАДХОДЖЕННЯ: An age-dependent stochastic model for tumour cell population
Esther Grace, R. 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
Kasahara, S. 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
Jordan, A. Application of Parallel Computers and Concurrent Programming in Electrical Engineering. 22: 2, 2000
Наведено паралельні розрахунки явищ електромагнітного поля. Подано короткі технічні характеристики використаних паралельних MIMD комп'ютерів. Розглянуто декілька паралельних алгоритмів: метод скінченнорізницевих часових областей, метод кінцевих елементів (МКЕ) та передпроцесорний модуль для МКЕ з автоматичним вибором кроку сітки. Досліджено властивості розроблених алгоритмів. |
НАДХОДЖЕННЯ: Artificial intelligence methods in computer aided design of digital circuits
Szajna, J. 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
Danielewski, M. Distributed Simulation Strategies of Graphite Electrode Forming Process. 22: 2, 2000
Проведено розрахунок складних процесів масопереносу, а саме, дифузійно-зміненого потоку сильнов'язкої рідини в перехідних процесах. Паралельні алгоритми широко використано на основних етапах розрахунків (складання матриць, лінійна розв'язуюча програма). Ефективне розподілене виконання зазначених алгоритмів забезпечує удосконалена система керування задачами з подвійним зворотнім зв'язком. Перший контур зворотнього зв'язку організований поза програмою і охоплює систему діагностики мереж з механізмами розподілення задач та міграції. Другий контур зворотнього зв'язку сильно впливає на чисельний алгоритм і динамічно корегує подрібнення сітки на кожному кроці ітерації. У стратегіях розподілу задач використано прогнозування стохастичної ефективності. |
НАДХОДЖЕННЯ: Dynamic Load Balancing for Adaptive Mesh Ocean Circulation Model
Blayo, E. Dynamic Load Balancing for Adaptive Mesh Ocean Circulation Model. 22: 2, 2000
Наведено метод паралельної реалізації подрібнення адаптивної сітки в скінченнорізницевій моделі циркуляції океану. Метод грунтується на моделі "податливих задач" із коефіцієнтом неефективності, що дозволяє отримати прості вирази для різних рівнів паралелізму. Цей підхід перевірено за реальних умов, для чого розроблено стратегію компенсації навантажень, що будується на добре відомому порівневому відбитті. Наведено результати попередніх експериментів. |
НАДХОДЖЕННЯ: Empirical Evaluation of Heuristic Scheduling Algorithms Used in Parallel Systems Design
Papa, G. Empirical Evaluation of Heuristic Scheduling Algorithms Used in Parallel Systems Design. 22: 2, 2000
Описано деякі алгоритми евристичного планування, що використовуються під час автоматизованого проектування паралельних систем. Наведено результати емпіричної оцінки алгоритмів планування з обмеженням часу, ресурсів та часу/ресурсів. Особливу увагу приділено розбіжностям між конструктивними і трансформаційними алгоритмами. |
НАДХОДЖЕННЯ: Enumerating Matrices with Zeros and Ones
Rodriguez, J. R. 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
Dudin, A. N. 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
Soohan Ahn 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
Anisimov, V. V. 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
Murty, K. N. 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
Krawczyk, H. 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
Petrovic, T. B. 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
Murty, K. N. On Kronecker product self-adjoint boundary value problems. 23: 1, 2001
Знайдено ряд критеріїв, за якими двоточкова крайова задача з кронекерівським добутком є самосполучною. У випадку, коли крайова задача не є самосполучною, досліджено критерії, за якими цю крайову задачу з кронекерівським добутком можна зробити самосполучною. Наведена теорія є набагато ширшою за класичну і включає в себе самосполучну крайову задачу як окремий випадок. |
НАДХОДЖЕННЯ: On Mapping Digital Signal Processing Algorithms into Field Programmable Gate Arrays
Wyrzykowski, R. On Mapping Digital Signal Processing Algorithms into Field Programmable Gate Arrays. 22: 2, 2000
Розглянуто проблему відбиття алгоритмів цифрової обробки сигналів на програмовані логічні матриці (ПЛМ). Запропоновано новий метод відбиття, який враховує структурні властивості ПЛМ, мінімізує вартість апаратних засобів і дозволяє розробити конвейєрні структури з високою тактовою частотою. Мметод перевірено під час проектування структур фільтрів нескінченних імпульсних відгуків, що використовуються у ПЛМ. Структури мають високу пропускну здатність і високий коефіцієнт використання апаратури. |
НАДХОДЖЕННЯ: Problems of modelling of power system operation by mathematical programming
Mromlinski, L. R. Problems of modelling of power system operation by mathematical programming. 22: 6, 2000
Представлены модели оптимизации энергосистем и методы математического программирования, используемые для их анализа. Кратко описаны примеры применения этих методов. |
НАДХОДЖЕННЯ:
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського
|
|