PNFSM测试用例生成的研究

The paper proposes one test case generation algorithm tor partial/y-specified nondeterministictinite state machine and its validity analysis. After comparing with other generation methods, someproblems of testing object state diagram are given.     

一种基于Petri网和AGA算法的测试系统死锁预防策略

在自动测试系统中,很多任务需要并行测试.测试过程比串行测试复杂,较容易出现死锁现象,因此提出一种基于Petri网和自适应遗传算法(adaptive genetic algorithm)的死锁预防策略.在该策略中,首先为自动测试系统建立一个Petri网模型,然后将Petri网的状态方程作为约束条件,最后求出模型的发射序列即系统中无死锁的任务调度路径.Petri网的发射序列求解一直是NP问题,针对这种情况,引入自适应遗传算法对可行解空间进行全面的搜索,可得到所有无死锁的路径.最后,通过雷达接收机的并行测试例子,和启发式算法搜索进行对比,进一步体现了该死锁预防策略的优越性.     

可穿戴计算技术及其应用的新发展

可穿戴计算技术是伴随着计算机、微电子和通信技术发展起来的新兴学科,随着科技的进步和人们生活水平的提高这项技术的应用研究也正处于难得的机遇期。阐述了可穿戴计算区别于传统计算的优越特性及其在医疗、军事、教育、助残、体育、娱乐行业、老年人生活辅助方面的重要学术和应用价值,以及可穿戴计算对新一代信息与计算科学技术的巨大推动作用。介绍了可穿戴计算技术的产业化发展情况,说明现代科学技术发展和实际应用的迫切需求使得该领域的科学技术发展迅猛,也使得可穿戴计算技术的发展呈现出研究上的多学科交叉融合与产业化的同步跟进相互促进的新特点。     

油田防垢研究进展

结垢是整个油气开采过程中一个较为普遍的问题,其严重影响生产。当前应用较为广泛的防垢方法主要有化学法,物理法以及工艺法。本文详细介绍了上述几种防垢方法的防垢机理,具体防垢措施并比较分析几种防垢方法的一些利弊。     

水泥篦冷机回路优化控制设计及编程实现

为了优化篦冷机系统手动调节回路的控制性能和工艺性能,基于DCS的Cimplicity6.0组态软件和Concept2.6编程软件,设计并实现了一段篦速PID、二段篦速比例调节、窑头排风机转速PID、各冷却风机风门开度PID等回路优化控制,并实现手自动无扰切换。经调试和试运行表明：篦冷机系统回路优化控制可有效保障篦床上的料层厚度,使熟料冷却均匀、入窑二次风稳定、篦冷机安全运行,满足工艺要求性能,达到预期优化控制的目标。     

实物期权理论在能源技术经济评价中的应用

总结了不确定条件下技术经济评价理论,即实物期权理论在能源技术投资评价方面的应用情况。按照应对气候变化的三条主要能源技术路线,即发展新能源、节能、碳捕集封存三个领域对实物期权理论的应用进行了综述。     

跟骨蠕变实验研究

本文报道了对跟骨进行压缩蠕变的实验结果。得出了蠕变数据与曲线,用回归分析的方法拟合实验曲线,得出了跟骨的归一化蠕变函数及曲线。