本文提出了一个新的断言语言ALC,它主要用于对C 语言书写的系统程序的测试。ALC 吸收了现有断言语言的优点,首次引入了控制流检测概念,扩充了现有断言语言的描述能力。本文还描述了基于ALC 的断言测试系统ACTC。与现有的断言测试系统相比,ACTC 不但给出了断言违反的位置、次数,还给出了引起断言违反的变量值和符号踪迹,方便了查找错误原因。ACTC 已在MC-68000机上实现。
毛细胞性星形细胞瘤(Pilocytic astrocytomas,PA)多见于儿童及青少年脑肿瘤,在脑胶质瘤中,毛细胞性星形细胞瘤具有独特的组织形态学以及生物学表现,肿瘤生长缓慢甚至可自愈,多数可以
本文给出了计算逻辑理论的拓广——联立递归定义原理和归纳原理。用这些原理可定义更为广泛的函数并证明其上的许多定理,文中给出了UNIFICATION 算法正确性证明中的许多实例,
直播卫星公共服务“户户通”工程安装工作2011年12月开始在宁夏陆续展开,有80万农村用户安装使用直播卫星数字电视机顶盒。
目的:分析小骨窗显微手术治疗高血压脑出血的最佳手术时机。方法:选择我院神经外科收治的需行小骨窗显微手术治疗的高血压脑出血患者99例,根据患者病发至手术时间间隔的长短分为
我们很多政府实际上做了很多项目,这些项目能不能叫大数据项目呢?或者说需不需要大数据的手段来做?从我们的角度来看,在大数据驱动政务或者是政务来应用大数据的角度看,大致经历了
本文介绍的“MPB”是多功能膨胀珍珠岩装饰吸声板的简称,可用于公共建筑与居住建筑的吊枯及吸声壁。经大量试验,该板可降低噪音、质轻、高强、保温、隔热,在1000℃的高温下,试件不软件化
目的:观察分析多西他赛联合奥沙利铂与氟尿嘧啶治疗晚期食管癌患者的临床疗效。方法:选取2014年8月-2016年8月期间在我院接受治疗的晚期食管癌患者46例,对所有患者均采用多西他
数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包
子宫切口憩室是妇产科的一种常见并发症,因剖宫产所致,会引发子宫异常出血、腹部疼痛、不孕、胎盘植入等严重并发症。随着剖宫产率的不断提升,子宫切口憩室患者数量也逐渐增多,必