切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
程序正确性证明与动态特性
程序正确性证明与动态特性
来源 :西北民族大学学报:自然科学版 | 被引量 : 0次 | 上传用户:my_sunday_tongxing
【摘 要】
:
程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。
【作 者】
:
王卓
陈家文
【机 构】
:
西北民族学院数学系,兰州电机集团有限责任公司
【出 处】
:
西北民族大学学报:自然科学版
【发表日期】
:
1998年1期
【关键词】
:
程序正确性证明
死循环
死锁
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。
其他文献
轮岗交流政策中的教师参与——基于上海市一所小学的个案研究
轮岗教师在流入校的参与形态深刻影响到教师发展与学校改进,是教师轮岗交流政策实施的关键。本研究基于实践共同体的理论视角,从知识领域、互动关系以及参与形式三个维度诠释
期刊
轮岗教师
教师参与
实践共同体
实证研究
谈魏晋南北朝石刻异体形声字中的声符换用现象
本文通过对魏晋南北朝石刻文献中异体形声字声符换用现象的调查和分析,指出在魏晋南北朝石刻用字中声符换用是产生异体形声字的方式之一,但不是主要方式。
期刊
魏晋南北朝石刻
异体形声字
声符
换用
社会过程研究方法视域下的高校隐性思想政治教育探究
高校隐性思想政治教育是在高校中主要针对在校大学生,寓于专门的思想政治教育之外的、社会实践活动中开展的、不为大学生焦点关注的一种思想政治教育存在类型,其具体过程可以
期刊
社会过程研究方法
高校
隐性思想政治教育
结节性甲状腺肿合并甲状腺微小癌的早期诊断方法研究
目的探讨结节性甲状腺肿合并甲状腺微小癌的早期诊断方法。方法选取2011年1月~2014年12月本院的200例结节性甲状腺肿患者作为研究对象,均进行术前甲状腺彩超检查,均进行手术治疗
期刊
结节性甲状腺肿
甲状腺微小癌
诊断
Nodular goiterThyroid micro-carcinomaDiagnosis
“书同文”的历史回顾与现实问题的解决思路
书同文指文字书写规范的同一。孔子提出"书同文",就指出必须由"德"(理想)"位"(权力)俱全者才能实现,两者缺一不可。秦始皇统一文字而制定的"小篆",并不是从书体意义,而是从书
期刊
书同文
小篆
汉字规范
正体字
手写体
2型糖尿病患者下肢血管病变与血尿酸的关系
目的探讨2型糖尿病患者下肢血管病变与血尿酸(BUA)水平的关系。方法收集2013年7月~2014年7月我院2型糖尿病患者384例,按照有无下肢血管病变将其分为实验组(有下肢血管病变,76例)
期刊
2型糖尿病
下肢血管病变
血尿酸
Type 2 diabetic Lower extremity vascular disease Blood uric aci
甲骨文部首改良刍议
在古文字数字化不断推进的新形势下,为适应传统文本形式检索要求而形成的现行甲骨文部首的改进完善势在必行。在部首设置方面,现行甲骨文部首单位相对甲骨文构形系统实际数量
期刊
甲骨文
部首
古文字数字化
模糊非相关鉴别C均值聚类的茶叶傅里叶红外光谱分类
茶是一种让人喜爱的健康饮品,不同品种的茶叶其功效和作用是不相同的。研究出一种可靠、简单易行、分类速度快的茶叶品种鉴别方法具有重要的意义。在模糊非相关判别转换(FUDT)
期刊
红外光谱
茶叶
主成分分析
模糊非相关判别转换
模糊C均值聚类
检测血清弓形虫IgG抗体的滴金免疫测定法的建立及应用
目的:建立检测血清中弓形虫IgG抗体的简便、快速的滴金免疫测定法。方法:将弓形虫抗原包被于硝酸纤维素膜上,通过胶体金-SPA直接显色,阳性者在膜上出现红色斑点。 结果:用该法与间
期刊
弓形虫
IGG抗体
滴金免疫测定法
间接血凝法
AntiToxoplasma gondii IgG Dot immunogold filtration assa
步进电机的PLC控制技术研究
随着我国科学技术的不断进步,步进电机控制技术实现了长足发展,PLC作为基于自动控制技术、微计算机技术及通信技术发展形成的一种新型工业控制装置,其表现出配置灵活、数据处
期刊
步进电机
PLC
控制技术
与本文相关的学术论文