AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS最新文献

An algebraic point of view on the description of abstract data types is applied to JSM reasoning: names of sorts and types of algebraic operations are presented together with equations that can determine their meaning. These equations form a convergent system of term rewriting. The Wolfram language is used for the equation definitions. The algebraic specification could be used both to create an ontology and to program an implementation of plausible reasoning.

A modified fuzzy min-max classifier is presented that differs from the original in the way that the hyperbox expansion operation is performed. The classifier has been tested on the solution of cybersecurity problems, such as detecting spam, phishing sites and attacks on network connections. The results of experiments results showed an improvement in the accuracy relative to the original fuzzy min-max classifier. Comparisons with six alternative incremental learning classifiers showed competitive results on the false acceptance rate, the false reject rate, and the F1-score values.

Using the synergetic model proposed by G. Haken, the problem of assessing the socio-economic state of the region from a lot of unstructured data is considered. The intelligent model implemented allows us to assess the state of the region based on a set of data characterizing its economic, financial, social, and technological processes. Reference feature vectors are proposed to represent four different states. Examples of using the developed model to assess the current state of regions are given.

The article describes a statistical analysis technique for information infrastructure performance based on processes modeling and simulation in an event-driven process methodology notation. The concepts of sustainability and survivability of the information infrastructure are introduced. A definition of marginal performance is proposed that allows the information infrastructure to be in a stable state.

It is quite difficult to abandon well-ordered formal constructions, even if they are of little use in practice. The normalization method which, with the emergence and development of an alternative semantic direction, has gradually faded into the background has today found itself in such a situation in data modeling. Nevertheless, the practical potential of normalization has not been exhausted. Removing the restriction on the mandatory decomposition of factographic relations (FRs) with join dependencies and expanding the range of compositional dependencies that can objectively be present in such relations significantly expand the boundaries of the method’s suitability, including allowing one to fill in the gaps in the incompleteness of information concerning the organization and functioning of the domain being modeled. This paper focuses on identifying and considering new classes of dependencies: projection, Cartesian product, intersection, union, and difference, as well as on deriving a formula for an arbitrary FR that comprehensively takes into account the influence of all compositional dependencies found in the relation on its possible content.

This paper adopts a method of homeostatic support of a complex system using a swarm algorithms. It is proposed to use information objects that are represented in the form of invariant structures as swarm agents. This provides the possibility of classifying information objects by one or a number of homogeneous properties, as well as applied methods of data collection and processing. This approach allows the grouping of objects of any nature into a swarm structure. The invariant structure of information objects also provides the possibility of conversion of stored data without losses and distortions into different services of information systems. The system representation of swarm management of the homeostasis of complex systems by means of interaction of different swarm groups that differ in terms of behavioral models is given in accordance with the given target reference points. Classification of swarm groups is considered. The description of invariant swarm structures is given.

The role of computer modeling in the study of physical and astronomical processes and phenomena is difficult to overestimate. Today, computer modeling is in demand in various scientific fields and, in comparison with noncomputer modeling methods and full-scale testing, allows the creation of prototypes for the studied objects, processes, or systems that function in a given specific environment. Taking into account the complexity of the models being created and conducting experiments in real conditions, computer modeling allows, depending on the factors and conditions of the functioning of objects in a virtual environment, analysis, making various forecasts for the future, studying the interaction between objects, and presenting the results obtained in a convenient graphic, textual, or tabular forms. The article discusses particular mathematical solutions to the three-body problem proposed by mathematicians from different countries from the 18th to the 21st centuries. The presented project allows us to touch on knowledge from various fields (physics, astronomy, mathematics, and history) and implement a mathematical model of the system using the state vector of three bodies and integrating a system of differential equations using a program based on the explicit Runge–Kutta method of the eighth order of accuracy.

The problem of the possibility of the manifestation of machine consciousness cannot be solved until there is a sufficient understanding of what human consciousness is. Only this will make it possible to use comparative analysis as a tool within the framework of the current paradigm. However, there are already methodological approaches that allow us to solve such problems. A new methodology is proposed based on the synthesis of physical and psychological approaches, as well as assessments of the systemic properties of material objects recognized as subjects of action. The presence of mental properties of systems is considered to be derivative of their homeostasis, which implies the recognition of the presence of mentality in any material structures.

The article proposes a method for the alignment of multicomponent terminological units in scientific and technical texts placed in English-Russian parallel corpus. The approaches, methods, software, and levels of text alignment in parallel corpora are analyzed. The linguistic peculiarities of English- and Russian-language terminology influencing the process of alignment of special lexicon, as well as the peculiarities of SimAlign package operation in parallel text processing, are investigated. Two approaches to the alignment of multicomponent terms in a parallel corpus are analyzed. The influence of peculiarities of languages with different grammatical characteristics is shown.