未知室内环境的三维景物描述

景物描述是计算机视觉的一个重要内容。提出了一个利用三维信息对未知景物的描述方法。该方法对三维场景进行物体级和结构级两级描述;根据三维物体分割的结果,首先计算单个物体的最大尺度、形状类型和边集等整体特征,继而推测它们之间的相互位置关系。从数学上推导了“简化边框矩”和“平面惯量张量”的计算公式,并给出了实验结果。     

几种正交矩描述图像的性能比较

给出几种常见的正交矩(Legendre矩、第1类Chebyshev矩、第2类Chebyshev矩、jacobi矩)的定义，对它们的特性进行了初步分析．采用这些矩进行图像的重建，对其图像描述能力进行了分析比较．在此基础上．提出一种变形Jacobi矩，具有很好的图像描述能力．     

多视点实时形式化方法的应用模式

RT-Z结合了Z的状态描述能力和Timed CSP对并发实时进程的描述能力，成为一种有效的实时并发软件的开发手段。RT-Z不但是一种规格说明语言，也可以用于建模．多视点的软件开发方法的研究从不同的视点观察系统，分离各自的关注点。简化了系统的设计．本文在形式化方法RT-Z的基础上扩充语法框架，以支持多视点工程的思想，充分利用形式化方法的精化推理机制，同时具有对实时约束的描述能力，可作为并发实时系统开发中的基本模式．     

一种基于区间模糊理论的描述逻辑系统

为了使描述逻辑具有处理模糊信息的能力,Straccia给出了基于单值的模糊描述逻辑处理方法.在该方法的基础上,给出了基于区间模糊理论的描述逻辑系统,讨论了其语法、语义和该系统的计算性质.结果表明基于区间模糊理论的描述逻辑系统是基于单值的模糊描述逻辑方法的泛化,在实际中具有更广泛的应用范围.     

电力设备状态检测辅助分析系统可移植性研究与实现

以电力设备状态检测为背景，提出并实现了基于可扩展性标记语言(XML)的电力设备状态检测辅助分析系统可移植性模型．研究结果表明，描述层的引入实现了界面的存储管理和语义分离，提高了系统的适应度和可移植性．该系统已在某市电力部门投入使用，运行效果良好。     

人脸识别中的核方法

对人脸识别的关键技术和核方法的主要特点进行了简单的分析.指出:将核方法应用于人脸识别中,在特征提取的效率和识别的泛化能力等方面具备技术上的优势.结合国内外相关研究成果,介绍了可应用于人脸识别的三种核方法:基于核的主成分分析(KPCA)、支持向量机(SVM)和基于支持向量的数据描述(SVDD).文章的最后给出了一个应用实例以说明核方法在人脸识别领域中的有效性.     

CSTA系统测试中的形式化分析

针对我国目前电信软件生产中存在的某些弊端，运用协议测试理论对CSTA系统测试进竹了形式化分析．澄清了系统测试实际工作中的一些误区，从而提高了发现问题的工作效率、准确度和软件测试质量的保障系数。     

虚拟组织中面向共享的信息统一描述模型研究

虚拟组织中高质量的信息共享对于提高组织决策质量和效率起着至关重要的作用．从实现虚拟组织中高质量的信息共享出发，深入探讨了虚拟组织中面向共享的信息统一建模描述，提出了一种兼顾信息结构、信息语义、信息关联和信息能力的增强型对象信息描述模型——EODIDM，并在EODIDM信息描述模型中提出了信息能力建模的概念和方法，基于EODIDM信息描述模型深入研究了虚拟组织中面向共享的信息统一建模描述，进行了详细的实例分析和应用研究，最后，将EODIDM信息描述模型与现有信息描述模型进行了对比分析，结果表明EODIDM的通用性更强、可扩展性更好，基于该模型可以实现虚拟组织中高质量的信息共享。     

知识创新的Markov控制模型研究

本文在已有的知识创新的相关理论基础上研究知识创新问题。完善了知识创新的机理模型，并对其进行了理论说明，指出知识创新的原理和作用；在对其机理分析的基础上，用Markov模型描述了企业的知识创新过程，分析了影响知识创新的关键因素——隐性知识；并提出了有关知识创新的相应策略框架。     

公平交换协议的一个形式化模型

基于对现有公平交换协议的研究，使用求精过程建立了精确的形式化结构模型，在这一过程中，使用不可靠信道模拟攻击行为．模型首次给出了交换项的形式化定义，提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求．为了能高效而又细致地对协议进行检测、证明和设计，模型提出了适用于所有公平交换协议的不可滥用性的新性质，给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则．文中通过一个典型的公平交换协议分析实例，阐明了使用该模型分析公平交换协议的详细步骤．发现了一种过去从未发现过的新攻击，给出了攻击发生时系统运行的全过程，深刻揭示了攻击发生的各种原因．最后，对有缺陷的协议进行了改进，改进后的协议满足所需要的各种性质．