论文部分内容阅读
2009年12月在上海参加IEEECDC会议时,一位过去留美的同行告诉我Pnueli教授刚去世。我已很长时间不碰形式化研究了,但对Pnueli Calculi和Pnueli的Temporal Logic还印象深刻。春节之后,收到国际计算机协会的通讯CACM,
纪念Pnueli教授:一位信息科学领域的开拓者和“拯救者”
【摘 要】
：
2009年12月在上海参加IEEECDC会议时,一位过去留美的同行告诉我Pnueli教授刚去世。我已很长时间不碰形式化研究了,但对Pnueli Calculi和Pnueli的Temporal Logic还印象深刻。
【机 构】
：
中国科学院自动化研究所
【出 处】
：
科技导报
【发表日期】
：
2010年14期
其他文献
卡铂(carboplatin,CBP)是一种抗肿瘤活性较强的化疗药物,通过诱导细胞周期阻滞抑制肿瘤细胞生长,但其诱导细胞周期阻滞的报告不甚一致.本研究探索卡铂对卵巢癌HO-8910细胞生
目的:分析血管性痴呆与脑白质病变的相关性.方法:对比两组临床资料、神经心理学评分,对血管性痴呆与脑白质病变进行相关性分析.结果:实验组MMSE、CDT及脑白质病变评分均显著
目的:观察酚妥拉明在小儿肺炎治疗中的应用效果及其对肺部啰音的影响.方法:本试验74例肺炎患儿均为本院2018年5月至2019年5月接收,基于系统抽样法分为2组,每组37例,对照组与
目的:分析头孢类抗菌药物联合阿米卡星治疗白血病感染患者的疗效.方法:选取68例白血病感染患者,均分甲组(头孢他定与阿米卡星联合治疗)、乙组(头孢吡肟与阿米卡星联合治疗),
目的:分析研究在下肢深静脉血栓置管溶栓术疗效评价时应用超声造影定量分析技术的应用价值.方法:选择在本院接受肢深静脉血栓置管溶栓术治疗的患者作为研究对象,共计70例,在
目的:探讨康复运动干预对于帕金森病病人肢体运动功能和生活自理能力的影响.方法:选取2018年12月至2019年12月我科收治的100例帕金森病住院病人,分为实验组和对照组各50例.对
目的:对比雌激素以及孕激素药物在临床中对围绝经期异常子宫出血患者的治疗效果情况.方法:选择在2018年5月～2019年4月时段到我院接受治疗的90例围绝经期异常子宫患者,予以随机
目的:研究和分析处于不同心功能状态当中的妊娠合并心脏病患者在母婴结局方面存在的差异.方法:在本院2017年7月18日到2019年7月18日这段时间内收治的妊娠合并心脏病患者当中,
目的 了解东南沿海海训部队官兵日光反应性皮肤分型情况,为防治日晒伤提供科学依据.方法 2007年8月1～14日,我们采用整群抽样方法.问卷调查海训部队570名官兵日光反应性皮肤分
自2019年12月以来,湖北省武汉市陆续发现了多例新型冠状病毒感染的肺炎患者,新型冠状病毒肺炎[1](Novel Coronavirus Pneumonia,NCP)引发了严峻的疫情,WHO 已将新冠肺炎疫情
期刊