逻辑程序的语义问题(Ⅰ)

说明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提的一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的语义研究出现了许多新结果。本文以早期的Clark语义和最小模型语义为起点,介绍这些新发展的部分内容,主要包括Clark语义的Fitting 3-值扩充,理想模型语义、稳定模型语义、良基模型语义以及它们之间的关系,并在此基研上进一步讨论了说明性语义在逻辑程序设计中的地位和作用。     

淋巴细胞的时间语义逻辑模型及其演化策略

数字序列抗原内部存在许多语义特征,针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系,该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言,以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型,给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学,用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP的基本思想,给出了新的淋巴细胞的演化算法。     

POOPL合成逻辑与面向对象的程序设计语言

为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向对象的程序设计风格。但是,没有一种程序设计风格能够完全满足知识信息处理的要求。于是,人们着手探讨合成许多风格的语言。本文论述了合成面向对象与逻辑程序设计两种风格的必要性与可能性以及有关的技术难题,并且简单地介绍了我们研制的合成面向对象与逻辑程序设计两种风格的知识程序设计语言POOPL。它继承了面向对象程序设计对知识库的组织能力和逻辑程序设计对知识的表达能力,并且严格地区别面向对象与逻辑程序设计的语义,以求最大限度地挖掘面向对象程序设计与逻辑程序设计的全部优越性。     

逻辑程序的语义问题 I

文明性语义是逻辑程序研究的重要内容，也是其作为说明性程序的基本特征。近年来由于人们对带否定前提了一般逻辑程序设计的关注，以及逻辑程序与非单调推理的结合，逻辑程序的语义研究出现了许多新结果。本文以早期的Ｃｌａｒｋ语义和最小模型语义为起点，介绍这些新发展的部分内容，主要包括Ｃｌａｒｋ语义的Ｆｉｔｔｉｎｇ３－值扩充，理想模型语义，稳定模型语义，良基模型语义以及它们之间的关系，并在此基础上进一步讨论了说明     

源程序语义检测的稳定模型分析方法

基于逻辑程序及其稳定模型的理论,提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图,将安全知识规则转换为一个逻辑程序,再用关键语句图去实例化该逻辑程序,最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义,具有较好的可扩展性。     

Gdel语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。     

G(o)del语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言--G(o)del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨.G(o)del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法.模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升.     

Goedel语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言——Goedel语言为例，对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。Goedel语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制，能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法，并通过结合类型系统实现了对抽象数据类型程序设计的支持，从而能够支持面向对象程序设计；延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。     

双析取逻辑程序设计基础（Ⅰ）

析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出了双析取逻辑程序设计的概念，我们不仅从句法上将正规则析取逻辑程序推广为双析取逻辑程序。而且建立了一种高度直观，灵活的辩论语义框架ＢＤＡＳ。     

基于逻辑程序的访问控制描述与推理

提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。     

Local closed world reasoning with description logics under the well-founded semantics

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.     

混合多策略视图安全模型

传统的MLS策略侧重于信息机密性保护,却很少考虑完整性,也无法有效实施信道控制策略,在解决不同安全级别信息流动问题时采用的可信主体也存在安全隐患.同时,应用环境的多样性导致了安全需求的多样化,而当前的安全模型都只侧重于其中一种或几种安全需求.本文给出的混合多策略模型一MPVSM模型有机组合了BLP,Biba,DTE和RBAC等安全模型的属性和功能,消除了MLS模型的缺陷,提高了信道控制能力和权限分配的灵活度,对可信主体的权限也进行了有力的控制和约束,同时为实现多安全策略视图提供了一个框架.文中给出了MPVSM模型的描述和形式化系统,并给出了几种典型策略的配置实例.     

数据库安全研究的现状与问题

虽然经过了多年的努力，但数据库安全的理论研究和具有安全特性的数据库产品仍有令人满意。文中道德介绍了数据库安全与操作系统安全，网络安全的不同点，然后了当前数据库安全研究的几个领域，即安全数据库的语义，推理通道控制和安全的数据模型，最后提出了数据库安全研究发解决的几个问题。     

TMNX接口安全管理的研究

文章首先给出了多个TMN通过X接口互连时面临的安全威胁,进而提出了TMN X接口安全管理的需求,在此基础上提出了两类Inter-TMN安全管理的模型:联合管理模型和协同管理模型。通过引入安全前端作为TMN安全网关,文章的最后给出了基于联合管理模型的实现原型。     

On the partial semantics for disjunctive deductive databases

