论文部分内容阅读
提出了一种基于分布式仿真平台的可生存性验证模型,实现了对不同种可生存性模型的统一检验.使用有色Petri网验证表明,该模型满足可达、有界、公平等基本性质,形式验证为模型的实例化做好了准备.
一种网络可生存性检验模型的形式验证
【摘 要】
：
提出了一种基于分布式仿真平台的可生存性验证模型,实现了对不同种可生存性模型的统一检验.使用有色Petri网验证表明,该模型满足可达、有界、公平等基本性质,形式验证为模型
【机 构】
：
中原工学院
【出 处】
：
中原工学院学报
【发表日期】
：
2010年4期
【基金项目】
：
河南省科技攻关计划项目（092102310038）, 河南省自然科学基金项目（082102210082）
其他文献
目的通过构建兔颈动脉粥样硬化（AS）模型,观察全反式维甲酸（ATRA）对AS斑块中转化生长因子-β1（TGF-β1）、兔白介素-6（IL-6）、兔白介素-10（IL-10）和兔白介素-17（IL-17）的表达水平,探讨ATRA
美国FDA于2014年1月31日批准Vanda制药公司生产的Hetlioz（tasimeheon）用于完全失明人士治疗非24小时睡醒周期障碍（non-24-hoursleep—wakedisorder，”Non-24”，“非-24”）。这是FDA
一、两镇的历史沿革和地理环境天柱于明万历二十五年（1597）建县,原属湖广靖州直隶州管辖,清雍正四年（1726）改隶贵州省黎平府,后改属镇远府。1992年天柱县建镇并乡撤区之前,蓝田镇
美国FDA于2015年3月17日批准Cholbam胶囊（有效成分为胆酸）,适应证有2个：其一是用于治疗儿童及成人因单一合成酶缺陷引起的胆汁酸合成障碍（bile acid synthesis disorders）,其二是
目的 建立高效液相色谱法测定壮药铁包金中大黄素、大黄酚的含量.方法 采用Diamonsil C18柱（250 mm×4.6 mm,5μm）色谱柱,流动相为甲醇-0.4％（体积分数）H3PO4（体积比75∶25）,流速
一、高酿镇历史文化沿革背景高酿镇地处贵州省天柱县西南部,是通往锦屏县的交通要冲,桂穗公路过境。高酿镇明代属归化乡一图。清代属居仁里。民国三年属第四区,二十一年为中
目的：建立葛根芩连滴丸的质量标准。方法采用薄层色谱法对滴丸中的葛根、黄芩、黄连进行定性鉴别；采用高效液相色谱法同时测定滴丸中的葛根素、盐酸小檗碱、黄芩苷。以甲醇-0.2
王健芳，回族，教授，硕士生导师，贵州省省管专家，贵州省高等学校教学名师，宝钢教育基金优秀教师，贵州省高等学校省级教学团队带头人以及贵州大学学科学术带头人。是中国语言教育研究会
目的通过高效液相色谱-光电二极管阵列检测器/离子阱质谱（HPLC-PDA-ESI-ITMSn）联用技术定性分析氯唑沙宗在SD大鼠尿液中的代谢产物。方法高效液相色谱条件：采用Benatnach C18（250
目的探讨壳聚糖固载的金属卟啉磁性微球的合成方法及对甲基橙废水的催化效果,寻求成本低廉、高效节能的染料废水处理方法。方法采用磁流体包埋法制备壳聚糖固载钴卟啉磁性微