首页> 中文期刊> 《西北师范大学学报：自然科学版》 >循环界函数的应用及求取方法

循环界函数的应用及求取方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

讨论了循环界函数在程序正确性证明和程序推导技术中的应用问题，提出了求取几类已知循环程序的界函数和面向目标的程序推导中循环界函数的方法．

著录项

来源
《西北师范大学学报：自然科学版》 |1996年第3期|25-30|共6页
作者
王彩芬;
展开▼
作者单位

西北师范大学计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
循环程序; 循环界函数; 程序正确性; 程序设计;

相似文献

中文文献
外文文献
专利

1. 传递函数拟合法求取内循环式气固催化反应器的循环比 [J] . 刘跃进 ,黄良 . 湘潭大学自然科学学报 . 1993,第001期
2. 截断函数在勒贝格积分中的应用——无界函数积分转化为有界函数积分的数学方法 [J] . 胡燧林 . 韶关大学学报 . 1998,第3期
3. 试论循环不变式和囿界函数在循环研制中的地位和作用 [J] . 游晓明 ,刘升 . 湖北师范学院学报：自然科学版 . 1998,第006期
4. 用蒙特卡罗方法求取广义线性混合模型之最大似然估计:应用于求取乳癌死亡率之小区域估计 [J] . 陈永成 ,Stephen ,W．Raudenbush . 应用概率统计 . 2006,第001期
5. 利用地质统计学反演预测砂岩型铀矿体的变差函数求取方法 [J] . 魏达 ,孙章庆 . 石油地球物理勘探 . 2021,第006期
6. 页岩气资源评价中关键参数求取方法——以鄂尔多斯盆地上古生界为例 [C] . 王义刚 ,郭少斌 ,于文英 . 第五届全国特种油气藏技术研讨会 . 2012
7. 约束优化问题的一类罚函数方法与误差界理论及其应用 [A] . 赵文玲 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号