论文部分内容阅读
讨论程序设计中的循环与循环不变式的应用.利用循环不变式可以方便地设计循环程序,并可证明程序的正确性.
关于循环与循环不变式的讨论
【摘 要】
：
讨论程序设计中的循环与循环不变式的应用.利用循环不变式可以方便地设计循环程序,并可证明程序的正确性.
【机 构】
：
福州大学信息科学与技术学院福建福州350002
【出 处】
：
福州大学学报：自然科学版
【发表日期】
：
2001年z1期
其他文献
作文本交上来,老师阅后总要评一个分数,加几条评语。学生得到作文本后,最先看的是分数,分数的高低首先触动学生的兴趣神经。而我们现在给学生的评分,大多袭用传统标准控制在6
采用基于BP算法的三层前向神经网络,用滞后环上的数据点辨识滞后环的形状参数,并根据疲劳过程形状参数的变化,阐明形状参数可以用来预测材料的疲劳寿命.
无论学习什么学科,在初始阶段,使学生对之发生兴趣和获得好的学习效果,对学生来说,都是至关重要的。因为“第一印象”是最深刻的,也是最难忘的,学生一开始就喜爱或害怕数学的
目的观察中风病痰热腑实证患者体表结肠电的变化.方法应用本研究所与中山大学电子系共同研制的微电脑胃肠电检测分析系统,对20例中风痰热腑实证患者进行体表多通道结肠电同步
用氮气置换部分空气作为干燥介质.通过QTM气调干燥实验设备调节干燥过程气体的氧气含量,以蘑菇的褐变度为考核指标进行降氧干燥试验.结果表明,干燥过程气体的温度是影响蘑菇
目的观察阿卡波糖胶囊治疗2型糖尿病的疗效及安全性.方法选取165例2型糖尿病患者,随机分为阿卡波糖组和对照组.阿卡波糖组(81例)吞服阿卡波糖胶囊,对照组(84例)嚼服拜糖苹,疗
目前我国皮革工业广泛使用二甲基甲酰胺(DMF),导致DMF中毒时有发生.现将本院近年来收治的68例DMF中毒患者资料分析如下.1 临床资料1.1 一般资料本组患者均系皮革厂职工,从事
根据能量变分原理导出了索-塔-梁耦合作用下斜拉桥面内稳定的计算公式，并采用Newton-Raphson方法对所建立的非线性方程组进行求解. 以青洲闽江大桥为例将本文程序与ANSYS程序
公开了一种毛纱定形效果的测试方法。所述方法包括如下步骤：1．取10只筒子作试样；2．将试样筒子插在缕纱测长仪的纱锭插座上，退绕纱线至缕纱测长仪的摇纱框上，退绕满5圈后．将退绕好的