协议形式描述语言Estelle的交互生成方法

形式描述是协议工程的基础。本文提出一种支持国际标准形式描述语言Estelle 描述生成的交互式生成方法。协议文本可划分为用有限状态自动机(FSM)描述的协议功能部分和用自然语言描述的动作部分。该方法把FSM 描述自动变换成Estelle 描述,把动作描述由自然语言交互地变换成Estelle 描述后,再组合得到完整的Estelle 描述。     

基于环境本体的Web服务投影描述方法

服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题.以环境本体为基础,提出了一种投影描述方法,给出了该方法描述所需信息及描述产生的结果,陈述了描述的步骤.该方法可以根据具体领域的需要来生成服务的描述,不仅可以更确切有效地描述服务的效果,而且还可以刻画服务作用环境的特征.     

带传递关系和存在量词的描述逻辑MSC推理

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-述图,利用描述树和描述图给出了描述逻辑εL+的MSC近似推理算法,并利用εL+-描述树同态和εL+-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL+-描述树描述图同态给出了εL+的实例推理算法,也证明了实例推理算法的正确性.     

不确定性的综合描述及其智能决策支持系统

为了克服单一模型描述的不确定的片面性,提出了描述不确定性的综合描述模型,并给出了在智能决策支持系统中的应用。首先在不确定性内涵的阐释的基础上,建立了不确定性的综合描述模型。然后给出了基于不确定性的综合描述模型的不确定知识表示和推理方法。最后给出了基于综合描述模型的智能决策支持系统的体系结构。不确定性的综合描述模型具有全面客观描述不确定性的优点。     

基于UML的装备体系仿真描述探讨

针对作战仿真中装备体系的状态难以实时描述的问题,提出了一种基于UML描述装备体系的方法.深入分析了利用UML对装备体系进行仿真描述的具体方法和步骤,对联合作战装备体系的逻辑体系结构和物理体系结构进行了描述,给出了装备体系静态描述以及联合作战中动态变化的描述,并在此基础上给出了装备体系的聚合描述.结果表明:利用UML进行装备体系仿真描述可准确反映装备体系的特性及其各个组成部分相互关系,描述过程完整、易于理解和操作.     

带n-元存在量词的描述逻辑MSC推理

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)一描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)-的实例推理算法,也证明了实例推理算法的正确性.     

一类基于局部信息的特征描述子的图像检索

基于内容的图像检索准确性大大依赖于低层可视特征的描述。本文提出一类创新的彩色图像空间描述子、纹理描述子、边缘描述子和颜色描述子,空间描述子由局部均值直方图表示,纹理描述子由局部方向差单元直方图表示,边缘描述子由局部极大一极小差直方图表示,颜色描述子由量化HSV模型颜色直方图表示。这四种描述子被用作特征索引,它们对彩色图像,尤其是对具有相对规则的结构或纹理特征的图像具有很强的描述力。实验结果表明,用这种特征索引来检索图像,可以得到比其它基于颜色一空间方法高得多的精确度。     

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

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

用于多目标编译系统构造的目标机体系结构描述

本文是关于多目标编译系统构造的目标机体系结构描述的一个综述.主要涉及的话题：机器描述应当描述什么和描述语言的设计原则,现行的体系结构描述语言的状况及分类,一个典型的机器描述示例,结构信息描述,以及机器描述所面临的挑战及机遇等.     

形状描述的一种新方法

本文提出了一种新的基于方形网栅的形状描述方法,并将这种描述平面形状的方法扩充到三维的情况。它的主要思想是根据所要描述的物体形状来决定描述系统的坐标系,然后在此坐标系下对物体进行描述。本算法既能产生描述矩阵,又能根据描述矩阵完整地恢复原来的形状,还能根据描述矩阵进行模板匹配。本算法对于旋转、平移和比例放大、缩小是不变的。本算法还能推广到三维物体的描述和识别情况。     

形状特征的编码描述研究综述

形状特征的提取、编码与描述是图像处理中的重要研究方向.常用的形状编码描述主要分为两类：基于轮廓和基于区域的形状描述方法.本文描述和分析了常用的形状编码描述方案.     