Partial stable models for deductive databases, i.e., normal function-free logic programs (also called datalog programs), have two equivalent definitions: one based on 3-valued logics and another based on the notion of unfounded set. The notion of partial stable model has been extended to disjunctive deductive databases using 3-valued logics. In this paper, a characterization of partial stable models for disjunctive datalog programs is given using a suitable extension of the notion of unfounded set. Two interesting sub-classes of partial stable models, M-stable (Maximal-stable) (also called regular models, preferred extension,and maximal stable classes) and L-stable (Least undefined-stable) models, are then extended from normal to disjunctive datalog programs. On the one hand, L-stable models are shown to be the natural relaxation of the notion of total stable model; on the other hand the less strict M-stable models, endowed with a nice modularity property, may be appealing from the programming and computational point of view. M-stable and L-stable models are also compared with the regular models for disjunctive datalog programs recently proposed in the literature.     

The integration of energy policy models

In this paper we present an integrated model for the assessment of alternative U.S. energy policies, based on the Inter-Industry Model constructed by Hudson and Jorgenson and the Natural Gas Model constructed by MacAvoy and Pindyck. We first present the Inter-Industry Model and an outline of the computational techniques employed in implementing the model. We then describe the Natural Gas Model and the details of its implementation.We next present a methodology for integrating energy policy models. The methodology imposes certain consistency requirements on alternative models of the same phenomena. We apply this methodology to the incorporation of exploration and development and wellhead price regulation of natural gas into the integrated energy policy model.Finally, we present four policy simulations with the integrated model. These simulations are the four possible combinations of quotas on oil imports versus no quotas and phased deregulation of the price of natural gas versus no deregulation. Our simulation results support a policy of phased deregulation with no restrictions on oil imports.     

基于稳定性语义聚类的相关模型估计

针对由不稳定聚类估计的相关模型影响检索性能的问题,提出了基于稳定性语义聚类的相关模型(SSRM)。首先利用初始查询前N个结果文档构成反馈数据集;然后探测数据集中稳定的语义类别数量;接着从稳定性语义聚类中选择与用户查询最相似的语义类别估计SSRM;最后通过实验对模型的检索性能进行了验证。对TREC数据集5个子集的实验结果显示,SSRM相比相关模型(RM)、语义相关模型(SRM),平均准确率(MAP)性能最少提高了32.11%和0.41%;相比基于聚类的文档模型(CBDM)、基于LDA的文档模型(LBDM)和Resampling等基于聚类的检索方法,MAP性能最少提高了23.64%,19.59%和8.03%。实验结果表明,SSRM有利于改善检索性能。     

一种自适应的多级入侵检测模型

网络入侵检测是互联网安全领域研究的热点问题。传统的基于异常的入侵检测方法采用单一的检测模型对各类数据进行检测,导致漏报率高。且缺乏模型的动态更新机制,导致模型自适应羞。针对上述问题,提出了一种具有自适应性的多级入侵检测模型ACIDM（Adaptive Cascaded Intrusion Detection Model）。ACIDM层级部署多个检测模型,各级模型之间通过检测反馈对模型进行动态更新和协同训练。实验证明,与单一检测模型相比、ACIDM检测器的多样性、层级性和自适应性,使得ACIDM在保证检测精度的同时能明显降低对入侵的漏报率,且这种优势在小样本情况下尤为显著。     

A rigorous approach towards test case generation

This paper presents a method to generate test cases for sequential programs and concurrent programs written in a flow based program language. Test cases of sequential programs are generated based on condition calculation, and can be combined together to form SYN-sequences for concurrent program testing. Semantics of the language provides an infrastructure for the test case generation, and thus our method may be considered as a rigorous and systematic approach to the program testing. Compared with some formal testing methods, our method can avoid hitting state explosion problem in the test formation. Besides, the complexity analysis reveals that our method is time saving. Our method has been applied to generate test cases for PPP over ATM, a subsystem of IAD that runs data and voice over DSL.     

基于角色的带时限的转授权与撤销模型

当前基于角色的访问控制系统完全依赖于管理者的集中管理方式,不能够满足分布式环境下的系统管理的需求,基于角色的转授权模型更适于分布式环境的授权管理。但是,目前已有的转授权模型的研究都仅限于基于常规角色的转授权与撤销,并且没有详细地讨论带时限的转授权与撤销的机制。本文将时间因素引入到转授权模型当中,同时在基于角色的管理模型的研究基础之上所扩展的模型称作基于角色的带时限的转授权与撤销模型(Temporal Role-hased Delegation and Revocation Model,TRDRM)。TRDRM在支持常规角色的转授权与撤销的同时,也支持管理角色的转授权与撤销,是集中管理方式和分布式管理方式的有效结合,满足了协同工作的需要。