描述逻辑的动态时序扩展*

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。     

基于动态描述逻辑DDL的动作理论

基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复...     

面向矛盾问题的描述逻辑SHOQ扩展

为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略。     

动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.     

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.     

一类扩展的动态描述逻辑

作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持.     

带测试动作的动态时序逻辑扩展

作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支持测试动作,提出一个DLTL扩展DLTL+和一个判定DLTL+公式可满足性的tableau算法,并给出了算法的正确性以及其时间复杂度为2O(n)的证明。分析表明,DLTL+提供了一种直接的、有效的测试动作支持方式,该方式比已知的其他方式更具有实际应用价值。     

基于语境和动作推理的语义Web服务发现

在语义Web服务发现中,服务本身及用户所处的语境是不可忽视的因素.针对现有服务发现方法的不足,给出一种基于语境和动作推理的语义Web服务发现方法.该方法通过建立基于动作的语境模型来刻画静态和动态的语境信息,利用动态描述逻辑中的动作推理实现语境推理,并在此基础上实现语境敏感的语义Web服务发现算法.案例研究及相关工作对比表明,与现有方法相比,文中方法在语境刻画和推理能力方面均有较优表现.同时实验结果也表明,在增加合理逻辑推理的时空开销的前提下,文中方法能为用户提供更符合需求的服务发现结果.     

ASP中实现数据库的动态操作

主要讨论在ASP中实现对某一数据库的某一表的动态操作.不论内容、字段数如何,都能实现打开显示以及对记录进行编辑(主要是修改).     

DF控制器的设计方法研究

基于动态模糊集（Dynamic Fuzzy Sets）理论和动态模糊控制推理模型的相关概念,提出了一种DF控制器的设计方法,给出了DF控制器结构,探讨了DF控制规则库、DF控制推理计算、DF化以及清晰化方法,解决了控制过程中的动态模糊性问题,更符合具有动态模糊性特点的控制系统的控制规律,并通过具体的应用实例体现了此设计方法的有效性和可操作性.     

DF积分的解法研究

We introduce the basic conceptions of DF integral in this paper. And based on the conception,we research on basic theories of DF integral further. Our research provides the foundation of the basic theory frame of DF integral. It helps other scholars to research DF system. In addition ,it enriches and develops the basic content of the DF Set. Therefore,the research achievement of the paper plays a stimulative role in DF system theory research.     

动态表达式的解析和计算

介绍动态表达式的解析和计算的设计和实现,以及为几何作图函数曲线动画的多线程计算提供支持。     

动态模糊逻辑（DFL）的真值域刻画

以往的理论的提出,虽然为研究解决具有动态模糊性的问题提供了一定的理论依据,但从整个动态模糊系统来看,这些还仅仅是一些初步工作,还有许多的内容需要进一步研究,因此,文章基于动态模糊逻辑,结合动态的模糊测度论,对动态模糊逻辑的真值域进行刻画。     

Experimenting with dynamic linking with ADA

An approach to achieving dynamic reconfiguration within the framework of Ada¹ is described. A technique for introducing a kernel facility for dynamic reconfiguration in Ada is illustrated, and its implementation using the Verdix VADS 5.5 Ada compiling system on a Sun3–120 running the 4.3 BSD Unix operating system is discussed. This experimental kernel allows an Ada program to change its own configuration dynamically, linking new pieces of code at run-time. It is shown how this dynamic facility can be integrated consistently at the Ada language level, without introducing severe inconsistencies with respect to the Standard semantics.     

一般意义下动态加载机制的应用研究

本文研究了一般意义下动态加载机制的原理和过程。首先建立了动态加载机制的下载、链接和分解三个基本操作的参数结构并进行分析,然后在此基础上提出了动态加载机制的过程模型并给出模型的运算机理。     

一个支持动态需求集的软件设计模型

就软件在需求变化时的适应性问题提出了一个可以动态演化的软件模型。首先描述了该模型的结构,然后解释了该模型的动态演化特性以及基于该模型的开发方法,最后给出了一个通用报表的实例验证了该模型的有效性。     

基于DFS的专家数据库系统设计

基于DFS,给出了动态模糊专家数据库系统的设计方法,并对系统的功能、系统的结构、DF数据库和规则库进行了详细的描述。     

基于ASP实现WEB网页动态刷新技术

本文讨论了ASP的工作模式和ASP文件的创建过程,介绍了数据库的存取以及基于ASP实现WEB网页动态刷新的技术。