一致性检查相关论文
在核电站整个寿期内,定期试验用于检查安全系统及安全相关系统与其设计安全功能准则的一致性.过程仪表系统是核电厂定期试验的重要......
目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的 ,还可以最大程度地与原始模型保持相似,能够保留原......
本文首先介绍了面向对象的软件建模工具与一致性有关的组成,然后着重地论述了这样的工具中的一致性问题,以及一致性的检查机制.......
UML是目前广泛采用的软件建模语言。用它作为本体的可视化建模,可以为大多数软件工程师所接受。但UML并非是一种形式化语言。无法进......
针对汽车座椅焊点参数化和知识化管理的实际需求,基于CATIA CAA开发了弧焊标注系统。分析了平板角焊、开槽焊、板管角焊和喇叭焊工......
MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化......
区域自动气象站网是国家观测站的重要补充,是气象防灾减灾预测预警系统的重要组成部分。气象观测资料的质量对气象及相关领域的研......
配网调度不但要求调度人员掌握扎实的专业知识,还需要对有关信息、资料等进行全面掌握,同时具备随机应变、反应灵活等能力。这加大......
为防治大气污染.改善环境空气质量,进一步加强机动车企业环保生产一致性监督管理.国家环保部根据《中华人民共和国大气污染防治法》、......
根据GB17691-2005的要求,从2010年1月1日起,正式实施国IV排放标准。此标准适用于除重型汽油车之外的所有重型汽车。但是时至2010年......
1月10日,国家环保部发布公告,要求各地对汽油车立即严格实施国IV标准,同时表示,全国范围内柴油车实施国IV标准的最后时间点是2013......
目前我国在制定机动车排放的相关法规标准时,主要是从两个方面着手的:一个是针对汽车制造厂新车定型的形式认证和生产的一致性检......
1972年5月22日至25日在徐水再次召开多次复盖经验交流会。参加会议的代表除六四六厂一、二团外,还有江苏省第六物探队、安徽省地质......
本文根据同方向二台仪器各潮波的潮汐因子之比的离散程度,分析仪器对潮汐记录的一致性情况。 对金寨台二套金属水平摆倾斜仪一个月......
本文采用模糊评判的方法综合评判防洪调度决策支持系统中的调度方案,取得了满意的结果.
In this paper, we use the fuzzy evaluati......
本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在文......
该文首先在一个分类比较框架下分析了各种一致性检查和维护机制,比较了各种方法的优缺点.其次我们用图作为开发系统中对象和关系的......
当前,互联网应用已渗透到各行各业,尤其在金融、电子商务等领域,网上交易变得越来越频繁,并在逐渐取代传统交易模式。然而,由于网......
需求分析是贯穿ERP设计及实施中一项非常重要的工作。本文提出了企业实施ERP之前进行需求分析的重要性,并详细介绍了层次分析法在......
龋病是人类的常见病、多发病之一 ,在各种疾病的发病率中 ,龋病位居前列[1 ] 。龋病危害人类健康 ,尤其是儿童、青少年的身心健康......
“计算机支持的协同工作(Computer supported cooperative work,简称CSCW)”这个词是rief和Cashman在1986年提出来的,代表那些支持......
为简化安全性管理,Cisco 系统公司发布了用于集中化防火墙配置的新工具—— Cisco SecurityManager,它将作为 Cisco 新的 VPN 策......
组织不同实验室的车载式路面激光平整度仪,进行实验室间比对试验,并采用曼德尔h、k统计量和Z检验-稳健法对实验室间检测结果的一致......
面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的......
继承(子类/父类)关系是本体中的重要关系之一.为了便于重用和推理,本体将子类/父类关系作了更加细致的语义细化,分为四种不同的子......
IPSec的广泛应用带来对安全策略问题的关注.IETF建议的安全策略系统体系结构采取完全分布式的处理,因此带来缺少策略一致性检查等......
0 引言线阵高分辩角谱估计、体积阵优化波束形成等先进阵处理技术的具体运用,给工程设计、研制提出了更高的要求,传感器阵及信号......
针对可见光与SAR图像灰度差异大,共有特征提取难的问题,提出了一种基于k-均值聚类分割和形态学处理的轮廓特征配准方法。利用k-均......
本文叙述在专家系统中如何维护知识库.主要介绍用规则表示知识的知识库如何发现某条规则有错及如何修改的问题.这是作者在研制专家......
本文主要围绕QFD决策支持软件的分析与设计,在借鉴了已有QFD软件的基础上,通过软件工程的方法,设计开发设计了IntQFD系统,该系统侧重于......
该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性......
对自动观测土壤水分站的数据进行质量控制的方法主要利用了要素允许值检查、台站气候极值检查、时间一致性检查、内部一致性检......
空间数据的一致性作为空间数据质量评价的重要指标,在空间数据入库前进行数据一致性检查是空间数据生产和更新中的重要步骤。其中,矢......
1引言在GSM网络优化工作中 ,对各种系统参数的一致性检查是十分重要的。GSM系统有多个参数控制无线网络的行为 ,例如小区定义数据、切换关......
农机设备质量检查工作关系到农机设备的质量,同时影响着农户的切身利益.只有加强农机推广鉴定产品一致性检查,才能提高农机产品质......
2005年12月6日,国家环保总局发布《关于委托组织2005年度机动车环保生产一致性监督检查的函》(环办函[2005]765号),委托总局机动车......
日前中机中心发出的《关于规范“专用汽车专用功能检验项目”的通知》,对专用汽车(含专用挂车)产品的专用功能检验项目进行了规范,......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
当前,互联网应用已渗透到各行各业,尤其在金融、电子商务等领域,网上交易变得越来越频繁,并在逐渐取代传统交易模式.然而,由于网络......
本文介绍了一种层次式有穷状态机(HFSM)的代数表示,并在此基础之上提出了HFSM的一致性检查方法.这种检查方法主要用于检测HFSM中的......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
目前,我国的新车环保管理已经建立了健全的新车环保监管制度,任何厂家的新的生产车型必须经过国家环保总局的型式认证和一致性检查......
(21)半挂车rnGB/T 23336-2009《半挂车通用技术条件》由国家质检总局和国家标准委于2003年3月23日发布,2010年1月1日起实施.该标准......