基于迁移系统分析的线性混成系统安全验证

混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。     

BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具--BACH(bounded reacha...     

An optimal online algorithm for halfplane intersection

The intersection of N halfplanes is a basic problem in computational geometry and computer graphics,The optimal offline algorithm for this problem runs in time O(N log N).In this paper,an optimal online algorithm which runs also in time O(N log N) for this problem is presented.The main idea of the algorithm is to give a new definition for the left side of a given line,to assign the order for the opoints of a convex polygon.and then to use binary search method in an ordered vertex set.The data structure used in the algorithm is no more complex than array.     

基于μC/OS—Ⅱ的回流焊炉的任务研究

主要对回流焊的温度控制系统设计中的嵌入式操作系统μC/OS-Ⅱ的任务进行研究;首先对回流焊硬件系统进行简单介绍,并对主要的硬件器件和电路做了说明,接着分析μC/OS-Ⅱ任务块的基本原理,然后阐述了任务管理的调度,最后着重讨论了针对回流焊的μC/OS-Ⅱ实时操作系统的任务划分以及三个任务之间的通讯实现;实际运行结果表明该软件系统稳定性好,可靠性高,人机界面友好,维护简单。     

用遗传算法求解M台设备的双行布置问题

描述了车间设置布置中常见的双行布置问题的数学模型,给出了以总储运费用最少为目标的遗传寻优算法,仿真实验说明了这一方法的有效性。     

噻嗪酮防治柑桔黑刺粉虱试验

室内测定和田间试验的结果表明，噻嗪酮对柑桔黑刺粉虱的防治效果非常明显。在柑桔黑刺粉虱１龄若虫盛发期，用２５％噻嗪酮可湿性粉剂１０００￣３０００倍稀释液防治一次，就可有效地控制其为害，防治效果可达９０．５￣９９．３％，持效期长达２５天以上。     

人工模拟降雨径流影响因素及其规律研究

利用模拟降雨装置,采用屋顶防水材料(SBS)、人行道水泥花砖及绿地三种不同地表覆盖材料,进行了多场降雨试验,对影响降雨径流的因素(地表覆盖材料、土壤含水率、降雨量、降雨强度、降雨历时等)进行了分析,试验表明,降雨历时、降雨量、降雨强度分别与径流系数之间存在一定的相关性,并呈一定的函数关系.试验同时表明,在小雨强下,水泥花砖径流系数略大于SBS,而在大雨强下,SBS的径流系数大于水泥花砖,绿地在覆盖率在80％左右,径流系数变化明显.     

“合成链”算法与一类链优先约束的单机分批排序问题

讨论问题1|chains,B|Cmax具体可描述为:有n条链,其中一条链上有n个工件,其余的n-1条链上的工件数之和为常数k,且工件的加工时间不限制,目标函数为最大完工时间。我们对该问题B=2的情况进行了深入的探讨,在研究过程中首次提出"合成链"算法,给出了时间复杂性为O(nk))的多项式时间算法     

冻融对AS型固化剂改良土工程特性的影响

通过室内动静三轴试验,研究了Aught-Set（AS）型土壤固化剂改良土的抗冻融耐久性,分析了AS型固化剂改良土的应力应变关系、静强度、动模量和临界动应力与龄期、冻融次数以及冷却温度等影响因素的相互关系。结果表明,试样的7d无侧限抗压强度达到28d的75%;AS型固化剂改良土的应力应变关系为应变软化型曲线,呈脆性破坏形式;其静强度、临界动应力以及动回弹模量均随冻融次数增加呈指数形式衰减,且经历6次冻融后均趋于稳定;同一动应力水平下,冻融作用使得试样的累积塑性变形由变形稳定状态向变形破坏过渡;试样在经历多次冻融循环以后,负温越低对试样的力学特性影响越小。     

环氧基固定化酶载体的研究进展

本文介绍了近几年来环氧基固定化酶载体的研究进展,包括大孔环氧基载体、非大孔环氧基载体及环氧基磁性载体.大孔环氧基载体中的环氧基含量和载体的比表面积、孔结构是影响酶固定化效果的关键因素,比表面积和孔结构主要由致孔剂和交联剂决定.非大孔载体在对酶的固定过程中位阻影响较小,但是它的比表面积相对较小,而且对酶的保护能力比大孔载体差,所以使用性能较差.磁性载体展现出极好的分离和使用性能,是未来研究的重点.