Approximate Reachability and Bisimulation Equivalences for Transition Systems

来源 :天津大学学报:英文版 | 被引量 : 0次 | 上传用户:pscc33
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用 Baire 度量标准,这份报纸由开发近似 reachability 和近似 bisimulation 等价的观点建议转变系统近似的一个概括框架。建议框架作为一种特殊情况捕获传统的准确等价。近似 reachability 等价比近似 bisimulation 等价粗糙,就像准确的层次一样。因而,两个近似等价满足及物的性质他们能在转变被使用系统近似。
其他文献
为高度驱散的宝贵金属催化剂的准备的一个新计划在这个工作被建议。LaCo <sub>1x</sub 的样品 > 磅 <sub > x </sub > O <sub>3</sub>/SiO<sub>2</sub>(x=0.03, 0.05, 0.07, 0.0
目的 了解ICU检出多重耐药铜绿假单胞菌(Pae)耐药基因存在情况.方法 将ICU检出Pae菌株进行体外耐药监测,并对其中19株多重耐药菌株进行耐药相关基因OprD2、IMP-1、GIM、SPM、VI
Graphene 氧化物(去) 包含便于极的溶剂的置闰的众多的功能的组。性质和应用去仔细与它的夹层间距有关。我们在夹层间距在变化上报导追求水分子和极的器官的溶剂 C <sub>2</s
Carotenoid cleavage dioxygenases (CCDs) are a class of enzymes in plants involved in the biosynthesis of apocarotenoids, such as phytohormones, flavour compound
在这份报纸,一个二水平的 Bregman 方法与图被介绍调整稀少的编码为高度 undersampled 磁性的回声图象重建。图调整了稀少的编码与在内部水平在外部水平和更改字典和稀少的表
这研究在 feed 解决方案(FS ) 温度与不同的条件下面在前面的渗透(FO ) 的性能上调查了温度的影响拉解决方案(DS ) 温度。就在 FS 和 DS 之间的团和热转移而言的一个 FO 模型
In this study, a continuous and airtight twinspiral dryer was developed in accordance with the characteristics and challenges in the process of disposing polysi
在这份报纸,为无线传感器网络的范围分析的一个察觉到的模型被提供。用这个模型和蒙特卡罗方法,到察觉到范围要求了获得需要的范围的私人范围的比率能就推广区域的规模和传感器
目的观察比较七氟醚和异氟醚吸入麻醉对支气管黏液纤毛运输速度的影响。方法选择90例ASAⅠ~Ⅱ级择期腹部手术患者,随机分为3组:全凭静脉麻醉组(TIVA组)、七氟醚组(Sevo组)和异氟醚
Response surface methodology was used to optimize the medium for antifungal active substance production from Streptomyces lydicus E12 in flask cultivation.Initi