【摘 要】
:
通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结
【基金项目】
:
国家自然科学基金青年基金(批准号:60603031)、教育部博士学科点专项科研基金(批准号:20060183044)和吉林省科技发展计划项目基金(批准号:20050527).
论文部分内容阅读
通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件,为每步转换规则进行了形式化约束,使演化结束时的体系结构依然满足一致性条件.
其他文献
【正】郑政[2011]21号二○一一年四月七日各县(市、区)人民政府,市人民政府有关部门,各有关单位:为进一步深化殡葬改革,切实减轻人民群众负担,促进社会和谐进步,根据《郑州市
【正】郑政[2011]6号二○一一年一月四日各县(市、区)人民政府,市人民政府各部门,各有关单位:为贯彻落实《国家中长期教育改革和发展规划纲要(2010—2020年)》,切实解决当前
<正> 近几年来,作者采用芪仙三炭汤治疗12例肺结核引起的大咯血病例,取得较满意的效果,现报告如下。临床资料一、方药芪仙三炭汤方剂由黄芪30g、仙鹤草30g、当归炭10g、棕榈
以Marr算法为基础, 给出了圆域D上图像重建的一种基于二元多项式逼近的加速算法.加速后算法的计算量为O(Nlg N), 当N较大时, 新算法的运行时间远小于原算法的运行时间.同时,
<正> 小儿急性偏瘫是由许多不同病因引起的综合征,表现为突然卒中发作,一侧或双侧肢体相继发生瘫痪。现将我院1981年以来收治的22例原因不明的无热型小儿急性偏瘫分析如下。
运用基于密度泛函理论第一性原理的投影扩充波函数(PAW)方法,计算了化学计量Ni2MnAl的晶体结构、磁性、电子结构、压力响应以及柔和四方变形.结果表明:在Ni2MnAl的总磁矩中,Mn原
黄土丘陵区侵蚀泥沙的来源以及坡沟侵蚀产沙关系等一直是研究的热点难点之一,也是争论较多的问题.在梁峁坡到谷坡的坡沟系统中,不同地貌部位有对应的侵蚀形式出现.该文采用多
<正> 为探讨妇女更年期综合征患者血液流变学特点,本文对30例患者进行了体外血栓形成测定。报告如下。对象与方法一、对象本组年龄45~56岁。临床表现潮热、多汗、皮肤蚁走感、
采用水煎法对蒙药材金莲花中Cu,Zn,Mn,Fe,Ca 5种微量元素进行提取,用微孔滤膜分离提取液中可溶态与悬浮态,用大孔吸附树脂分离可溶态中有机态与无机态.用萃取法对其水煎液模
<正> 我部某修训大队于1985年5月至1986年6月,相继发生一批时间集中,症状相似,以消化、呼吸系统表现为主的病人。经流行病学调查和抽样化验证实为邻近某电镀厂工业废水中铬污