计算机景观仿真技术在城市规划设计中的应用

计算机图形、图像处理技术在城市规划建筑设计中得到了广泛应用。以当前各种计算机景观仿真技术的基本原理为基础，从工作成本、设备要求、仿真效果、使用条件等方面进行了讨论、比较，为城市规划、建筑设计工作者的合理选择提供参考。     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

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

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

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

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

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

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

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

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

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

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

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

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