GDMO模板在CORBA中的映射实现

分析了GDMO模板到IDL接口的映射方案 ,并对方案中存在的语意丢失现象进行分析 ,提出在对GDMO模板中的行为模板形式化描述的基础上映射到IDL接口的方法     

基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用

统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。     

对面向对象的MIS分析及设计的探讨

对在MIS系统的开发中应用面向对象方法(OO)的一些问题作了说尽的探讨,提出了一种新的概念:OO对象在管理应用方面的生命周期——管理对象生存周期(MOLC),对应用该思想在面向对象的MIS开发中的分析及设计方法作了探讨。对于不支持面向对象的DBMS平台,给出了基于面向对象思想的基本设计方法。     

图形对象的特征点描述法

指出了已有图形表示法存在的问题，提出了一种新的图形表示法，即图形对象特征点描述法。文中对特征点描述法的数学模型，特点及方法进行了阐述。     

基于OSI网络管理信息模型的建立

ＯＳＩ网络管理信息模型结构ＳＭＩ（ＳｔｒｕｃｔｕｒｅｏｆＭａｎａｇｅｍｅｎｔＩｎｆｏｒｍａｔｉｏｎ）在开放系统工连ＯＳＩ标准里已成为重要角色．这里论述了管理对象如何命名的描述方法，并给出ＯＳＩ管理对象标识参考．提出了一种基于ＬＡＮ互连网间网管理信息模型的建立方法．     

应用Cram规则讨论几种投影式的相互转换

本文通过应用Cram规则,讨论了几种投形式的表示法及它们间的相互联系及相互转换.     

GDMO指称规范的研究

首先介绍了管理对象定义指南（ＧＤＭＯ）的主要特点，然后从语义分析的角度讨论了ＧＤＭＯ的语义，从而实现从ＧＤＭＯ到面向对象语言的自动转换。     

基于电信管理网的网络动态配置系统设计

论文从网络管理功能的角度对电信管理网络（ＴＭＮ）的应用进行了研究与分析，并对智能网为例设计基于ＴＭＮ的动态配置管理系统，设计中运用管理对象定义准则（ＧＤＭＯ）对系统的信息模型进行了描述。     

基于SVG的图元对象描述模型的研究

提出了一种基于SVG文件格式的图元对象描述模型，该模型采用面向对象的方法描述图元的几何形状，应用属性以及与外界的交互功能，利用图元属性的继承与重载等机制减小描述图元信息的数据量，给出了该模型在电力系统中应用的一个具体实例，实践表明该模型能够有效地减轻网络传输的负担，减少用户界面的响应时间。     

主动面向对象数据库系统中主动规则的研究

目的研究ＡＯＯＤＢＭＳ中事件模型,主动规则,规则关联的实现技术。方法在已有面向对象的原型系统Ｏ２ＤＢ基础上结合ＡＩ技术设计和实现主动规则机制。结果实现了对不同类型事件的监测和规则推理。结论面向对象技术与ＡＩ技术相结合增强了规则的知识表达能力,是研究主动数据库的一种行之有效的途径。     

基于R-OPN的集装箱码头物流系统建模与分析

针对集装箱码头物流系统(Container Terminal Logistics System,CTLS)建模存在的问题,通过分析CTLS的结构和行为特点,提出了基于规则的面向对象Petri网(Rule-based Object-oriented Petri Net,R-OPN)的建模方法.该方法在对象子网和门变迁中融入决策规则,建立了CTLS系统动态行为和调度控制模型,简洁明了地描述了系统状态和决策规则之间的关系.在此模型的基础上,分析了模型的结构特性(死锁,冲突等),并提出了解决冲突的决策规则,为CTLS的设计、分析、调度与仿真提供了有效的工具.     

主动规则可终止性分析的规则缩减算法

研究主动数据库系统中规则终止特性的静态分析技术,通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中,该方法与基本触发图分析方法相比能够更准确的判定规则的可终止性。     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。     

A^＊算法软件构件的研究

提出了一种以软件构件形式实现A^*算法的方案，用面向对象的方法，以状态描述为基础，对A^*算法数据集进行抽象，将A^*算法设计成抽象类，这一抽象类可通过继承和重写应用于不同的环境，从而提高了A^*算法软件的可重用性。     

服务于交通监控响应的范例推理系统

提出一种适用于交通监控响应的范例推理系统,以交通具有重复性和相似性为背景,通过交通案例中的相似分析,得到异常响应的处理策略,该方法无需建立精确的数学模型.从交通行为描述研究入手,对系统元素描述、推理算法等问题作了详细讨论,在交通行为特征的基础上建立了系统框架,解决了传统的基于异常数据分析模型在交通监控响应中存在的难以精确建模和计算量大的缺点.     

基于分级规划的加工方法排序规则研究

结合工艺决策的分级规划策略，构造了一种新的实用化的加工方法排序规则，该排序规则将传统排序规则分解成两个相关的部分：工序排序规则与工步排序规则。工序排序规则代表了排序规则的普遍性，描述了一类零件的总体加工过程，只与加工方法有关，与组成零件的形状特征等其他因素无关；工步排序规则代表了排序规则的特殊性，描述了工序中各特征的加工顺序，与特征有关而与加工方法无关。     

学校管理构成要素解析

学校管理是管理、管理对象和管理手段组成的有机整体。通过对学校管理、管理对象、管理手段三大要素的理解与分析，使之有机结合于同一管理活动中，并形成辩证统一的关系，互补共生，从而提高学校管理的实效性。     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

SDH GDMO管理对象类到C 类的自动转换

讨论了电信管理网中ＳＤＨＧＤＭＯ管理对象类到Ｃ＋＋对象类之间的转换规则、转换算法和转换步骤，并实现了ＳＤＨＧＤＭＯ管理对象类到Ｃ＋＋类的自动转换，应用转换结果，可以有效地实施管理对象的操作和管理。     

DSS模型库管理系统设计

在分析DSS模型库特点基础上，介绍了模型库管理系统的基本功能、结构、工作机制及维护技术等，通过比较多种模型表示方法，结合面向对象的分析方法，提出了一种用面向对象方法来描述模型表示方法，该方法可以解决对模型的共享、重用及合成的支持问题。