一种图形化的软件缺陷描述语言

针对自然语言描述的软件缺陷报告常会出现不完整、二义性、抽象层次混杂的问题，面向黑盒测试发现的缺陷，提出了一种图形化的软件缺陷描述语言——软件缺陷描述图（SDDG）．首先采用扩展巴科斯范式（EBNF）对SDDG进行形式化描述，然后以因果图为基础，定义了描述中涉及的各种图形符号．通过理论分析论证、描述实例对比以及实验验证表明：与传统的自然语言描述以及基于XML的描述相比，SDDG清晰明了、重点突出，提高了软件缺陷报告的可读性、完整性以及可重现性，减少了测试人员和开发人员的理解不一致现象；该方法不仅提高了双方的沟通效率，同时为软件缺陷分类和分析提供了更好的原始数据．     

CAPP中箱体类零件信息描述的方法

提出了一种CAPP中面向箱体类零件的信息描述方法，它通过方位描述、轮廓描述、形面描述等多个处理过程，来满足CAPP对零件信息描述的要求。     

基于本体的领域知识库构建及推理研究

文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑，对领域知识库的构建及知识推理等方面进行了研究，阐述了基于本体的领域知识库构建的方法，并且介绍了常用软件领域知识库的构建实例，对基于描述逻辑的知识库推理进行了研究，并以实例说明其应用。     

一种规则描述语言——NPRDL语言

提出了一种适用于汉语分析的规则描述语言，主要介绍了ＮＰＲＤ语言对象描述，书写规范、实现技术及其如何被应用于汉语分析，ＮＰＲＤＬ语言具有描述能力强，便于计算机算是和便于书写规则三大特点，它不仅可以描述汉语，还可以描述其他语言，具体实践应用中取得了很好的效果。     

基于多模注意力机制的密集型视频描述

为了解决密集型视频描述(dense video captioning, DVC)任务中视频特征利用不充分，视频定位分段不准确，语义描述效果不丰富的问题，采用多模注意力机制的密集型视频描述方法，提取视频中的视觉特征、音频特征和语音特征.通过多模注意力机制，在编码器中计算不同模态视频帧特征间的关联程度，在解码器中计算描述词序列特征与编码器输出的多模态视频帧特征间的关联程度，并将编码器、解码器输出特征分别作用于视频定位分段模型和语义描述模型获得视频分段和分段描述.提出的方法在ActivityNet Captions数据集上进行了理论分析和实验验证，其中F1-score达到60.09,METEOR指标达到8.78.该方法有效提高了视频定位分段和语义描述的准确性.     

函数拟凹性的若干等价条件

介绍了函数具有拟凹的一些充要条件，包括以了限制在线段上的性质进行描述，包括以限制在线段上的性质进行描述，单调性的描述，几何的描述，一个定比分点性质的描述。     

连续小波变换与视觉不变性的局部化描述

视觉不变性描述是计算机视觉的核心问题之一，经黄的视觉不变性描述有傅里叶描述器、矩法不变性等，但是它们都是全局性描述，因而极易受局部遮挡与噪声的干扰，文中研究不同尺度的信号在连续小波变换下的性质，并在此基础上提出了一种基于连续小波变换的具有很好局部化性质的视觉不变性描述，解决局部遮挡条件下的识别问题，并给出了有关实验结果，文中最后讨论了 定不变性描述同图象尺度边缘的关系以及应用时的有关问题。     

网络环境条件下图书馆信息描述方式的思考

从图书馆学专业核心课程图书馆目录到信息描述名称的变更所引发的思考入手，研究了网络环境条件下，图书馆信息描述对象(信息资源)的种类、信息描述方式，并对未来图书馆信息描述研究思路加以探讨。     

随机动力系统中的广义密度演化方程

针对一般随机动力系统，考察了概率守恒原理. 在考虑随机场与随机过程分解的意义上， 探讨了同时含有初始条件随机性、外部激励随机性和系统参数随机性的随机动力系统中的概率守恒原理. 通过与连续介质力学中的Euler系统描述与Lagrange系统描述的比拟， 深入讨论了概率守恒原理的状态空间描述与随机事件描述. 特别是在随机事件描述的基础上， 导出了适用于随机动力系统的广义密度演化方程. 在此基础上， 发展了密度演化理论的分析方法， 使得范围广泛的多维随机动力系统的求解问题迎刃而解. 以非线性随机结构的动力响应分析为对象， 示例了密度演化理论的实际应用.     

面向工艺设计的回转体零件特征信息描述模型研究

