为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/obj...为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。展开更多
The high-flowing sand-concrete （HFSC） containing natural sands as aggregate was carried out. The high fluidity and stability of HFSC can be achieved by tailoring the mix design parameters, such as fine to coarse san...The high-flowing sand-concrete （HFSC） containing natural sands as aggregate was carried out. The high fluidity and stability of HFSC can be achieved by tailoring the mix design parameters, such as fine to coarse sand ratio, dosage of additions, water to binder ratio and dosage of admixtures. Mini-cone slump test, v-fl.mnel time test and viscosity model parameters were used to characterize the behaviour of HFSC in fresh state. The mechanical compressive strength in 28 d was also determined. A factorial design approach was used to establish models highlighting the effect of each mix-parameter on measured properties of HFSC. The derived models are valid for mixtures made with 0 to 0.3 of dune sand to total sand ratio, 82 to 418 kg/m3 of marble powder, 0.42 to 0.46 of water/binder ratio and 1.3% to 1.9% of superplasticizer high water-reducer. The results show that the derived models constitute very efficient means for understanding the influence of key mix-parameters on HFSC properties and are useful in selecting the optimum mix proportions, by simulating their impact on fluidity, stability and compressive strength.展开更多
文摘为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。
文摘The high-flowing sand-concrete （HFSC） containing natural sands as aggregate was carried out. The high fluidity and stability of HFSC can be achieved by tailoring the mix design parameters, such as fine to coarse sand ratio, dosage of additions, water to binder ratio and dosage of admixtures. Mini-cone slump test, v-fl.mnel time test and viscosity model parameters were used to characterize the behaviour of HFSC in fresh state. The mechanical compressive strength in 28 d was also determined. A factorial design approach was used to establish models highlighting the effect of each mix-parameter on measured properties of HFSC. The derived models are valid for mixtures made with 0 to 0.3 of dune sand to total sand ratio, 82 to 418 kg/m3 of marble powder, 0.42 to 0.46 of water/binder ratio and 1.3% to 1.9% of superplasticizer high water-reducer. The results show that the derived models constitute very efficient means for understanding the influence of key mix-parameters on HFSC properties and are useful in selecting the optimum mix proportions, by simulating their impact on fluidity, stability and compressive strength.
