Studies in the theory of algebraic models of programs with procedures

Algebraic models of programs with procedures extend algebraic models of programs that are free of procedures (simple models of programs). A specific feature of both types of models is that they are built for some formalization of software programs. Models of programs are intended for studying functional equivalence of formalized programs and constructing wide sets of equivalent transformations of programs. Two basic problems in the theory of algebraic models of programs are the equivalence problem and the problem of building complete systems of equivalent transformations. An increasing interest in models of programs with procedures is due to the abundance of results obtained for simple models of programs. The most suitable model of programs with procedures is a gateway model. A remarkable feature of these models is that every such model is induced by some simple model of programs. This paper gives a survey of the latest results obtained for gateway models of programs.     

Two approaches to determining similarity of two digraphs

An approach to solving the problem of determining similarity with application of a maximal common fragment of two graphs is considered. Its two main disadvantages are specified. Two new approaches to solving the problem of determining similarity of digraphs are proposed: a generalized substructural-metric approach and an approach using a stratified system of matrix models of the digraph complexity. New features for investigating similarity of digraphs are formulated. The original problem of calculating similarity of layout of fragments in the digraph is formalized with account of quantitative and qualitative features of fragments of the digraph. A methodology, involving two systems of methods for solving the problem, is developed. The first system of methods takes into account the precise layout of fragments in the digraph, while the second one deals with the approximate layout of fragments. A new class of problems is distinguished, which consists in calculating similarity of digraphs with account of similarity of the layout of fragments of the specified type. An example of solving the problem of finding semantic networks that are most similar to a network-template is presented.     

Mathematical Differential Models and Methods for Assessing the Cybersecurity of Intelligent Computer Networks for Control of Technological Processes of Railway Power Supply

The problem of cybersecurity of computer networks for control of power supply at the level of railroads is analyzed and a graph of the topology of a computer network for control of power consumption is proposed. Based on the Pukhov theory of differential transformations, a number of differential mathematical models are proposed to assess the level of cybersecurity of a computer network for control of power supply. For differential images, a cybersecurity criterion is proposed and the minimax principle is developed for the worst combination of the intensity of cyberattacks and the flow of protective actions. A method of predictive search for an optimal cybersecurity strategy by the extremum analysis of a functional for the case of stochastic intensity of flows of cyberattacks is developed.     

A model of the functional state of participants of laboratory markets

The dynamics of psycho-physiological characteristics of participants of laboratory markets in the process of making economical decisions in the decentralized control system is analyzed. For this purpose, the method based on the comparison of stabilographic data with the history of market actions recorded in the course of the experiment is used. The key tool for data analysis is the new segmentation algorithm, which provides efficient partitioning of the stabilographic time series into homogeneous fragments. The segmentation algorithm is obtained as the solution of the problem of estimation of the parameters of the hidden Markov model. The application of this algorithm on the level of individual decision making proves the hypothesis of connection of the stabilogram segmentation time instants of the participant with the time instants of signal actions on the laboratory market. On the level of group decisions, the effect of synchronization of stabilographic time series of participants at the time instant of auction culmination connected with revelation of private information is supported. The degree of synchronization is estimated using a proximity factor calculated based on the specially aggregated canonical correlation.     

Construction of characteristic sets for individually adapted pilot support in typical flight regimes

An approach to solution of problems of individually adapted support of actions of the pilot in typical flight regimes is developed. This approach can be recommended, in particular, in the course of preparation and re-preparation of air crew and for implementation of onboard expert systems of advanced aircrafts. The basis of the proposed approach is based on integral evaluation of control actions of the pilot formed based on indirect data and thus not requiring online registration of factors reflecting the current psychophysiological state of the pilot. In this case, data of the regular onboard measurement system of the aircraft are used for obtaining the mentioned integral evaluation. The method of implementation of this approach to evaluating control actions of the pilot based on the formation and parametric representation in the state space of the “aircraft-pilot” system of individual reachable set used further for creation of “Electronic passport of the pilot” is proposed. Algorithms for construction of such sets in the class of ellipsoids and cubes of confidence and their compact representation in the form of the individual probabilistic profile of the pilot are described. Results of simulation of the process of obtaining such sets, which prove the efficiency of the developed concept, are presented     

Multidimensional analysis in problems of education qualimetry

A wide range of problems is solved in the field of educational qualimetry. They are student education quality control, ranking of departments of educational institutions, comparison and evaluation of the quality of the educational process in basic centers and branches of remote education, establishment of equivalent qualifications, mutual acknowledgment of education certificates of the Russian Federation and other countries, and so on. It is reasonable to use statistical methods of multidimensional analysis (principal component and factor analysis) to create a system of objective monitoring of the quality of the educational process. The problem of interpretation of principal components in problems of education qualimetry is considered. Principal components of educational-methodical unions of a particular profession are proposed as the criterion of evaluation of the quality of the educational process of a university under study.     

基于SOA的企业应用系统集成研究与实现

文中分析了企业应用系统集成的必要性和点对点集成及EAI方法的不足.探讨了面向服务的架构模型及其集成思想.提出了基于SOA的企业应用系统集成的解决方案,并给出了一个具体应用集成的开发示例.充分论证了基于SOA的应用系统集成开发的优越性和必然性.Web服务技术是实现SOA的最佳实践.     

Modeling of production-economic relations in innovation-industrial complexes

An industrial association of independent enterprises of the type of innovation-industrial complex or industrial park is considered, which is intended to introduce high-technology developments of a defence sector for the manufacture of products of the civil purpose. A mathematical model is suggested for the planning and control of the action of elements of the technological chain established. The possibility of consistency of economic interests of the participants of associations with the aid of the control mechanism based on the system of accounting prices for the intermediate product is shown.     

