论文部分内容阅读
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。
分割图描述的正确性验证
【摘 要】
：
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
高技术通讯
【发表日期】
：
1998年4期
【基金项目】
：
863计划资助项目
其他文献
用爆炸或者燃烧方式驱动的系统紧凑的脉冲磁流体发电机，在用作短时间、高功率电源的情况下，有着不可替代的性能优势。脉冲磁流体发电机具有极高的功率密度和快速启动特性。简述
针对离散余弦变换（DCT）的特点,提出一种自适应水印算法.选取JPEG量化矩阵若干DCT中频系数,并求均值,比较嵌入位与均值的关系,调整嵌入位的大小实现水印自适应嵌入.利用Arnold变
在电动启闭小型涵闸配电设计中：一是用电负荷小设备选型难；二是工程预算少备用电源不达标。结合自己的一些工程设计实践，从启闭机备份电源、变压器容量、无功补偿容量和供电部门
探讨了有限区域上一维对称的空间分数阶对流弥散方程的数值求解问题.基于Grunwald-Letnikov分数阶导数的定义,推导了一个有限差分格式,并讨论了分数微分阶数、弥散系数及平均
水稻是农作物种植的重要种类,其结出的果实剥掉壳之后就是我们日常食用的大米,不仅能够用来解决温饱问题,还能够酿制成相应的美酒、制作糖果,其稻壳也具有极高的使用价值,所
利用Pro／E建立履带式推土机行走装置的三维实体模型，简化后导入ADAMS中对其进行动力学仿真分析，并对驱动链轮、支重轮和履带板之间的作用力进行了仿真研究，为履带行走装置的改进
激光自混合干涉技术中颗粒粒度分布反演属于病态问题．为了得到较好的颗粒粒度分布，采用Chahine算法作为非负算法，分别对激光自混合干涉线性和对数形式的功率谱密度进行颗粒粒度
参照待定系数法,利用计算机代数系统Mathematica对高斯投影正反算作了进一步的推导,得到了比以往精度更高的数学表达式.在此基础上进行精度分析,提出了比较完善的高斯正反算
介绍了平流层通信的概念及其在军事中应用的特点。提出了实现平流层通信的关键技术，分析了通信平台的高度选择、载体选择以及平台动力和能源的解决办法。最后提出了平流层通信