计算机科学中的一些逻辑理论的推理性质研究

由于一阶 词逻辑的基本特征是具有可靠性,完全性,在推广一阶谓词逻辑表达能力及扩充其推理能力时,可以定义了了一些具有可靠性,完全性的逻辑,对此,在分析逻辑理论特征的基础上,给出了一些逻辑的推理系统之间相似性的实质,证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力,并指出非常单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的。     

混合系统剖析,描述与建模

混合系统是一种离散和连续构件交织的系统。通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。通过分析混合系统的微观结构，文中提出了面向系统设计的描述语言ＤＤＬ。它能直观、精确刻画混合现象，方便设计决策描述，而且通过控制器符号与系统指称约束的延迟，为系统设计带来很大的灵活性。由ＤＤＬ描述的混合系统，经内部通信隐藏和系统单步协调积，可转换为混合变迁系统。     

动画剧本描述语言SDL／A的设计与实现

本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言ＳＤＬ／Ａ．这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点，并易于将这种基本的通用的剧本描述语言集成到一个功能强大的ＣＡＳＥ环境－ＸＹＺ系统之中．本文主要介绍了ＳＤＬ／Ａ语言的设计思想和实现技术.     

模糊规则的谐调度与矛盾规则的排除方法

本文给出了模糊规则的谐调度，得到了两个模糊规则有公共解的充分必要条件，提供了模糊规则知识库中矛盾规则的排除方法．     

用XYZ／E语言描述和验证硬件的行为

本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例，用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统，这种描述可以在ＸＹＺ系统上执行，从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系统对所期望的性质进行了形式化证明．本文还将ＸＹＺ／Ｅ描述与相应的ＶＨＤＬ（ＶＨＳＩＣｈａｒｄｗａｒｅｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）描述进行了比较．从中可以看出时态逻辑语言的描述具有其独特的优点.     

NDKAS中知识的理论表示方法及其描述语言的设计

知识的理论表示方法是基于属性描述的概念获取系统中一种有效的知识表示方法，它具有层次性，抽象性、模块性和完整性等特点。本文给出了理论表示方法及其描述语言的定义和应用实例。     

中文页面描述语言解释器CPDL的设计与实现

页面描述语言（ＰＤＬ）已广泛应用于打印机、电子出版等领域，且已经诞生了国际标准（ＳＰＤＬ）。因此，开发中文页面描述语言解释器具有十分重要意义。本文介绍了中文页面描述语言解释器ＣＰＤＬ的特点、功能、数据结构、字库的组织和ＣＰＤＬ解释器流程。讨论了提高速度和压缩代码的方法，并给出了应用前景。     

领域本体和刻面描述相结合的构件检索研究

针对刻面描述的检索方法的不足,引入领域本体,提出领域本体和刻面描述相结合的构件检索模型,并对所提出的构件检索模型中的构件检索过程进行研究。分析语义推理过程,提出基于本体和刻面描述相结合的检索算法。最后,构建一个第三方物流信息化构件检索的系统对所提出的构件检索机制的检索效率进行验证分析。验证结果表明,领域本体与刻面描述相结合可以提高构件检索的查全率和查准率。     

CLP（R）程序部分演绎的研究

本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。     

单体模糊神经网络的学习规则及其收敛性研究

兴久祯教授在不久前研究了单体模糊神经网络（MFNNs)的函数逼近能力,在此基础上,提出了单体模糊神经网络（MFNNs)的学习规则并进一步研究了其收敛性,研究结果表明,所提出的学习规则百收敛的,这一结论为单体模糊神经网络的应用提供了坚实的理论基础。     

THE RELATION BETWEEN ORDINAL PROBLEM SPACE SIZES AND THE MAXIMUM NUMBER OF ORDINAL CLASSIFICATION RULES

A method is presented of establishing bounds on the number of classification rules in such applications as credit worthiness assessment, investment decisions, premium determination, consumer choices, employee selection, and editorial preferences, to name just a few. A function that relates the maximum number of classification rules to the problem space size of such application domains is established. It is shown that in this important class of ordinal classification problems, the maximum possible number of rules is significantly lower than the relative problem space sizes. The approach grants the ability to a priori estimate worst case response time and memory requirements, and to better predict the effectiveness of knowledge acquisition efforts.     

中文页面描述语言文本管理器的设计与实现

文本管理器是用于提高中文页面描述语言解释器效率而引入的前处理系统，它包括资源管理、异常处理、ＥＰＳＦ管理和文本优化等功能模块．本文详细论述了文本管理器的设计思想与相应实现方法．     

巨型计算机工程设计描述模型

巨型机并行设计环境是巨型机工程设计自动化的发展趋势,它能有机地集成多领域ＣＡＤ工具,统一管理数据,统筹安排设计人员协同完成巨型机工程设计任务。本文介绍的设计描述模型建立此类设计环境的基础。     

多协议标志交换技术的关键机制与形式化描述

文中讨论了一类新的网络层分组转发技术－多协标志交换技术。     

区间结构的组合与析取映射

本文提出了组合区间结构的一种方法。该方法先是用乘积空间来表示的新的证据空间，然后组合衙个子空间结构在同一乘积空间上的柱面扩缍。     

同异步结合的远程教育模型及实现

本文介绍了在基于视频会议系统的实时远程教育系统使用过程中，教案的自动生成与管理系统的研究及实现。目的是使实时远程教学更加充分地利用网络的优势，使学生和教师在这种突破传统的教学模式中更为高效、方便地完成教学任务。     

复杂自适应系统的描述及其分布仿真框架

复杂自适应系统是当前一个研究热点，建立一个通用的分布仿真平台对于领域专家来说具有重要的辅助，首先对复杂自适应系统进行了深入的论述，并且对它的结构特征进行了形式化的定义，建立了复杂自适应系统的对象元、自适应Agent元，消息、继承和聚集等概念，在此基础上，提出了一个支持分布并行环境和组件式仿真框架，特别对其中的公共服务Agent和自适应Agent进行了详细的叙述，并且在此框架的指导下实现了分布仿真平台，和其它复杂自适应系统仿真平台结构相比具有一定的优势。     

CORBA与Enterprise JavaBeans相结合构建分布式对象系统

总结了CORBA与Enterprise JavaBeans(EJB)规范的特点，说明了CORBA与EJB的映射关系规范，并从两者结合的角度，对构建分布式对象系统的通用体系结构进行了说明。为了便于理解和应用，文章还给出了一个系统实例。     

限幅电压开关理论及三值TTL电路的开关级逻辑设计

本文根据作者对CMOS电路的研究经验,在分析二值与三值TTL反相器工作过程的基础上,讨论了TTL电路中晶体管开关元件与信号之间的相互作用过程,并由此建立了适用于TTL电路的限幅电压开关理论,设计实例表明,该理论不仅可用于指导三值TTL电路的设计,而且还可用于指导二值TTL电路的设计,由此显示出该理论的实用意义。