修正程序相关论文
逻辑程序的稳定模型语义不能很好地用来描述数据库,知识库或者信念集上的约束,为此人们提出了一种新的机制—修正程序.其中的约束......
高地区用水户申请接水，施工前依据用户申请案件基本数据利用水力分析计算程序先行评估现有供水条件并检核给水装置地点供水状况......
核级设备的抗震分析要求当设备低于反应谱刚性截断频率,各阶模态总参与质量未达到设备实际物理质量的90％时,应进行刚性模态修正.此......
介绍了ＤＢ７－亚微米电子束曝光机上电定位检测与修正程序的目的和原理，并叙述了该程序的设计思想和具体实现。......
煤矿井下一般由直线、圆曲线、缓和曲线(完整或非完整型)的线元任意组合而成。由于测量计算比较烦琐,本程序经进一步修改(CASIO FX......
曾被喻作软件危机的2000年日期变换问题,现在看来已是唾手可破。CA-Fix2000则是消除人们顾虑的不错选择。 该软件功能强大,是CA Di......
选择ERP首先要考虑的就是系统的稳定性，系统的功能强大与否是第二因素。这是因为，应用信息化首先要考虑适用，功能多但不成熟的话，还需......
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题。但代价是更新时规则库增大很快，该文提出了“修正的逻辑程序知......
本文采用迭代方法研制出了相界区特征谱的荧光修正程序,用该程序对均匀合金组成的Fe—Ni进行了检验,结果表明,经三次迭代就可消除......
指出随着21世纪的来临，出现的人所共知的例题，不仅仅需在日历数据方面修正程序，而且．也要在计算技术设备方面进行这项工作、TulipCompu......
在多数国家的预算程序中,预算案和其他立法案一样,要经过立法机关讨论、辩论、听证等形式的审议后,才能最终获得批准。在这一程序......
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修......
离公元2000年越来越近了。由于电脑程序设计上的问题,在进入2000年时,美国联邦政府、公司的部分大型电脑,将不能反应这个跨越世纪......
圣诞节来了，各位今年比往年更忙碌，不但要忙着打点礼物，还要处理因为圣诞节要赶做的工作。但是还是请你抽出点空来听听我以下的忠告。......
光伏组件户外Ⅰ-Ⅴ测试受到环境因素的影响,测试结果存在较大的偏差。为提高光伏组件户外Ⅰ-Ⅴ特性测试的准确度,分析测试过程中存......
期刊
