Сортировать по:
1. Статья из журнала
Разработка прототипа решателя для расширенных шаговых теорий логики высказываний = Development of a prototype solver for extended step theories of propositional logic / И. Б. Фоминых, Н. П. Алексеев, Н. А. Гулякина [и др.]. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 145-152. - ISSN 0236-235X. - Библиогр.: с. 150-151 (12 назв.). - 2 рис.
Авторы:Фоминых И. Б., Алексеев Н. П., Гулякина Н. А., Кравченко К. С., Фомина М. В., Fominykh I. B., Alekseev N. P., Gulyakina N. A, Kravchenko K. S., Fomina M. V.
Аннотация:Рассматривается проблема разработки и реализации прототипа решателя расширенных шаговых теорий в случае, когда решения по управлению сложным техническим объектом принимаются в условиях жестких временных ограничений. Показана логическая система, основанная на использовании шаговых теорий с двумя видами отрицания, – система расширенных шаговых теорий.
Ключевые слова:расширенная шаговая теория, решатель, логическое программирование, активная логика
Поиск:Источник
2. Статья из журнала
Разработка программ для поддержки принятия решений на основе байесовских вероятностных моделей = Development of decision support programs based on Bayesian probabilistic models / Кожомбердиева Г. И., Бураков Д. П., Хамчичев Г. А. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 184-194. - ISSN 0236-235X. - Библиогр.: с. 192-193 (10 назв.). - 7 рис.
Авторы:Кожомбердиева Г. И., Бураков Д. П., Хамчичев Г. А., Kozhomberdieva G. I., Burakov D. P., Khamchichev G. A.
Аннотация:Представлены программы, ориентированные на применение в качестве инструмента поддержки принятия решений и реализующие оригинальные подходы к групповому экспертному рейтинговому оцениванию и нечеткому логическому выводу. В основу программ положены вероятностные модели на основе формулы Байеса. В этих байесовских моделях входные оценочные данные интерпретируются как свидетельства в пользу той или иной гипотезы из множества возможных, определяемых спецификой модели.
Ключевые слова:нечеткая логика, принятие решений, байесовская вероятностная модель, формула Байеса, Байеса формула
Поиск:Источник
3. Статья из журнала
Разработка архитектуры универсального фреймворка федеративного обучения = Developing universal framework design for federated learning / М. М. Ефремов, И. И. Холод. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 263-272. - ISSN 0236-235X. - Библиогр.: с. 270 (19 назв.). - 6 рис., 2 табл.
Авторы:Ефремов М. А., Холод И. И., Efremov M. A., Kholod I. I.
Аннотация:Объектом исследования является технология федеративного обучения, которая позволяет осуществлять коллективное машинное обучение на распределенных обучающих наборах данных без их передачи в единое хранилище. Даны основные определения и описан процесс федеративного обучения, приведены и разобраны различные сценарии возможных прикладных задач. Проведен анализ наиболее известных на данный момент фреймворков федеративного обучения.
Ключевые слова:распределенные вычисления, фреймворки, машинное обучение, федеративное обучение
Поиск:Источник
4. Статья из журнала
Программная реализация анализа демографических данных на основе единого реестра населения = Software implementation of demographic data analysis based on the unified population register / Ф. Ф. Юсифов, Н. Е. Ахундова. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 255-262. - ISSN 0236-235X. - Библиогр.: с. 260-261 (20 назв.). - 3 рис.
Авторы:Юсифов Ф. Ф, Ахундова Н. Е., Yusifov F. F., Ahundova N. E.
Аннотация:Проведен анализ демографических данных на основе единого реестра населения, который является ключевым компонентом электронной демографической системы. Представлена программная реализация анализа демографических данных, язык реализации – Python. Результаты показывают, что создание электронной демографической системы требует интеграции различных государственных реестров для более детального анализа.
Ключевые слова:единый реестр населения, электронная демография, государственный реестр, Python
Поиск:Источник
5. Статья из журнала
Оценка эффективности условий проведения химических реакций = Evaluation of the effectiveness of chemical reaction conditions / Н. В. Звягинцев, В. А. Биллиг. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 273-278. - ISSN 0236-235X. - Библиогр.: с. 277 (10 назв.). - 2 рис., 2 табл.
Авторы:Звягинцев Н. В., Биллиг В. А., Zvyagintsev N. V., Billig V. A.
Аннотация:Рассматривается задача оценки эффективности условий проведения химических реакций с учетом таких факторов, как наличие примесей, стоимость катализаторов, и ряда других, влияющих на стоимость технологического процесса. Один из подходов, применяемых для оценки значимости того или иного фактора, основан на возможности применения методов интеллектуального анализа данных.
Ключевые слова:технологические процессы, оценка эффективности, интеллектуальный анализ данных, химические реакции
Поиск:Источник
6. Статья из журнала
Оптимизированная конструкция последовательного логического компаратора = An optimized design of serial logic comparator / T. Нийонсаба, А. Акимана, Х. Кибея, П. Увизейимана. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 153-159. - ISSN 0236-235X. - Библиогр.: с. 159 (10 назв.). - 5 рис.
Авторы:Нийонсаба T., Акимана А., Кибея Х., Увизейимана П., Niyonsaba T., Akimana A., Kibeya H., Uwizeyimana P.
Аннотация:Рассматривается элемент информационной системы – компаратор. Представлена эффективная конструкция 8-разрядного последовательного компаратора, основанная на методах блочной оптимизации. Предложенные миниатюрные схемы последовательного компаратора были реализованы с использованием программного обеспечения DSCH 3. 5 и Microwind 2. 0.
Ключевые слова:компараторы, DSCH 3. 5, Microwind 2. 0
Поиск:Источник
7. Статья из журнала
Оптимизация многомерного статистического контроля рассеяния показателей технологического процесса = Optimization of multivariate statistical control of scattering technological process indicators / В. Н. Клячкин, А. В. Алексеева. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 215-221. - ISSN 0236-235X. - Библиогр.: с. 219-220 (12 назв.). - 3 рис.
Авторы:Клячкин В. Н., Алексеева А. В., Klyachkin V. N., Alekseeva A. V.
Аннотация:Для мониторинга стабильности показателей процесса и выявления нарушений с целью его своевременной корректировки используется статистический контроль. При контроле многопараметрического процесса часть его показателей коррелированы, в этом случае для контроля среднего уровня применяют карты Хотеллинга, а для контроля многомерного рассеяния – алгоритм обобщенной дисперсии. Предложена методика и разработана соответствующая программа, которая написана на языке Python.
Ключевые слова:карты Хотеллинга, Хотеллинга карты, статистический контроль, контрольные карты, Python
Поиск:Источник
8. Статья из журнала
Тиханычев О. В.
Об уточнении принципа организации контроля качества программных продуктов = On the clarification of the principle of organizing software products quality control / О. В. Тиханычев. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 208-214. - ISSN 0236-235X. - Библиогр.: с. 213 (13 назв.). - табл.
Авторы:Тиханычев О. В., Tikhanychev O. V.
Аннотация:На основе анализа существующих подходов к оценке качества разработки ПО синтезированы предложения по уточнению базовых принципов его оценки. Реализация предлагаемого подхода обеспечит общее повышение эффективности автоматизированного управления за счет повышения эффективности и безопасности применения прикладных программ на основе уточнения базового принципа оценки качества, перехода к применению динамической модели оценки качества разрабатываемого ПО.
Ключевые слова:ПО, программное обеспечение, качество ПО, оценка качества программ, принципы оценки качества
Поиск:Источник
9. Статья из журнала
Нечеткая многокритериальная система поддержки принятия решений DecernsFMCDA = The DecernsFMCDA fuzzy multi-criteria decision support system / С. В. Грицюк, А. В. Коробов, А. В. Радаев, Б. И. Яцало. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 171-183. - ISSN 0236-235X. - Библиогр.: с. 181-182 (15 назв.). - 7 рис., 4 табл.
Авторы:Грицюк С. В., Коробов А. В., Радаев А. В., Яцало Б. И., Gritsyuk S. V., Korobov A. V., Radaev A. V., Yatsalo B. I.
Аннотация:Представлена компьютерная система поддержки принятия решений DecernsFMCDA, которая включает в себя как широко известные методы многокритериального анализа решений, так и оригинальные подходы к анализу неопределенностей, основанные на применении нечетких множеств и вероятностных методов.
Ключевые слова:системы поддержки принятия решений, многокритериальный анализ решений, нечеткие множества, DecernsFMCDA
Поиск:Источник
10. Статья из журнала
Модуль группового многокритериального анализа решений на основе нечеткого расширения метода TOPSIS = A group multicriteria decision analysis module based on fuzzy extension of TOPSIS method / Р. В. Шершнев, А. В. Радаев, А. В. Коробов, Б. И. Яцало. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 160-170. - ISSN 0236-235X. - Библиогр.: с. 168-169 (21 назв.). - 4 рис., 4 табл.
Авторы:Шершнев Р. В., Радаев А. В., Коробов А. В., Яцало Б. И.
Аннотация:Представлен модуль DecernsFMCDA-G-FT для группового анализа решений с использованием нечеткой многокритериальной модели Fuzzy TOPSIS. При решении прикладных задач использованы входные нечеткие величины различной формы.
Ключевые слова:нечеткие числа, Fuzzy TOPSIS, DecernsFMCDA, групповой анализ решений
Поиск:Источник
11. Статья из журнала
Татарникова Т. М.
Дополнение к алгоритму кластеризации беспроводной сенсорной сети = An addition to the clustering algorithm of a wireless sensor network / Т. М. Татарникова, Ф. Бимбетов, Е. В. Горина. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 222-228. - ISSN 0236-235X. - Библиогр.: с. 227 (12 назв.). - 4 рис., 2 табл.
Авторы:Татарникова Т. М., Бимбетов Ф., Горина Евгения Владимировна
Аннотация:Предлагается алгоритм, который развивает идею кластеризации беспроводных сенсорных сетей с целью снижения энергопотребления сенсорными узлами. Выбор способа организации информационного взаимодействия является одной из актуальных научных задач при развертывании работы интернета вещей. Предложенный в работе алгоритм роя пчел развивает идею поиска головных узлов кластеров беспроводной сенсорной сети.
Ключевые слова:энергопотребление, сроки службы интернета вещей, кластеризация, алгоритм роя пчел
Поиск:Источник
12. Статья из журнала
Логинов И. В.
Диагностирование функциональной пригодности развивающихся многофункциональных автоматизированных систем на основе перестраиваемой модели = Diagnosing the functional suitability of developing multifunctional automated systems based on a reconfigurable model / И. В. Логинов. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 195-207. - ISSN 0236-235X. - Библиогр.: с. 203-205 (34 назв.). - 6 рис.
Авторы:Логинов И. В., Loginov I. V.
Аннотация:Рассмотрена проблема недостаточного внимания к диагностической модели функциональной пригодности многофункциональных автоматизированных систем при высокой интенсивности потока заявок на новые сервисы автоматизации.
Ключевые слова:многофункциональность, автоматизированная система, пригодность, требования
Поиск:Источник
13. Статья из журнала
Виноградов Г. П.
Алгоритмы управления процессами в реагирующих сенсорных сетях для задач защиты объектов = Process control algorithms in responsive sensory networks in object protection problems / Г. П. Виноградов. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 229-239. - ISSN 0236-235X. - Библиогр.: с. 237 (16 назв.). - рис.
Авторы:Виноградов Г. П., Vinogradov G. P.
Аннотация:Локализация, классификация и отслеживание объектов вторжения в защищаемую зону особо важных объектов составляют основу системы их защиты. Проведено исследование путей повышения эффективности функционирования системы путем использования распределенных сенсорных сетей в составе киберфизических систем. Показано, что достижение этой цели предполагает организацию взаимодействия алгоритмов отслеживания с традиционными алгоритмами инициализации в сенсорных сетях.
Ключевые слова:сенсорные сети, классификация, отслеживание, локализация цели
Поиск:Источник
14. Статья из журнала
Тормозов В. С.
Автоматизированное детектирование и классификация объектов в транспортном потоке на спутниковых снимках города = Automated detection and classification of objects in the traffic flow on satellite images of the city / В. С. Тормозов. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 246-254. - ISSN 0236-235X. - Библиогр.: с. 252 (16 назв.). - 3 рис.
Авторы:Тормозов В. С., Tormozov V. S.
Аннотация:Целью является разработка цепочки алгоритмов, позволяющей с высокой точностью детектировать и классифицировать объекты в транспортных потоках. Использованы методы распознавания образов, машинного обучения и обработки цифровых изображений. Научная новизна заключается в уникальном алгоритме извлечения изображений локальных участков улично-дорожной сети, алгоритме определения направления дорожного движения объекта, модернизации алгоритма селективного поиска.
Ключевые слова:распознавание образов, обработка изображений, машинное обучение, цифровая обработка изображений
Поиск:Источник
15. Статья из журнала
Шевнина Ю. С.
Автоматизация оценки состояния электросети в удаленных районах России с использованием смарт-структур = Automating the assessment of the power grid state in remote areas of Russia using smart structures / С. Ю. Шевнина. - Текст : непосредственный
// Программные продукты и системы. - 2022. - Т. 35, № 2. - С. 240-245. - ISSN 0236-235X. - Библиогр.: с. 244 (10 назв.). - 3 рис.
Авторы:Шевнина Ю. С., Shevnina Yu. S.
Аннотация:Рассматривается способ автоматизации оценки состояния электросети в удаленных районах России с использованием смарт-структур. Предлагаемый способ реализован в виде мобильного приложения. Смарт-структура, лежащая в основе данного способа, состоит из модулей получения и обработки данных с датчиков, поиска закономерностей характеристик электросети и формирования классификаторов состояний, рекомендаций по ремонту и оптимальному режиму эксплуатации электросети и подстанции.
Ключевые слова:автоматизация оценки состояния, логический анализ данных электросети, поиск закономерностей, мобильные приложения
Поиск:Источник