Preview

Информатика

Расширенный поиск
№ 3(19) (2008)

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 

5-16 476
Аннотация

Исследуется задача построения расписания с минимальной суммой взвешенных моментов завершения обслуживания n требований одним прибором при условии, что известны нижние и верхние границы возможных значений длительностей операций по обслуживанию требований. Доказывается необходимое и достаточное условие, при выполнении которого требование Ju доминирует требование Jv (иными словами, для каждого множества возможных длительностей операций существует оптимальная перестановка n требований, в которой Ju предшествует Jv). Приводится критерий существования единственной перестановки n требований, которая является оптимальной при любых возможных длительностях операций. Доказывается необходимое и достаточное условие, при котором любая перестановка n требований является единственной оптимальной перестановкой при некотором множестве возможных длительностей операций. Полученные условия проверяются за полиномиальное от n время.

29-38 536
Аннотация
Приводится метод функциональной идентификации коэффициента теплопроводности нелинейного нестационарного параболического уравнения. Представляются результаты численных экспериментов по восстановлению коэффициента теплопроводности для задач с возмущенными данными измерения температуры в некоторой точке объекта.
39-55 426
Аннотация

На основе декомпозиции индукционных систем дигитайзеров на элементарные пары взаимодействующих проводников типа линейная координатная шина с током – кольцевой приемный контур рассчитываются амплитудно-координатные характеристики фазомодулированных сигналов наведенных ЭДС, исследуется методическая погрешность координатных измерений. Приводятся расчетные формулы для выбора подходящих параметров конструкций реальных индукционных контуров датчиков координат.

17-28 477
Аннотация

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

ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ 

81-89 529
Аннотация
Рассматривается система логических уравнений, представленных в дизъюнктивной нормальной форме (ДНФ), и предлагаются алгоритмы поиска всех ее корней, базирующиеся на операции перемножения ДНФ. Алгоритмы реализованы биполярными программами. Один полюс активизируется при большом числе неизвестных (n > 32), когда приходится использовать «дорогостоящие» операции над длинными векторами (превышающими длину машинного слова). Другой полюс действует при малом числе неизвестных (n £ 32), когда можно использовать векторное представление булевых функций и более быстрые операции над короткими векторами, что приводит к значительному ускорению процесса решения. Приводятся результаты экспериментальных испытаний алгоритмов на потоках псевдослучайных систем логических уравнений и на примерах конкретных систем из практики логического проектирования.
90-98 503
Аннотация
Анализируются численные характеристики подобия и различия, применяемые для сравнения двоичных и многозначных векторов, которые используются при многократном тестировании оперативных запоминающих устройств (ОЗУ). Показывается, что оценкой, позволяющей формировать эффективные начальные состояния ОЗУ при многократном их тестировании, являются характеристики различия двоичных векторов Rogers-Tanmoto и Sokal-Michener. Выбор адресных последовательностей для обеспечения высокой эффективности тестирования ОЗУ  осуществляется на основе расстояния Минковского.

ОБРАБОТКА СИГНАЛОВ, ИЗОБРАЖЕНИЙ, РЕЧИ, ТЕКСТА И РАСПОЗНАВАНИЕ ОБРАЗОВ 

56-69 508
Аннотация

Рассматривается новый метод вычисления обобщенного градиента яркости для обнаружения и визуализации скрытых (в том числе невидимых для человеческого глаза) объектов на цифровых изображениях типа случайных текстур. Суть предлагаемого метода заключается в вычислении градиентного изображения специального вида с использованием техники скользящего окна. В качестве степени различия, т. е. величины локального «градиента», могут использоваться точность классификации указанных выборок пикселей, взятых из двух половин окна, величина статистической значимости различий, получаемая с помощью теста Стьюдента, или результат сравнения выборок, полученный любым другим подходящим способом.

70-80 485
Аннотация

Излагаются основы спектроскопии минералов, а также индексы минералов для изображений многоспектральных сенсоров Landsat TM/ETM+ и Terra ASTER. Представляются результаты вычисления индексов минералов по изображениям многоспектральных сенсоров Landsat ETM+ и Terra ASTER, а также относительного содержания минералов по изображению гиперспектрального сенсора AVIRIS.

ЗАЩИТА ИНФОРМАЦИИ И НАДЕЖНОСТЬ СИСТЕМ 

99-111 450
Аннотация
Рассматривается задача формального определения в системах электронного документооборота набора правил управления доступом к объектам в процессе создания и использования электронных документов. На основе строгих доказательств, примененных в модели Белла – Лападула и расширенных элементами, отражающими специфику правомочности электронных документов, устанавливается, что каждое определяемое правило выполняет критерии обеспечения правомочности,  т. е. сохраняет при переходе системы из текущего состояния в последующее определенные в ней условие и свойство правомочности. Для доказательств используются теоремы, формулировки которых приведены вместе с обозначениями и утверждениями в составе доказательной базы.
112-124 447
Аннотация
Разрабатываются новые методы и алгоритмы статистического обнаружения ква-зипериодов в бинарных последовательностях. Исследуется состоятельность предложенных методов оценивания квазипериода, находятся оценки числа наблюдений, достаточного для эффективного использования разработанных алгоритмов. Представляются оценки вычислительной сложности алгоритмов  и результаты численных экспериментов.
133-142 462
Аннотация

Рассматривается библиотека для программирования генетических алгоритмов на языке Java, исследуются встроенные средства распараллеливания вычислений в гетерогенной сети. Предлагается альтернативный программный каркас для разработки параллельных генетических алгоритмов на основе технологии Java RMI, демонстрируется его эффективность для решения оптимизационных задач со сложной целевой функцией.

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ 

125-132 503
Аннотация
Рассматриваются две информационные технологии, реализованные в виде соответствующих программных комплексов и предназначенные для анализа многомерных медико-биологических данных: первая – система анализа данных, реализующая комплекс разнообразных статистических и нейросетевых методов на основных стадиях обработки данных; вторая –  система классификации групп риска  пациентов на основе гибридной нечеткой классификационной модели, обеспечивающей построение нескольких подмножеств Парето-оптимальных компактных и хорошо интерпретируемых классифицирующих правил.
133-142 524
Аннотация
Рассматривается библиотека для программирования генетических алгоритмов на языке Java, исследуются встроенные средства распараллеливания вычислений в гетерогенной сети. Предлагается альтернативный программный каркас для разработки параллельных генетических алгоритмов на основе технологии Java RMI, демонстрируется его эффективность для решения оптимизационных задач со сложной целевой функцией.

УЧЕНЫЕ БЕЛАРУСИ 



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)