切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
程序的形式推导方法
程序的形式推导方法
来源 :黑龙江科技信息 | 被引量 : 0次 | 上传用户:nyheter
【摘 要】
:
本文通过对荣华二采区10
【作 者】
:
彭佳红
张军
【机 构】
:
吉首大学数学与计算机科学系,湖南,吉首,416000;吉首大学教务处,湖南,吉首,416000;
【出 处】
:
黑龙江科技信息
【发表日期】
:
2001年4期
【关键词】
:
程序的形式推导方法
程序规范
循环不变式
界函数
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过对荣华二采区10<
其他文献
阿凡提、紫金山脉、幽意
柴洲,玩石10余年,凭多年的经验,练就了好眼力,往往石头还未全部出土,柴洲就能看出紫金石是否含有孔洞,《幽意》得来便是如此,石农还在挖的时候,柴洲便看出此石造型变化大、中
期刊
阿凡提
工作原因
观赏石
洞悉、天下和平
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
郑州地区西周时期考古学文化研究
以往对郑州地区西周时期考古学文化的研究较为薄弱,本文主要利用近年发掘的蒋寨遗址和娘娘寨遗址的新资料,重点分析了该地区西周时期遗存的年代分期与考古学文化性质。
学位
文物考古
蒋寨遗址
西周文化
郑州地区
墙与桥——从哈尔斯坦主义到新东方政策演变中的美国对联邦德国政策研究
德国问题与冷战历史密切纠缠在一起,既是冷战爆发的诱因,又是冷战发展的结果,美国政府对联邦德国的政策是与美国的冷战战略息息相关的。从哈尔斯坦主义到新东方政策的演变是
学位
美国政府
哈尔斯坦主义
新东方政策
联邦德国政策
欧洲政策
美德关系
2014红点设计概念大奖揭晓
2005年开始的红点设计奖,最初只是一个发现最佳并且最先进设计概念的平台,目前已渐趋成熟,成长为国际上最具规模、最具声望的专业级设计概念奖项。今年的最佳设计概念和原型
期刊
设计概念
新加坡
博物馆
作品
专业
原型
平台
纪录
国家
参赛
儒学、数术与政治——中国古代灾异政治文化研究
古人所说的“灾异”,是指代表天意的自然或人为灾害、天文异常和社会异象。它们往往被认为是上天对人事的预兆或谴告,具有特殊的政治含义。我们把作为政治文化的灾异,或者政
学位
灾异论
儒学思想
数术
政治文化
固相增粘中影响瓶级PET色相的因素
摘 要:在固项增粘反应中,对影响瓶级聚酯切片色相的因素进行分析,得出相应结论,对优化工艺,稳定控制切片色泽等工作进行探讨。 关键词:瓶级聚酯切片 固相缩聚 色相 一、前言 瓶级聚酯切片主要是用来生产各种灌装饮料、食品、药品的包装瓶等,因此下游生产厂家对聚酯瓶的透明度、光泽性要求也比较严格。 为了确保瓶给聚酯切片生产的色相稳定,我们将从切片的水分含量、工艺温度、N2流量和氧含量、停留时间等方
期刊
瓶级聚酯切片
固相缩聚
色相
第二届福州海峡创意设计周--“福文化”创意设计展13日开幕
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
福州
海峡
创意设计
展览馆
三坊七巷
文化
网络档案
期刊
“中国梦-为中国设计”上海设计作品展开幕
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
中国
设计工作者
上海地区
作品展
协会
上海市
美术家
中心
美展
创作
创意
其他学术论文