基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

工程系统健康描述及基于GFRF方法的健康监测

健康管理概念是伴随着工程系统应用而产生的.针对目前复杂系统综合健康管理技术领域缺乏有效的系统健康表示方法的问题,提出了健康向量、健康指数、健康函数、健康态变映射、健康状态映射等一系列描述工程系统健康的基本概念.与传统的部件状态参数描述方法相比,引入健康向量等概念可以全面地描述系统级健康,并且能够有效地刻画系统健康的动态变化本质.分析了Volterra级数系统描述方法和广义频率响应函数分析技术,利用系统健康形式化定义构建系统健康向量,讨论了一类非线性系统基于广义频率响应函数的健康监测技术.以非线性弹簧-阻尼-质量块系统为研究对象,通过仿真计算,给出了系统健康监测数据与系统健康指数的对应关系.仿真实验结果证明了系统健康形式化描述方法的有效性以及基于广义频率响应函数健康监测方法的可行性.      

基于UDP的端对端通讯的原理及实现

通过探索网络地址转换设备在进行UDP (User Datagram Protocol) 端口映射所存在的临时时间窗口,论述了使用UDP穿透网络地址转换设备的原理.引入检测及握手服务器及其所实现的数据包反射服务,来检测动态映射的端口信息以及网络地址转换设备在进行端口映射的特性.探讨了不同类型的网络地址转换设备对这种实现的影响,给出了检测过程以及建立端对端通讯过程的具体流程.这种实现可被广泛应用在IP语音、实时视频、文件共享以及分布式计算等应用中.     

基于知识本体的资源管理平台框架设计与实现

针对大量领域信息资源缺乏有效内容分析这一问题,设计、开发了通过构建领域本体来充分发掘信息资源之间内在关系,实现信息资源增值服务的原型系统.首先构造了服装知识本体CO(Costume Ontology)用来表示服装领域知识.利用CO对被管信息资源进行语义描述,在描述数据库的基础上,实现基于语义的信息检索.讨论了服装知识本体的建模过程,本体的形式化表示以及存储方式.实验系统采用J2EE架构,开发了存储组件、语义查询接口组件、语义分析组件和语义推理组件.通过使用资源描述框架RDF,实现被管信息资源到知识本体层的映射.通过语义分析和语义推理,可以充分利用信息资源之间的关系实现相关信息资源检索与语义融合.     

多语互译机译系统统一算法基础——差异函数

在基于语义语言理论的多语互译机器翻译系统中,为使用同一算法和程序方便地实现多种自然语言之间的互译,引入了"差异函数".该函数可将某语言功能在各种自然语言表示上的差异隐去,使翻译过程与具体的语言表示无关,从而使系统可以用统一的程序来处理那些功能相同、但在不同语言上处理方法不同的语言内容.以基数表示功能的处理差异为例,讨论了差异函数的作用及其在多种语言上的应用.      

基于对象的P&ID设计软件无向图模型

在开发P&ID辅助设计系统的过程中,需要表示实体间的逻辑拓扑信息.为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性,提出以面向对象为基础将逻辑拓扑信息统一在实体本身数据结构中的方法,并介绍了从P&ID管网图抽象建立P&ID无向图模型的过程.此方法和模型在实践中取得了很好的效果.对P&ID无向图结构的特点做了深入分析,指出运用此模型建立P&ID系统的要点及运用中应注意的问题,并讨论了P&ID无向图模型的扩展.     

基于对象的P&ID设计软件无向图模型

在开发P&ID辅助设计系统的过程中,需要表示实体间的逻辑拓扑信息.为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性,提出以面向对象为基础将逻辑拓扑信息统一在实体本身数据结构中的方法,并介绍了从P&ID管网图抽象建立P&ID无向图模型的过程.此方法和模型在实践中取得了很好的效果.对P&ID无向图结构的特点做了深入分析,指出运用此模型建立P&ID系统的要点及运用中应注意的问题,并讨论了P&ID无向图模型的扩展.      

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.      

