判定过程相关论文
本文以调查询问和现场勘验等方式,认定了一起PE天然气管道爆燃事故的原因。在最后分析了事故发生的根源,并针对灾害成因提出了防治......
60年代末期就出现了用超声波评定滚动轴承状态的研究成果。俄罗斯十月铁路局机务部门在采用其它技术诊断的同时 ,还采用 ИРП- 1......
本文主要研究命题投影时序逻辑(Propositional Projection Temporal Logic, PPTL)的可判定性问题。文中简要地介绍了PPTL公式的语......
带未解释函数的等式理论(EUF)是一种表达能力较强的理论,在形式化方法中占据了重要的地位。本文研究的是无量词的EUF理论,该理论的......
学位
1问题的产生在学习人教版高中物理3-3第七章《分子动理论》时,遇到一道关于分子势能大小判定的题目,在同学之间引起激烈争议,不少......
讨论了结构平面系统自动导荷问题，提出了一种新的求最小围定块的算法，并讨论了这一算法在土木工程中的应用．
The automatic guided c......
平面与平面平行的判定是立体几何推理证明的基本内容,对于研究平面与平面位置关系起到非常重要的作用.在学习判定面面平行的方法时......
工业前社会中的劝教文化、工业社会的科学知识、信息社会的记录数据,不同的阶段,人类的信息积累会发生很大的变化,数据对社会的影......
在公路建设中经常遇到在坡体前缘地形相对较缓处开挖的情况,由于阻滑段的减重,从而造成原有滑坡复活的案例。本文以十天高速白河立......
本文介绍了一个预测-判定故障的分析方法。如果电路中故障数不超出端口数,则利用这个方法只要经过一些代数运算就可以分析电路中的......
本文提出一种估计自回归AR参数的新算法。新算法采用递推Householder变换算法。文中给出了ARMA(4,4)仿真计算例子及两个正弦加白噪......
1987年5～11月在宁夏盐池县柳杨堡乡的长爪砂鼠自然疫源地发生了鼠间鼠疫流行。在鼠疫流行期间我们对革螨进行了检菌试验,共检70组,......
工程技术实际问题中,如运动系统,自动控制系统等,往往提出这样的问题,如何设计一个稳定的系统;设计的系统在什么条件下稳定;什么......
在过程控制系统中,无自衡过程的动态特性常用传递函数G_p(s)=e~(-Tds)/TS(1)或G_p(s)=e~(-Tds)/T_1S(T_2+1)(2)将实际无自衡过程......
理论界对“双边市场”概念研究的匮乏是导致“双边市场”存在误用和滥用的倾向并引发一系列反垄断分析问题的重要原因,因此需要在......
1引言rn部分企业,特别是刚开始贯标的企业,由于对标准的理解不深,对如何实施ISO9001:2000标准8.2.3条款无所适从,或认为通过内审和......
临场分析是公安消防机构火灾调查人员在火灾现场勘验中进行分析、推断的思维活动，它应用于火灾现场勘验工作的全过程，在火灾事故的勘......
推广Volker Weispfenning关于正的有序实数加法理论的量词消去方法,得到有序实数加法理论的一个量词消去的判定过程.在此基础上构......
1.引言模式识别法在地震危险区预测和地震预报中已有许多应用,但发震特征的选取随地区地震活动特点的不同,以及研究者认识的差异而......
教学质量评价是常规教学工作之一。对教学质量评价，当前没有完全统一的认识。有人认为：“教学质量评价是对学生通过教学发生的行为变......
针对法兰盘类零件采取表面处理的方式为镀黑锌。然而,图纸对外观颜色、镀层强度和防锈盐雾试验频次等没有做相应的规定,造成检验员......
标准化考试在我国正逐步推广,全国高等师范院校物理化学标准化考试的教学科研工作正在深入、广泛地进行。物化标准化考试的试题分......
'大量事实证明,有机体的知觉能力,是随着能够逐渐把握外部事物的突出结构特征而发展起来的.'视觉心理的研究表明,视觉的生......
极值问题一直是高等数学中十分重要的一个问题,而条件极值作为极值问题中典型的代表其重要程度便显而易见啦。在对极值问题的研究......
<正>作为控制过程的统计方法——控制图,仅仅画出来而不知其观察方法、使用方法,还是不能成为过程控制的有效工具。控制图上有3条......
人教版教材在＂12.2三角形全等的判定＂中,安排了这样一则探究：探究1先任意画出一个△ABC,再画一个△A′B′C′,使△ABC与△A′B′C′满......
