RFID信息服务中发布/订阅系统若干关键技术问题研究

 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要.     

基于本体的XML知识表示方法研究

对网络中非结构化的文本资源进行有效的知识表示是语义Web面临的关键性问题。本文提出了基于四元组的知识本体的形式化定义,同时将该定义与在某一个知识领域内的5个基本建模元语相结合,采用BNF范式对知识本体进行统一的描述和表示,并实现了BNF与XML/DTD之间的知识本体框架的语义转换。最后,提出了统一的扩展RDF模型———XRDF,并进行了形式化定义与实例建模分析。     

基于本体的数学知识获取与知识继承机制研究

基于本体、框架和逻辑给出了数学知识表示语言，采用了面向概念的数学知识获取方法，利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理，设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制，并对知识继承的一致性进行了分析。在数学知识的应用方面，对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。     

EFSM的等价转换和通信协议一致性测试

绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化，并且生成的测试实例具备一定的诊断数据流错误的能力     

基于属性的远程证明模型

针对目前TCG组织定义的远程证明信任链模型在描述基于属性的远程证明时存在的不足,通过对基于属性远程证明过程中的证明请求、可信策略以及可信性评估过程进行抽象,提出了一个新的基于属性的远程证明模型.该模型将传统远程证明中信任链模型扩展为信任图,使得模型能够表达更为灵活的可信策略.还对可信策略的属性可信性判定问题以及可信评估过程终止性问题进行了讨论,给出了相关定理及证明,为可信策略的定义与检查提供了理论基础.基于该模型给出了实现可信网络接入时的可信策略定义,用实例验证了该模型在描述能力方面的增强.     

基于扩展变迁系统的分布式系统一致性测试研究

本文用形式化技术给出分布式系统的一致性概念和测试结构,并讨论基于扩展变迁系统描述的包含实现关系、测试例、测试集和测试执行的测试理论.     

基于DEVS的分布式仿真构件形式描述

构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行了研究.通过定理证明,该仿真耦合构件具有耦合封闭性,使得可以通过仿真原子构件和耦合构件不断地进行层次式迭代组合,构造出一个更加复杂的构件或系统,为基于DEVS的形式化组合仿真研究进行了前期理论探讨.     

本体知识库的自然语言查询重写研究

为了让普通用户也能利用本体知识库来解决问题,提升本体知识库检索的灵活性和改进查询效率,结合本体知识库固有的特征,给出了查询系统的框架和处理过程,并对系统中关键的技术和算法进行描述,提出了基于WordNet的本体词汇扩展和查询三元组映射算法,通过实验,验证了该方法的有效性.     

基于本体的模型集成

 模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理.     

知识论域，知识拓扑与映射的性质

定义了知识论域和知识拓扑,组建了4种拓扑空间,并分析了它们之间的联系,为介绍拓扑与映射的联系做了铺垫;讨论了Z.PAWLAK 粗糙集模型上映射的拓扑性质,指出了粗糙集模型与一个有限集之间的映射.可以诱导出在此有限集上的等价关系,从而得到了两个粗集拓扑空间的映射.这个映射是连续的,如果是双射则此映射是开的且把粗集映成粗集,粗集的原像还是粗集.本文研究了Z.PAWLAK粗糙集模型上的映射的性质和映射的关系,具有一定的理论价值,从而为使用拓扑学的方法来研究粗糙集的理论成为了可能.     

基于主元分析的对称性检测

对称性在日常生活中广泛存在,对一般物体镜像和对称性的快速检测一直是计算机视觉的难题,至今未有通用性很好且效率较高的算法,本文提出一种新的方法,把对称性检测问题转化为协方差矩阵的特征值分解问题,文中的３个定理及其证明奠定了理论基础。此外不把这一结论推广到旋转对称性的检测问题。仿真表明：这种方法理论基础扎实,操作简便,非常适合于强镜像对称复杂图像的镜像对称轴方向检测。     

基于本体的高校知识分析和推理

以高校知识为研究和应用背景,研究基于本体理论的高校知识本体结构化表示和描述,并采用protege 4.0建立了高校知识本体。同时从高校知识中提取出基本公理、类内公理和类间公理,建立公理库,并采用protege的PAL推理引擎对高校知识进行一致性分析和推理。解决了高校知识语义层次上的信息共享和交互的问题,为高校知识的管理提供语义支撑。     

Java内部类继承问题的分析

继承的使用简化了程序中的复杂问题,单继承增强了源代码的可重用性,易于程序的维护和修改,但是当程序使用多层继承时,由于Java内部类的机制问题,会遇到一些潜在的问题,继承层次越多,问题会越严重。分析了Java内部类的继承问题,此外,提出了一个用来检测Java内部类的继承问题的方法,并给出了相应的解决方案。     

Global asymptotic stability and global exponential stability of delayed cellular neural networks

In this brief, many novel theorems and corollaries are presented regarding the global asymptotic stability and global exponential stability of cellular neural networks with constant and variable time delays. The stability conditions in the new results improve and generalize existing ones. Several examples are discussed to compare the new results with the existing ones.     

基于本体的IEC 61850语义信息模型一致性校验

针对IEC 61850互操作过程中出现的模型不匹配问题以及对静态测试列举测试条目较少的缺点,提出基于本体的语义信息模型一致性静态测试方法。基于本体技术对变电站相关知识进行语义建模,可对变电站自动化系统中所包含的知识语义进行有效的描述和传输交换。在基于本体语义测试方法的基础上,设计了一套模型验证工具并详细阐述。     

阿贝尔群上函数的傅里叶谱特征

本文解决了阿贝尔群上调和分析的如下经典问题:一组有序复数是G~(?)到D中的函敦f的付里叶谱的充分必要条件是甚么?这里D表示(?)(复数域),(?)(实数域)或G(有限阿贝尔群)。对子G=(?)_2的情形,已有的一些结论是本文主要定理的推论。     

Fixed rate universal block source coding with a fidelity criterion

A unified theory is developed for fixed rate block source encoding subject to a fidelity criterion in incompletely or inaccurately specified stationary statistical environments. Several definitions of universal encoding are given and compared, and the appropriate theorems are stated and proved for each. The new results and approaches are compared and contrasted with earlier related results of Ziv.     

Theoretical Results on Sparse Representations of Multiple-Measurement Vectors

The sparse representation of a multiple-measurement vector (MMV) is a relatively new problem in sparse representation. Efficient methods have been proposed. Although many theoretical results that are available in a simple case-single-measurement vector (SMV)-the theoretical analysis regarding MMV is lacking. In this paper, some known results of SMV are generalized to MMV. Some of these new results take advantages of additional information in the formulation of MMV. We consider the uniqueness under both an lscr₀-norm-like criterion and an lscr₁-norm-like criterion. The consequent equivalence between the lscr₀-norm approach and the lscr₁-norm approach indicates a computationally efficient way of finding the sparsest representation in a redundant dictionary. For greedy algorithms, it is proven that under certain conditions, orthogonal matching pursuit (OMP) can find the sparsest representation of an MMV with computational efficiency, just like in SMV. Simulations show that the predictions made by the proved theorems tend to be very conservative; this is consistent with some recent advances in probabilistic analysis based on random matrix theory. The connections will be discussed     

基于D-S证据理论的多模复合制导目标识别

多传感器信息融合已成为现代条件下目标识别的重要手段.研究基于D-s证据理论的多传感器信息融合算法,提出一种基于Dempster-Sharer理论的推广方法以解决融合信息的证据冲突问题,并将其用于红外成像/毫米波复合制导系统,进行目标识别的决策信息融合,结果比较理想,能够有效地化解证据间的冲突问题.