LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是......

目的研究内皮素-1(ET-1)和一氧化氮(NO)在慢性阻塞性肺疾病(COPD)患者中的变化.方法检测40例COPD患者血中ET-1和NO水平,并与30例正......