切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一重循环结构的分类及其循环不变性质的讨论
一重循环结构的分类及其循环不变性质的讨论
来源 :内蒙古大学学报:自然科学版 | 被引量 : 0次 | 上传用户:liongliong463
【摘 要】
:
分析了一般一重循环结构的组成要素,按组成要素给出了一重循环结构的初步分类及其程序函数,并且利用不变式状态定理讨论了 样分类下的循环不变式。
【作 者】
:
行飞
【机 构】
:
内蒙古大学数学系
【出 处】
:
内蒙古大学学报:自然科学版
【发表日期】
:
1995年2期
【关键词】
:
循环结构
分类
程序函数
程序设计
循环不变性
loop structure classification loop invariant program fun
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了一般一重循环结构的组成要素,按组成要素给出了一重循环结构的初步分类及其程序函数,并且利用不变式状态定理讨论了 样分类下的循环不变式。
其他文献
可数Markov过程函数的一个强大数律
对于状态空间为S={k;k≥0,k为整数)的非齐次Markov链X={xt;t∈[0.+∝)},给出其函数f(xt,t)的强大数律成立的条件.所得结论推广了Chung(1974年)文中关于齐次转移概率的经典结论.
期刊
停时
强大数律
马氏过程
马氏链
状态空间
Markov chain
stop time
strong law of large number
人工草地土壤水分动态规律的研究
根据1985-1988年四年的动态监测资料,研究分析了人工草地土壤水分的动态变化规律,结果表明:表层土壤的水分含量波动剧烈,对降水反应迅速,主要受大气降水的影响.0-40cm土层的水分含量从生长季初期到
期刊
人工草地
土壤水分
动态规律
artificial grassland soil moisture dynamic rule
2005年世界主要国家或地区油井数及原油平均日产量
<正>~~
期刊
免疫法氏囊活性因子的制备及性质
出雏一周龄鸡用高于正常免疫剂量5倍的法氏囊疫苗免疫2次。在免疫高峰时宰杀,取出法氏囊,采用超滤法得到了一种分子量小于1万的物质,经检测为多肽和核苷酸的混合物,称为免疫法氏囊,采
期刊
法氏囊
活性因子
免疫活性
疫苗
兽医
Bursa Immune Bursal Active Factor Immune activity
二茂铁基β—二酮镍(II)配合物液晶的合成与表征
二茂铁基β-二酮镍(Ⅱ)配合物液晶的合成与表征刘占梅1陈立云1朱宏春1张文忠2(1.内蒙古大学化学系,010021,呼和浩特;2.内蒙古大学实验测试中心,010021,呼和浩特)关键词二茂铁β-酮镍(Ⅱ)配合物液晶中图资料分类
期刊
镍
配合物
液晶
二茂铁基二酮
合成
ferroceneβdikeronato nickel (Ⅱ) complexliquid crystal
正蚓科(Lumbricidae)三属七种动物同工酶研究
彩和聚丙烯酰胺凝胶电泳方法分析了寡毛纲正蚓科三属七种动物的酯酶同工酶、乳酸脱氢酶同工酶和苹果酸氢酶同工酶,结果表明,酯酶同工酶性质稳定、受环境和反应因素影响小,有明显
期刊
正蚓科
同工酶
电泳
分类
Lumbricidae isoenzyme electrophoresis classification
真鞍点与约束向量优化问题的真有效解
对约束向量优化问题的向量值Lagrange函数引出真鞍点的新概念,并用它来等价地刻划真有效解。此外,还建立了一个Lagrange乘子定理和几个对偶结果。文中结果是引文〖1,2,6-9〗中相应结果的改进和发展。
期刊
真鞍点
约束向量优化
真有效解
最佳化
Proper saddle point constrained vector optimization proper e
2005年世界天然气产量地区构成情况
<正>~~
期刊
2005年世界主要国家或地区天然气消费量
<正>~~
期刊
2005年世界各地区合成树脂生产能力与产量
<正>~~
期刊
与本文相关的学术论文