一种基于OMT的面向对象的软件开发方法

本文介绍了面向对象软件开发方法的基本概念,并以OMT(object modeling design)方法为基础,描述了一种面向对象的软件开发方法,其中引入了信息流分解法,把自顶向下和自底向上的思想综合运用于该方法中,使其更加完善。     

发动机涡轮外环封严用蜂窝弧段的研制

本文介绍了发动机涡轮外环封严用蜂窝弧段的研制方法、工艺流程及工艺可靠性,并对蜂窝弧段质量进行了分析、对比。     

数字化协同测量在飞机弱刚性零件加工中的应用

针对飞机弱刚性蒙皮零件的高精度加工要求,通过机器人铣削系统协同标定、蒙皮边界提取与逆向建模、末端执行器定位修正等技术研究,实现飞机蒙皮、口盖、壁板类结构件边部余量检测及加工在线修正,边界测量精度0.1mm,末端执行器定位误差不大于0.2mm。经验证,本研究满足了四代机制造对数字化测量的要求,显著提高了飞机蒙皮壁板自动化铣削和数字化水平,促进了飞机制造从传统的手工装配向智能化装配模式的跨越。     

PVM系统统一并行调试对象模型的Petri网描述

采用具体定义的PVM活动所描述的统一并行调试对象模型可使用户在调试的各阶段都面对相同的调试对象 ,但并行程序的文本表示或通常由事件为基础的视图并不适合描述这种概念 ,为把活动明确地表达给用户 ,我们给出了该模型的着色Petri网描述 ,这将有助于对程序作进一步的静态分析和性能调试研究。     

我国高校教学质量保证体系存在的问题及完善的对策

教学质量保证体系是高校运行的中心环节,也是形成高校核心竞争力的根本措施。我国高等教育已经进入大众化阶段,开始由教育大国向教育强国迈进。在这个过程中,我们将面临一系列的机遇和挑战,为了实现我国高等教育长久、持续、平稳发展,必须及时解决教学质量保证体系中存在的问题,促进教学质量保证体系的健康发展。     

复杂环境中Ad hoc网络的数据完整性加速试验

为了快速测量Ad hoc网络在任务想定下的数据完整性,根据相关定义给出了数据完整度解算过程,并基于相似理论建立相似现象,推导了有效信噪比、流量与节点移动速度等关键参数的相似模型,综合得到了Ad hoc网络数据完整性相似模型.为验证上述模型的效果,应用OPNET仿真平台设计了一个救灾Ad hoc实验,仿真结果表明正常应力作用下的原始网络和短时高应力作用下的相似网络数据完整度误差小,且相似模型的效用不随故障阈值、应力增加倍数以及网络拓扑结果的变化而变化.      

组合服务控制流测试

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

基于最优预见控制算法构造实时监控与发射专家系统的研究

介绍了最优预见控制算法。建造了实时监控与发射专家系统。阐述了最优预见控制算法构造实时监控与发射专家系统的应用技术实例。