【摘 要】
：
信息系统体系结构设计是系统开发过程中的一个关键环节，正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法。分
【机 构】
：
国防科技大学C4ISR技术国防科技重点实验室
论文部分内容阅读
信息系统体系结构设计是系统开发过程中的一个关键环节，正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法。分析基于可执行模型的体系结构验证评估的特点，提出该方法的评估过程和评估内容。提出基于对象Petri网的可执行模型构建方法，并通过实例说明该方法的可行性。
其他文献
背景:2004年,我国玉米总产量增加14.22%,达到1.327亿吨。产量的增加使得我国玉米供需关系发生改变,供大于求的矛盾成为2004年新玉米上市后国内市场最关注的问题。在国内玉米
系统地分析了机床主传动系统方案决策的优化设计，从图论理论出发，运用分级模块式设计方法，提出了一种优化机床主传动设计方案的新方法，可提高设计精度、缩短设计周期。
脑力负荷的准确预测是研究装甲车辆乘员信息处理作业的关键技术,对提高人机系统设计的合理性具有重要意义。为有效解决应急任务条件下装甲车辆乘员信息处理作业的脑力负荷预
<正> 经方是张仲景所制方剂的专称。星移斗转,岁月如流,但它以精凿不磨的组方精义和累试不忒的临床疗效历时几近2000年仍熠熠生辉。斯方也,挽狂澜于既倒,起沉疴于俄顷,宏功不
本文基于有效工作实践,总结了水利工程建设施工阶段,如何采用有效防渗技术,以提高水利工程施工质量。
人文性是指与功利性相对的精神性。人文教育的实质是精神教育。从精神教育的层面上来说,每一篇课文都蕴含着作者的情感态度、思想观念、价值观等人文精神。人文精神培育目标
我国沿海甲壳素资源丰富，生产甲壳素和壳聚糖的企业较多，但大多停留在对虾蟹壳的初级加工上，未能形成高科技含量的产品的生产能力。甲壳素和壳聚糖市场供大于求。而日本等国从我
翻译共性研究开展几十年来,对于何谓翻译共性,甚至是否存在翻译共性等问题一直没有定论。本文在批判性回顾、分析翻译共性研究的滥觞与发展后认为,翻译共性最初被认为是翻译
持续严重干旱和暴雨洪涝对全球社会经济发展有明显影响,近些年来随着观测记录的加长和对更多的复杂气候模式和人为温室气体排放情景的观察统计,对全球和中国的降水与旱涝变化
对某高速公路软基试验段填砂路堤下CFG桩复合地基承载力特性进行了现场试验,同时采用有限差分法建立数学模型,对复合地基桩土应力与土体沉降进行了数值仿真计算。结果表明:现