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.     

构建信息系统的综合防御体系

在为信息系统构建安全体系时,人们往往将注意力放在网络安全和数据安全方面,而软件管理、物理安全等问题却容易被忽视。文章以空军某部综合管理信息系统为例,阐述如何从网络安全、物理安全、软件系统安全、数据安全等多个方面构建信息系统的综合防御体系。     

MCM多功能芯片集成工艺技术研究

近几年来，MCM技术在许多方面应用越来越广泛，本文着重介绍了MCMX工艺的实现过程，并以54HCT04为例，用倒装焊的方法，制造出了具有一定功能的电路模块。     

Optimization of Parameters of Stationary Models in a Unitary Space

Presented in the paper is a variational method of optimizing the coefficients of a vector difference equation with constant (matrix) complex coefficients, which approximates by one of its solution a prescribed finite sequence of complex vector equidistant counts. It is shown that an appropriate variational problem with unfastened boundaries is equivalent to the discovery of a chain of subspaces, which is generated by a polynomial in an isometric operator in an abstract Hilbert space. The chain is such that it is remote to a maximum from an arbiitrarily specified element of this space. To afford an effective recursion solution of the problem, use is made of counter processes of orthogonalization and special iterative procedures of optimizing the parameters of an equation that approximates the process under study in a finite observation interval.     

System Optimization of Complex Constructive Elements of Modern Technology

A method and an algorithm are proposed for solution of multicriterion problems of structural and parametric optimization of nonhomogeneous anisotropic constructive elements under the condition of the choice of an acceptable hierarchical structure of a complex construction, an appropriate distribution of requirements on each functional constructive element of each hierarchical level, and a reasonable trade-off between inconsistent requirements on the strength, reliability, and adaptability to manufacture and technical and economic efficiency of the construction, taking into account the risk degree and risk level of non-nominal situations. The efficiency of the method proposed is illustrated by an example of choice of an acceptable structure of a complex system, namely, a wind turbine.     

求方程近似解方法的Rough集解释

文章给出了数学中求方程近似解的两种方法的Rough集解释。该文利用Rough集的上、下近似理论来描述求方程近似解的过程,并把求方程近似解的问题归结为一个区间来进行讨论。     

Formalization of ensuring the information security of an organization

In this paper, we propose an algorithm for solving the problem of ensuring the information security of an organization. The algorithm consists of generating a set of threats aimed at the resources of an organization, generating variants of measures intended to provide protection from these threats, and formulating problems of optimizing the selection of measures intended to ensure information security. The algorithm is used in an expert, automatized information system for decision-making support.     

Problems of Constructing Intelligent Systems. Levels of Intelligence

This paper describes the development of a theory of constructing intelligent systems created to solve problems in arbitrary subject areas. Processes of modeling a subject area are considered, which are based on the use of an ontological representation involving logic and specifications of individual elements of a model as triads consisting of an extensional, an intensional, and a connotation. Definitions of intelligence levels are proposed each of which corresponds to the level of capabilities of an intelligent system.     

Structures of responsibility and security of information systems

Our research suggests an improved theoretical and conceptual foundation for analysing information systems security. We argue that an analysis of structures of responsibility in organizations leads to the development of secure information systems. The paper surveys the existing approaches to security and proposes an alternative perspective for viewing organizational and security issues.     

一种查找形式背景箭头关系的快速算法

在形式概念分析中,"箭头关系"对简化形式背景、识别兼容子背景等起着至关重要的作用,因此如何快速确定一个给定形式背景的对象与属性间的箭头关系是一个值得探讨的问题。首先针对形式背景给出对象与属性间的箭头关系的等价判定定理,在此基础上提出一个查找形式背景的箭头关系的快速算法,并通过实例与数值实验证实了该算法的可行性与有效性。     

基于Agent的负载均衡框架应用研究

文章通过对现有负载均衡系统的分析,针对现有系统缺乏自主调节能力的不足,提出了一套将现代经济理论通过Agent技术运用到负载均衡和资源分配中的应用框架模型。     

企业内部供应链信息流集成 --上海精艺纺织制品加工厂集成化信息系统的建立

提出了以Intranet为基础 ,针对企业的实际现状 ,为企业进行管理咨询 ,选择适合企业的经营管理模式 ,并将其融入系统中 ,建立企业的集成化信息系统的设想。并以上海精艺纺织制品厂为实例 ,介绍了基于B/S架构的企业集成化信息系统的整体框架     

Modelling of extremal fuzzy dynamic systems: Part V. Optimization of continuous controllable extremal fuzzy processes and the choice of decisions

This work deals with the problems of optimization of continuous controllable extremal fuzzy processes that have been presented in parts I, II and III of the current paper. A separate consideration is given to the case where an extremal fuzzy control process acting on an extremal fuzzy dynamic system (EFDS) (i) depends and (ii) does not depend on an EFDS state.

Sufficient and necessary conditions for the existence of an optimal control are proved. Applying Bellman's optimality principle and assuming that the gain–loss process exists for an EFDS, a variant of the fuzzy integral representation of an optimal control is given for continuous EFDSs. This variant employs the instrument of extended extremal fuzzy composition measures constructed in parts I and II of this work.

