基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

康德图型法的拓扑结构意义

本文从康德的时间出发，认为康德的同时主要方面不是主观的牛顿式的绝对时空，而是“流变”时空。并由此认为康德的图型法是从“流变”出发去寻找不变的结构；这一思想与现代拓扑学从“流变”中去寻找拓扑不变量的思想完全一致。并指出了这种一致性对于哲学发展的重大意义，重建形而上学，为理性主义而后非理性主义、科学理性和价值理性的统一指明方向。     

关于工程项目风险分析的模糊影响图方法

本文综合应用模糊集与影响图理论建立了模糊影响图方法，并以工程项目风险分析系统为背景进行了初步应用研究，取得一定成效。     

同步时序电路转换符设计法

本文通过应用转换符法，可以方便地设计中各种状态的同步时序电路。     

实现梯形图编辑功能的新方法

采用Ｃ语言实现内装型ＰＭＣ梯形绘制和编辑功能，使软件整体结构紧凑，可靠性高。使用双向链表数据结构描述和记录梯形图的各种信息，以实现汉字菜单方式的全屏幕编辑功能，操作灵活，处理方法简捷，具有良好的人机界面。     

障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

An Improved S-Random Interleaver Design for Turbo Code Based on Chaos Model

A new method to design interleaver based on Henon chaos model is presented. The designed interleaver is with rather random behavior. Experimental results show that the proposed S-henon interleaver make a magnitude of im provement in bit error rate （BER） performance by 0.4 dB compared with the S-random interleaver for AWGN channel respectively. The S-henon interleaver may be adapted to 3G mobile communication systems.     

图Cn∪Pm的算术标号

设Ｃｎ∪Ｐｍ（ｎ≥３，ｍ≥２，ｎ，ｍ∈Ｎ）表示一个圈Ｃｎ和一条与其不相交的路Ｐｍ组成的图，本文证明图Ｃｎ∪Ｐｍ是算术图。     

一类优美有向图的充要条件

研究了由恰有一个公共顶点的有向回路→／Ｃｍ和→／Ｃｎ（ｍ，ｎ≥３）组成的有向图→／Ｗｍ，ｎ的优美性，给出了→／Ｗｍ，ｎ是优美有向图的充要条件。