В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.
Автором рассмотрена методика оценки эффективности средств защиты систем удаленного мониторинга путем выделения ряда критериев, оценки их значимости и анализа результатов. Методика использует систему расчетов, предложенную в методе анализа иерархий Т. Саати.
В статье представлена модель участка вычислительной сети и способы получения информации о времени обработки и передачи данных в конкретных элементах этой сети. Рассматриваются некоторые базовые средства мониторинга, позволяющие получать данные о состоянии компонент сети.
В статье описаны структура, аппаратно-программные средства, алгоритмы и специальное программно-математическое обеспечение комплекса для системы сопоставления объектов с шаблонами, позволяющие решать задачи автоматизированного контроля качества продукции, автоматизированной системы управления данными о продукции, а также подсистемы автоматизированного проектирования (САПР). Рассмотрено применение методов цифровой обработки изображений и пространственной ориентации объектов при построении системы сопоставления объектов с шаблонами.
Авторами рассмотрены особенности взаимодействия элементов организационной системы (ОС) при наличии иерархии целей и неопределенности исходной информации. Предложена базовая модель ОС, поясняющая принципы согласования стратегий поведения элементов. При построении модели использован игровой подход и нечеткая логика. Сформулированы начальные условия существования компромиссных ситуаций и формирования функциональных подсистем ОС.
В статье рассматривается экономико-математическая модель, позволяющая прогнозировать и согласовывать расходы по видам рекламы с привлечением оптимального числа покупателей и обеспечивающая торговому предприятию максимальную прибыль. Приводится алгоритм, инструментарий и практический пример реализации модели, дается оценка экономической эффективности предлагаемого подхода.
Интернет-проекты – экономические информационные системы, реализующие некую программу мер по использованию возможностей глобальной сети Интернет для осуществления коммерческого замысла предприятия. Точность оценки эффективности интернет-проектов определяется не только стоимостными затратами, но и методами сопоставления результатов и затрат. В статье рассматриваются различные критерии экономической эффективности на базе методики совокупной стоимости владения с учетом специфических особенностей калькулирования затрат на интернет-проекты туристских фирм как информационных систем с различной функциональностью. В качестве альтернативы совокупной стоимости владения рассмотрены индексы приведенных затрат, денежного потока, деловой активности, конкурентоспособности, рентабельности капитальных вложений, функциональный комплекс.
В статье рассматривается задача построения структурно-функционального описания деловой среды, являющегося основой для формулировки требований к создаваемой информационной системе. Предлагается понятийный и терминологический базис, дается сравнительная характеристика концепций и изобразительных средств двух наиболее разработанных методологий моделирования.
Авторами рассматриваются модели оптимизации выбора вариантов реализации сервисов комплекса деловых процессов. Проанализированы подходы к измерению значений показателей качества сервисов на основе инструментальных средств в информационной системе, построенной на основе сервисно-ориентированной архитектуры.
В статье вниманию читателей представлен анализ существующих методов проверки знаний. Авторами предлагается новый метод уточнения результата тестирования. Рассмотренный подход основан на комбинации традиционных методов тестирования и моделей нейронных сетей. На основе предложенной методики авторы разработали специальное программное обеспечение.