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

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

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

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

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

Фамилия

Исмаилова

Имя

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

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

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

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

Только метаданные
Construction of Statically Verified System Interacting with User in Question-Answer Mode According to the Specification Set by the Formula of Linear Temporal Logic
(2022) Slieptsov, I.; Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The paper considers the automatic construction of information systems according to the formal specification of interaction with a user. The constructed system is provided with a proof of correctness in such a way that static verification of the compliance of the constructed system with its specification and the correctness of the construction itself is possible. The specification language is an extension of linear temporal logic, which allows the user setting the specification to set a class of possible options for the interaction of an information system with the environment and/or the user. The proposed solution is based on the implementation of the interpretive function, which checks the consistency of the specification and the interaction history at each stage.
Только метаданные
Data Enrichment with Provision of Semantic Stability
(2019) Kosikov, S. V.; Wolfengagen, V. E.; Ismailova, L. Y.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2019, Springer Nature Switzerland AG. The paper considers the problem of data enrichment, which is understood as supplying the data with semantics with further introduction of structuring. It also considers the data collected from heterogeneous sources with their subsequent organization in the form of information graphs. A data model is used in the form of a network, the framework of which is objects and relations between them. What is more, as objects, in turn, the relations can be used, and this potentially leads to higher order structures. The data connections and data dependencies are also taken into account. Providing semantic stability during the data enrichment requires solving a number of problems, among which the search for semantically unstable objects, their classification by types of instability and the identification of ways to overcome the instability. An approach is proposed to solve these problems on the basis of the homotopic type theory. Methods are considered for modifying unstable objects for types of different structures. The paper discusses the possibilities of using the results in information systems that allow to increase the “degree of cognitization” of the data and, in the long term, the transition to cognitive business.
Открытый доступ
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.
Открытый доступ
Prototype Mechanisms for Supporting the Network of Links to Parameterized Data Objects
(2021) Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020 Elsevier B.V.. All rights reserved.The paper considers methods to organize a network of links to parameterized data objects. A data object is an object identified by standard methods, including the network identifiers URI, URL and URN. The data objects can be either atomic or have a complex structure, including links to other objects, and this ensures the linking of objects into a network, which can be considered as an information graph. It turns out to be possible to formulate a number of criteria for supporting the integrity of such a structure; the paper proposes language tools to formulate such criteria. An essential feature of this network is the dependence of the objects' information content on a number of parameters, first of all, on time. Depending on the parameter, the information content of the object can change both with the preservation of the integrity of the structure, and with its damage. The paper considers methods for a parameterized description of objects while maintaining integrity based on the formalism of category theory. The formalization used allows defining two relations between objects and their names (identifiers): access and links. The paper studies the basic properties of such relations and reveals the differences between them. Category theoretical means of describing objects require appropriate support tools for practical application. The paper proposes a configuration of support tools for a network of links to parameterized data objects based on a combination of conceptual modeling tools and applicative computing tools. The proposed tools provide basic methods of access to the network of information graphs. An essential feature of the proposed tools is the ability to determine the subjective way of considering the information graph (based on the category of correlations), as well as harmonizing an objective and subjective way of considering. The proposed tools were tested in the development of applied information systems in the field of implementation of the best available technologies (BAT).
Только метаданные
Elements of semantic analysis based on lambda-calculus
(2022) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
This paper considers the applicative computing technology (ACT), within the framework of which the semantic analysis of a number of natural language constructs is performed. The necessary elements of grammatical analysis are involved. Much first-order logical means is used, and predicate variables are necessarily used for analysis. At the same time, the advantages of higher-order systems, which include ACT, are extracted. The fact is that the semantics of a natural language is characterized by a multi-tiered nesting of grammatical structures, which conflicts with first-order logical systems.
Открытый доступ
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.
Только метаданные
Logical-Applicative Computing Based on Type Theory
(2024) Wolfengagen, V.; Ismailova, L.; Kosikov, S.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
Только метаданные
Semantic Stabilization Tools for Managing the Cognitive Activity of the Subject
(2022) Kosikov, S.; Slieptsov, I.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The paper considers a model of knowledge extraction based on the conceptual modeling of user interaction with a domain-oriented virtual environment. The environment is modeled as a network of information graphs that changes its structure over time. This allows us to set the task of supporting the modeling of the cognitive activity of the subject in a changing environment. The description of changes is made on the basis of a parameterized computational model using the construction of a variable domain. The paper shows that a given set of domain variables can be considered as nested in a topos, which provides a natural construction of program structures. The paper offers a tool for working with variable domains, which provides the task of semantically stable fragments of information graphs. The tool is a specialized applicative-type evaluator that provides computations in a changing environment. The build-up of network vertices and connections can lead to system contradictions, for the resolution of which it is necessary to include special handlers, the number of which can grow excessively. The evaluator provides a solution to the problem of managing handlers. Attempts to solve the mentioned difficulties and contradictions in practice lead to the idea of a multi-layer network architecture and semantic adapters.
Только метаданные
Representation of Conceptual Dependencies in the Domain Description Code
(2020) Slieptsov, I. O.; Kosikov, S. V.; Ismailova, L. Y.; Исмаилова, Лариса Юсифовна
© 2020, Springer Nature Switzerland AG.The paper considers the problem of representing conceptual dependencies in the domain description code with the support of their semantic integrity. It deals with the mechanisms for maintaining integrity in the course of computations in the conceptual model in two processes: (1) reduction with the provision of a given reduction strategy and (2) serialization of dependencies to provide for the transfer of dependence between various environments of computations. The paper compares the selected mechanisms and mechanisms of supporting systems of programming languages. The shortcomings of their computing systems arising from the lack of built-in mechanisms of sufficient power are analyzed. The paper considers the possibility of overcoming the existing problems. The approach to the extension of practical computing systems by the proposed possibilities (JavaScript language as an example) is investigated.
Только метаданные
A prototype system for supporting a network of information graphs with the ability to assess the nature of the subject's knowledge
(2022) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
The task of modeling a subject whose cognitive activity is directed under the influence of the information environment continues to remain relevant. The difficulties in solving this problem are due to (1) the dependence of the truth of information on time, as a result of which the subject can make decisions based on outdated information, and (2) the heterogeneous nature of the information itself, which, in particular, can be intentionally false (fake). The paper proposes a model of interaction of subjects, including the exchange of information marked both by the time of its creation (receipt) and the quality of information. The model is based on a system of interacting processes and is presented as a set of information graphs describing the stages of interaction. A system of typing graphs and their constituent elements is proposed. The composition tools that allow one to assemble complex graphs from simpler ones are presented. The paper also presents a set of tools corresponding to the proposed model. The tools include a process language interpreter that provides computation of model constructs, as well as an information graph editor, type control tools, debugging tools, and configuration management tools for the computing environment. The proposed tools have been experimentally tested in the development of application systems from the field of implementing the best available technologies.