基于CAD技术的数字逻辑系统

数字逻辑系统的设计离不开计算机辅助设计CAD工具的帮助，尤其是VHDL硬件描述语言。该语言采用模块化的设计方法，自顶向下完成全部设计和综合过程，最终生成印刷电路板或专用集成电路，论述了高级语言VHDL的行为模块描述和结构模式描述，介绍了数字逻辑系统的设计方法和步骤，继而通过一个简单设计实例讨论了VHDL语言模块化的综合描述过程。     

一种构件化的动态软件系统模型

本文提出一种构件化的动态软件系统模型ＣＬＡＳ,其基本思想是用系统的宏观逻辑描述来联结实现系统具体功能的构件,从而组成完整的软件系统。在ＣＬＡＳ模型中,系统的构件化使软件的复用性大大提高,而逻辑与实现的分离又明显改善了系统的灵活性和逻辑可扩充性。     

RDF技术在作战资源描述中的应用

随着作战资源的日趋丰富和对作战资源管控的要求,作战资源描述技术已经成为影响信息化战争中的一个重要研究领域.在对作战资源分类的基础上,采用资源描述框架(RDF)技术对作战资源进行描述,不仅方便了作战资源的描述和存储,为语义网等上层应用提供支持.论文首先介绍资源描述方法,然后从国内外作战资源描述现状出发,提出采用RDF描述作战资源的方法,最后以某型雷达资源为例进行描述.     

一种分布式动态描述逻辑

分析了目前描述逻辑（DL）的研究现状和存在的问题，特别是动态描述逻辑（DDL）作为语义Web逻辑基础所存在的问题．针对语义Web的特点和需求，对DDL进行了扩充，提出了一种新的描述逻辑，即分布式动态描述逻辑（D3L），给出了D3L的语法和语义，并研究了D3L的推理机制，提出了两种推理方法：直接推理和转化推理．与动态描述逻辑DDL相比，该D3L可以为语义Web提供更为合理的逻辑基础，弥补了DDL作为语义Web逻辑基础的不足．     

一种模糊动态描述逻辑

分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。     

描述逻辑系统UEVN中概念的包含关系

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。     

程序挖掘的用户需求获取与分解

随着基于构件的程序挖掘思想[1]的提出，如何正确获取用户需求的描述成为程序挖掘中关键的第一步。本文在分析需求描述在程序挖掘中的特性的基础上，分析需求描述语言的发展，提出一种基于UML的用户需求描述语言，给出其XML描述形式，并结合我们自己定义的通用构件接口，研究需求分解的策略，具体给出需求分解算法，需求分解结果与通用构件接口之间的映射算法等。     

基于资源的需求描述方法

针对需求分析中的系统需求描述问题,本文提出了一种以资源描述需求的方法,分析了这种方法与传统需求描述方法的异同;实现了对资源及需求的形式化描述,并详细讲述了获取需求的过程;最后给出了需求的存储形式和需求同资源的映射算法。     

基于链式散射描述的H∞控制器设计

基于链式散射描述对Ｈ∞的标准问题,揭示了Ｑ参数和控制器之间的关系,利用Ｑ参数得到稳定的控制器,并利用Ｑ参数进行控制器降价,不同了有关例子。     

服务发现技术中的服务描述和服务匹配技术

普及计算环境中的设备和应用需要通过服务发现来获得其它设备和应用所提供的服务。在服务发现技术中,服务描述、需求描述和服务匹配是迫切需要解决的关键问题。但由于服务和需求的多样性和复杂性,以及普及计算环境的动态性和异构性,使这些问题更加困难和复杂。所以,寻找一种灵活高效而又准确的方式来进行服务描述、需求描述,进而进行服务匹配,具有非常重要的意义。对现有多种服务发现系统中的服务描述需求描述和服务匹配技术进行比较分析,指出了现有解决方案的一些不足,并对未来的研究进行了展望。     

描述逻辑系统εLN中概念最小公共包含推理研究

描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。     

FDT与FDT工具及其研究

叙述形式化方法的基本概念，研讨了国际上标准的以及目前使用的应用于描述顺序软件、并发软件和基于图形的形式化描述，同时论述了支持形式化描述技术的工具的任务、作用和分类。     

一种空间数据服务虚拟化描述方法

提出了一种空间数据服务的虚拟化描述方法。针对各类空间数据服务, 采用基础描述元素和描述规则描述服务元信息、数据元信息和服务操作信息, 并存储为虚拟文件, 进而支持用户通过虚拟文件进行空间数据服务的组织管理和综合应用。对天地图、Google Maps、OGC标准服务三类空间数据服务进行集成显示实验, 实验结果表明虚拟化描述方法可以有效地实现多源空间数据服务的统一访问与应用。     

描述逻辑εLU概念及术语公理集的表达能力刻画

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——vanBenthem 刻画定理.给出了描述逻辑εLU（含构造子：原子概念、顶概念、概念交、概念并、完全存在约束）的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与ELU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.     

关于软件体系结构的形式化描述

软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。     

关于软件体系结构的形式化描述

软件体系结构已成为软件工程研究和实践的主要领域,而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性,并介绍了几种以形式化语言为理论基础的体系结构描述语言。     

论中国画中的形、神、意

中国古代绘画的发展源远流长,其中理论的影响尤甚。以形写神的理论直接对写实主义的绘画影响巨大,产生了唐、五代、北宋等现实主义杰作;以神写形的理论则催生了后来画坛作为主流文人画的产生。     

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.     

入侵检测系统描述语言的分析

介绍了入侵检测系统描述语言的概念和理想攻击描述语言所具备的特性,对几种典型的攻击描述语言进行了详细的分析和比较,探讨了描述语言发展方向,为开发更为完善的语言打好基础.