Published:
2005-04-01
Articles
-
An ideal of conjunctions with a probabilistic estimates/assignment of its elements is one of the mathematical models of a knowledge pattern with probabilistic uncertainty. Chains and networks of such ideals are mathematical models of knowledge pattern bases; these models are referred to as algebraic Bayesian networks. We consider extremal tasks that appear in conjunction chains ideals when elementary evidence or a set of such evidence is propagated over them. This propagation is referred to as à posteriori inference. We also generalize our approach to evidence propagation onto chains of conjunctions ideals and acyclic networks of those ideals. Initially appearing extremal tasks are hyperbolic programming ones; but we manage to reduce them to linear programming tasks. We describe as well an indexation of ideal elements. This indexation allows to formally specify a set of constraints, originated from probabilistic logic axioms, over a conjunctions ideal. This formal specification allows a convenient notation of the extremal tasks under question.
-
The article considers in detail Bayesian networks that may be represented as linear chains of knowledge patterns. We study both Bayesian belief networks, based on the conditional probabilities, and algebraic Bayesian networks, based on the joint marginal probabilities. We show relations between these two objects and explicitly describe the families of distributions corresponding to linear chains of knowledge patters in both cases.
-
The article analyses the main problems of if-then rules search in data: the problem of attribute segmentation, the combinatorial problem, the lack of criteria for estimating certain rules, the problem of false laws in multidimensional data, etc. Taking the three unsophisticated tests and Deep Data Diver system as an example we reveal the major perspectives in the considered area.
-
We state definitions for global consistency stability and global consistency multi-stability in an algebraic Bayesian network and consider the relationships between the stabilities quantitative measures.
-
The article is devoted to the method of creation models with using only ratio values based on calculation of portions structure are discussed.
-
Principles of design of automated paralleling tools for sequential software are considered on the basis of software graph and information streams graph. Template (prototype) of automated paralleling system for software compiled in C is developed, source text being under restrictions of structure programming.
-
The problems, which are solved during project development performance of a program product by using of mathematical models, are defined. Diagrams of technological and information interaction between models are shown. The project basic characteristics are defined. The description of the models, which are included in a complex (evaluating and tracking models) is given.
-
Within the framework of methodology of model СММ the problem of process creation for the project of program product development is considered on the basis of the organization standard process. Adjustment procedure of organization standard process on the real project is resulted.
-
The problems of the organization of the multilevel mode of the information processing on the distributed systems for DBMS, including the problems of the aggregation and polysemy.
-
The enhancement of algorithmic networks is offered through comparing with classic programming languages.
-
Introduction article and short description of decision acceptance support system for updating and analysis of algorithmic models in spreadsheets.
-
In the paper the segments principles of multilevel automation information systems developing are described. The main advanced of approach is possibility implementation entrusted information technology (for example operations system and data base management system) for processing of data, which are obtained various security classification levels. The supposed approach my be applied under absent straightforward communication between security segments or under implementation in system special components, called by security gateway in order transfer security data from one segment to another.
-
The basic purposes decided by High-Availability systems are considered. The architecture and principles of work of a cluster with various amount of nodes is shown. As a result of experiment, dependence model of availability criterion from cluster architecture is found. Also change of dependence is considered at various ordinal relations between initial characteristics.
-
The analysis of existing methods for performance evaluation of computing systems is given. The basic computer subsystems are considered, characteristics and criteria for performance evaluation are chosen. The new method of performance based on the analysis of values of characteristics and convolution of these values in an integrated parameter is offered. Such characteristics of systems behaviour, as efficiency, stability and domination of loading are considered.
-
Algorithms of priorities assignment for real-time systems inclusive simple and complex tasks are discussed. The algorithms provide RAM use efficiency increase.
-
Analysis of compilers of compilers LLgen and ACCENT is conducted on the base of testing on the settings examples for conclusion about their applicability. The tables of characters of the little known compilers of compilers are contained and their Internet-addresses are listed.
-
The different approaches to video data processing, including video data compression are viewed. Some standarts of Wireless Networks are considered. The Wi-Fi and Bluetooth technologies are compared with.
-
Construction of the abstract computer memory automat is provided, which realizes functionality of the computer’s memory, additive and multiplicative operation are defined. Discussed some questions of utilization achieved formal results in practice of distributed computing.
-
The ontologies application during designing system of information protection of the enterprise is considered. The examples of possible ontologies usage are given.
-
The technology of construction of functional model of object both estimation of its labour input and cyclic complexity is given. The appropriate tool means are briefly considered.
-
The paper presents information technology for immersion of arbitrary computer-synthesized virtual object, in particularly, robot-manipulator, into real environment. Developed technology provides visual and tactile-force effects of perception. The technology realizes so called Augmented Reality which is fast developing branch of Virtual Reality. Virtual object in this case is augmentation to Reality. Unlike from the known variants the technology presented by the paper provides more realistic perception of the virtual object into the real environment and this technology requests more small expenditure. In this is presented description of experimental results.
-
One of type of automation system — automation system of the monitoring and control of complex technical objects in real time in conditions of structural degradation.
-
In the paper an approach for investigating asymptotic stability of nonlinear interval timedelay system is proposed on the base of Lyapunov’s direct method and interval analysis. A sufficient condition of asymptotic stability is obtained using the concept of Lyapunov-Krasovsky functional.
-
The methodological regulative components, such as the two-point-of-view definition of organizational technical system, the paradigm and principles of structure-and-purpose analysis of this class of systems are discussed. The conception of structure-and-purpose analysis of the systems based on the methodological regulative components is defined. It allows us to improve quality of the results of systems analysis.
-
One considers the application of variation approach for solution of complex problems of statistic estimation of non-linear dynamic systems due to criterion of maximum verisimilitude. One discusses questions of accounting of a priori information and regularization of marks appreciation.
-
One considers the task of optimum control of active objects movement at it’s consecutive meeting with a system of mobile objects for special targets. One determines necessary with regard of restrictions.
-
In the state-space (SS) of nonlinear non-stationary dynamic objects are investigated numerical algorithms of their optimum control with restrictions on phase coordinates. The control actions limit by a class of step functions, as positive and negative impulses generating in the SS binary trees. The dynamic process is interpreted as growth binary tree. In accordance with growth binary tree, it the knots get into various areas of the SS (clusters). The purpose of control is the get, during growth binary tree, one or several knots in a specific cluster (target set). In the present work is considered the new numerical search method of optimum control with adaptation to restrictions of an external environment, called by a method of binary trees.
-
The problem of definition of CALS technology ideas is considered. The general requirements and recommendation for application CALS-similar technologies into educational process and creation of glossaries in the universities are suggested.
-
this basic the new conception of classical radiative transfer theory is introduced. The modification of basic value problem in radiative transfer theory for polarimetric invariants calculations is carried out. Significant simplifications in a framework of numerical modeling connected with calculations of polarimetric invariants are presented. Generalization of formulated mirror symmetry principle for informative content and media exit photon’s probabilities are carried out also. On the basis of developed invariant’s interpretation the possibility of unified polarimetric function introduction for description of polarized radiation field of a uniform slab is shown.
-
Generalization problems of local mirror properties for primary polarized light scattering of level of multiple light scattering in a uniform slab of final optical thickness is considered. New conceptions of classical radiative transfer theory — polarimetric unified function and polarimetric invariants are introduced. As example the polarized radiation field of system “atmosphere – underlying surface” is considered.
-
The informational calibration problems of remote sensing Earth’s spectrometry data are considered on the basis of fundamental solutions of the radiative transfer equation. The invariants' searching problems in a solution’s space of a basic value problems of radiative transfer theory with mirror symmetry are stated. The elaborated approach is being the development of the formalized models' deriving routines for planning, comparison and evaluation of the remote information, being invariant to time, spatial and spectral variability with aerospace survey conditions to be conducted from uniform statements.
-
Investigetion use limitation and error of normalized information properties of the colors response curves, indexes and coefficients used at thematic interpretation of the space remote information as well as in GIS problems analysis are carried out. Use conditions of synergic approach of G. Haken's informational entropy are rotined for development and simulation of information remote indication performances of an ecological process characteristics with forecast possibility of its critical state and informative trends of spreading.
-
The key aspects of optimal modernization of mobile communication systems are analyzed. The problem is shown to be reduced to the basic problem of optimal planning of such systems.
-
On the basis of the analysis of capacity of the solar batteries under various conditions, and required capacity for flight of a flying vehicle valuations of a opportunity of use of solar energy for this purpose are carried out.
-
adaptation of ultrametric adaptive statistic for mass-spectrometers signal analysisied.
-
In this paper, the real-time simulation of CdSe quantum-size islands formation on ZnSe surface is considered. In addition, the possible modeling methods, which enable to solve this problem are suggested.
-
Immunocomputing techniques have been used to create new indices that estimate the risk of an inadaptability of juvenile crisis in a given group of young people in a «hard» environment. Application examples have been provided using the psychological tests of cadets of the Peter the Great Military-Space School in St. Petersburg.
-
The following article is devoted to the methodological role of the E. Duerkheim approach for consideration the tolerance problem in the modern society and in the international relations.
-
The model for definition of power expenditure of wild reindeer connected to maintenance thermal stability and activity animal depending on temperature of air, speed of a wind, condition of a snow cover, solar radiation is submitted. The results of accounts in a wide range of climatic factors and estimation of borders of tolerance of animals are resulted.
-
Technological scheme of surface water remote sensing in visible and near infrared spectral regions under natural illumination is considered. The technology is based on the numerical solution of radiative transfer equation in the atmosphere and water media and includes the formation of special data bases for the acceleration of water state retrieval procedure.
-
In the article, processing of scalar signals on basis wavelets transforms is described.
-
Computational models are considered for real-time software applications with compound tasks. The opportunity of feasibility analysis of such applications is represented.
-
A new principle based predictive mathematical model to optimize control processes at technological plants is developed. Correctness of prediction is conformed by widespread experiment. The model-based software is being applied for optimization of control processes at carbon-hydrogen aromatics producing plant of the oil refinery.
-
The problem of software test bench development for debugging and verifications of the mathematical models used in various observations and control tasks is considered. The test bench includes knowledge base of mathematical models, the program generator of test signals and the quality of models functioning analyzer. Realization of the test bench is carried out on the basis of javatechnologies.
-
In this paper the relationships between of middle- and long-latency acoustical evoked potentials on model of selective attention are estimated. Topographical brain mapping in this situation is model for approximation of direct and back influences in neural networks at processing the acoustic information. The mechanisms of perception of target and non-target acoustic signals in the brain on various epoch of the analysis are estimated.
