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.     

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

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

水和甲醇存在下MAMS的消失反应动力学研究

通过实验研究了甲基丙烯酰胺硫酸盐（ＭＡＭＳ）与甲醇、水进行反应的动力学，并对该反应的机理进行了探讨。     

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.     

农村公共支出、基本建设投入与城乡收入差距

根据我国1978-2006年有关数据,建立向量自回归模型,对我国农村公共支出、基本建设投入与城乡收入差距的长期均衡关系进行了检验,在协整关系存在的前提下,进一步检验了三者的格兰杰因果关系,并利用脉冲响应函数对三者的动态关系进行了分析.实证结果显示,我国农村公共支出和基本建设投入有助于减少城乡收入差距,而且农业基本建设投入的作用较大.     

中文问句分类特征的研究

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

一种基于OPC技术的风电主控系统数据记录软件的开发与实现

OPC把对象链接和嵌入技术应用于工业过程控制领域,为工业控制领域提供了一种标准的数据访问机制.本文研究了OPCDA服务器和客户程序,并将OPC技术应用于风电领域常用的巴赫曼PLC控制器,利用VISUALBASIC开发了“主控系统数据记录软件”,并详细描述了该软件的使用方法,实践证明该软件在风场调试和工厂测试中得到了较好的效果.     

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

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

合金元素铌对新锆合金耐蚀性能的影响

用SEM波谱分析手段,定性研究了合金元素铌在新锆合金中的存在方式.结果表明,添加的合金元素铌主要存在于LAVES相中,在α-Zr中的固溶度则小于100 μg·g-1.由此可推断,铌和铁、铬共存时,优先形成沉淀相,造成它在α-Zr中固溶量的降低.结合2种新锆合金(低铌NZ2 ,高铌NZ8)板材在360 ℃含锂水中和400、500 ℃蒸汽中的堆外高压釜腐蚀性能方面的以往研究结果,对铌的作用进行了唯象的讨论,并指出,认知固溶于α-Zr中微量的铌和大量存在于LAVES相中的铌对腐蚀机理的影响是今后研究的重要课题.