基于枢轴语言的图像描述生成研究

当前图像描述生成的研究主要仅限于单语言(如英文),这得益于大规模的已人工标注的图像及其英文描述语料。该文探索零标注资源情况下,以英文作为枢轴语言的图像中文描述生成研究。具体地,借助于神经机器翻译技术,该文提出并比较了两种图像中文描述生成的方法: (1)串行法,该方法首先将图像生成英文描述,然后由英文描述翻译成中文描述; (2)构建伪训练语料法,该方法首先将训练集中图像的英文描述翻译为中文描述,得到图像-中文描述的伪标注语料,然后训练一个图像中文描述生成模型。特别地,对于第二种方法,该文还比较了基于词和基于字的中文描述生成模型。实验结果表明,采用构建伪训练语料法优于串行法,同时基于字的中文描述生成模型也要优于基于词的模型,BLEU_4值达到0.341。     

一种构件通用属性的描述方法研究*

提出了一种将构件的通用属性和特殊属性分开描述及管理的构件通用属性描述方法CGADM及其扩展机制,阐述了该描述方法的定义,分析了其特点。基于该描述方法设计实现了一个构件管理实验系统,证明了该描述方法具有良好的描述性能和扩展性能。     

基于语义规则的Web服务发现方法

语义Web服务发现问题研究的核心内容是服务描述与对应的服务发现方法。服务描述分为服务请求描述与服务发布描述,但目前的服务发现方法,并未将请求描述与发布描述分开,以比对服务请求描述与服务发布描述中对应部分作为匹配依据,导致服务请求描述构建困难以及发现结果不够理想。提出以语义规则刻画服务请求描述,以本体构建服务发布描述,进行有效的以语义规则驱动的Web服务发现。对语义规则添加影响因子使得服务匹配精度可以通过匹配度来度量,并按照给定的调节系数来决定最终匹配是否成功。最后以OWL-S TC V2测试服务集合进行了对比实验,证实该方法有效地提高了查全率与查准率高,特别是Top-k查准率。     

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

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

RSL在协议形式化描述中的应用研究

将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。     

三维工业物体的多重描述与识别处理

提出了一种三维工业物体的多重描述与识别方法。在描述中采用了整体形状描述，基元属性描述和关系描述相结合的多重描述策略；在识别过程中，首先根据物体的整体描述产生关于物体身份的初步假设，然后提出三种修剪算法，充分利用关系数据结构的多重约束作为知识启发来修剪搜索树，最后根据距离测度函数实现精匹配。实验验证了上述处理的正确性和一般性。     

ONCD辅助描述工具设计与实现

作战节点连接关系描述(ONCD)是C^4ISR体系结构的基本产品，ONCD辅助描述工具是针对该产品的辅助描述而开发的。首先，简要介绍了ONCD辅助描述工具设计思想——ONCD层次描述方法；然后，设计并实现了ONCD辅助描述工具3大基本功能——ONCD模型创建、ONCD模型管理和ONCD模型输出，同时给出了开发ONCD辅助描述工具用到的主要数据结构；最后，结合实例给出了利用ONCD辅助描述工具完成ONCD模型的具体步骤。     

三维工业物体的多重描述与识别处理

提出了一种三维工业物体的多重描述与识别方法，在描述中采用了整体形状描述，基元属性描述和关系 描述相结合的多重描述策略；在识别过程中#首先根据物体的整体描述产生关于物体身份的初步假设，然后提出三 种修剪算法，充分利用关系数据结构的多重约束作为知识启发来修剪搜索树#最后根据距离测度函数实现精匹配。 实验验证了上述处理的正确性和一般性。     

三维工业特体的多重描述与识别处理

提出了一种三维工业物体的多重描述与识别方法。在描述中采用了整体形状描述，基无属性描述和关系描述相结合的多重描述策略；在识别过程中，首先根据物体的整体描述产生关于物体身份的初步假设，然后提出三种修剪算法，充分利用关系数据结构的多重约束作为知识启发来修剪搜索树，最后根据距离测度函数实现精匹配。实验验证了上述处理的正确性和一般性。