Персона:
Вольфенгаген, Вячеслав Эрнстович

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

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

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

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

Фамилия

Вольфенгаген

Имя

Вячеслав Эрнстович

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

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

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

Только метаданные
Combinator-as-a-Process for Representing the Information Structure of Deep Computing
(2021) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.In the present work, the main attention is paid to elucidating the technological features of computations with individual generators, or objects. Their interaction is considered in an applicative environment, which allows us to elucidate the internal structure of ordinary operations, the knowledge of which allows us to understand their properties. The choice of initial constant generators, considered initial and expressed by combinators, is discussed. These initial generators are used as the main “building blocks” that enter into the applicative medium in interaction with each other. As a result of the interaction, constructions arise that give representative sets of ordinary operators and immersed computing systems.
Только метаданные
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.
Только метаданные
Computational Model for Capturing the Interdependencies on Information Processes
(2021) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.Current resource integrity techniques such as sub-resource integrity (SRI) do not apply to unknown content, and mitigating attacks along this vector remains an open issue. Complex interdependencies on the Internet have implications that go beyond security, leading to the creation of unwanted manipulation of information processes. Cognitive interference, based on the deliberate entanglement of information processes, is increasingly spreading on the Web. Today, there is still no generally accepted understanding of the mechanism of entanglement of information processes. In this paper, we propose a cognitive architecture and a computational model that allow representing an information process with a variable property, opening up opportunities for studying the forms of its behavior. Entangled processes are considered to occur simultaneously, as coexisting processes that have a common source of origin, and the state of their system is represented by a superposition of components. As it turns out, the integrity of resources is violated when the conditions for the emergence of architecture with a variable property arise in a tangle of process dependencies. This creates entangled information processes. This occurs in the emergence of vulnerabilities in the Web environment such as cross-site scripting XSS. The models and mechanisms of complex interdependencies on the Internet still remain poorly understood.
Только метаданные
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.
Только метаданные
Imposing and Superposing the Information Processes over Variable Concepts
(2021) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.A conceptual basis for modeling the information process is given in the study of the features of its propagation in case of varying the determining property. The system of conceptual dependencies over variable abstract sets is used as a relativized basis for processing semantic information. Variable domains and mapping are used to control the progress of the process, as well as recognition mappings and reversal mapping of the process property. It is shown that in the representing functorial category they can be interpreted as cognitive architectures that are significant for solving semantic modeling problems. In this case, the superposition of process states can be taken into account.
Только метаданные
Lambda-calculus, combinators and applicative computational technologies
(2022) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
Только метаданные
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.
Только метаданные
Applicative approach to construe a computational model of concepts and individuals
(2022) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
This paper considers the application of conceptual mathematics to construct a computational model of concepts and individuals. An applicative approach is systematically applied to build a concept-as-process design. Since modern computing considers information processes as the main objects of modeling, the developed design is indeed representative of the semantic processing of information. The nature of concepts вЂ“ what concepts are вЂ“ and the constraints that govern the theory of concepts have been, and continue to be, the subject of debate. It is especially interesting to discuss the nature of concepts in connection with the recently established fundamental nature of information processes that are attributable to all phenomena and events occurring in the world around us. The current trend elevates information processes to forms of computing, which can also be implemented through practices, for example, in the form of programming. The deep component is computational models, one way or another expressed by means of mathematics and metamathematics. The main meta-operations used are abstraction and application. Of greatest interest is functional abstraction and application in the form of applying a function to an argument. Despite this вЂњconceptual minimalismвЂќ, a rich theory of concepts can be developed. Using this theory, it is possible to focus further discussion not only on the nature of concepts, but also to characterize the position on each of the five important issues that are central to many theories of concepts: (1) ontology of concepts, (2) structure of concepts, (3) empiricism, and nativism about concepts, (4) concepts and natural language, and (5) concepts and conceptual analysis.
Только метаданные
Constructing generator of words of context-sensitive language on example of typed λ-calculus
(2022) Slieptsov, I. O.; Wolfengagen, V. E.; Kosikov, S.; Вольфенгаген, Вячеслав Эрнстович
The given paper considers a problem of generating words of a context-dependent language. It reviews the application of the problem to the unit testing of functions, examines in detail the use of generators in property-based testing. The context-dependent language of О»-calculus with a simple type system О›в†’ is considered, and the problem is refined up to generating О»-terms with the given type within the given context. The article proposes a generation method that was implemented using the combinators of the fast-check library, which provides property-based testing in JavaScript.
Только метаданные
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.