时序机串行全分解中的 NS 全分解

基于时序机全分解理论研究，文章给出了时序机串行全分解中ＮＳ型全分解的实现和优化过程     

基于三方元代数理论的时序机分解中完全覆盖的求解算法

文章基于三方元代数理论，提出一个时序机最优全分解过程中用到的求解完全覆盖问题的算法，该算法使用筛漏技术，使算法复杂性为Ｈ（ｎ２）     

离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。