Finally, the questions of defining a fuzzy gain relation for an EFDS are considered, taking into account the available expert knowledge on the EFDS subject matter.     

Mechanism and control of mechatronic system with higher degrees of freedom

We introduce two types of dexterous locomotion robots and their controller design approaches. One is a simplified two-link robot “Brachiator II”. This is an example of an underactuated system where a robot mechanism has higher degrees of freedom than actuators. The desired motions are encoded as the output of a target dynamical system inspired by the pendulum-link motion of an ape's brachiation. The other is a monkey-type robot “Brachiator III” which achieves a more dexterous motion with 13 degrees of freedom. The desired motion is generated in an empirical learning process by a learning algorithm and an intelligent structure, in which the learning algorithm adjusts the coordination levels of some primitive motions in order to generate the desired motion. This is an example of a redundant mechanism. We discuss the advantages of these two design approaches.     

基于发射束迭代算法的超声波色差抑制方法研究

医学超声成像中的色差通常是通过换能器阵列信号的到达时间和振幅波动来建模的,该方法是对物理色差过程的近似,并可通过使用延时和振幅滤波器来校正发射信号,但在严重色差出现时对这种滤波器的测定是非常困难的.因此,本文给出一种迭代的方法,该方法使用滤波器估算来校正发射声束,得到的声束引起声波的背向散射,这种背向散射声束更适合对信号到达的时间和振幅进行估算,从而使得对换能器的建模变得更加方便;实验仿真结果显示,与理想的色差校正滤波器相比,只需很少几个迭代即可得到校正的发射声束剖面图.     

Feedback stabilization of a class of distributed systems and construction of a state estimator

In this paper, we study feedback stabilization of a class of distributed systems governed by partial differential equations of parabolic type and its application to constructing a state estimator for asymptotic state identification. It is proved that, when a controller (an observation) can be arbitrarily constructed, observability (controllability) of the system is necessary and sufficient for stabilizing the system so that it has an arbitrarily large damping constant. As an application of this result, it is shown that a state estimator can be constructed, the output of which approaches asymptotically the real state of the system with an arbitrary convergence rate.     

Evaluation of the Use of Induction in the Development of a Medical Expert System

In an earlier study, two medical expert systems for diagnosing thyroid disorders, developed by the application of induction on a sample of previously diagnosed cases and on expert-generated rules, diagnosed a set of test cases better than an expert system developed by the more traditional method of collaboration between a knowledge engineer and an expert. In this paper, an alternative measure of the accuracy of diagnosis of each system is used to evaluate the systems. Diagnoses for every distinct case represented by a combination of indicating factors are compared with diagnoses that the expert made. The induced systems provide diagnoses for many more distinct cases, but a much higher proportion of these diagnoses are incorrect. It is argued that generalizing to unseen cases is an inappropriate use of induction algorithms. The systematic development of a decision table is a more appropriate method for devising a medical expert system.     

基于多目标优化的堆取料机作业控制系统设计及应用

通过对堆取料作业过程进行特性分析,本文以堆取料机运行成本最低和维修成本最低为优化目标,建立改进的堆取料机作业多目标优化模型.然后应用层次分析法将该模型转换成单目标优化模型,最后应用优化算法获得优化作业方案.在此基础上,结合钢铁企业烧结原料场需求对堆取料机作业控制系统进行设计,该系统包括堆取料优化模块、料场图绘制模块、机械控制模块、自动报警模块和集中监控模块.该作业控制系统的应用,缩短了堆取料机的行走路程,提高了设备使用均衡率,同时改善了原料稳定性.     

AT89C51单片机在超发电计量仪中的应用

论述了AT89C51单片机在超发电计量仪中的应用。以AT89C51单片机为核心的超发电仪通过检测发电功率、计算处理，将实时显示超地电量，提高了超发电计量的自动化程度和数据的测量精度。     

Synthesis of insertion functions for enforcement of opacity security properties

Opacity is a confidentiality property that characterizes whether a “secret” of a system can be inferred by an outside observer called an “intruder”. In this paper, we consider the problem of enforcing opacity in systems modeled as partially-observed finite-state automata. We propose a novel enforcement mechanism based on the use of insertion functions. An insertion function is a monitoring interface at the output of the system that changes the system’s output behavior by inserting additional observable events. We define the property of “i-enforceability” that an insertion function needs to satisfy in order to enforce opacity. I-enforceability captures an insertion function’s ability to respond to every system’s observed behavior and to output only modified behaviors that look like existing non-secret behaviors. Given an insertion function, we provide an algorithm that verifies whether it is i-enforcing. More generally, given an opacity notion, we determine whether it is i-enforceable or not by constructing a structure called the “All Insertion Structure” (AIS). The AIS enumerates all i-enforcing insertion functions in a compact state transition structure. If a given opacity notion has been verified to be i-enforceable, we show how to use the AIS to synthesize an i-enforcing insertion function.