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

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

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

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

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

Фамилия

Исмаилова

Имя

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

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

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

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

Только метаданные
Developing Javascript Library with Implicit Typing
(2024) Slieptsov, I. O.; Kosikov, S. V.; Ismailova, L. Y.; Исмаилова, Лариса Юсифовна
Открытый доступ
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.
Только метаданные
Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus
(2022) Slieptsov, I. O.; Ismailova, L. Y.; Kosikov, S. V.; Исмаилова, Лариса Юсифовна
The given paper considers the problem of generating words of a context-dependent language and the problem of quantitative assessment of the constructed generators properties. The problem is considered in the context of property-bassed unit testing: this paper provides the developer with a method of comparing generators in order to find the most optimal one to ensure the required ratio of time for generating the test data, their complexity, diversity or other characteristics. The article proposes a system of characteristics that can be used to compare generators. The generator of typed О»-terms is considered as an example.
Только метаданные
Increasing of Semantic Sustainability in the Interaction of Information Processes
(2020) Kosikov, S.; Parfenova, I.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2020, Springer Nature Switzerland AG.Ordinary semantic network in use is based on the referencing of individuals in a constant mode. When modeling the interaction of information processes, there is a dynamic that requires a transient process. In this case, individuals can be dereferenced, which leads to a violation of the stability of the information system (IS). A dynamic model is proposed and, in particular, based on (after-became)-neighborhood of properties in the semantic network. There is a semantic Web, in which there is individual confluence, i.e. semantic vulnerabilities. A semantic secure solution is based on: (1) the semantic sustainability of interrelated information processes, (2) granulation of data-metadata objects, and (3) the generation of variable metadata objects. This is done against the background of the formation of “possible worlds” as a spectrum of evolving the events. There is a transformation of properties and an associated transition process, for which a means of ensuring sustainability is proposed.
Только метаданные
Mutable Applicative Model to Prevent Entanglement of Information Processes
(2020) Kosikov, S.; Maslov, M.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2020, Springer Nature Switzerland AG.A system for detecting and possibly preventing undesirable changes in the properties of objects within information system (IS), leading to a violation of the semantic consistency of information, unstable functioning of the IS and, ultimately, loss of its operability, is proposed. The modeling tools is a means for detecting and preventing the destruction of the semantic integrity of data/metadata objects in IS. The basis is the original computational model, which increases the sustainability of semantic nets, while giving them more opportunities to reflect the dynamics of the problem domain. This gives rise to IS with increased expressive capabilities, supporting the evolving semantic nets, integrated with the Web. Mechanisms for modeling the dynamics of concepts and the computational model contribute to overcoming the contradictions that exist for today in the application of semantic information technologies.
Открытый доступ
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.
Только метаданные
Applicative Model to Bring-in Conceptual Envelope for Computational Thinking with Information Processes
(2021) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.Computational activity is now recognized as a natural science, and computational and informational processes have been discovered in the deep structures of many areas. Computations in the natural world were present long before the invention of computers, but a remarkable shift in understanding its fundamental nature occurs, in fact, before our eyes. The present moment, in fact, is a transition from the concept of computer science as an artificial science to the understanding that information processes are abundant in nature. Computing is recognized as a natural science that studies natural and artificial information processes. All object constructions are considered as virtual objects, which are possibly combinators. They are connected by “combinatory glue” and form an applicative prestructure.
Только метаданные
Cognitive Features for Stability of Semantic Information Processing
(2020) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2020, Springer Nature Switzerland AG.The issues of semantic information processing are considered. The central idea of information in the modern world is still an elusive concept. It is known that information must be quantified, at least in terms of partial ordering, to be additive, stored and transmitted. However, besides all this, there is no clear idea about its specific nature. The development of cognitive technologies poses the question of forms of knowledge representation: can the “stage of knowledge” be fully and faithfully analyzed in terms and forms of information processing at some level of abstraction? In other words, the analysis is to relate (1) the stage of knowledge with (2) forms of information processing and (3) levels of abstraction. Among the problems posed by the development of information technology, one of the key roles is played by the information semantics. The most significant open problems imply the development of research on a new basis in the following areas: providing data substantiation (how data can acquire meaning); ensuring the truth of the data (as meaningful data can acquire true values); building an information theory of truth (can information explain truth); constructing information semantics (can information explicate a value).
Открытый доступ
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.
Только метаданные
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.