论文部分内容阅读
本文引用一个简单的语言说明如何验证一个程序的正确性，并且给出一个实例来进行验证，并指明了今后的研究方向。
用Hoare逻辑验证程序的一般方法及实例
【摘 要】
：
本文引用一个简单的语言说明如何验证一个程序的正确性，并且给出一个实例来进行验证，并指明了今后的研究方向。
【机 构】
：
贵州大学计算机科学与技术学院
【出 处】
：
通讯和计算机：中英文版
【发表日期】
：
2007年2期
【基金项目】
：
本文得到贵州大学引退人才科研基金资助项目和贵州省省长基金资助项目（No.2005（212））的资助.
其他文献
【目的】XZ-2是江苏徐淮地区徐州农业科学研究所油料研究课题组分离到的1株大豆内生多粘类芽孢杆菌,为明确该菌株的发酵条件及其对3种主要大豆病害的室内生防潜力。【方法】
【目的】本文探讨了铁铝氧化物对BaCl_2-TEA提取法测定土壤交换性酸结果准确性的影响。【方法】采用BaCl_2-TEA法测定了添加6种不同铁铝氧化物(无定型铁、α-Fe_2O_3、针铁矿、无定型铝、γ-Al_2O_3和三水铝石)后酸性紫色土的交换性酸含量。【结果】相比于α-Fe_2O_3、三水铝石、γ-Al_2O_3和针铁矿,化学活性较高的无定型铁和无定型铝具有较低的pH值和存在大量的Fe3+
【目的】揭示石斛篓象成虫对不同寄主的选择行为机制,发展新型害虫防治技术。【方法】采用陷阱式嗅觉测量仪、叶碟法分别测定石斛篓象成虫对4种石斛茎、叶的嗅觉反应和取食反
【目的】探明酒糟沼渣(酱香型白酒酒糟生产沼气的副产物)对辣椒产质量及土壤养分的影响,为沼渣的高效综合利用提供参考。【方法】以贵州黄壤为基础,通过田间小区随机区组试验
本试验选取四川丘陵区已连续10年进行水稻-油菜轮作的定位试验田,于2013年油菜成熟期,研究3种耕作栽培方式下（传统耕作栽培：水稻季油菜季均翻耕＋水稻季不覆膜处理;免耕不覆膜：水
[目的]香蕉枯萎病已成为香蕉产业可持续发展的最主要限制因素之一,通过室内建立不同香蕉品种对枯萎病快速鉴定方法,为大田香蕉抗病品种鉴定和品种改良提供依据。[方法]本研究
为了模拟水稻试验田的生长环境，设计了土壤介质幼苗耐缺氧能力测定试验，对92份品种资源的种子缺氧萌发时芽鞘长度和直播成苗率进行了研究，并分析了缺氧芽鞘长度和直播成苗率的相
对新疆南北疆不同时期选育的84份陆地棉品种连续2年2点14个表型性状进行相关性分析、主成分分析及聚类分析。结果表明，新疆陆地棉品种主要性状变异丰富，尤其在籽棉产量、铃数、
【目的】探讨白粉病、黑斑病在不同食用玫瑰品种上的田间发生规律及影响因素。【方法】以昆明地区种植的8个食用玫瑰品种为研究对象,采用定时定点调查的方法。【结果】白粉病