论文部分内容阅读
讨论程序设计中的循环与循环不变式的应用.利用循环不变式可以方便地设计循环程序,并可证明程序的正确性.
关于循环与循环不变式的讨论
【摘 要】
：
讨论程序设计中的循环与循环不变式的应用.利用循环不变式可以方便地设计循环程序,并可证明程序的正确性.
【机 构】
：
福州大学信息科学与技术学院福建福州350002
【出 处】
：
福州大学学报：自然科学版
【发表日期】
：
2001年z1期
其他文献
采用基于BP算法的三层前向神经网络,用滞后环上的数据点辨识滞后环的形状参数,并根据疲劳过程形状参数的变化,阐明形状参数可以用来预测材料的疲劳寿命.
目的观察中风病痰热腑实证患者体表结肠电的变化.方法应用本研究所与中山大学电子系共同研制的微电脑胃肠电检测分析系统,对20例中风痰热腑实证患者进行体表多通道结肠电同步
用氮气置换部分空气作为干燥介质.通过QTM气调干燥实验设备调节干燥过程气体的氧气含量,以蘑菇的褐变度为考核指标进行降氧干燥试验.结果表明,干燥过程气体的温度是影响蘑菇
目的观察阿卡波糖胶囊治疗2型糖尿病的疗效及安全性.方法选取165例2型糖尿病患者,随机分为阿卡波糖组和对照组.阿卡波糖组(81例)吞服阿卡波糖胶囊,对照组(84例)嚼服拜糖苹,疗
目前我国皮革工业广泛使用二甲基甲酰胺(DMF),导致DMF中毒时有发生.现将本院近年来收治的68例DMF中毒患者资料分析如下.1 临床资料1.1 一般资料本组患者均系皮革厂职工,从事
根据能量变分原理导出了索-塔-梁耦合作用下斜拉桥面内稳定的计算公式，并采用Newton-Raphson方法对所建立的非线性方程组进行求解. 以青洲闽江大桥为例将本文程序与ANSYS程序