形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

基于OWL的制造业知识本体构建研究

如何描述制造企业逻辑模型是当前企业信息化实现过程中亟待解决的关键问题．文中以本体论为理论依据,以制造业物资管理子领域为研究背景,在分析其业务流程的基础之上,采用OWL（Ontology Web Language）本体描述语言,完成了领域概念抽取、OWL描述及约束公理定义,构建出物资管理子领域知识本体模型,进而提出了基于OWL构建制造业知识本体的方法．     

我军集装化运输装卸装备的发展

1我军集装化运输装卸装备的现状 1．1发展历程 20世纪60年代,物资站、库基本没有配备集装具储存物资,装卸搬运作业对象为散件物资,因此大多依靠人力装卸,装卸效率非常低。70年代初,出现了小型托盘和集装箱后,发展了拱型吊车、电动小车、内燃叉车等装卸装备,装备能力有了较大提高。80年代后,随着科学技术的发展,总后勤部提出了仓库装卸、搬运、拆码垛机械化建设的5年奋斗目标,开始大力研制大中型集装化装卸装备,如叉车、     

混凝土抗裂能力评价模型的解析

综述了目前国内外混凝土抗裂能力评价计算模型,通过综合各方面影响因素,首次建立了混凝土抗裂能力分析模型,并考虑混凝土的经时变化,创建混凝土及其结构抗裂能力评价模型,用抗裂因子Kac作为评价混凝土抗裂能力的数学参数。选择具有代表性的混凝土配合比,分别计算了粉煤灰、矿渣、硅灰、膨胀剂、减缩剂、聚丙烯纤维组分的抗裂因子,通过数学计算得出的抗裂因子的大小顺序表明：粉煤灰、矿渣能够提高混凝土的抗裂因子,而硅灰则降低了混凝土的抗裂因子。掺加纤维、减缩剂、以及减缩剂和膨胀剂复合使用能够提高混凝土的抗裂性能,特别是减缩剂和膨胀剂复合使用能够大幅度提高抗裂因子,与大小圆环、平板法等各种约束开裂试验结果具有很好的一致性。而使用膨胀剂在早期养护不充分的前提下,有降低抗裂因子的趋势。     

基于模糊多属性决策方法的枢纽机场服务质量评价研究

本文从旅客登机流程入手分析枢纽机场服务质量影响因素,构建枢纽机场服务质量评价指标体系。引入语言分量的概念,建立基于模糊Topsis、模糊灰色关联度和模糊VIKOR方法的组合评价模型,对首都机场、虹桥机场、浦东机场、白云机场、双流机场五个枢纽机场的服务质量进行实证分析。结合评价指标体系中各指标的重要程度和评价结果,从中枢航线网络建设、周边交通管理等方面提出提升枢纽机场服务质量的建议。     

基于Python的圆形截面配筋计算方法研究

Python语言是目前最热门、最受欢迎的程序设计语言之一,Python语言具有高效、易用、可扩展性强,而且免费、开源,有大量扩展库可用等特点.在最新颁布的JTG 3362-2018)《公路钢筋混凝土与预应力混凝土桥涵设计规范》中,圆形截面按承载能力计算及按裂缝宽度计算的公式都进行了大幅度的调整,还新增了圆形截面偏心受拉...     

基于STPA的管制员安全绩效指标分析与检验

完善空管安全绩效管理是提升民航安全管理的关键部分。为了提高空管运行安全,研究结合STPA和DAHP方法,对空管安全绩效展开分析与评估。首先采用STPA,分析安全约束,进而建立指标体系,得到2个一级指标,7个二级指标和20个三级指标;再结合专家经验法和层次分析法进行绩效指标评估验证。结果表明,应急能力和持续监控能力指标的权重较大;同时验证了采用STPA方法在分析指标来源方面具有全面性和一定的可行性。     

基于APDL语言的定向钻管道回拖力学性能仿真分析

简述了APDL语言的参数化特点,介绍了ANSYS在定向钻仿真中的优势:计算机仿真可以克服场地、经费不足、参数繁多、时间跨度等方面的困难.采用ANSYS并结合APDL语言对定向钻的管道回拖过程进行仿真,对回拖管道的应力和变形以及回拖力进行了分析,得出了管道应力沿中性轴径向对称分布,且距离中性轴越远值越大的规律.给出了不同穿越曲率半径下管道力学性能的变化规律:随着穿越半径的增大,回拖力逐渐变大,接触压力逐渐变小,并且二者变化规律可用高阶多项式描述.