拱坝的计算机辅助立模施工

本文讨论了拱坝计算机辅助立模施工系统的设计,及其数据库结构,并介绍了系统实例——东风双曲拱坝计算机辅助立模施工系统。

一种用于诊断电子设备故障的专家系统

本文着重从分析电子设备故障诊断的人类专家的实际工作特点入手,指出单纯采用产生式规则的专家系统的不足之处,进而提出一个同时使用框架及产生式规则的专家系统—电子设备故障诊断专家系统;同时描述了该系统的部分算法及实现原理.通过分析该系统的建立过程,本文旨在强调这样一个观点:选择适合于领域特点的知识表示方法及适当的推理算法对于建立一个实用的专家系统是很重要的.

图象增强的模糊集合方法

本文论述了图象的模糊集合表示和利用模糊性质进行图象增强的基本原理,讨论了一级模糊增强方法,提出了自适应二级模糊增强模型,并同Pal,S K模型作了比较,提出了它们各自的优缺点,实验结果令人满意.

分支搜索:工厂平面布置的新算法

提出二种工厂平面布置新算法:受控分支搜索算法和预分支搜索算法.该二种算法将分支搜索和启发式优化结合起来,可以在较大的解范围内搜索,获取接近最优的解.

图象数据库查询语言PSEQ

图象查询语言是图象数据库设计的重要方面,因需涉及除关系代数以外的图象代数运算,故常设计成关系型查询语言的扩充。本文介绍的PSEQ通过扩充传统的关系数据库模式,使框架等抽象数据类型(ADTs)可作为关系中的域类型,以利于表达图象实体及其空间关系和语义等信息。

不等面积设施布局的收敛算法

采用单变量搜索在大范围移动设施以寻找最佳布局位置是不等面积矩形设施自动布局的一种算法．但它的布局结果依赖于各设施的初始排列以及它们的移动次序．为了便于对原有布局进行迭代改进，本文使用"控制收敛"方法．它通过用放大设施数倍的包络块来代替原来的设施进行初始布局，并在每次优化循环后缩小包络块大小来为下一次优化循环产生移动空余空间，通过循环代化使设施的大小逐渐缩小到实际大小而终止．实例调试结果表明了该方法是有效的．

在三维CT图象数据库中建立线性灰度八叉树

本文首先提出了三维CT图象数据库的数据模型,描述了三维CT物理图象表示的数据结构,并提出了一种建立线性灰度八叉树的快速方法和算法.

同态原则在定性推理中的应用

本文根据抽象代数的原理,提出良好的定性推理系统应遵循“同态原则”.然后根据该原则对现行的两种定性推理理论进行分析,结果表明:deKleer的“基于组件”的定性推理系统与其所对应的定量分析系统不是向态的;Kuipers的“基于约束”的定性推理系统与其所对应的定量分析系统是弱伺态的.最后本文还给出一个如何判断定性推理系统与实数集R是否存在同态映射的充分条件。

关于外平面图的Lovász猜想

1968年,Lovász提出了如下猜想:若G不是完全图,并且x(G)=m+n-1(其中m≥2,n≥2),则存在G的不相交子图G_1和G_2,使得x(G_1)=m和x(G_2)=n. 本文证明了对于x(G)=3且y》4的外平面图G,Lovisz猜想成立.

关于Adám猜想

本文证明了对于包含有向圈的有向外平面图D,存在弧e∈E(D),使得D-e+e中有向圈的数目小于D中有向圈的数目.