数字图书馆中的元数据技术应用分析与实现

在分析元数据技术应用模型及其在数字图书馆中运用的基础上,研究并提出对各类海量数字信息进行织、检索、访问和利用实现方案,设计并实现了元数据管理信息系统MDMIS.     

Formal analysis of authentication in 802.11i

Authentication is the basis of the security of IEEE 802.11i standard. The authentication process in 802.11i involves two important protocols: a 4-way handshake and a group key handshake. A formal analysis of authentication in 802.11i is given via a belief multisets formalism. The analysis shows that the 4-way handshake and the group key handshake may provide satisfactory mutual authentication, key management, and issue of a new group temporal key from an access point to a user device, under the guarantee of mutual possession of a confidential pairwise master key. The analysis also shows that there exists a denial of service attack in the 4-way handshake and some seeming redundancies are useful in the protocol implementation.     

形式化方法在CAD软件开发中的应用

针对设计问题的特点,将以数学为基础的形式化方法应用于CAD软件开发中,分层次形式化表达CAD系统。可以沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解,达成共识。尽可能在初期发现系统的问题。为CAD软件开发者提供了排除错误、保证可靠性的有效途径。同时为软件模块的重复利用提供了可能性。     

水泥砼路面机械化施工系统理论应用研究（I）——系统数学描述

根据高等级公路水泥砼路面机械化施工工艺,利用随机服务系统理论,提出了水泥砼路面机械化施工系统的数学模型,动态地描述了水泥砼路面机械化施工系统机械运行的一般规律。     

远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析.文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法.仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持.     

长江下游航(水)道难度系数的建立和评价

0 引言人们在分析水上交通事故发生的原因时,不外乎从主观原因(人的因素)和客观原因两大块着手。实践证明,事故发生率的高低与客观因素中的航道条件有直接关系。有关部门将长江下游划分为50多个水道 (航道),每个水道(航道)为一个区域,其特点各异。有     

基于本体的语义推理研究

语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDF Schema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个实例显示了一个本体文件中传递闭包的推理路径.     

海上信息栅格资源形式化描述的研究

海上信息栅格将网格技术与海军作战环境相结合,资源发现是海上信息栅格的三大关键性技术之一。而对网格资源进行合理的描述则是资源发现、管理的前提,作者分析了栅格系统对资源描述的要求,提出了一种通用资源描述模型,并结合海军作战环境,利用EBNF范式对海上信息栅格的资源属性进行了形式化定义,规范了资源描述,同时对可扩充性也进行了初步的探讨,为下一步在具体系统中的应用打下了基础。     

三维方位关系的定性描述与定性推理

结合定性推理、空间推理与人工智能产生的定性空间推理,已成为人工智能的1个研究热点,是空间关系的重要组成部分,为空间方位关系空间分析、辅助决策等提供了基础。因此,空间方位关系的形式化描述与定性推理非常重要。本文用单纯形数据模型描述三维空间实体,通过研究单纯形间的方向关系研究空间实体间的方向关系。提出采用三元组描述了两空间对象间的三维方位关系,并对该描述方法的定性推理作了详细研究。三维方位关系分为单方位关系与多方位关系,重点研究了单方位关系定性推理,在此基础上分析了多方位关系定性推理与单方位关系定性推理方法的联系,将多方位关系定性推理转化为对多个单方位关系定性的推理。     

CFD在发动机排气歧管设计中的应用

发动机排气歧管的传统设计方法已不能满足现代设计的需求,应用计算流体动力学（CFD）可以深入地了解排气歧管内部的压力和流场分布。文章利用发动机排气歧管气体流动的数学描述及排气歧管三维数值模拟及Fluent软件平台,采用k-ε湍流模型,对排气歧管内部压力和速度的分布情况进行了模拟和分析。结果表明,应用CFD来研究排气歧管和模拟其内部流动状况,计算效率高,容易实现,CFD对优化发动机排气歧管的结构设计和改善排气效果具有很好的指导意义。