论文部分内容阅读
在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML模型，由于缺乏严格的定义及必要的约束，如果要生成高精度的软件模型，必须对其添加必要的形式化可测性约束。这正是文章研究的重点。
形式化可测性约束在软件模型实现过程中的研究
【摘 要】
：
在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML
【机 构】
：
海军航空工程学院研究生管理大队,海军航空工程学院兵器科学与技术系
【出 处】
：
舰船电子工程
【发表日期】
：
2009年9期
其他文献
针对工程中的电缆耦合问题，着重探讨了电缆耦合预测的计算方法。运用多导体传输线的理论建立电缆耦合的等效电路模型，分析了有损传输线上的电压电流分分布。在此基础上，借助软件
针对视频目标跟踪中的遮挡及跟踪漂移问题,提出一种基于卡尔曼滤波的多区域关联运动目标跟踪算法。该算法将目标划分为多个区域并构建无向图,通过卡尔曼滤波预测出各区域中心,再结合灰度直方图匹配及相邻区域的位置关系,计算出各区域观测中心,最后应用卡尔曼滤波修正观测中心实现跟踪。对两区域人体目标跟踪的实验结果表明,与各区域单独采用Mean Shift跟踪算法相比,所提算法在目标遮挡、目标与背景特征相似的情况下
Toll样受体(TLRs)是在自身免疫反应中起重要作用的类型识别受体家族,是心血管疾病发展与免疫系统之间的桥梁。许多遗传学研究、临床研究和基础研究发现TLRs在动脉粥样硬化、
背景:脊柱矢状面失衡对其生物力学有很大的影响,其复杂的生物力学特性对脊柱后凸截骨方案的设计影响很大。目的:应用计算机建模软件建立强直性脊柱炎后凸截骨三维有限元模型,
提出一种利用最小交叉熵优化方法的矢量量化分类算法,将矢量的分类问题转化为最小失真函数估计问题,通过关联随机迭代算法逼近最优值,以更好地减小量化误差。对二维数据点集
针对雷达器材"战场保障资源不可视"和"信息不透明"的难题,以适应未来远程支援保障、精确化保障、可视化保障和信息化保障的战争需求。RFID技术为无接触识别方式,为信息化保障提供了技术可能,因此,提出了将RFID技术应用于雷达器材保障信息化的系统的方案,并给出系统框图。与现有方式进行比较,分析了系统的优点。
现有的船舶航向保持器的设计大都采用Nomoto线性模型，而忽略了船舶操纵运动的非线性因素，因此航向控制的精度比较低。选择状态反馈精确线性化方法，将响应型船舶运动的非线性数学
本文在分析高职高专电子商务专业创业能力培养意义的基础上,探讨高职高专电子商务专业创业能力培养途径,即开设网上创业课程;加强与社会企业的联合,培养学生创业能力;利用网
[摘 要] 企业的财务风险管理是企业发展过程中不可忽视的一部分，是关系到企业成败的重要因素。大数据时代的到来，给企业发展带来了机遇和挑战，而企业财务管理方面也面临着前所未有的风险，建立全面可靠的财务风险管理体系，加强对企业财务风险的防范，成为企业发展应该重点研究的问题。本文分析了企业财务风险管理体系发展中存在的问题，探讨了建立健全防范体系的意义，为财务风险管理体系模型的构建提出了建议。 [关键词