Персона:
Исмаилова, Лариса Юсифовна

Организационные подразделения

Организационная единица

Институт интеллектуальных кибернетических систем

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

Фамилия

Исмаилова

Имя

Лариса Юсифовна

Полная страница элемента

Результаты поиска

Теперь показываю 1 - 10 из 13

Открытый доступ
Capturing information processes with variable domains
(2020) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2020 The Authors. Published by Elsevier B.V.An approach to the construction of a computational model in which information processes are presented in the framework of theories without types, and they, in turn, are considered as special parts of typed theories, is proposed. Similar mixing was used in model studies for lambda-calculus. In contrast to them, in the present work, information processes correspond to parameterized metadata objects, which are variable domain constructs. Transformations of variable domains correspond to the spread of the process. Directional transformation provides the generation of metadata targets in the form of parameterized concepts. This simulates the evolving of the process, which allows the interpretation of the hidden time factor. The emerging model is purely process-based and provides a conceptual framework. The possibility of coding this framework with a system of interdependent lambda-terms is shown.
Открытый доступ
Hereditary information processes with semantic modeling structures
(2020) Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 The Authors. Published by Elsevier B.V.In practice, when developing an information model, inheritance and composition mechanisms are used, which allows the model developer to extend the properties of the class. In this paper, we establish and use the difference between these two closely related representations when applied in aspect-oriented modeling. In particular, when an aspect is applied to extend the base class of the original model, the designer must choose to use composition. Depending on the composition order, indexing occurs, which can lead to the expansion of the base class by dynamic effects. With a different compositional order, a class narrowing occurs, since it becomes necessary to take into account an additional property. If you intend to define an alternative to a base class with advanced functionality, then inheritance should be used. The work demonstrates the power of the combined use of inheritance and composition, which allows us to develop an aspect-oriented modeling of a family of property transformations, in which a line of intermediate models of the working information process arises.
Открытый доступ
Superimposing semantic mesh to prevent information processes entanglement
(2020) Kosikov, S.; Dohrn, J.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2020 The Authors. Published by Elsevier B.V.In this paper, we study the problems of extracting concepts from data and introduce the notion of deviation of concepts. A wireframe model structure is established in the form of a semantic mesh, which allows you to control deviation by establishing the spectrum of possible hops on the way to achieving the generic concepts. The use of scaling to reflect the dynamics of information processes that represent data is shown. By varying the degree of generality of the scales used, the desired level of abstracting the semantic mesh is achieved. A representative example of a stepwise transition from a specific individual semantic mesh based on using the content of a subject area to an abstract semantic mesh that controls general information processes is constructed. The resulting conceptual model supports a scaled conceptual dependency on the generic and derived concepts. To map on a generalized semantic mesh with nodes in the form of variable domains, a mapper-adapter is required.
Открытый доступ
Data Enrichment in the Information Graphs Environment Based on a Specialized Architecture of Information Channels
(2021) Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 Elsevier B.V.. All rights reserved.The paper considers the possibility of constructing a specialized computing system oriented at the transmission of data through information channels, that are determined taking into account the semantics of the selected data. In the process of computations the data is connected with semantic characteristics that describe the channel of computations, which can be considered as a method of semantic data enrichment. The system of information channels as a whole can be considered as an information graph describing the structuring of the processed data. The information graph supports the data model in the form of a network, the framework of which are objects and the relationships between them. The paper proposes language tools for determining the information graph and interpretation tools that provide practical computations. The set of information channels that make up the information graph can be considered as a low-level tool for data enrichment. The paper studies the possibility of determining tools of higher level. An applicative type language is proposed for defining information graphs, the syntax and semantics of the language are specified. The proposed language can be considered as an intermediate level tool for defining semantics. A procedure is proposed for compiling the language into a low-level construct, preserving the semantics of the language. The supporting system for the proposed computing system includes a low-level language interpreter, as well as an intermediate-level language compiler into a low-level language. The supporting system is implemented in an applicative programming environment. Some elements of the supporting system were tested when developing applied information systems in the field of jurisprudence.
Открытый доступ
Cognitive System to Clarify the Semantic Vulnerability and Destructive Substitutions
(2021) Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 Elsevier B.V.. All rights reserved.The development of special mathematics capable of directly taking into account the dynamics of the problem domain, as it turns out, is a non-trivial task. Its very formulation in a refined form and the fixation of the most important features cause noticeable complications in the target formalism, significantly complicating the development of software. A constructive solution to this problem is given, obtained using the original functor-as-object construction. The concept of semantic viralization is introduced. It is expected that the obtained computational model has a high innovative potential for the development of information systems designed for intensive data exchange.
Открытый доступ
Capturing push-processing using enriched semantic mesh equipped with functionals-and-hops model
(2020) Kosikov, S.; Dohrn, M.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 The Authors. Published by Elsevier B.V.One of the aims of this paper is to study how to define meshes, a kind of wireframe semantic models hidden behind the variety of external forms of manifestation of information processes on the Web. Their purpose is to fix non-logical patterns, some of which are constant, and some of then are varying with time/events. An enriched semantic model arises at the next stage of knowledge extraction and establishes conceptual dependencies in the form of a graph in which the nodes correspond to variable domains and/or variable concepts, and the edges are natural transformations. A computational model based on parametric functionals is generated. The areas of semantic stability are the imposed conditions of commutativity, which correspond to the emergence of information channels and the possibility of their equal use for promoting information over the network. In the computational model, this gives rise to a machinery for preventing confusion/entanglement of information processes based on the equality of representing functionals. Arguments in favor of its importance are given by the example of some tasks of social engineering (phishing).
Открытый доступ
A Mathematical Model of the Feature Variability
(2021) Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 Elsevier B.V.. All rights reserved.Mathematical reason of the work is to inspire the activity to build a model of a variable property depending on the stages of knowledge and recognition mapping. An evolent is chosen along which the stages evolve. A generalized recognition mapping is constructed, which varies along the stage evolvent. It is shown that the induced variable domains form the functional spaces and collect exactly those individuals who satisfy the recognition condition. This gives rise to families of subsets that can be treated as generalized concepts. These concept spaces, in turn, can be expressed through families of dependencies on variable concepts. This is achieved by a suitable selection of displaced concepts. The cognitive reason of the work is consistent applying the method of indexical expressions, which allows the semantic model to take into account the stages of knowledge and their evolving. The resulting information graphs, as it turns out, can be interpreted as an environment for the propagation of data streams, which in this sense can control their interference. Using this basis, a toolkit for managing cognitive information can be developed. In addition, in this work, the ideas of modeling information processes by variable domains are largely inherited. The features of process inheritance are taken into account. The model solutions used are also based on the idea of channelized propagation of processes. Finally, the possibilities of jump-like transitions of processes, as well as the effects of entanglement of information processes, potentially causing cognitive interference and its propagation along the network channels, are taken into account.
Открытый доступ
Semantic framework for data flow control in the network of information graphs
(2020) Kosikov, S.; Zaytsev, V.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2020 The Authors. Published by Elsevier B.V.The mixed information stream of reliable, semi-reliable and obviously false data observed in the network is a data flow in the so-called facilitated format, the task of which is to somehow attract attention, influence the emotional sphere in the form of hype-information, which helps to make hasty decisions and harm-actions. A growing variety of forms of technological push-impact, which are successfully used for commercial purposes. Nevertheless, the study of various push-forms shows that they are based on a single semantic component that uses the offset of actual concepts to achieve the benefit of the information provider. The consumer of push services receives an apparent benefit that is far from his actual interests and intentions. A semantic computational model is proposed that captures the emerging bias of concepts. The concept of a semantic broadcasting channel is developing. The paper considers the task of constructing specialized semantic systems in the form of information graphs. The information graphs are considered as structured sets of vertices that define the method of processing information and are connected by arcs, describing the sequence of processing. In its turn, an information graph can be used as an arc, which gives hyper-graph nature to the network in the whole. The information graphs are compared with other data flow control tools. The tools for constructing transformational semantics for calculations above information graphs are offered, which assume the specialization for the class of computations associated with the vertices of the graph. A method for making an abstract computing machine with a given semantics is proposed. The paper considers an example of making an abstract machine for the case of deterministic semantics, which is illustrative for certain fragments of antimonopoly legislation.
Открытый доступ
Indexical structures to enable knowledge mining tasks
(2020) Kosikov, S.; Marenkov, A.; Ermak, M.; Slieptsov, I.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 The Authors. Published by Elsevier B.V.In this paper, it is shown that semantic modeling technologies rely on data indexing systems. The semantic information theory known today is based on the method of using the principle of index expressions, using the division into real, possible and virtual individuals/data objects. Organization of a search on the Web for the concept of conceptual modeling of information processes based on variable domains that is being developed in the work is based on the natural requirements imposed on data organization. The model structure implements the separation of individuals, which manifests itself in the interaction of data organization, search and indexing. The identity of the data and the information processes designated by them is achieved in this model structure. A skeleton view of the organization of the search is being developed, leading to the maintenance of a network of variable domains and the possibility of deploying on them a conceptual modeling of interacting information processes.
Открытый доступ
Equalities between Combinators to Evaluate Expressions
(2021) Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 Elsevier B.V.. All rights reserved.One of the aims of this work is to revise the known issues of how to obtain the value of the expression using an applicative computing system. Computation and/or symbolic transformations have undoubtedly become one of the dominant trends in modern computer science. In particular, this refers to the execution of the processes of inference of an object with given properties, which is studied with the formation of sets of equalities leading to a target computational model. At the same time, the mathematical theory of computation gets a target equational description, making the process of studying its properties and capabilities more suitable. A model structure based on the method of indexed expressions is developed and applied using the notions of evaluation mapping and assignments. As shown, this may not be considered as generic notion, but derived using the combinators. Thus, the semantics of computation can be derived from the construction of a combinator-as-process. This is the embedding into a system of combinators. A linking system of equalities between combinatorsl is established, which serving as a generic computational model. This allows us to look differently at the previous cognitive ideas of the semantics of computation disabling an evaluation map and assignments and enabling their replacement by a set of equalities between combinators.