周院士的报告主要介绍了混成系统(嵌入式系统、信息物理融合系统)的建模语言HCSP(混成通信顺序进程)、微分不变式的生成算法和验证Hybird Hoare logic(混成霍尔逻辑)的基本思想。
基于30个网页-相关网页
摘要:关键词:肝癌特异性蛋白(HCSP)。固相检测肝癌特异性蛋白(HCSP)检测为原发性肝癌的诊断提供了简便易行的可靠方法,但试剂用量大,干扰因素多,结果难以判断。
基于28个网页-相关网页
公共卫生最高理事会(HCSP)建议对用过的器材以及容易出现差错的地方格外关注。所有处理的材料,如医疗用具,气体和病人的排泄物(人体排出的物质),需经过...
基于24个网页-相关网页
S-HCSP 混成进程代数 ; 随机
应用推荐