基于规则的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的．     

区间图和强弦图的全着色及最优算法

证明对于任意区间图和强弦图－全着色猜想成立，并且给出了区间图和强弦图的最优线性地，其算法复杂度仅为Ｏ（Ｖ＋Ｅ）。     

关于图的圈覆盖

Ａ．Ｉｔａｌ和Ｍ．Ｒｏｄｅｈ给出了两个关于图的圈覆盖的猜想：（ｉ）任意２－边连通图Ｇ＝（Ｖ，Ｅ）有困覆盖Ｃ，使ｌ（Ｃ）≤｜Ｅ｜＋｜Ｖ｜－１；（ｎ）任意２－边连通图有困覆盖，使图的每条边至多被覆盖两次．本文证明了猜想对平面图和２－边连通没有３－边割的图成立，并给出了一与两猜想等价的条件．同时也对著名的２－圈覆盖猜想作了讨论．     

滚动轴承 CAPP 专家系统的研究与开发

对滚动轴承零件工艺设计领域专家系统进行了研究，研制了ＲＢ－ＥＳＣＡＰＰ系统。系统中采用了交替运行几种语言的技术，并解决工序图的自动输出问题。     

数据流图编辑器的设计与实现

数据流图是软件需求分析阶段十分有用的图形化工具，在面向ＭＩＳ的ＣＡＳＥ的环境的开发与研究中，数据流图编辑器的设计与实现是其中一项主要内容。本文介绍了数据流图编辑器的各种处理技术，并给出了编辑器系统的框架，该系统采用ＢＯＬＡＮＤＣ＾＃编程实现。     

ER－200D－SRC型EPR谱仪数据系统软件设计

详细叙述了用于德国ＢＲＵＫＥＲ分析仪器公司ＥＲ－２００Ｄ－ＳＲＣ型ＥＰＲ谱仪的软件系统的设计，该系统采用ＴｕｒｂｏＣ２．０编写，具有菜单式、模块化、汉字化、实时性等特点，用户界面良好，操作极其方便．配合接口电路，可实现对谱仪中心磁场、扫描磁场宽度的自动设置、绘图仪自动控制、数据采集累加及实验数据的分析处理等各项功能．     

关于图的平方根的一个注记

给出了一个以图的边数来判断一个图是否存在平方根的一个必要条件：对于图Ｇ（Ｖ，Ｅ），基｜Ｅ｜〈２｜Ｖ｜－３，则此图无平方根。     

10MnNbVR低温压力容器钢的SH－CCT图的测绘

研究已表明，１０ＭｎＮｂＶＲ钢是一种很有前途的无镍低温压力容器钢，其延脆转变温度达－６０℃，各种力学性能指标也很好．因而，其焊接性的优劣就成了这种钢是否具有商业价值的关键．本文基于焊接热模拟技术，在Ｇｌｅｅｂｌｅ－１５００焊接热模拟机上，对１０ＭｎＮｂＶＲ钢的模拟热影响区（过热区）的连续冷却转变曲线ＳＨ－ＣＣＴ图进行了测绘．本图为１０ＭｎＮｂＶＲ钢焊接工艺的正确制定奠定了基础．     

基于规划的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规划，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的。     

ER—200D—SRC型EPR谱仪数据系统软件设计

详细叙述了用于德国ＢＲＵＫＥＲ分析仪器分析ＥＲ－２００Ｄ－ＳＲＣ型ＥＰＲ谱仪的软件系统的设计，该系统采用ＴｕｒｂｏＣ２．０编写，具有菜单式、模块化、汉字化、实时性等特点，用户界面良好，操作极其方便，配合接口电路，可实现对谱仪中心磁场、扫描磁场宽度的自动设置、绘图仪自动控制、数据采集累加及实验数据的分析处理等各项功能。     

面向对象数据库的逻辑设计方法

提出面向对象数据库的逻辑设计方法,并且通过一个实例对方法的可行性进行了检验,此方法对传统的ER模型进行了扩展,加入了继承、构成、消息传递、方法等成分;提出了较为规范的根据陈述需求的资源文本生成扩展的ER模型的方法,包括概念提取、概念分析、分析形式化、确定概念模型等步骤;提出了较为规范的由扩展的ER模型生成面向对象数据库的数据结构的方法,包括消息传递的实现方法和联系的实现方法,以及拥有实例的类的确定法则。     

Voronoi图的扩展、生成及其应用于界定城市空间影响范围

在总结国内外文献的基础上，提出了常规Voronoi图的两种扩展形式，即线的加权Voronoi图和面的加权Voronoi图，并在地理信息系统软件Are/Info的支持下，实现了基于栅格方法的若干类Voronoi图的自动构建，这种方法可以处理任意图形的线状和面状发生元情形。以界定河南省城市空间影响范围为例，尝试了发生元为离散点集的常规Voronoi图和国权Voronoi图应用于界定城市空间影响范围的试验研究。     

一种E—R图自动布图方法

引用图论中平面图的概念,提出了一种E-R图自动布图的新方法。     

基于遗传算法的因果图网络结构学习

在因果图理论中,采用了图形化和直接因果强度来表达知识和因果关系,它克服了贝叶斯网的一些不足,已发展成了一个能够处理离散变量和连续变量的混合模型.但是因果图的结构得由领域专家给出,这在实际中很难办到.鉴于因果图结构的复杂度随论域中节点个数的增加呈指数上升,寻找最有可能因果图网络结构成为了NP-HARD难题.文中给出了如何利用已知数据集,寻找最有可能的因果图网络结构设计的遗传算法（Genetic Algorithm,GA）.     

语法图到产生式的自动转换

语法图和产生式是对语法的两种描述形式，一般在语言设计时采用语法图描述，在语言实现时采用产生式描述，从语法图到产生式的自动转换是编译程序自动化课题内容的一部分。作者对语法图的图符号给出了确切的定义，并提出了连接关系图的概念，从而把语法图和有限自动机联系起来，以有限自动机为过渡形式，使语法图到产生式的自动转换机理清晰，实现方便。不仅给出了语法图到产生式的转换原理，还给出了考虑优化的转换算法和具体实施步骤例，该方法在实际使用中有很好的效果。     

关于一类图的优美性

将齿轮图的每个齿的顶端点与ｍ个孤立点相连后所得的图称为ｎ顶边星图，文［３］猜想，所有的ｎ顶边星图都是优美图，本文证明了这一猜想是正确的．     

土地利用空间数据库的设计与实现--以福清市县域土地利用现状数据库系统为例

以福清市县域土地利用现状数据库系统为例 ,通过空间数据源调查和分析 ,建立土地空间数据的概念模型 (实体关系模型 ) ,并在此基础上定义空间数据库的逻辑和物理结构 ,建立县域中尺度土地利用数据库 ,为土地利用与管理的时空分析和综合决策提供一个基础数据库     

正合图、拉回图、推出图的性质

拉回、推出是范畴论中的重要概念,本文引进与拉回图推出图有关的正合图概念,探讨了这三种图的性质和联系。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.