论文部分内容阅读
符号执行研究综述
【出 处】
：
计算机科学
【发表日期】
：
2018年z1期
其他文献
2013年6月18日,河南伊龙科技实业有限公司举办了节俭而热烈的成立25周年庆典,其掌舵人、著名民营企业家、河南伊龙科技实业有限公司董事长范振国先生,也迎来了他的63岁生日.2
目的探讨直肠癌根治式手术后盆腔内复发的原因、形式及时间;总结诊疗手段的有效性及再次手术的疗效.方法胃肠专业组医师进行手术操作,并对按标准作定期随访的病人进行总结分
在茫茫人海中,两个素昧平生,逐潮漂移的人,能够在不经意间汇聚到一起相识相交,并成为同志,我想,除了一个“缘”字,应无他由可释.rn得与陈涛相识,纯属偶然.时间应上溯到2001年
目的 结合临床实践经验,探讨小儿支气管哮喘的健康教育及居家环境管理方法.方法 对我院2008年1月至2009年12月58例支气管哮喘患儿及其家长开展健康教育及居家环境管理的指导,
一年一度的全国“两会”成功在京召开。过去的一年,对于整个中国来说是极其不平凡的一年。在党中央、国务院的领导下,我国各项事业稳步推进。2013年,我国信息基础设施建设步
目的探讨急性脑出血死亡患者动脉血气分析的变化.方法将89例急性脑出血患者分为生存组47例,死亡组42例,均在入院后6 h内抽取动脉血2 ml测定pH、PO2、PCO2、HCO-3、TCO2、ABE
目的 探讨实施自我管理教育对丙肝注射干扰素患者的影响.方法 选择2007年1～12月我科收治的丙肝注射干扰素患者60例,按随机数字表法分为干预组和对照组各30例.对照组患者入院后
外伤性小肠破裂是临床相对少见疾病,由于缺乏特异症状和体征,术前确诊尚有一定难度,故临床上延误诊治和处理不当时有发生.现将我院自1993～2005年收治外伤性小肠破裂15例,现就
Knowledge acquisition with machine leing techniques is a fundamental re-quirement for knowledge discovery from databases and data mining systems. Two techniques