论文部分内容阅读
程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。
程序正确性证明与动态特性
【摘 要】
：
程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。
【机 构】
：
西北民族学院数学系,兰州电机集团有限责任公司
【出 处】
：
西北民族大学学报：自然科学版
【发表日期】
：
1998年1期
其他文献
轮岗教师在流入校的参与形态深刻影响到教师发展与学校改进,是教师轮岗交流政策实施的关键。本研究基于实践共同体的理论视角,从知识领域、互动关系以及参与形式三个维度诠释
本文通过对魏晋南北朝石刻文献中异体形声字声符换用现象的调查和分析,指出在魏晋南北朝石刻用字中声符换用是产生异体形声字的方式之一,但不是主要方式。
高校隐性思想政治教育是在高校中主要针对在校大学生,寓于专门的思想政治教育之外的、社会实践活动中开展的、不为大学生焦点关注的一种思想政治教育存在类型,其具体过程可以
目的探讨结节性甲状腺肿合并甲状腺微小癌的早期诊断方法。方法选取2011年1月～2014年12月本院的200例结节性甲状腺肿患者作为研究对象，均进行术前甲状腺彩超检查，均进行手术治疗
书同文指文字书写规范的同一。孔子提出"书同文",就指出必须由"德"(理想)"位"(权力)俱全者才能实现,两者缺一不可。秦始皇统一文字而制定的"小篆",并不是从书体意义,而是从书
目的探讨2型糖尿病患者下肢血管病变与血尿酸（BUA）水平的关系。方法收集2013年7月~2014年7月我院2型糖尿病患者384例,按照有无下肢血管病变将其分为实验组（有下肢血管病变,76例）
在古文字数字化不断推进的新形势下,为适应传统文本形式检索要求而形成的现行甲骨文部首的改进完善势在必行。在部首设置方面,现行甲骨文部首单位相对甲骨文构形系统实际数量
茶是一种让人喜爱的健康饮品,不同品种的茶叶其功效和作用是不相同的。研究出一种可靠、简单易行、分类速度快的茶叶品种鉴别方法具有重要的意义。在模糊非相关判别转换（FUDT）
目的：建立检测血清中弓形虫IgG抗体的简便、快速的滴金免疫测定法。方法：将弓形虫抗原包被于硝酸纤维素膜上，通过胶体金-SPA直接显色，阳性者在膜上出现红色斑点。 结果：用该法与间
随着我国科学技术的不断进步,步进电机控制技术实现了长足发展,PLC作为基于自动控制技术、微计算机技术及通信技术发展形成的一种新型工业控制装置,其表现出配置灵活、数据处