论文部分内容阅读
对随机进程代数模型交互式马尔科夫链（IMCs）上的模拟关系进行研究，根据不动点定理和权函数的定义，给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法，对算法的时间复杂度进行分析．
交互式马尔科夫链上强模拟关系的计算
【摘 要】
：
对随机进程代数模型交互式马尔科夫链（IMCs）上的模拟关系进行研究，根据不动点定理和权函数的定义，给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法，对算法的时间复
【机 构】
：
兰州工业高等专科学校计算机工程系
【出 处】
：
兰州理工大学学报
【发表日期】
：
2008年1期
【基金项目】
：
甘肃省自然科学基金（3ZS051-A25-017）,甘肃省教育厅科研基金（0712-02）
其他文献
采用柠檬酸溶胶自燃烧法制备粒径为12～48nm的复合催化剂Fe／ZnO-TiO2及纯TiO2粉体．用XRD、TEM对其进行表征，研究Fe^3＋、Zn^2＋的加入、柠檬酸的加入量、燃烧合成温度对粉体组成、结构
建立一种兔心房组织来源的非心肌细胞体外培养模型，为心血管药理实验、病毒学实验及组织工程的研究提供实验平台．无菌条件下取兔心房壁组织，将组织分离成2mm×1mm小块，采用植
对等通道转角挤压技术的基本原理和近年来的最新研究进展进行综述．对挤压过程中晶粒细化机理和变形机理、影响挤压效果的因素分析认为，降低挤压温度、增加背压、减小入口摩擦并
以金属间化合物MoSi2为基体，Si3N4为夹层材料，采用常压烧结法制备MoSi2／Si3N4叠层复合材料．通过SEM、XRD、EPMA等对其结构与性能进行分析．结果表明，所制备的叠层复合材料，其界面结合