多媒体课件写作环境MCAE的设计与实现

ＭＣＡＥ是一个基于多媒体数据库的课件写作环境，它以多媒体数据库为基础并在其上建立一组开发工具形成的一个开放的，集成化的课件开发环境，开发工具主要有写作工具、查询导航工具，数据输入输出工具等。     

Development of educational CD-ROMs in astronomy: Information on a collaborative project

The observatory of Paris and the institute of teacher training (IUFM) in Toulouse have collaborated to develop multimedia support for astronomy lessons. The goal of this project is to provide additional didactical material such as CD-ROMs to elementary and high school teachers which will be used by children in the classroom. In this paper, we present the aims of the project and describe briefly the contents that have been developed so far.     

分布式多媒体系统模型与传输控制算法的研究

作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．      

高升力与失速特性缓和的翼型设计研究

为了探索适用于长航时飞行器的翼型设计思想、方法和技术,进行了新型高升力及失速特性缓和的BUAA-K1/BUAA-K2翼型的设计研究.风洞实验结果表明,与配置著名GAW-1/GAW-2翼型的机翼比较,配置BUAA-K1/BUAA-K2翼型的机翼最大升力系数和最大航时因子分别提高了15%和25%,并且实现了同时具有高升力和失速特性缓和的气动特性.     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.     

BUAA-RR七自由度机器人机械结构设计

就BUAA-RR七自由度机器人的操作机机构选型、关节结构、零部件设计等提出了一整套设计原则和方法.研制成的BUAA-RR七自由度机器人,结构紧凑、合理,运动灵活、可靠,达到了避障和避奇异位形等预定目标.      

军用飞机,发动机战技性能评估研究

飞机、发动机战技性能的评估,无论对于改型论证工作,或者对于新机论证和初步设计都有极其重要的意义。本文介绍了由北航研究发展的飞机/发动机一体化评估系统(简称为AEAS),以及利用AEAS对军用飞机/发动机(涡喷或涡扇发动机)组合方案战技性能评估研究的一些结果。还讨论了利用AEAS具有的优选功能,根据飞机飞行任务和战技性能要求,分别或同时对飞机/发动机系统主要设计变量(如飞机起飞推重比,翼载,机翼外形几何参数和发动机循环参数等)的各种组合进行优选,求得最佳方案的算例。使用AEAS的初步经验表明,计算结果合理,计算精度和所需CPU时间适合于飞机/发动机系统方案论证和初步设计阶段工作的需要。     

全场观测技术概念,进程与展望

简要综述理想的流体力学观测手术的概念，近代全球观测技术（包括激光空间流动显示，定量化流动显示，全场测量技术等）及其应用发展的踪迹和趋向，同时介绍作者在此领域的若干研究工作。     

大型转动机械碰摩故障分析的声发射检测系统

汽轮发电机、空气压缩机等采用油膜支撑的大型转动机械,由于安装或运行中的原因,在转子旋转过程中,可能和器壁发生轻微的摩擦和碰击,简称碰摩.声发射技术在碰摩发生特别是故障早期诊断上有优越性.本系统的特点是没有沿用传统的计数、幅度、能量和持续时间等声发射特性参数,而是在声发射包络信号的频率分析中进行特征提取.声发射发生的过程分析和现场试验都表明这种方法对碰摩检测很敏感,在碰摩发生的起始阶段,包络谱中与转速同步的周期性分量显著增加.根据这种新的设计思想自行研制了BUAA碰摩声发射检测仪并对此作了介绍.     

双三角翼大迎角翼面压强分布与涡态相关分析

将双三角翼翼面测压试验结果与空间涡态观察测量结果进行了定性的相关对比分析,分析表明:垂直于双三角翼翼面的典型横截面上展向压强系数Cp分布与空间涡态有明显的对应关系,Cp分布的峰值数目反映了双三角翼的双涡态和单涡态,Cp峰值随α变化反映了涡强随α的变化,Cp峰值所在展向位置反映着涡核的展向位置,Cp峰形的平坦反映了涡的破裂.