论文部分内容阅读
Approximate Failures Semantics for Polynomial Labelled Transition Systems
【出 处】
：
东华大学学报（英文版）
【发表日期】
：
2013年6期
其他文献
目的:在治疗乳腺良性病灶中应用麦默通乳腺微创旋切术的优势进行了分析;方法:应用回顾性分析法,在笔者所在医院从2014年至2016年两年内接受麦默通微创旋切术治疗的患者中选取
目的:该研究通过建立不同硬腭裸露面积的大鼠动物模型,连续性测量其不同时期的上颌骨及牙弓宽度,同时观察骨荧光标记和组织学的差异,从而了解不同硬腭裸露骨面面积与上颌骨及
目的：颧骨复合体骨折(ZCF)通过三维螺旋CT测量颧骨突度改变，进行CT分型，为临床诊断，治疗的选择提供依据。 方法：选用中国医科大学口腔医院2002年1月～2005年9月收治入院的颧骨复
在满天的星辰中,北斗星是其中最为灿烂的。当它划过天际燃烧的刹那,已注定留下不朽的美丽。十五年前的10月12日,一代巨星威尔特·张伯伦在家中去世,享年63岁。被园丁发现的时
目的：通过临床随机对照实验研究和循证医学Meta分析的方法，对急性局限型冠周炎时智齿即刻拔除的适应症、围手术期处理、术中术后并发症进行临床研究。对急性冠周炎即刻拔牙与冠
目的：咬合对整个口颌系统的和谐有着重要的影响。咬合创伤是由于对颌牙直接或间接所产生的咬合力作为一个病原因素作用于牙周组织而引起的破坏。此外，其作为一种持续的损伤性刺
目的: 1.研究人表皮生长因子受体(epidermal growth factor receptor, EGFR)胞内酪氨酸激酶结构域(tyrosine kinase domain,TKD)的原核表达及纯化条件;2.研究在人肿瘤细胞中