物联网与感知矿山专题讲座之四——感知矿山物联网与煤炭行业物联网规划建设

指出感知矿山物联网M2M平台应为应用层服务提供开放的接口,适应完善安全避险"六大系统"、领导带班下井、煤矿灾害监测的需求;给出了煤炭行业物联网的四层结构,指出感知矿山物联网建设是整个煤炭行业物联网建设的重点,其它层次以煤矿安全管理和资源管理为主,并分析了矿业集团级、省级、国家级煤炭行业物联网的应用方式;提出了煤炭行业物联网建设需要注意的问题。     

Analysis of probability distribution of a random variable of an execution time of the program in the presence of random failures

The mathematical model of an estimation of an execution time of the program in the presence of random failures is studied. For decreasing of influence of failures on a program execution time the known method of checkpoints is considered. The main objective consists in reception of the formula for a distribution function of a random variable of an execution time of the program and an estimation of a quantile of the received distribution. Properties of a mean value of a random variable of an execution time of the program are studied.     

Adaptive methods of solving inverse problems for improvement of fidelity of molecular DNA computations

Elaboration of methods of monitoring of biochemical reactions with DNA strands is necessary to solve one of the main problems in creation of biocomputers—improvement of fidelity of molecular DNA computations. In this paper, the results of solution of inverse two-parameter problems of laser Raman spectroscopy on determination of the types and concentration of DNA nitrogenous bases in multicomponent solutions are presented. Comparative analysis of the three used methods of solving these problems has demonstrated convincing advantages of artificial neural networks and of the method of projection to latent structures. Use of adaptive methods allowed achieving the accuracy of determining the concentration of each base in two-component solutions about 0.2–0.4 g/L.     

Codes defined by multiple sets of trajectories

We investigate the use of shuffle on trajectories to model certain classes of languages arising in the theory of codes. In particular, for each finite set of sets of trajectories, which we call a hyperset of trajectories, we define a class of languages induced by that hyperset of trajectories. We investigate the properties of hypersets of trajectories and the associated classes of languages, including the problem of decidability of membership and the problem of equivalence of hypersets of trajectories.     

Using the method of phase biplane to study dynamics of interactions of the elastic structural oscillations of the flexible spacecraft with the control system

A modal-physical representation of the mathematical model of flexible spacecraft enabling one to specify a diversity of the distinctions of the dynamics of controllable motion of the flexible objects was determined. The method of phase biplane enabling strict analysis of the dynamics of relay control of orientation of a flexible object with one dominating mode was described and extended to the method of the fuzzy phase biplane for approximate study of the dynamics of the multifrequency flexible spacecraft. Consideration was given to some important questions concerning the impact of structural flexibility on stability and performance of the control system of orientation of flexible spacecraft.     

The computation algorithm of capacity indices of the telecommunication networks with repeated transmissions

The results are presented of the investigation of an approximate method for the calculation of characteristics of the telecommunication network of commutation of packages with a bounded buffer storage of nodes and retrials of transmissions of packages from sources and transit nodes. As a model of the telecommunication network use is made of the queuing network (QN) represented by an aggregate of isolated queuing systems (QS’s) with bounded accumulators and retrials of transmissions. The algorithm is suggested for the verification of realizability of primary input flows (delivery of all incoming packages to the appropriate finite nodes in the finite time) and the computation of blocking probabilities of nodes, the load of transmission links, mean values of the number of packages, and the dwell time of packages in the network operating in the stationary mode.     

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.     

Structural optimization of pseudogradient algorithms for estimating image parameters

The possibility of reducing the computational costs for recursive estimation of the parameters of interframe geometric deformations of images (IGDIs) by means of a structural optimization of algorithms is considered. This optimization is based on finding a subdomain of the domain of definition of the parameters that contains an extremum of a goal function (GF). A situation is analyzed when the domain of definition of the estimated parameters is several times greater than the operating range of the algorithms. Basic relations for the probability of erroneous choice of the subdomain and for discrete probability distributions of the number of iterations of an algorithm are found. Aleksandr Grigor’evich Tashlinskii. Born 1954. Graduated from Ul’yanovsk Polytechnical Institute in 1977. Received doctoral degree in 2000. Scientific interests: statistical analysis of images, in particular, estimation of spatiotemporal deformations of sequences of dynamic images. Author of more than 200 papers and one monograph. Member of the International Academy of Authors of Scientific Discoveries and Inventions and the Russian Academy of Natural Sciences. Awarded medals from these academies.     

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.     

On one method of structural-parametric identification of dynamic systems

Proposed was a method of determination of the structure of a model of a dynamic system from the bounded mismatches. It is based on recurrent use of the methods of parametric estimation of the model coefficients. A numerical method of determination of the statistical characteristics of the model coefficients at mutual transformations of the mathematical models of dynamic systems of different types was proposed.     

煤矿物联网的设计与应用分析

介绍了煤矿物联网感知层、网络层和应用层的设计方案;指出煤矿物联网建设过程中的关键技术为物联网标志体系、综合通信基站、井下分布式传感技术、异构网络的互联互通,并提出了相应的解决方案;分析了煤矿物联网在安全生产和管理、综合多媒体通信、矿用设备和物资监管等方面的具体应用。     

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.     

Accounting of heterogeneity in the estimation of radiation risks

The problem is considered of taking account of heterogeneity in the individual radiosensitivity in evaluating the radiation risk of the origin of a disease in a group of persons subjected to the radiation action. Mathematical models are described for the estimation of the radiation risk of the origin of the disease with and without regard for heterogeneity. The use of the described method is demonstrated with an example of the estimation of the risk of the origin of radiation-induced diseases from the class of “solid cancers” among the persons taking part in the liquidation of consequences of the accident at the Chernobyl’ Atomic Power Station (CAPS) in the years 1986–1991. It is shown that the heterogeneity disregard leads to understated estimates of the radiation risk of the origin of radiation-induced solid cancers. The effect is investigated of the length of the latent period in the origin of radiation-induced “solid cancers” in taking account of heterogeneity.     

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     

Nonlinear Inverse Boundary-Value Problems of Conformal Mapping with a Controlling Potential

Some characteristic cases of formation of an ideal flow are described depending on preset values of controlling potential. Based on the modified G. Polozhii's method of summary mappings, the characteristic function of the flow is obtained. Examples of construction of a dynamic grid, field of velocities, and formation of different flows are given. Types of key problems of finding the values of controlling potential, which provide optimization of definite functionals are defined. An example of solution to one of them is 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.     

Design of modified PD algorithm to control angular motion of large space structure

Consideration was given to the design of an algorithm to control orientation of the large space structure (LSS) in the presence of infralow (less than 0.01Hz) frequencies of elastic oscillations exerting considerable influence on the quality of transients due to closeness of the LSS eigenfrequencies to the frequency of control of the object’s “rigid” motion. Procedure for designing a modified PD-algorithm for orientation of the LSS with infralow frequencies of elastic structural oscillations was described. Methods were proposed for calculation of the coefficients of additional components of the modified algorithm and determination of the LSS eigenfrequency boundary to the right of which the orientation control system is robust to the deviations of the object frequencies or inaccuracy of their definition. Some examples of mathematical modeling of the processes of the relay gyroforce control of LSS orientation using the proposed algorithm were given.     

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

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