Reachability determination in acyclic Petri nets by cell enumeration approach

Reachability is one of the most important behavioral properties of Petri nets. We propose in this paper a novel approach for solving the fundamental equation in the reachability analysis of acyclic Petri nets, which has been known to be NP-complete. More specifically, by adopting a revised version of the cell enumeration method for an arrangement of hyperplanes in discrete geometry, we develop an efficient solution scheme to identify firing count vector solution(s) to the fundamental equation on a bounded integer set, with a complexity bound of O((nu)^n−m), where n is the number of transitions, m is the number of places and u is the upper bound of the number of firings for all individual transitions.     

电子商务安全隐患及其对策

分析了电子商务的安全需求、面临的主要安全问题,并在对入侵行为进行分类研究的基础上,对电子商务活动流程的描述和脆弱点分析中研究了其安全对策.     

Robust guaranteed cost control for singular Markovian jump systems with time-varying delay

This paper is concerned with the guaranteed cost control for continuous-time singular Markovian jump systems with time-varying delay. Without using the free weighting matrices method, a delay-range-dependent condition is derived in terms of strict linear matrix inequality (LMI), which guarantees that the singular system is regular, impulse free and mean-square exponentially stable with an H(∞) performance. Based on this, the existence condition of the guaranteed cost state feedback controller is proposed. A numerical example is given to illustrate the effectiveness and less conservatism of the proposed design method.     

中文问句分类特征的研究

针对"不同的问句分类特征对问句分类的影响不相同,提取和处理这些特征的时间复杂度也不相同"的问题,提取问题疑问词、核心关键词(疑问词的一二级依存词和问句中心语)的主要义原、核心关键词的首义原、问句主谓宾的主要义原、命名实体、名词单(复)数等六种分类特征,采用支持向量机分类算法,对事实疑问句进行不同特征组合的分类对比实验,发现采用词义消岐技术提取的主要义原不仅对分类的准确率影响明显,而且大幅降低特征向量的维数,减少了处理时间。     

大风对直接空冷机组的影响及对策

直接空冷机组的节水效果明显，但也存一些运行方面的问题。尤其是在高温环境下空冷岛受到大风袭击时，其冷却性能会大幅下降，甚至会发生因背压高保护动作跳机的危险。本文对空冷岛在高温环境下受大风袭击时的现象及原因进行了分析，并提出对策及反事故措施。     

Physical and Electrochemical Properties of Doped LiFePO4 as Cathode Material for Lithium-Ion Batteries

LiFePO4 cathode material was synthesized by a solid-state reaction using doping several elements (Nb5 ,Zr4 ). The starting materials were mixed with a high-efficient sander and treated thermally under flowing N2. The samples were characterized by X-ray diffraction (XRD), field-emission gun electron microscopy (FEG), and their electrochemical performance was investigated in the term of cycling behavior. Room temperature discharge capacity about 140.6 mA·h·g-1 was obtained at C/5 rate.     

Repair of notched beam under dynamic load using piezoelectric patch

In this paper, the repair of a cracked beam under an external dynamic load employing the electro-mechanical characteristic of piezoelectric material to induce a local moment is presented. Conceptually, an external voltage is applied to actuate a piezoelectric patch bonded on the beam to effect closure of a crack so that the singularity at the crack tip under dynamic load may be decreased. Globally, this has the effect of altering the resonant frequency of the cracked beam towards that of the healthy beam, which is the criterion used for the repair. To demonstrate the repair methodology, a cantilever beam is used as an illustration, where the repair moment coefficient and the voltage required are mathematically derived. The relationship between repair moment coefficient, crack parameters and length of piezoelectric patch is investigated. The difference between the proposed repair criterion and an earlier published criterion for cracked beam under static load is also shown. A numerical example is used to study the effectiveness of the proposed repair methodology and its results are compared with those from 3-D finite element analyses using ABAQUS 6.4 as one means of verification.     

Development and Verification of the Equilibrium Strategy for Batteries in Electric Vehicles

The inconsistency of the cells in a battery pack can affect its lifespan,safety and reliability in the electric vehicles.The balanced system is an effective technique to reduce its inconsistency and improve the operating performance.A hybrid equilibrium strategy based on decision combing battery state-of-charge (SOC) and voltage has been proposed.The battery SOC is estimated through an improved least squares method.An equalization hardware in loop (HIL) platform has been constructed.Based on this HIL platform,equilibrium strategy has been verified under the constant-current-constant-voltage (CCCV) and dynamic-stress-test (DST) conditions.Experimental results indicate that the proposed hybrid equalization strategy can achieve good balance effect and avoid the overcharge and over-discharge of the battery pack at the same time.