IT Выпуск 3 (2013)
https://lib.nsu.ru/xmlui/handle/nsu/1266
2024-03-28T11:29:52ZВестник НГУ: Информационные технологии. Содержание журнала: Том 11, Выпуск № 3 (2013)
https://lib.nsu.ru/xmlui/handle/nsu/4086
Вестник НГУ: Информационные технологии. Содержание журнала: Том 11, Выпуск № 3 (2013)
Новосибирский государственный университет
2013-09-01T00:00:00ZМетоды согласования знаний по компьютерной безопасности, извлеченных из различных документов
https://lib.nsu.ru/xmlui/handle/nsu/1286
Методы согласования знаний по компьютерной безопасности, извлеченных из различных документов
Яхъяева, Гульнара Эркиновна; Ясинская, Ольга Владимировна
Рассматривается проблема согласования знаний по компьютерной безопасности, извлеченных из разных текстов на естественном языке. Дается описание поставленной задачи с помощью теоретико-модельного формализма. Знание о конкретной компьютерной атаке формализуется в виде недоопределенной алгебраической системы (названной обобщенным прецедентом). База знаний представляет собой множество обобщенных прецедентов. Согласованное значение истинности предложения вычисляется в виде интервала, определенного на отрезке [0,1]. Приводятся алгоритмы вычисления согласованного значения истинности, описывается программная реализация разработанных методов.; This paper considers the problem of matching the knowledge of computer security learned from different texts in natural language. A description of the problem with the model-theoretic formalism is presented. Knowledge of the particular computer attack is formalized as underdetermined algebraic system (named generalized precedent). The knowledge base is a set of generalized precedents. The matched value of the truth of a sentence is calculated as an interval defined on [0, 1]. The paper presents the algorithms for calculating the matched value of the truth, the software implementation of the developed methods is described.
2013-09-01T00:00:00ZТрансляция фрагментов исходных текстов программ с использованием спецификаций синтаксиса и семантики языков программирования
https://lib.nsu.ru/xmlui/handle/nsu/1285
Трансляция фрагментов исходных текстов программ с использованием спецификаций синтаксиса и семантики языков программирования
Саух, Антон Михайлович; Хмельнов, Алексей Евгеньевич
Рассматривается задача автоматической трансляции фрагментов исходных текстов программ с одного императивного языка программирования на другой. Для решения задачи используются спецификации синтаксиса и семантики языков программирования. Для описания синтаксиса применяются грамматики YACC, для описания семантики языковых конструкций предложен специальный язык. Основным результатом, рассматриваемым в данной работе, является подход, позволяющий находить подходящие текстовые представления для описаний семантики фрагментов программ по спецификациям синтаксиса и семантики языковых конструкций. Необходимым условием для возможности применения предложенного подхода является достаточное сходство семантики рассматриваемых фрагментов языков программирования.; A problem of automatic source code fragments translation from one imperative language to another is considered in this article. Formal specifications of syntax and semantics are used to solve it. Yacc grammars are used for syntax description and the special language is introduced to describe semantics of language constructions. The main result concerned in this article is an approach to find matching textual representations of program fragments semantics using language syntax and semantic specifications. It is supposed that involved languages and their semantics are close enough.
2013-09-01T00:00:00ZРазработка программного средства моделирования задач поиска информации в социальных графах
https://lib.nsu.ru/xmlui/handle/nsu/1284
Разработка программного средства моделирования задач поиска информации в социальных графах
Николаев, Николай Николаевич; Шамин, Павел Юрьевич; Звягин, Михаил Юрьевич; Скляренко, Василий Алексеевич
Рассматривается инструмент моделирования социальных сетей. Предметом изучения являются модели, описывающие взаимодействия агентов внутри сообществ сети и между сообществами для решения общей задачи.; This article is focused on development of the instrument for social networks modeling. Subject of studying are models describing interactions of agents in communities of a network and between these communities for the solution of the general task.
2013-09-01T00:00:00Z