大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

基于GIS单线图的配网停电单模拟操作应用研究

配电网停电会造成电力系统供配电可靠性以及服务质量下降,研究基于地理信息系统(GIS)单线图的配网停电单模拟操作应用。利用网格长度作为基本单位建立坐标系,以选取起始点与终止点为基础,通过四参数法将GIS坐标映射至图纸网格内,实现配网内设备初步布局,将杆塔、站房和整体均匀分布作为优化目标,设置多目标优化目标函数实现GIS单线图最终优化。选取某电力公司配网作为单模拟操作应用对象,模拟结果表明,单模拟操作配网停电后,该配网各负荷点年故障率、次平均停电时间以及年停电时间均有所减少,可有效提升配网的供配电可靠性。     

Design and Implementation of a Flexible Manufacturing Control System Using Neural Network

Design and implementation of a sequential controller based on the concept of artificial neural networks for a flexible manufacturing system are presented. The recurrent neural network (RNN) type is used for such a purpose. Contrary to the programmable controller, an RNN-based sequential controller is based on a definite mathematical model rather than depending on experience and trial and error techniques. The proposed controller is also more flexible because it is not limited by the restrictions of the finite state automata theory. Adequate guidelines of how to construct an RNN-based sequential controller are presented. These guidelines are applied to different case studies. The proposed controller is tested by simulations and real-time experiments. These tests prove the successfulness of the proposed controller performances. Theoretical as well as experimental results are presented and discussed indicating that the proposed design procedure using Elman's RNN can be effective in designing a sequential controller for event-based type manufacturing systems. In addition, the simulation results assure the effectiveness of the proposed controller to outperform the effect of noisy inputs.     

网络展开图与符号网络分析

采用封闭网络模型,按照电路元件参数,采用开路、短路和着色运算,将电路图逐层分解,得到网络展开图.给出网络展开图的概念和运算规则,指出网络展开图中从根到末稍每个路径的值就是网络行列式展开式中的一个有效项,从而由网络展开图得到符号网络函数.该方法直接对电路图进行运算,不需要建立任何形式的电路方程和行列式,适用于一般的有源电路,而且能生成各种类型的网络函数.     

Deformation of Rodlike Elements of Composite Materials Subjected to Uniform Compression

On the basis of generalization of the results of investigation of the operation of rodlike elements of composite materials, we make a conclusion that the influence of various factors on the deformability of these elements is studied incompletely. The comparison of the stress-strain states for different models of concrete and reinforced-concrete elements makes it possible to describe the effect of longitudinal reinforcement (coefficient of reinforcement, strength and deformation characteristics) on the critical level of strains in the cross section. According to the results of our investigations, we give recommendations concerning the evaluation of the critical value of the coefficient of reinforcement above which one may observe the effect of reinforcement on the deformability of the analyzed sections. It is shown that the compression strength of the brittle base of the composite with inhomogeneous structure decreases as a result of the fracture processes. It is also demonstrated that the existing procedure used for the evaluation of the indicated decrease in strength requires significant improvement. The problem of evaluation of the ultimate value of the coefficient of reinforcement is also analyzed.     

Preparation of BaMgAl10O17∶Eu2+ and Its Phase Behavior in Microemulsion System

BaMgAl10O17∶Eu2 (BAM) was prepared in the microemulsion system and its phase behavior was studied. There exists a small region in the reverse microemulsion system where the dispersed particles are of spherical form. In this way, BAM blue phosphor with good dispersion can be synthesized. The microemulsion phase diagrams of the pseudo-ternary system (Triton X-100/cosurfactant-oil-BAM brine) were first established intuitively by the dilution method. The microstructure of microemulsions was determined through eyeballing, conductance technique, and polar optical microscopy. Its phase behavior is affected by various factors, such as temperature (room temperature, 30, 40 ℃), oil, surfactants, and cosurfactants in microemulsions. According to the phase diagrams, the microemulsion system of Triton X-100/1-hexanol-hexane-BAM brine was chosen to prepare the precursor. The BAM phosphor can be obtained via sintering the precursor at a comparatively low temperature. The phosphors were characterized by XRD and vacuum ultraviolet (VUV) spectra.     

丁集矿副井井架基础沉降变形分析

按井筒冻结施工的进度,选择合适的周期进行沉降变形观测,根据大量的实测资料对冻结施工前后丁集矿副井井架基础的沉降变形规律进行了分析,并预测其沉降变形趋势。     

Ready, Set, Go! The Voronoi diagram of moving points that start from a line

It is an outstanding open problem of computational geometry to prove a near-quadratic upper bound on the number of combinatorial changes in the Voronoi diagram of points moving at a common constant speed along linear trajectories in the plane. In this note we observe that this quantity is Θ(n²) if the points start their movement from a common line.     

红外隐身技术的现状与发展

综述了红外隐身技术的现状，指明了存在的问题以及发展的方向。