论文部分内容阅读
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法.该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件.
分割图描述的正确性验证
【摘 要】
：
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法.该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件.
【机 构】
：
东南大学计算机科学与工程系,南京,210096
【出 处】
：
高技术通讯
【发表日期】
：
1998年4期
其他文献
目的 探讨总结晚期产后出血的原因及防治措施.方法 检索2009-2010年问有数据统计的关于晚期产后出血的学术总结65篇,抽样其中5篇所涉医院的晚期产后出血数据,结合自身临床经
脑卒中是临床上一种常见病、多发病,其发病突然,通常包括脑出血、脑梗死、蛛网膜下腔出血,是发病率、致残率,复发率、病死率极高的疾病.由于肢体功能障碍、偏瘫、失语、恢复
目的观察空气波配合中药熏洗治疗糖尿病下肢缺血、周围神经病的疗效。方法80例糖尿病下肢缺血、周围神经病患者随机分为治疗组和对照组各40例,治疗组采用空气波配合中药熏洗
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质,如分布式死锁、分布式终止和分布式废码等.稳定性质检测是分布式计算中的重要问题,常通过构造一致全局系统
本文完成了一种新的组网分群算法——最大链路数分群算法，并与美国ＨＦ－ＩＴＦ的ＬＣＡ算法及其改进算法作了比较，结果验证了它的正确性和有效性。
本文提出了一种快速学习算法,它解决了Brill基于变换的学习方法中规则获取时间过长的问题.在每次迭代过程中,该算法仅需调整受到影响的小部分变换模式,而无需遍历所有变换模
讨论了三维弹性连续体应力集中极小化的形状优化问题。边界元法作为应力分析工具，解析法或差分法计算应力敏度，用约束变尺度优化算法进行优化。根据形状优化的特点，给出了提高求
介绍氧化钨基永久性的电可重编程的可变电阻器作为用于电子神经网络的模拟突触记忆联接器。该器件具有类晶体管的多层薄膜器件结构，它是依次由直流溅射和电子束蒸发工艺沉积到