零件信息的描述决定着CAPP系统的数据结构及其实现，面向工艺设计的回转体零件信息描述模型，采用了尺寸类结构，同时，引入了以基准来描述特征间的拓扑关系的概念，从而有效地实现了对于回转体信息的描述。     

计算物理中物体几何描述的一种三维可视化检验方法

在计算机物理中，物体的几何描述和输入的正确与否上直接影响着计算结果的正确性，我们针几何描述的特点，通过改进三维视像变换方法，用取特殊的消隐技术，运用伪彩色、明暗等技术和ＯＯＰ方法，设计实实现了一种几何描述的三维可视化方法，为几何描述的正确性提供了一种直观有效的检验手段。     

神经元计算芯片的VHDL算法级与RTL级模型的建立及模拟

本文针对神经元计算芯片的指令系统和体系结构，详细讨论了复杂电路的ＶＨＤＬ建模及模拟验证方法，分别给出了该芯片的算法级描述和ＲＴＬ级描述，并用相同的测试台对两级描述进行了模拟，验证了描述的正确性和功能的等价性。     

模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型，并结合粗糙集相关的逻辑理论，提出了模糊粗糙决策语言FRDL，给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质。在此语言的基础上，给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法。FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法。最后，在眼科近视诊断上进行的数据实验表明，这种形式化描述和推理方法比较合理。     

在工具视图环境下的动态性能跟踪与效率分析方法

对比分析了描述类视图、描述例程视图和描述跟踪视图的性能跟踪特征、人机交互特征、统计数据精度和统计数据打印，并根据实验数据，确定了消除软件性能瓶颈的两个重点．提出了一种基于PowerScript与系统函数的软件动态性能跟踪方法，该方法能在动态例程和动态跟踪活动的混合运行模式下进行性能跟踪和效率分析，减少了跟踪条目和记录活动数量，有效提高了系统被跟踪时的运行速度，跟踪实例证明了方法的可用性．     

自适应业务提供中的元数据技术

首先概要介绍元数据的定义、目的、作用等基本概念，并初步介绍了元数据的描述技术——资源描述框架，在此基础上给出了一个元数据在自适应Web信息提供中的应用示例，并通过示例分析阐述了自适应业务提供中的元数据技术。     

表面边界模型的三角形网格描述

本文提出了一种基于三角形网格的表面描述方法、给出了这种方法所采用的数据结构和算法描述．这种描述方法具有算法简便，可控制表面边界的形状特征、数据压缩比高和存贮量小的特点．     

在基本的认知物理学习系统中相互作用的多媒体的应用（下）

现代社会要求理工科学生在大学教育中逐渐掌握各种科学研究的手段及人个技能，以满足21世纪的需要，我们描述了一个帮助学生发展这种技能及在实际科学研究中的认知过程，系统技术在这个学习系统的许多方面起到非常重要的作用，我们描述了在各种国际测量表中描述的教育目标，描述了部分满足这个目标的学习系统，描述了技术在这个系统中的作用以及这个学习系统的有效性评估。     

基于进程代数的上下文感知模型

针对当前上下文感知研究大多集中于技术解决方案，缺乏理论上统一描述模型的问题，提出了基于进程代数的上下文感知模型（CAMBPA）．该模型独立于具体的应用平台，具有平台无关性．首先，利用带时间参量的上下文的状态变迁来描述动态环境的变化，并根据进程代数的合并理论，采用合成简单环境状态变迁的方法来实现对复杂环境状态变迁的描述．随后，通过在模型中引入感知函数，实现了对感知行为的描述，同时对上下文状态变迁赋予了资源语义，从而使模型能够刻画移动计算环境中的动态资源情形．采用染色Petri网对CAMBPA模型实例进行了可视化仿真，结果表明该模型具有语法、语义的正确性，以及良好的可扩展性，能够很好地描述上下文感知．     

Application of Petri Net to workflow specification Petri Net在工作流

随着信息技术和管理理论的发展，工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术，它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用Petrinet描述工作流的一种方法，并给出一个具体实例。     

MPEG—7标准及其应用

MPEG－7是国际标准化组织即将推出的新一代多媒体国际标准，该标准主要用于对各种不同类型的多媒体信息进行标准化描述，并将该描述与所描述的内容相联系，以实现对多媒体信息快速有效的搜索。在未来的多媒体信息检索服务中，MPEG－7将发挥主导作用。本主要从标准的目标、体系结构及应用等方面对MPEG－7进行了描述。