新型军械装备损坏程度评估方法研究

根据新型军械装备损坏程度具有不确定性的特点,提出了基于D-S证据理论的新型军械装备损坏程度评估方法,并求出了新型军械装备损坏程度区分.通过对典型新型军械装备损坏程度的评估,验证了该方法的有效性和实用性.     

Multi-GPU accelerated multi-spin Monte Carlo simulations of the 2D Ising model

A Modern Graphics Processing unit (GPU) is able to perform massively parallel scientific computations at low cost. We extend our implementation of the checkerboard algorithm for the two-dimensional Ising model [T. Preis et al., Journal of Chemical Physics 228 (2009) 4468-4477] in order to overcome the memory limitations of a single GPU which enables us to simulate significantly larger systems. Using multi-spin coding techniques, we are able to accelerate simulations on a single GPU by factors up to 35 compared to an optimized single Central Processor Unit (CPU) core implementation which employs multi-spin coding. By combining the Compute Unified Device Architecture (CUDA) with the Message Parsing Interface (MPI) on the CPU level, a single Ising lattice can be updated by a cluster of GPUs in parallel. For large systems, the computation time scales nearly linearly with the number of GPUs used. As proof of concept we reproduce the critical temperature of the 2D Ising model using finite size scaling techniques.     

煤炭企业管理信息化特点

首先介绍了煤炭企业管理信息化的特点:(1)资源开发涉及面广;(2)安全生产管理十分重要;(3)煤炭赋存条件决定着煤炭生产和产品;(4)突出设备管理和维护;(5)采购的设备和材料不进入最终产品;(6)大宗物资集中采购;(7)煤炭销售与运输紧密相连;(8)煤炭生产会影响环境;(9)生产设计多、产品设计少等。然后从生产管理信息化、运输管理信息化、销售管理信息化3个方面分析了煤炭企业管理信息化的特点。该文对煤炭企业信息化系统的研究、设计与实现具有指导意义。     

一种无线传感器网络数据安全免疫体系结构

LEACH协议是提出较早、较为完整的无线传感器网络协议之一。在LEACH协议的基础上,借鉴生物免疫系统的原理,提出了一种新的适用于无线传感器网络的免疫体系结构。为构建这个体系,提出了基于覆盖面的备份簇头选举算法,嵌入数字基因的免疫应答算法,以及各状态节点的转换机制。备份簇头的引入,大大降低了恶意簇头对整个簇造成的破坏,免疫应答算法通过各功能节点的相互协作,能够有效地抵御恶意节点的攻击,减小和消除恶意数据的影响。仿真验证了该体系的有效性,在提高了安全性的同时,并不影响网络的生命期。     

Thermodynamic description of the Al-Li-Zn system

The Al-Li-Zn system was critically assessed using the CALPHAD technique. The solution phases (liquid, bcc, fcc and hcp) were described by the substitutional solution model. The compounds Al₂Li₃ and Al₄Li₉ in the Al-Li system had homogeneity ranges of Zn and were treated as (Al,Zn)₂Li₃ and (Al,Zn)₄Li₉ in the Al-Li-Zn system, respectively. The compounds αLi₂Zn₃, βLi₂Zn₃, αLi₂Zn₅, βLi₂Zn₅ and αLiZn₄ in the Li-Zn system had no solubility of the third component Al in the Al-Li-Zn system. A two-sublattice model (Al,Li,Zn)_0.2(Al,Li,Zn)_0.8 was applied to describe the compound βLiZn₄ in the Al-Li-Zn system in order to cope with the order-disorder transition between hexagonal close-packed solution (hcp-A3) and βLiZn₄ with the Mg-type structure. The ternary compound τ₂ with a NaTl-type structure (B32) had the same structure with the compounds AlLi in the binary Al-Li system and LiZn in the binary Li-Zn system. In the present work, the three compounds AlLi, LiZn and τ₂ were treated as one phase by a two-sublattice model (Al,Li,Zn)_0.5(Al,Li,Zn)_0.5 in order to cope with the order-disorder transition between B32(AlLi, LiZn and τ₂) and body-centered cubic solid solution (bcc-A2). The ternary intermetallic compounds τ₁ and τ₃ in the Al-Li-Zn system were treated as the formula Li(Al,Zn)₂ and (AlLi,Zn)Zn₃, respectively. A set of self-consistent thermodynamic parameters describing the Gibbs energy of each individual phase as a function of composition and temperature in the Al-Li-Zn system was obtained.     

Stability and synchronization for Markovian jump neural networks with partly unknown transition probabilities

This paper addresses the problems of stability and synchronization for a class of Markovian jump neural networks with partly unknown transition probabilities. We first study the stability analysis problem for a single neural network and present a sufficient condition guaranteeing the mean square asymptotic stability. Then based on the Lyapunov functional method and the Kronecker product technique, the chaos synchronization problem of an array of coupled networks is considered. Both the stability and the synchronization conditions are delay-dependent, which are expressed in terms of linear matrix inequalities. The effectiveness of the developed methods is shown by simulation examples.     

Stability analysis for discrete delayed Markovian jumping neural networks with partly unknown transition probabilities

This paper addresses the analysis problem of asymptotic stability for a class of uncertain neural networks with Markovian jumping parameters and time delays. The considered transition probabilities are assumed to be partially unknown. The parameter uncertainties are considered to be norm-bounded. A sufficient condition for the stability of the addressed neural networks is derived, which is expressed in terms of a set of linear matrix inequalities. A numerical example is given to verify the effectiveness of the developed results.     

Generating asynchronous test cases from test purposes

Context

Input/output transition system (IOTS) models are commonly used when next input can arrive even before outputs are produced. The interaction between the tester and an implementation under test (IUT) is usually assumed to be synchronous. However, as the IUT can produce outputs at any moment, the tester should be prepared to accept all outputs from the IUT, or else be able to block (refuse) outputs of the implementation. Testing distributed, remote applications under the assumptions that communication is synchronous and actions can be blocked is unrealistic, since synchronous communication for such applications can only be achieved if special protocols are used. In this context, asynchronous tests can be more appropriate, reflecting the underlying test architecture which includes queues.

Objective

In this paper, we investigate the problem of constructing test cases for given test purposes and specification input/output transition systems, when the communication between the tester and the implementation under test is assumed to be asynchronous, performed via multiple queues.

Method

When issuing verdicts, asynchronous tests should take into account a distortion caused by the queues in the observed interactions. First, we investigate how the test purpose can be transformed to account for this distortion when there are a single input queue and a single output queue. Then, we consider a more general problem, when there may be multiple queues.

Results

We propose an algorithm which constructs a sound test case, by transforming the test purpose prior to composing it with the specification without queues.

Conclusion

The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction.