可执行体系结构研究

来源 :国防科技大学学报 | 被引量 : 0次 | 上传用户:yideng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估。可执行体系结构研究为体系结构验证与评估开辟了新的途径。为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念。执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息。它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的。体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据。
其他文献
服务质量(QoS)是优化服务合成执行路径的关键研究内容,当前绝大多数存在的方法很少注意到商业环境下服务商之间存在的隐性竞争压力可能会迫使服务商动态改变他们的QoS值以至于合
对由递推关系Sm+1={Sm|Sm-1}生成的Fibonacci链,从Anderson紧束缚模型出发,用负本征值理论及三对角高阶厄米矩阵本征值理论,对电子的态密度和能级结构进行数值研究,直观简洁地论证
自从2001年横店集团“少东家”徐永安上台以来,他就格外看好各种金融工具的作用,欲求利用资本市场独特的价格发现功能,为横店创造更为有利的成长环境。
将子结构法和双倒易边界元法联合应用于预测具有三维复杂流存在时管道和消声器的四极参数与传递损失,阐述其基本原理与数值过程.结果表明,双倒易边界元法可正确预测具有较高
在游艇的世界里,拥有的不仅仅是游艇本身,而是它所代表的对真实自由的渴望以及能够实现渴望的快乐,它是一种被分享的生活方式。
自2010年以来,民间借贷凭借其在交易信息、交易成本、交易效率、贷款担保等方面的相对优势,出现大范围的本质转型,即由“借钱应急型”模式转变为“借钱放贷型”,借贷主体由原先的
考虑可激发介质的不应态可以被激发,在Bar模型中引入去极化行为,研究去极化对稳定螺旋波的影响.数值模拟结果显示,适当选择去极化阈值、去极化激发时间,可以使螺旋波漂移、漫