Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2009, том 45
→
Кибернетика и системный анализ, 2009, № 5
→
Перегляд Кибернетика и системный анализ, 2009, № 5 за датою випуску

Перегляд Кибернетика и системный анализ, 2009, № 5 за датою випуску

Результати 1-20 з 21

Наступна сторінка

Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке

Чеботарев, А.Н. (Кибернетика и системный анализ, 2009)

Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності ...
Численное исследование многопороговой стратегии доступа в мультисервисных беспроводных сетях сотовой связи

Чи Сон Ким; Меликов, А.З.; Пономаренко, Л.А. (Кибернетика и системный анализ, 2009)

Запропоновано ефективний числовий метод розрахунку величини стандартних показників якості обслуговування у бездротових стільникових мережах зв’язку, що підтримують обробку вузькополосних речових повідомлень і широкополосних ...
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ

Подловченко, Р.И. (Кибернетика и системный анализ, 2009)

Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами ...
Формирование минимальных d-сепараторов в системе зависимостей

Балабанов, А.С. (Кибернетика и системный анализ, 2009)

Виходячи з критерію d-сепарації та ациклічності орграфу моделі, виведено низку правил, які допомагають знаходити мінімальні d-сепаратори в АОГ-моделях залежностей. Правила дозволяють прискорено ідентифікувати наявність або ...
Неклассические свойства пространства дискретных геометрий

Григорьян, Ю.Г. (Кибернетика и системный анализ, 2009)

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

Долгополов, И.Н. (Кибернетика и системный анализ, 2009)

Досліджено природу знаку, його функції, особливості знаків ситуації в клінічній діагностиці, а також різні аспекти трансперсональної комунікації. Розглянуто об’єктивні ознаки–знаки, симптоми, їх словесні позначення, необхідні ...
Классификация прикладных методов комбинаторной оптимизации

Сергиенко, И.В.; Гуляницкий, Л.Ф.; Сиренко, С.И. (Кибернетика и системный анализ, 2009)

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

Згуровский, М.З. (Кибернетика и системный анализ, 2009)

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

Норкин, В.И.; Кайзер, М.А. (Кибернетика и системный анализ, 2009)

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

Надарая, Э.А.; Сохадзе, Г.А.; Шаташвили, А.Д. (Кибернетика и системный анализ, 2009)

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

Кириченко, Н.Ф.; Корлюк, А.С.; Кривонос, Ю.Г. (Кибернетика и системный анализ, 2009)

Контейнерні засоби кластеризації та класифікаії сигналів застосовуються при синтезі систем розпізнавання образів. Використання властивостей псевдообернених операцій та еліпсоідальних контейнерів дозволяє сформувати зручні ...
Периодические решения для класса нелинейных эволюционных уравнений гиперболического типа

Касьянов, П.О.; Задоянчук, Н.В.; Ясинский, В.В. (Кибернетика и системный анализ, 2009)

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

Емец, О.А.; Емец, Е.М. (Кибернетика и системный анализ, 2009)

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

Айда-заде, К.Р. (Кибернетика и системный анализ, 2009)

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

Майко, Н.В.; Рябичев, В.Л. (Кибернетика и системный анализ, 2009)

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

Яремчук, С.И.; Бурда, Р.В.; Матущенко, С.С. (Кибернетика и системный анализ, 2009)

Розглянуто задачу оптимізації розміщення джерел фізичного поля на фіксовані посадкові місця. На кожне посадкове місце необхідно поставити одне джерело, кожне джерело — на одне посадкове місце. На розміщення також накладено ...
Моделирование обобщенного эколого-экономического межотраслевого баланса с запаздыванием

Бойчук, М.В.; Шмурыгина, Н.М. (Кибернетика и системный анализ, 2009)

For a generalized static model of interindustry balance, a solution is found with allowance for the contamination control with delay; the optimum trajectory is specified by a piecewise-differentiable function over [t0,T] ...
Флуктуации процедуры стохастической аппроксимации с диффузионным возмущением

Семенюк, С.А. (Кибернетика и системный анализ, 2009)

Розглянуто випадок процедури стохастичної апроксимації з функцією регресії, сингулярно збуреної за параметром серій. Граничний процес відповідає флуктуації процедури стохастичної апроксимації в околі точки рівноваги, ...
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС

Баркалов, А.А.; Титаренко, Л.А.; Цололо, С.А. (Кибернетика и системный анализ, 2009)

Запропоновано метод оптимізації апаратурних витрат в логічній схемі автомата Мура, що реалізується в базисі ПЛІС. Метод дозволяє використовувати декілька джерел кодів класів псевдоеквівалентних станів завдяки значному ...
Объединенная международная конференция по информатике «ITA-2009»

Крывый, С.Л. (Кибернетика и системный анализ, 2009)

В Варне (Болгария) с 22 июня по 2 июля 2009 года проходила Объединенная международная конференция по информатике.

Результати 1-20 з 21

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Колекція

Перегляд Кибернетика и системный анализ, 2009, № 5 за датою випуску

Репозиторій DSpace/Manakin

Перегляд Кибернетика и системный анализ, 2009, № 5 за датою випуску

Пошук

Перегляд

Вся бібліотека

Колекція

Мій обліковий запис