论文部分内容阅读
对随机进程代数模型交互式马尔科夫链（IMCs）上的模拟关系进行研究，根据不动点定理和权函数的定义，给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法，对算法的时间复杂度进行分析．
交互式马尔科夫链上强模拟关系的计算
【摘 要】
：
对随机进程代数模型交互式马尔科夫链（IMCs）上的模拟关系进行研究，根据不动点定理和权函数的定义，给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法，对算法的时间复
【机 构】
：
兰州工业高等专科学校计算机工程系
【出 处】
：
兰州理工大学学报
【发表日期】
：
2008年1期
【基金项目】
：
甘肃省自然科学基金（3ZS051-A25-017）,甘肃省教育厅科研基金（0712-02）
其他文献
采用柠檬酸溶胶自燃烧法制备粒径为12～48nm的复合催化剂Fe／ZnO-TiO2及纯TiO2粉体．用XRD、TEM对其进行表征，研究Fe^3＋、Zn^2＋的加入、柠檬酸的加入量、燃烧合成温度对粉体组成、结构
The knee is a multi-component organ system comprised of several tissues which function coordinately to provide mobility. Injury to any one component compromises
The Applicability of Gd-DTPA Magnetic Resonance Imaging Contrast Agent for the Evaluation of Blood C
Observation of flow distribution pattern in the hemodialyzers is significant as it is a valuable in-dication of the performance of these modules. Therefore, in
The international headache society classification of migraine headache—A call for substantiating dat
This paper proves conclusively that there is no scientific basis for the International Classification of Headache Disorders (ICHD) criteria for the diagnosis of
Application of Multiple Sensor Data Fusion for the Analysis of Human Dynamic Behavior in Space: Asse
The authors have applied a systems analysis approach to describe the musculoskeletal system as consisting of a stack of superimposed kinematic hier-archical seg
建立一种兔心房组织来源的非心肌细胞体外培养模型，为心血管药理实验、病毒学实验及组织工程的研究提供实验平台．无菌条件下取兔心房壁组织，将组织分离成2mm×1mm小块，采用植
对等通道转角挤压技术的基本原理和近年来的最新研究进展进行综述．对挤压过程中晶粒细化机理和变形机理、影响挤压效果的因素分析认为，降低挤压温度、增加背压、减小入口摩擦并
我国图书在版编目（ＣＩＰ）状况文榕生，张玉麟图书在版编目（ＣａｔａｌｏｇｕｉｎｇｉｎＰｕｂｌｉｃａｔｉｏｎ），简称（ＣＩＰ）是依据一定的标准，为在出版过程中的图书编制书目数据。［１］ＣＩＰ便于图书的出版、发行、收藏等部门和读者共享其数据；同时，它对促...
In clinical cellular cardiomyoplasty, bone marrow cells and myoblasts are introduced mainly to ischemic cardiomyopathy tissue via several cell delivery systems,
以金属间化合物MoSi2为基体，Si3N4为夹层材料，采用常压烧结法制备MoSi2／Si3N4叠层复合材料．通过SEM、XRD、EPMA等对其结构与性能进行分析．结果表明，所制备的叠层复合材料，其界面结合