【摘 要】
：
软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。
【机 构】
：
西北大学信息科学与技术学院,陕西教育学院
论文部分内容阅读
软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。
其他文献
对于人类来说,光与空气、水、食物一样,是不可缺少的。人们必须在适宜的光环境下工作、学习和生活。但怎样寻找最适合的光,如何营造最舒适的光环境？雷士照明作为中国照明行业
为模拟员工工作行为,给企业管理者提供决策依据,提出波动-均衡规律:员工工作行为变化是一种受社会场引力和费用引力吸引的波动-均衡过程。根据该规律,对变量进行分类和表述,用因果关系图描述变量之间作用关系;用BP神经网络衡量社会场及费用引力;根据波动现象,设计状态变量的转换规则、过滤原理和模拟步骤。在示例应用中组合了不同环境和管理措施的实验方案,模拟结果表明,该方法能够正确地描述和预测员工工作行为的变化
针对卫星编队轨道构形在J2摄动干扰作用下被破坏的问题,给出了两种构形保持脉冲控制策略。首先,分析J2摄动对编队卫星相对轨道要素的影响,即J2摄动使相对升交点赤经、近地点辐角和平近点角产生长期漂移。然后,结合高斯摄动方程,分别设计了切向加法向脉冲和径向加法向脉冲两种控制方法修正从星升交点赤经、近地点辐角和平近点角的偏差,从而实现卫星编队的构形保持。数值仿真结果表明,两种方法都能够有效地修正编队构形偏
浙江这块土地具有“商”的意识与灵性。早在春秋战国时期,越国谋士计然提出了“农末(商)俱利”思想;秦汉以降,浙江一带商贾外出经商之风盛行;两晋南北朝时期,浙商足迹遍布全
师傅说,不种上庄稼,地就会长满杂草大庄是位于京津冀平原地区的一个普通、平凡的乡村。见到大庄村支部书记,我问他：这村儿为什么叫大庄啊？书记跟我说,大庄村的南面,隔着国道,还
2018年,中国进入改革开放40年,回顾这段峥嵘岁月,作为“50后”的我,有5个画面令人难忘。1991年10月,机械工人出身的我,在“东方风来满眼春”的时代感召中,从黄桥工业管理部门
以长江口海域的船舶溢油风险分析为研究对象,通过对已有的溢油模型的多次仿真模拟,观察常见油类在不同的环境条件和溢油状况下的漂移及扩散情况,总结出影响溢油油膜面积及运动轨迹的因素,在此基础上,对长江口船舶溢油高影响区域进行了识别。研究表明:基于溢油模型的船舶溢油风险分析是可行的;影响溢油油膜面积的重要因素是风况;潮流则是影响溢油运动轨迹的主要因素;长江口海域船舶溢油高影响区域为南北槽航道入海口门区域。
空间碎片搜索数字化仿真系统通过对空间碎片的搜索、识别、定性,建立可跟踪的空间碎片编目表,对保障航天器的安全起到有效的辅助作用。系统中各实体间的耦合关系十分复杂,仿真难度较大,对模型及系统的适用性和可扩展性有很高的要求。采用基于UML的面向对象的分析与设计方法,对系统的用例模型、类模型和行为模型等进行了可视化建模,并在Visual Studio.NET平台上实现了系统。这种方法在空间碎片搜索数字化仿
非线性预测控制需要在每个采样周期内求解非凸非线性规划。针对在线求解的计算复杂性,提出基于阶梯控制的非线性预测控制算法,在每个采样周期,采用阶梯式控制策略,精确求解当前控制量,减少非线性规划决策变量的维数,降低了在线计算量,减少计算时间,提高了算法的快速性。仿真和实控结果表明,本算法具有良好的可行性和控制效果。
今年的5月10日,我国的第二个品牌日,主题确定为＂中国品牌、世界共享＂。它既昭示出一个伟大的战略愿景,更彰显出一个伟大的战略信仰。品牌承载着对美好生活的向往,以中国智慧和