### Article

## Программный комплекс автоматизированного синтеза предварительного экспертного заключения для информационного обеспечения принятия инвестиционных решений по инновационным проектам (на примере проектов программы «СТАРТ»)

The main idea of the article is a possibility of creating software which could generate an expert estimation of START program innovation project description stored in a certain structure file. The software algorithm and some features of the software as long as the future of this kind of approach to the problem are also discussed.

The publication presents the Russian translation of selected chapters from "Dissertatio de Arte Combinatoria" by G.W. Leibniz, one of his earliest works. These chapters were published separately in 1666 under the title "Disputatio Arithmetica de complexionibus" and never translated into Russian. In his introduction the translator analyses the main themes of the "Dissertation" in there connection to the projects of universal science developed by R. Lull, E. Weigel, J. Biesterfeld and in the context of metaphysical and logical researches of Leibniz.

This article describes the possibility of using expert systems (ES) in the framework of interactive electronic technical manuals. Invited to consider the benefits of diagnosis and prognosis of the technical condition of the product for the end user, also evaluate the capabilities of intellectualization accumulation of new declarative and procedural knowledge by experts. This can really enhance the intellectual component of the maintenance of modern and advanced equipment. The comparative analysis of the possibilities ES allowed to formulate requirements to clarify the criteria user requests. The article shows a block diagram of synthesis ES and IETM and its description. Named and described the types of knowledge of the expert system. The process of filling expert systems knowledge is automated. Keywords: expert system, interactive electronic technical manuals, synthesis, block diagram, database

The development of evolutionary thinking is under consideration in the article; heuristic possibilities and possible limits for interdisciplinary synthesis of knowledgeare estimated. It is justified that synthetic, integrative and holistic trends – in contrast to disciplinary differentiation of science in the epoch of Modern time – are predominant in science of the XXI century. Evolutionary thinking which is understood in the most broad sense of its word is based nowadays not only on the theory of biological evolution, but also on the modern theory of complex adaptive systems, network science and nonlinear dynamics. Such a thinking becomes a foundation of a new naturalism which allows us to formulate strategies of evolutionary, naturalistic explanations in epistemology, ethics, politics, aesthetics. Taking as an example evolutionary epistemology, the author analyses its modern trends of development and demonstrates how this field meets interdisciplinary challenges of the modern scientific knowledge.

The book is devoted to one of the most prominent American writers, Norman Mailer who had a vivid imagination. He was one of those authors who visualized themselves as well as their works, and on the contrary novelized their country and reality. N. Mailer was a very public person. He revealed his publicity being a novelist, essayist, journalist, playwright, screenwriter, actor and even a film director. Besides one may find lots of his radio and TV interviews. This is one more aspect of his literary work, because his unique feature is a correlation between the art of writing and the media. America is Mailer’s beloved subject. More over his America is an Individual. It is a lifelike image created with all its complexities by means of speculating on real facts and people. In this sense there is another interesting trait of Mailer’s work: through the period analyzed in the book he coped with both fiction and non-fiction. In doing so the writer dramatized the best and the worst of American life by connecting the life of his characters to the life of the nation. And his characters are preeminently illustrious Americans, the symbols of this country. Chronological order of publications is replaced by aspects: history, mythology, imagination. This is the study of Mailer’s combination of fiction and non-fiction, fact and document, history and reality, visualization and novelization by studying his books: *Harlot’s Ghost, Oswald’s Tale. An American Mystery, The Ancient Evenings, The Gospel According to the Son, Tough Guys Don’t Dance, The Castle in the Forest*

The purpose of the research is to substantiate the development of integral branch of modern psychology of personality which is defined as personology. The research stresses the need to change dominating analytical approaches to the study of personality for the synthetic approach defined as «science of synthesis». It will reflect multiple ties between different theories and consulting personality models; experience of creating a single semantic space for personality cognition; unity of theoretical, cultural and practical psychology of personality. This triple format of personology is focused on discovery and realization of self-cognition of the personality as well as personality of the personologist being the subject of hermeneutics, theoretical studies and practical activity. The research defines the subject of personology based on positions of synthesis as well as defines the foundation for integration of the personological knowledge, structure of personology, content, method and forms of interaction between cultural, fundamental and consulting psychology.

The The workshop first took place in 2015 as a succession of the Applications of Region Theory (ART) workshop series. After the success of the initial workshop, it is only natural to bring together researchers working on region-based synthesis and process mining again. The ATAED'2016 workshop took place in Torun on June 20-21, 2016 and was a satellite event of both the 37th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2016) and the 16th International Conference on Application of Concurrency to System Design (ACSD 2016). Papers related to process mining, region theory and other synthesis techniques were presented at ATAED'2016.

A new method to predict the probabilities of future events that are consequences of the subject, are presented. The method is based on combining the two types of forecasts – forecasted events using statistical data predictions for previous periods, as well as subjective, using expert estimates, using new information. Shows that an objective forecast is the ultimate objective probabilities of future events whose values do not depend on the initial priors and are its eigenvector of the matrix reliability predictions, the expert in charge of its eigenvalue, equaled one. An example of applying the method is given.

A model for organizing cargo transportation between two node stations connected by a railway line which contains a certain number of intermediate stations is considered. The movement of cargo is in one direction. Such a situation may occur, for example, if one of the node stations is located in a region which produce raw material for manufacturing industry located in another region, and there is another node station. The organization of freight traﬃc is performed by means of a number of technologies. These technologies determine the rules for taking on cargo at the initial node station, the rules of interaction between neighboring stations, as well as the rule of distribution of cargo to the ﬁnal node stations. The process of cargo transportation is followed by the set rule of control. For such a model, one must determine possible modes of cargo transportation and describe their properties. This model is described by a ﬁnite-dimensional system of diﬀerential equations with nonlocal linear restrictions. The class of the solution satisfying nonlocal linear restrictions is extremely narrow. It results in the need for the “correct” extension of solutions of a system of diﬀerential equations to a class of quasi-solutions having the distinctive feature of gaps in a countable number of points. It was possible numerically using the Runge–Kutta method of the fourth order to build these quasi-solutions and determine their rate of growth. Let us note that in the technical plan the main complexity consisted in obtaining quasi-solutions satisfying the nonlocal linear restrictions. Furthermore, we investigated the dependence of quasi-solutions and, in particular, sizes of gaps (jumps) of solutions on a number of parameters of the model characterizing a rule of control, technologies for transportation of cargo and intensity of giving of cargo on a node station.

Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a full-fledged implementation. This paper describes an ROLAP-based method of multidimensional event logs storage for process mining. The result of the analysis of the journal is visualized as directed graph representing the union of all possible event sequences, ranked by their occurrence probability. Our implementation allows the analyst to discover process models for sublogs defined by ad-hoc selection of criteria and value of occurrence probability

The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.

Existing approaches suggest that IT strategy should be a reflection of business strategy. However, actually organisations do not often follow business strategy even if it is formally declared. In these conditions, IT strategy can be viewed not as a plan, but as an organisational shared view on the role of information systems. This approach generally reflects only a top-down perspective of IT strategy. So, it can be supplemented by a strategic behaviour pattern (i.e., more or less standard response to a changes that is formed as result of previous experience) to implement bottom-up approach. Two components that can help to establish effective reaction regarding new initiatives in IT are proposed here: model of IT-related decision making, and efficiency measurement metric to estimate maturity of business processes and appropriate IT. Usage of proposed tools is demonstrated in practical cases.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.