Informatica

The configuration and essential features of the Computer-Aided Test Program Design System (CATPDS) which generates test programs in an adapted ATLAS subset for analogue units under test are discussed. The requirements for that class of systems are formulated and how to meet these requirements is proposed. The formal model to describe the process of an interactive test program generation and incremental translation is presented.

The existing decomposition technology of cooperative developments of multidiscipline technical complexes (MTC) don't provide global optimality die to the imposiolity of solving the problem of developing principles of local project solutions made by a dreat number of specialists of different branches of science. This problem is supposed to be solved by means of controlling of real-time of MTC space structural-parametric synthesis in terms of hierarchically organized variety of assumed scheme-structural and technological solutions. The basis algorithm: 1) realization method for a variety of possible structural organizations of a complex technical system in the form of a network analyzer; 2) method combining synthesis combinatorial operations and parametric operations in search for short routes of the developed network analyzer.

A possible interpretation, in terms of fuzzy classification models (fuzzy classifiers), of one of the general principles of choosing a scientific theory – a consistency principle – is considered. Supervised self-guessing fuzzy classifiers are determined. A theorem on character of restrictions induced on a set of supervised fuzzy classifiers by a self-guessing requirement is proved. Feasible alternatives of using the self-guessing property while constructing supervised fuzzy classifiers are analyzed.

A possible interpretation, in terms of fuzzy classification models (fuzzy classifiers), of one of the general principles of choosing a scientific theory – a consistency principle – is considered. A concept of a stability measure of unsupervised fuzzy classifiers is introduced. A general scheme of computing the above measure is proposed. A concrete algorithm for implementing the general scheme and examples of its application are given.