Содержание журнала, редсовет, редколлегия, информация об обложке.

Table of contents, editorial board, editors, information on cover.

В работе представлена краткая история становления вероятностных графических моделей, рассмотрены посылы к их возникновению. Особое внимание уделено байесовским сетям доверия и родственным им алгебраическим байесовсим сетям, являющимся представлением баз знаний с неопределенностью. Приведены ключевые достижения в развитии логико-вероятностного аппарата алгебраических байесовских сетей и аппарата байесовских сетей доверия, дополненные примерами использования байесовских сетей доверия в программных продуктах. Обзор развития аппарата логико-вероятностного вывода продолжен формулировкой и доказательством решения первой задачи апостериорного вывода на матрично-векторном языке. Кроме того, перечислены задачи, стоящие в настоящий момент перед исследователями в области алгебраических байесовских сетей. Данная работа может быть полезна преподавателям дисциплин из области искусственного интеллекта, студентам, специализирующимся в области информатики и информационных технологий, рассматривающим перспективные темы для курсовых, выпускных квалификационных, научно-исследовательских работ и сотрудникам ИТ-команий, исследующим возможности применения математических моделей в бизнес процессах. С. 5-19.

The paper presents a brief history of the probabilistic graphic models formation and examines the reasons for their appearance. Special attention is given to Bayesian trust networks and related algebraic Bayesian networks, which are a representation of knowledge bases with uncertainty. Key achievements in the development of probabilistic-logic appartus in algebraic Bayesian networks and Bayesian trust networks are presented along with examples of the Bayesian trust networks using cases in software products. The review of the probabilistic-logic inference apparatus development is continued with the matrix-vector formulation and proof of the solution of the first task posterior inference. In addition, the problems in algebraic Bayesian networks currently being faced by researchers are listed. This paper might be useful to lecturers of disciplines on modern research in the field of artificial intelligence, to students specializing in information technologies, who are considering promising topics for their term papers, final or research papers and to the staff of it companies, exploring the possibilities of applying mathematical models in business processes.

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

In this paper we consider methods for obtaining Boolean functions with desirable cryptographic properties based on search algorithms. We investigate the possibility of optimizing such algorithms, primarily due to a significant reduction in the search space. Here we use the general idea of partition of the set of Boolean functions into equivalence classes in accordance to some transformation group and the idea of exhaustive search among these classes as vertices of a specific graph called class graph. The P-equivalence proposed in this paper if considered on the set of balanced Boolean functions ensures the preservation of almost all cryptographically significant properties of functions within one equivalence class.

В статье дано краткое описание облачной системы символьных вычислений MаthPartner и тех возможностей, которые она предоставляет для совершенствования образовательного процесса в высшей школе. Показано использование веб-сервиса GitHub для хранения текстов лекций. Делается вывод о том, что с применением MathPartner образование в точных науках может существенно интенсифицироваться. С. 29-37.

Использование динамических пространственных систем геометрии (ДПCГ) открывает преподавателям, школьникам и студентам новые возможности при изучении тем, связанных с пространственными геометрическими фигурами. Программы ДПCГ являются прототипом Cabri 3D, потенциал которой полностью используется при изучении свойств многогранников. Одной из таких тем является тема бильярды в выпуклых многогранниках. Изучение специальных бильярдов в кубе и их обобщения выходят за рамки школьной программы. То же можно сказать и о теме <<Вписанные пространственные многоугольники минимального периметра, используемые для определения специальных выпуклых гексаэдров>>. Эвристические методы поддерживают экспериментальные работы с ДПCГ. Доказательства найденных утверждений будут даны в дальнейших работах. С. 38-50.

The usage of dynamic spatial geometry systems (DSGS) opens new opportunities for teachers, schoolchildren and students in studying topics related to spatial geometric figures. The DSGS programs, are prototypes of Cabri 3D, whose potential is fully used in studying the properties of polyhedra. One of these topics is the billiards in convex polyhedra. The study of special billiards in the cube and its generalizations are not included in the school program. The same can be said about inscribed spatial polygons of minimal perimeter that are used to define special convex hexahedra. Heuristic methods support experimental work with DSGS. Proofs of discovered assertions will be given in subsequent papers.

Проведен анализ рынка труда с точки зрения востребованности выпускников университетов с инженерной подготовкой в сфере информационных технологий. Выполнен обзор образовательных программ всех уровней высшего образования, направленных на подготовку специалистов в области компьютерного моделирования систем. Выполнена оценка удовлетворенности работодателей качеством подготовки выпускников. Обоснована необходимость корректировки образовательных программ. C. 51-60.

A program to determine the asymptotic efficiency of convolution codes, simulating the passage of a text message on guided and unguided (radio) transmission medium is considered. The program was designed for the purpose of teaching students the principles of formation and functioning of error correction codes.