基于ZigBee和GPRS的风电场远程监控系统研究

文章设计了一种基于ZigBee无线传感器网络和GPRS技术的风电场远程监控系统,可以对风力发电机组的发电机参数、状态参数、机械参数、环境参数等信息进行现场采集和监控,编制了适合应用于各类风电场的基于ZigBee无线传感器网络和GPRS技术的监控软件,能够很好地完成对风电场监控与管理的功能。     

无线传感网中多跳路由算法的研究

以提高路由协议效率、延长无线传感器网络的生存期为目标,基于LEACH协议,设计了一种新的多跳路由算法.该算法的每一轮都包括簇头选举、簇形成、建立贪心增长二叉树和数据传送四个阶段.该算法通过合理地选择簇头和形成簇,并由中间转发簇头进行数据融合处理,减少了网络中传送的数据量,可有效地降低能耗.在仿真实验中用C++进行了算法实现,比较了新算法与LEACH的运行结果,分析了算法的能耗.仿真结果证明了新算法在节能方面的有效性.     

A semantic model of confinement and Locality theorem

Confinement is required in object-oriented programming in order to protect sensitive object references. Recently a range of confinement schemes have been proposed to achieve object encapsulation by defining static type systems, but unavoidably, with strong restrictions. On the other hand, no similarity in concepts makes assessing of these schemes a difficulty. We build in this paper a semantic model for confinement in μJava, a subset of sequential Java that offers most object-oriented features. This model has limited restriction for programs. From a semantic view, confinement is defined with respect to a given context that specifies partition of the object pool and confinement constraint among them. Moreover, we present the main Locality theorem for checking well confinement of programs locally. By applying this theorem, we have solved a security breach problem from Java JDK 1.1.1, and furthermore, proved the soundness of two widely used confinement schemes: confined types and ownership types.     

An integrated safety prognosis model for complex system based on dynamic Bayesian network and ant colony algorithm

In complex industrial system, most of single faults have multiple propagation paths, so any local slight deviation is able to propagate, spread, accumulate and increase through system fault causal chains. It will finally result in unplanned outages and even catastrophic accidents, which lead to huge economic losses, environmental contamination, or human injuries. In order to ensure system intrinsic safety and increase operational performance and reliability in a long period, this study proposes an integrated safety prognosis model (ISPM) considering the randomness, complexity and uncertainty of fault propagation.ISPM is developed based on dynamic Bayesian networks to model the propagation of faults in a complex system, integrating the priori knowledge of the interactions and dependencies among subsystems, components, and the environment of the system, as well as the relationships between fault causes and effects. So the current safety state and potential risk of system can be assessed by locating potential hazard origins and deducing corresponding possible consequences. Furthermore, ISPM is also developed to predict the future degradation trend in terms of future reliability or performance of system, and provide proper proactive maintenance plans. Ant colony algorithm is introduced in ISPM by comprehensively considering two factors as probability and severity of faults, to perform the quantitative risk estimation of the underlining system. The feasibility and benefits of ISPM are investigated with a field case study of gas turbine compressor system. According to the outputs given by ISPM in the application, proactive maintenance, safety-related actions and contingency plans are further discussed and then made to keep the system in a high reliability and safety level in the long term.     

Partner selection in a virtual enterprise under uncertain information about candidates

Partner selection is a major issue in the formation of a virtual enterprise. In practice, in the partner selection process, the information about the candidates and their performances are incomplete and uncertain. Vague sets theory is one of the methods used to deal with uncertain information. In this paper, a new method based on vague sets is proposed to deal with the partner selection problem in the formation of a virtual enterprise while the factors of satisfaction degree, due date, cost and the precedence of tasks are taken into account. On the basis of the agreement index of satisfaction degree, the formulated partner selection problems are interpreted so as to maximize the minimum agreement index. To solve the problem, an improved particle swarm optimization (PSO) algorithm is proposed. Finally, the simulation of a numerical example demonstrates that the method is effective.     

空间数据库中一种自适应的缓存替换策略

随着近年来空间数据库研究和应用的不断深入,针对空间数据库中数据组织和查询的特征来设计缓存页面替换策略成为一个新的研究问题.Voronoi图是一种重要的空间数据库组织技术,在处理kNN查询时具有非常好的性能.针对Voronoi图组织的空间数据库,首先利用空间局部性提出了一种基于欧氏距离的替换策略,在发生页面失效时选择距离上一次访问页面欧氏距离最远的页面进行替换;进一步,针对不同kNN查询的搜索空间大小差异非常大的特点,在LIRS替换策略基础上提出一种自适应替换策略,通过对HIR页面占缓存比例自动调整来适应不同的查询.综合两者,形成基于欧氏距离的自适应缓存页面替换算法AELIRS.大量实验表明,在缓存大小与搜索空间大范围变动中,AELIRS始终优于其他替换策略.     

基于OPNET的一种典型现场总线的研究与仿真

随着网络规模的扩大,使用仿真软件对网络进行仿真,对关键参数和原理进行验证,已经是一种流行的网络开发模式.首先对现场总线和仿真软件OPNET进行了相关介绍和分析,接着对一种典型的现场总线的特征进行了详细说明,然后基于OPNET对该典型总线进行了建模仿真.基于对采集数据的分析,验证了仿真模型的时延符合典型现场总线标准的要求...     

First-principles calculations of binary Al compounds: Enthalpies of formation and elastic properties

Systematic first-principles calculations of energy vs. volume (E-V) and single crystal elastic stiffness constants (c_ij’s) have been performed for 50 Al binary compounds in the Al-X (X = Co, Cu, Hf, Mg, Mn, Ni, Sr, V, Ti, Y, and Zr) systems. The E-V equations of state are fitted by a four-parameter Birch-Murnaghan equation, and the c_ij’s are determined by an efficient strain-stress method. The calculated lattice parameters, enthalpies of formation, and c_ij’s of these binary compounds are compared with the available experimental data in the literature. In addition, elastic properties of polycrystalline aggregates including bulk modulus (B), shear modulus (G), Young’s modulus (E), B/G (bulk/shear) ratio, and anisotropy ratio are calculated and compared with the experimental and theoretical results available in the literature. The systematic predictions of elastic properties and enthalpies of formation for Al-X compounds provide an insight into the understanding and design of Al-based alloys.     

An efficient memetic algorithm for solving the job shop scheduling problem

The job shop scheduling problem (JSP) is well known as one of the most complicated combinatorial optimization problems, and it is a NP-hard problem. Memetic algorithm (MA) which combines the global search and local search is a hybrid evolutionary algorithm. In this paper, an efficient MA with a novel local search is proposed to solve the JSP. Within the local search, a systematic change of the neighborhood is carried out to avoid trapping into local optimal. And two neighborhood structures are designed by exchanging and inserting based on the critical path. The objective of minimizing makespan is considered while satisfying a number of hard constraints. The computational results obtained in experiments demonstrate that the efficiency of the proposed MA is significantly superior to the other reported approaches in the literature.     

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.