Суть принципа статической проверки типов в логическом языке. Проверка корректности применения объекта, полученного из другой программы. Расширение объектно-ориентированного логического языка Акторный Пролог, пособляющего распределенное программирование.
Исследование особенностей организации системы ветвлений в языке программирования С++. Анализ базового уровня данной системы. Описание формата инструкции if. Правила построения логических выражений. Инструкция switch (структура множественного выбора).
Анализ классификации программного обеспечения проектирования информационных систем. Проектирование архитектуры информационной системы "Автоматизация деятельности диспетчера такси". Изучение процесса функционирования компании до и после автоматизации.
Метод оптимального кодирования на основе разложения бернуллиевского вероятностного источника, генерирующего сообщения конечной длины, на два взаимосвязанных, в сумме обладающих энтропией исходного; возможность разработки универсального оптимального кода.
Транспортирование горной массы - важнейший технологический процесс открытой геотехнологии, определяющий эффективность работы горнодобывающих предприятий. Интерфейс клиентского приложения информационной модели работы горнотранспортной системы карьеров.
Рассмотрение эффективности применения генетического алгоритма и предложенных для него современных модификаций при решении задачи символьной регрессии методом генетического программирования. Оптимизация математических моделей сложных систем и процессов.
Различные подходы к определению информации. Важные факторы в определении информации как сообщения. Теория информации К. Шеннона. Структурная схема системы передачи информации. Существование информации до появления биологических и кибернетических систем.
Выбор метода кодирования, защиты и сжатия информации; исследование линейных неравномерных биномиальных чисел. Определение средней кодовой длины неравномерных биномиальных чисел, генерируемых комбинаторным источником и вероятностным источником Бернулли.
Характеристика проблемы нестационарной стабилизации поставленной Р. Брокеттом. Способы доказательства теоремы, дающей достаточные условия стабилизируемости двумерной линейной дискретной системы с помощью достаточно большого периода обратной связи.
Соединение тематического и алфавитного критериев в библиотечных каталогах. Особые требования к метаданным, выдвигаемые при структурировании информации. Значимость, степень секретности, достоверность и актуальность тематики как критерии информации.
Принципы разработки программных приложений для генерирования и проверки практических заданий по математическим дисциплинам в среде Visual Basic for Application. Структура программ, макросы, алгоритмы процедур. Идентификация обучающихся и защита данных.
Исследование требований, целей, предполагаемых результатов разрабатываемой автоматизированной информационной системы для предприятия, использующего газоаналитическое оборудование и ведущее ручной документооборот. Стандарты для информационных систем.
Изучение вопросов интеграции региональных информационно-управленческих систем с единым информационным пространством. Определение результатов распространения информационного менеджмента. Анализ необходимости доступа к сервисам электронного правительства.
Рассмотрение перечня и описание функционала качества специализированного программного обеспечения (ПО) учета движения массы нефтепродуктов в товарно-сырьевых парках. Эффективные методы организации интерфейса для работы пользователей в разрабатываемом ПО.
Определение основных возможностей языка программирования высокого уровня, предназначенного для программирования в гибридной модели вычислений data-control flow – языка DCF. Анализ языка DCF как расширения языка последовательного программирования Си.
- 7606. Об актуальности исследования вопросов моделирования нелинейных характеристик средств управления
Обсуждения актуальности проблемы оценки качестве функционирования технических средств в автоматизированных системах управления технологией производства. Функциональная роль структур отдельных фрагментов и разработка средств общего контроля её качества.
Тестирование как важный этап в процессе разработки программного обеспечения. Анализ стоимости каждого из этапов жизненного цикла программы. Анализ широкого использования автоматизации. Изучение большого набора технологий и инструментальных средств.
Моделирование системы массового обслуживания в среде GPSS на примере кофе-автомата в торговом центре. Анализ различных вариантов имитационного моделирования. Расчет и оценка рентабельности установки кофе-автомата. Определение срока окупаемости проекта.
Информационная технология как научная дисциплина и сфера проектной и производственной деятельности. Анализ проблем человеческого фактора в современных задачах информационных технологий. Особенности построения системы комплексной связи человека и машины.
Анализ проблем в сфере контроля за интернет-трафиком в технических системах. Современные технологии способов фильтрации контента. Задачи, стоящие перед разработчиком такого решения. Пример работы контентной фильтрации с помощью расширения Adult Blocker.
- 7611. Об Интернет и Web-сайтах
Процесс разработки Web-сайта. Планирование информационного потока. Сайты об организации дорожного движения. Сайт общества с ограниченной ответственностью Строительно-инновационная фирма "МОСТ" ОАО "Мостотрест". Официальный сайт УГИБДД Краснодарского края.
Характеристика влияния взаимосвязей входных и выходных переменных на производительность многомерных интервально-логических регуляторов и сложность систем в целом. Главная особенность использования промежуточных или смешанных вариантов расстановки связей.
- 7613. Об использовании контрольных данных в системе обеспечения качества сложных информационных систем
Характеристика современных методов управления и контроля тестовых данных, выявление их преимуществ и недостатков. Описание проблемы управления тестовыми данными. Применение методов контроля тестовых данных при тестировании сложных информационных систем.
Особенности реализации алгоритма обучения, временно прекращающего адаптацию наиболее значимых синапсов при обучении нейросети обратного распространения. Показатели обобщающей способности и большей устойчивости полученных нейросетей к отказам элементов.
Рассмотрение позиционной дифференциальной игры "наведения-уклонения" нескольких лиц. Формализация игры в классе "контр"-стратегий, стабильные мосты. Приведение фазового вектора игры на свое целевое множество. Динамика конфликтно-управляемого объекта.
Описание возможности применения информационных систем для анализа и прогнозирования изучаемых эффектов социального поведения. Рассмотрение формализации качественного анализа социологических данных средствами ДСМ-метода автоматического порождения гипотез.
Анализ структуры базы с точки зрения общих характеристик сущностей и способов решения проблемы кэшированием определенных данных. Технологии построения современного программного обеспечения на системе диспетчерского управления средним таксомоторным парком.
Создание системы навигации роботов. Механизм реконструкции поверхности трехмерной сцены по нескольким перспективным снимкам, полученным под разными ракурсами. Схема реконструкции. Идентификация наблюдаемых объектов, определение связей между ними.
Использование информационных технологий в создании инвестиционного плана чайного магазина по продаже развесного чая. Создание календарного плана проекта и отображение его в диаграмме Ганта. Оценка эффективности инвестиций в программе Project Expert.
Оценка вносимых методом маркирования изображений цифровыми водяными знаками в низкочастотной области вейвлет-спектра. Результаты оценки искажений на основе меры пикового отношения уровня сигнала к шуму. Форматы сжатия на основе вейвлет-преобразования.