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

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

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

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

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

Фамилия

Исмаилова

Имя

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

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

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

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

Только метаданные
When and Where Conceptual Maths Equals to Conceptual Modeling: Reasons for Using in Cognitive Modeling
(2024) Wolfengagen, V. E.; Ismailova, L. Y.; Kosikov,S.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
Только метаданные
Specification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems
(2022) Kosikov, S.; Slieptsov, I.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The given paper considers an approach to the construction of information systems, the interaction of which with the user can be described in the form of a small set of formal requirements. The means of formal specification are proposed in the form of a language allowing to express requirements compactly and close to how they are formulated by the developer. The language is an extension of the language of linear temporal logic. The language support tools ensure the construction of a supporting environment that is sufficient for the construction of the system and static verification of its correctness. Based on the previously proposed approach to the automatic construction of systems on the example of a model of asynchronous discrete interaction (question-answer) with the user, the paper demonstrates that a statically verifiable solution to the problem in the form of a function with a certain signature does exist. The specification language permits to identify a variety of interaction protocols that can be implemented regardless of user actions.
Только метаданные
Network Modeling Environment for Supporting Families of Displaced Concepts
(2019) Kosikov, S. V.; Ismailova, L. Y.; Wolfengagen, V. E.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2019, Springer Nature Switzerland AG. The paper considers the problem of supporting the semantic stability of the information system in the course of changing its subject area. The representation of changes is performed on the basis of connection of methods of applicative computational technologies and the “functor-as-object” construction by the use of formalism of displaced concepts. The database of the system is represented as a semantic network. Various mechanisms of the displaced concepts arising are considered, including those for formalizing the change in the scope of the concepts of the subject area, their definitions and recognition functions, as well as the parametric mechanism of displacement when the concepts associated with the original ones are changed. To ensure the manipulation of displaced concepts, a single presentation mechanism is used based on the “functor-as-object” construction. Basic constructions are created to represent a set of situations for the use of the displaced concept, and also for taking into account the connections of situations. The methods of topology and category theory are applied. The paper discusses possibilities of representation of the network modeling environment for supporting families of displaced concepts in the form of a set of representative constructions of an applicative computing system and solutions for constructing the appropriate tool environment. The following results are presented - of testing the prototype components of the environment while solving cognitive type problems in the field of jurisprudence.
Только метаданные
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.
Только метаданные
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.
Только метаданные
Modeling spread, interlace and interchange of information processes with variable domains
(2021) Kosikov, S.; Babushkin, D.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2020 Elsevier B.V.In this paper a semantic metalanguage is developed and designed to study the occurrence, spread and safe interaction of semantic processes in information modeling systems, including cognitive interference. An approach to construe a semantic network is proposed and based on a computational model in which both nodes and arcs are information processes. Concepts are represented by intensional objects within the framework of theories without types, and they, in turn, are considered as special counterparts of typed theories. Similar mixing was used in model studies for lambda calculus. To a contrast with them, in this paper, 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 development of the process, which corresponds to the spread of cognitive interference and allows the interpretation of a hidden time factor. The emerging model is purely process based and provides such a conceptual framework. The possibility of coding this framework with a system of interdependent lambda terms is reflected.
Только метаданные
The applicative approach to the synthesis of a data structure with the given combinatory characteristic
(2023) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Andronov, S. I.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
The paper shows that the use of a composition of objects representing a data structure, in fact, means the creation of a kind of information channels on their basis, along which the computation process spreads. In the case of applying the applicative computational technology, the computation process is started by means of the operation of applying the function object to the argument object. Two ways are presented to generate function objects — to use either lambda expressions or combinators to represent them. The first method uses an abstraction meta-operator and associated variables, which leads to the use of substitution systems with the potential for side effects. In the second method, only constant combinator objects participate in the construction of the function, and their application to the argument triggers a conversion based on rewriting rules, which does not cause a side effect. A practical solution to the problem of synthesizing a compositional data structure can be mixed, when both lambda terms and combinators are involved in the computations, which reduces the length of expressions. As a result, a data structure appears, which is composed of compositions of argument objects, equipped with a generated set of supporting function objects. © 2022 Elsevier B.V.
Только метаданные
Environment of Modeling Methods for Indicating Objects Based on Displaced Concepts
(2020) Kosikov, S.; Zinchenko, K.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020, Springer Nature Switzerland AG.The paper considers the problem of constructing domain models based on a semantic network. One of the faced difficulties is to support the indication of objects that form the semantic network, while displaying the dynamics of the domain; this indication assumes the possibility of dynamic creating, modifying, and deleting objects. In this case the indication of objects is possible both by name and by position in the semantic network, as well as by the set of properties of the object. It shows that the set of indication methods required for modeling essentially coincides with the set required for controlling access to objects of the network; this makes it possible to consider the indication of objects and access control as two aspects of one task. The solution of the problem can be achieved based on using the technique of displaced concepts and description methods to indicate objects and access to them as specialization of concept bias. The paper generates requirements to the methods of objects indication and proposes an environment that provides modeling of various methods of indication based on the support of methods for modeling the shift of concepts in an applicative computing system. It describes a prototyped implementation of the environment by the method of extending an applicative system. The implementation was tested on the tasks of describing dynamic domains to support the introduction of the best available technologies.
Только метаданные
Computational Model for Granulating of Objects in the Semantic Network to Enhance the Sustainability of Niche Concepts
(2020) Kosikov, S.; Volkov, I.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020, Springer Nature Switzerland AG.An applicative model is proposed for a conceptual interface with primitives: niche, associated granularity and concordance. The approach is adequate to the problem domain of law enforcement activities, practical tasks of which serve as an experimental base. The niche is the environment for interaction of concepts, in accordance with the norms and limitations of this environment. Granularity indicates the relative level of power or influence of the defining property of the concept within the niche. The concordance is the relation of several concepts with one approved defining property, when their different representations are linked, through negotiations, into a unit of consensus. As expected, niches and granularity will facilitate the process of presenting a complicated problem domain, allowing gradually detect and eliminate inaccuracies in the target model, increasing its degree of semantic homogeneity and sustainability.
Только метаданные
A Computational Model for Supporting Access Policies to Semantic Web
(2019) Kosikov, S. V.; Ismailova, L. Y.; Wolfengagen, V. E.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2019, Springer Nature Switzerland AG. The paper discusses a solution to the problem of data storage in a Web environment and providing access to the data based on their semantics. The problem involves restricting access to data in accordance with the description of the access rights for different classes of users. The information is interpreted in different ways according to the semantics assigned to users. Access policies are proposed as the main technical tool for describing access rights. The provided information is consistent with the semantic description of the user accessing the information. The semantic matching of descriptions of users and the data representation combines formal and informal moments and in general is of a cognitive character. The proposed solution is based on the use of data representation in the form of semantic networks. The solution has computational nature and involves calculating the value of the structures of a specialized control semantic network describing access policies. The solution is presented in the form of a computational model, which is based on the intensional logic. The constructions of the model include both a logical means of general type and specialized structures for control the degree of intensionality. The model provides calculation of construction values depending on the parameter - assignment point. The proposed method of parameter assigning provides the possibility of taking into account the semantic characteristics of users of different classes, as well as a number of other factors essential to support the semantic network (including the presence of different versions). The article offers the architecture of the instrumental complex to support access policies that support the developed computational model, and describes its main components. The components were tested in solving practical problems in the field of jurisprudence to ensure the manipulation and visualization of concepts.