About the problems of optical fields and medium nanodiagnostics

The media of layered crystals as a possible element of memory in the storage systems were analyzed, the manipulation mechanisms of which are carried out with polarization of incident radiation. The phenomenon of polarization optical bistability in the medium of layered crystals was obtained, in which the transmission band is managed with only the change of polarization of incident radiation. On the basis of the mechanism of polarization control of nanoparticles motion in the tasks of polarization diagnostics of optical fields, the estimation of the coherent features of mutually orthogonal linearly polarized optical fields was performed that also enables to analyze the terms of storage of information about the structure of an optical field.     

Embedding of Systems. Conditions of the Strict Insensitivity of Linear Systems to Nonextensive Structural Disturbances

Conditions are considered of the invariance of linear stationary dynamic systems, the quality of operation of which is described by an aggregate of matrix transfer functions, to structural disturbances representable in the operator form of the notation of a mathematical model without changes in the dimensions of matrices entering into this model. Parametric disturbances represent mearly a composite portion of the disturbances under examination. On the basis of the use of the technology of embedding of systems, the necessary conditions of existence of the invariance to the disturbances under study are found and also complete sets of the disturbances that do not affect the quality of operation of a system are described. An illustrative example is given.     

Fourier phasometry of polarization filtered images of biological polycrystalline networks

This work presents the basic of method of concerted spatial-frequency Fourier filtering of phase distributions of biological fluids laser images. The comparative investigations of the efficiency of method of direct mapping of phase distributions and Fourier phasometry of laser field, transformed by dendritic and spherulitic networks of albumin and globulin were performed. The set of criteria of polarization-phase differentiation of both acute and gangrenous appendicitis were grounded.     

Parametric Optimization of Systems with Distributed Parameters in Problems with Mixed Constraints on the Final States of the Object of Control

A constructive technology of the solution of the parametrized problems of the programmed optimal control of systems with the distributed parameters under the conditions of different requirements for the permissible deviation of the resulting spatial distribution of the controlled value from the set magnitude in the uniform metric is proposed. The developed technique uses a special procedure of the one-criterion convolution of the considered constraints and the subsequent reduction to the typical form of the problems of mathematical programming on the extremum of a function of a finite number of variables with an infinite number of constraints (semi-infinite optimization problem), which is solved by the scheme of the previously developed alternance method. An example of optimization by the criteria of the speed and energy consumption of unsteady heat conduction processes with two different restrictions on the accuracy of approximation to the given temperature conditions, which is of independent interest, is given.     

煤炭工业信息化现状与发展趋势研究

根据"十二五"期间我国煤炭工业信息化的发展要求,介绍了我国煤炭工业信息化发展现状和存在的问题,分析了我国煤炭工业信息化发展需求,提出了未来我国煤炭工业信息化发展的建议。     

Minimax-statistical approach to increasing reliability of measurement information processing

Consideration was given to the methods of guaranteeing estimation of the law of motion of flight vehicles from the results of the trajectory measurements, as well as the methods and algorithms of minimax estimation under fixed sets of uncertainty of the covariance matrices of the observation errors. A minimax-statistical approach to the problem of estimation on the basis of uncertainty sets in the form of confidence regions of given reliability was proposed. The results of numerical modeling were presented.     

Robust stability manifolds for multilinear interval systems

The stability of a class of multilinearly perturbed families of systems is considered. It is shown how the problem of checking the stability of the entire family can be reduced to that of checking certain subsets that are independent of the degrees of the polynomials involved. The extremal property of these subsets is established. The results point to the need for a complete study of the stability of manifolds of polynomials composed of products of simple surfaces     

关于高校艺术设计专业学产研一体化教育模式的探讨

高校艺术设计专业学产研一体化教育是高校与社会、经济、科技紧密结合的教育模式。学产研合作是将理论学习与实践训练相结合,培养学生实践能力和创新精神,全面提高学生的综合素质。高校艺术设计专业学产研一体化教育更新了设计教育观念,提高了设计教育的社会效益,也对高校的学科建设起到了一定促进作用,对新型艺术设计人才的培养具有十分重要的现实意义。     

命题逻辑的子句集中文字的分类

检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类,并分别给出其定义。讨论3种文字与无冗余等价子集的性质,给出其等价子集的等价描述方法。得到题逻辑的子句集中必需文字、有用文字和无用文字的判定方法,借助子句集的可满足性得到3种文字与子句集的可满足性的等价条件。上述结果对命题逻辑中文字属性的判断提供了多种可选择方法,同时为命题逻辑公式的化简奠定了理论基础。     

On the stability of direct algorithms for computing programmed controls in nonlinear systems

The results of analysis of qualitative properties of an algorithm of numerical implementation of a new direct method of constructing of an approximate solution in the classical problem of programmed control of a given motion of nonlinear objects are presented. The stability of the direct algorithm to small changes of initial data (good conditionality property) of the direct method is established. In the routing problem for a telescope, carrying flexible panels of solar batteries, the robustness of the programmed control law, computed by the direct method by using a model of the telescope as a solid, is demonstrated numerically.     

Per-pixel estimating and color correction of photodetector array

A correction method of systematic error of observations of color coordinates of a photosensor array allowing correcting and estimating the colors of each pixel in the image is proposed. The estimates of color coordinates of uniform color are calculated according to the results of observation of the colors of individual pixels based on the covariance matrix of the observation errors and model of dependence of the observed color coordinates on genuine ones.     

环境艺术设计效果图的各种立体感表现

从实践设计中对不同立体表达的要求出发,阐述环境艺术效果图绘制时需要用到的各种立体感表达的形式,分析每种立体感表达形式的优缺点。谈到了常用的透视,也提出了一些独创的观点,同时介绍了计算机在立体感表现上的各种使用情况。