排序方式: 共有26条查询结果,搜索用时 31 毫秒
1.
本文介绍了发动机涡轮外环封严用蜂窝弧段的研制方法、工艺流程及工艺可靠性,并对蜂窝弧段质量进行了分析、对比。 相似文献
2.
本文介绍了面向对象软件开发方法的基本概念,并以OMT(object modeling design)方法为基础,描述了一种面向对象的软件开发方法,其中引入了信息流分解法,把自顶向下和自底向上的思想综合运用于该方法中,使其更加完善。 相似文献
3.
我国高校教学质量保证体系存在的问题及完善的对策 总被引:1,自引:1,他引:0
黄宁 《沈阳航空工业学院学报》2010,27(6):86-89
教学质量保证体系是高校运行的中心环节,也是形成高校核心竞争力的根本措施。我国高等教育已经进入大众化阶段,开始由教育大国向教育强国迈进。在这个过程中,我们将面临一系列的机遇和挑战,为了实现我国高等教育长久、持续、平稳发展,必须及时解决教学质量保证体系中存在的问题,促进教学质量保证体系的健康发展。 相似文献
4.
为了满足飞机装配机器人原位铣削对数字化高精度快速测量需求,开展了适应三维点云的双边滤波处理和快速精简算法研究,开发了点云快速处理与分析应用软件,实现了空间点云数据的降噪和精简处理,降低滤波对边界特征的损伤,有效保留了复杂构件圆角、筋条、空间曲线边界等关键特征。以典型样件为测试对象,通过与三坐标测量结果对比,验证了本文研究的有效性,软件接口开放性高,实现了与自动化设备的高度集成应用,避免了大量人机交互操作,缩短了数据处理时间,满足了机器人原位铣削的时效性需求。 相似文献
5.
6.
7.
采用具体定义的PVM活动所描述的统一并行调试对象模型可使用户在调试的各阶段都面对相同的调试对象 ,但并行程序的文本表示或通常由事件为基础的视图并不适合描述这种概念 ,为把活动明确地表达给用户 ,我们给出了该模型的着色Petri网描述 ,这将有助于对程序作进一步的静态分析和性能调试研究。 相似文献
8.
结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性. 相似文献
9.
为了快速测量Ad hoc网络在任务想定下的数据完整性,根据相关定义给出了数据完整度解算过程,并基于相似理论建立相似现象,推导了有效信噪比、流量与节点移动速度等关键参数的相似模型,综合得到了Ad hoc网络数据完整性相似模型.为验证上述模型的效果,应用OPNET仿真平台设计了一个救灾Ad hoc实验,仿真结果表明正常应力作用下的原始网络和短时高应力作用下的相似网络数据完整度误差小,且相似模型的效用不随故障阈值、应力增加倍数以及网络拓扑结果的变化而变化. 相似文献
10.