BG电子首页BG电子首页钢在热加工时,一般加热到奥氏体区。钢的热变形过程是加工硬化同回复和再结晶软化过程...当Z一定时，随着ε的增加，材料组织由动态回复→部分动态再结晶→完全动态再结晶BG动态。反之，当加工程度一定时，随着Z的变大材料组织由完全动态再结晶→部分动态再结 ...

　　在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本BG电子首页、进度与质量 ...

　　软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以 ...

　　通过服务组合构建应用软件已成为SOC(Service-Oriented Computing)环境下满足用户需求的一种主要途径,而服务选择是服务组合的重要环节,其选择结果对组合服务 ...

　　针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑 ...

　　基于对自然界捕食系统实际情况的分析出发 ,对模型进行了扩展 ,并建立了受时变环境周期激励、食饵具有常数存放率以及食饵具有周期存放等情况下的捕食者—食饵系统的新模型 ,通过模拟计算 ...

　　BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开 ...

　　提出将概念模型状态图描述转化为Petri网描述以支持动态行为校验,为此需要实现概念模型UML状态图与Petri网模型的映射算法BG电子首页。首先介绍概念模型动态行为描述方法的特点,并分析基于 ...

　　描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如 ...

　　使用统一建模语言(unifiedmodelinglanguage,UML)为联锁软件建立平台无关的模型(platformindependentmodel,PIM),可以实现在异种 ...

　　该文提出了一种新的数字保护继电器抽象广义混杂Petri网(GHPN)分层建模方法,利用GHPN模型的连续层描述数字保护继电器连续变量的动态变化,由其逻辑层(Petri网)描述保护 ...

　　2005年21期电力系统保护系统继电器软模型Petri网混杂动态仿真;