简介:摘要:通过东风军品越野车的制造与研发,整车检测需求日益增多,本文引入了一个极为有效的方法进行整车安装孔尺寸的测量方法---------激光跟踪仪与便携式三坐标组合测量法,极大的缩短测量周期,提高测量精度。
简介:摘要:随着社会经济的迅速增长,航空的运输需求日益增大,特别是国际航线越来越多。在这种背景下,航空公司纷纷扩大机队规模,增加飞机数量以满足市场对航班量和班次的要求。因此,为了确保航空运输安全高效地运行,就必须提高航空管制水平。而灵活使用空域就是一种有效方法。灵活利用空域的方法是对空域进行规划,提高空域的利用空间,最大限度地利用空域的价值来适应空中交通的需要。但是由于近些年来航空事业的迅速发展,导致空域日益拥挤。所以需要通过制定相关的解决措施对空域进行合理调配,使其达到最佳状态,而基于灵活使用空域概念的扇区组合优化就是当前比较成熟的解决方案。本文以灵活使用空域概念的扇区组合优化为研究对象,首先对其理论进行简要分析,然后对扇区组合优化模型设置进行重点阐述,进而达到实现扇区组合优化目标,提高空域利用率的目的。
简介:为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证.
简介:为研究不同钢腹板类型与不同连接件的组合梁力学性能,设计制作了2片波形钢腹板组合梁试件、3片钢桁腹组合梁试件,对试件进行3点弯曲静载试验,并结合有限元模型计算结果进行分析。结果表明,2种类型组合梁的抗剪承载力安全度均满足要求。组合梁抗弯承载力安全度取决于连接件形式及腹板结构:波形钢腹板组合梁中剪力键的数量和排布对组合梁抗弯能力影响较大;钢桁腹组合梁中的翼缘板或铰接连接可使结构有足够的抗弯承载力与结构安全度。波形钢腹板组合梁的刚度、抗剪性能高于钢桁腹组合梁。钢桁腹组合梁的纵向翼缘板可提高抗弯承载力,但会降低底板的开裂荷载。