V. I. Levin.
CONTINUOUS LOGIC AND ITS APPLICATION TO RESEARCH OF SYSTEMS WITH UNCERTAINTY.
UDC 519.711 Annotation: Continuous logic (СL) is introduced as a natural generalization of discrete logic (DL). At the same time, most of the DL laws remain in force for СL. However, the operation of negating of СL can not be defined so that it is a complement, as, for example, in two-valued logic, i.e. that the laws of the excluded third and the contradictions are fulfilled. Therefore, structurally continuous logic essentially differs from two-valued discrete logic. This and the continuity of the variables leads to certain differences between the CL and DL in the nomenclature of the problems being solved and the methods for their solution. The purpose of the article is to give a detailed review of the theory of CL, its history, methods, results and applications in various fields of science and technology. Keywords: continuous logic, laws of logic, logical function, problem of completeness, applications of continuous logic.
V. N. Pavlysh, G.B. Peretolchina.
THE MATHEMATICAL MODELING OF NON-STATIONARY PROCESSES IN ENVIRONMENT WITH LEFT CERTAIN PARAMETERS.
UDC 622.734.001.57 Annotation: In the article the task of construction and investigation of determine mathematical model of liquid moving processes in coal seam regards as crack-porous continuous environment with slipshod defined filtration parameters is considered. The model based on particular derivatives equations, describes nonlinear-elastic filtration regime of compress-resist liquid in strength continuous environment, filtration parameters are given as random quantities with fixed variation interval, computer realization made by ending-difference approximation. Keywords: the mathematical model, process, parameter, equation, algorithm.
Ya. S. Pikalyov, A. S. Vovnyanko, I. Ya. Denishenko.
ANALYSIS OF AUTOMATIC VERIFICATION SYSTEMS SPELLING OF THE RUSSIAN LANGUAGE.
UDC 004.89:004.93 Annotation: This work is devoted to the research of automatic spelling checkers of the Russian language. The technique of estimation of automatic spelling check systems developed by the authors is considered. A description is given to the selected systems. On the basis of the research carried out by the authors, the best system is singled out, and a conclusion is made about the further relevance of the development in this field. Keywords: natural language processing; automatic spelling systems for the Russian language; method of assessment; method of analyzing hierarchies.
S. A. Izosimova, S. B. Ivanova, I. S. Salnikov, R. I. Salnikov.
PROBLEMS OF COMPUTER BIBLIOTHERAPY.
UDC 621.446 Annotation: The article deals with features and characteristics of bibliotherapy as a psychotherapeutic method and means of influence on a person's psychophysiological condition. On the basis of the analysis of historical sources, the path of origin and development of this method is given. The ways of its further improvement using modern computer facilities and technologies are suggested. Keywords: bibliotherapy, features of the method, psychotherapeutic technique, literature and texts of different genres, possibilities of computerization, development prospects, actual problems.
V. Y. Shelepov, A. V. Nicenko.
ANTI-TEMPLATES AND SERCHING OF KEYWORDS WITH DTW-RECOGNITION METHODS.
UDC 004.89; 004.93 Annotation: The paper describes authors' methods of keyword searching in a continuously spoken Russian phrase. The method consists of DTW-recognition of all speech segments of the recorded phrase containing as many unvoiced fragments as there are in the keyword. The keyword template is created by voice, for non-key words it is suggested to use a small amount of averaged anti-templates. Due to the small number of anti- templates, a significant acceleration in the keyword searching process is achieved. Keywords: speech template averaging, anti-template, speech segmentation, unvoiced fragment, diphone DTW-recognition.
I. A. Tarasova.
DEVELOPMENT OF THE ALGORITHM OF SPECIFYING THE MULTIDIMENSIONAL MEMBERSHIP FUNCTIONS OF LINGUISTIC VARIABLES TERMS BASED
ON STATISTICAL DATA.
UDC 004.89; 004.94 Annotation: The article is devoted to algorithm of specifying the multidimensional membership functions of linguistic variables terms based on statistical data has been done. Application of the developed algorithm improves the efficiency of fuzzy control of badly formalized objects with the complicated structure of intercommunications of entrance and output variables. Keywords: fuzzy control, multidimensional membership function, term of the linguistic variable, automation of the process.
РУС
ENG
