随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代...随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.展开更多
软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时...软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时延Petri网的时间相关性以及变迁的瞬时性,首先对EPMM(Evolution Process Meta-Model)的过程层进行改进,为过程模型中的条件添加时间权值,提出了一种能够对演化过程中的时间因素进行描述的基于时延的演化过程元模型TEPMM(Timed EvolutionProcess Meta-Model),并基于TEPMM给出计算演化过程的最短完成时间的算法和含有反馈路线的过程模型的时间规划函数,通过该规划函数可以对演化过程模型中的时间相关性进行分析与研究。展开更多
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明...提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。展开更多
The microstructure evolutions of two A1-Zn-Mg alloys, one of which was alloyed with Sc and Zr, and the kinetics of A13（SCl-xZrx） precipitates in the A1-Zn-Mg alloy during homogenization were investigated. Both alloy...The microstructure evolutions of two A1-Zn-Mg alloys, one of which was alloyed with Sc and Zr, and the kinetics of A13（SCl-xZrx） precipitates in the A1-Zn-Mg alloy during homogenization were investigated. Both alloys under as-cast condition with supersaturated, non-equilibrium T（Mg32（A1, Zn）49） phase and impurities phase were displayed. When the homogenization temperatures are below 350 ~C, Zn and Mg atoms precipitate from matrix; however, when the temperatures are above 400 ~C, T phase dissolves into matrix, enhancing solid-solution strengthening. Kinetics of A13（Scl.xZrx） precipitates was studied based on Jmat Pro software calculation and the difference values between the hardness of the two alloys in each homogenization condition. The calculations predict that the Sc and Zr solubilities in ct-A1 decline with the presence of Mg and Zn. Investigation of the difference values reveals that when the temperature is between 300 ~C and 350 ~C, the nucleation rate of A13（Sc1-xZrx） precipitates is the highest and the strengthening effect from A13（SCl_xZrx） precipitates is the best. After homogenization at 470℃ for 12 h, non-equilibrium T phase disappears, while impurity phase remains. The mean diameter of A13（Scl_xZrx） precipitates is around 18 urn. Ideas about better fulfilling the potentials of Sc and Zr were proposed at last.展开更多
文摘随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.
文摘软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时延Petri网的时间相关性以及变迁的瞬时性,首先对EPMM(Evolution Process Meta-Model)的过程层进行改进,为过程模型中的条件添加时间权值,提出了一种能够对演化过程中的时间因素进行描述的基于时延的演化过程元模型TEPMM(Timed EvolutionProcess Meta-Model),并基于TEPMM给出计算演化过程的最短完成时间的算法和含有反馈路线的过程模型的时间规划函数,通过该规划函数可以对演化过程模型中的时间相关性进行分析与研究。
文摘提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。
基金Project(JPPT-115-2-948) supported by the National Civilian Matched Project of China
文摘The microstructure evolutions of two A1-Zn-Mg alloys, one of which was alloyed with Sc and Zr, and the kinetics of A13（SCl-xZrx） precipitates in the A1-Zn-Mg alloy during homogenization were investigated. Both alloys under as-cast condition with supersaturated, non-equilibrium T（Mg32（A1, Zn）49） phase and impurities phase were displayed. When the homogenization temperatures are below 350 ~C, Zn and Mg atoms precipitate from matrix; however, when the temperatures are above 400 ~C, T phase dissolves into matrix, enhancing solid-solution strengthening. Kinetics of A13（Scl.xZrx） precipitates was studied based on Jmat Pro software calculation and the difference values between the hardness of the two alloys in each homogenization condition. The calculations predict that the Sc and Zr solubilities in ct-A1 decline with the presence of Mg and Zn. Investigation of the difference values reveals that when the temperature is between 300 ~C and 350 ~C, the nucleation rate of A13（Sc1-xZrx） precipitates is the highest and the strengthening effect from A13（SCl_xZrx） precipitates is the best. After homogenization at 470℃ for 12 h, non-equilibrium T phase disappears, while impurity phase remains. The mean diameter of A13（Scl_xZrx） precipitates is around 18 urn. Ideas about better fulfilling the potentials of Sc and Zr were proposed at last.
