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

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

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

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

语文新课程与教师角色的转换

我国新一轮基础教育改革已全面启动,2005年全国所有地区都将实施新课程。语文新课程理念的更新热切呼唤语文教师角色作出相应的转换,语文教师要在新课程环境下重塑自己。本文着重从三大方面阐述了中学语文教师要在反思传统教师角色的基础上,为适应和实施新课程而应该有的角色转换。     

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

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

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

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

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

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

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

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

转换层钢筋混凝土短梁设计建议

本文主要从结构市置与截面尺寸、构造要求，短梁的洞口布置等五个方面，给出了转换层钢筋混凝土短梁设计建议。     

混沌反控制在心脏病治疗中的应用

正常的心脏中出现的混沌、心率过速与心肌组织中出现螺旋波有关,研究了一种七维心脏-血液耦合动力系统模型.首先通过线性负反馈对系统的参数进行了辨析,基于混沌反控制方法,使非混沌的心脏系统混沌特性加强,计算了系统输出信号的Lyapunov指数,为反馈信号幅度提供依据.数值计算模拟表明该方法的可行性,希望可以为心脏病的治疗和修复提供帮助信息.