基于案例的突发事件推演规则验证方法

为提高突发事件案例利用率和突发事件推演规则的适用性及准确率,结合应急管理和知识管理理论,提出了一种利用相似案例验证推演规则适用性的方法.该方法以共性知识元模型作为突发事件情景、推演规则、案例的共性表示基础.首先,利用当前情景匹配突发事件推演规则,提取匹配成功的推演规则;然后结合当前情景匹配突发事件案例,并以匹配成功的案例对推演规则进行推演验证,验证通过的推演规则用于突发事件情景推演,从而为应急管理提供决策支持;最后,以汶川县七盘沟等泥石流为例验证了该方法的有效性.

迈瑞CAL-8000血液分析流水线自动审核的验证与实施评价

随着医院发展和工作量的不断增加,血常规标本检测工作量与日俱增,血液分析自动审核势在必行。笔者制定了本室迈瑞CAL-8000血液分析自动审核规则,并进行了试运行和验证。现将自动审核规则验证情况详述如下。

基于安全风险的RTL级硬件木马验证研究

信息时代使得信息安全变得日益重要。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心--处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景下,围绕源代码中硬件木马的检测和验证展开了研究。基于硬件木马危害结果属性,在学术上提出基于安全风险的模型和验证规则,给出相应的描述形式,从理论上说明安全验证规则在减少验证盲目性、缩小可疑代码范围、提高评估效率的作用,实验表明,基于安全风险规则的验证,可以避免验证的盲目性和测试空间向量膨胀的问题,有效验证疑似硬件木马的存在和危害,对源代码安全评估是有一定效果的。

Cadence版图设计环境的建立及设计规则的验证

对版图设计需要的工艺库 ( technology file)文件、显示 ( display)文件的书写进行了详细分析 ,并对设计规则验证 ( DRC)

基于规则验证点的面向对象分类精度评价

遥感图像分类是图像分析的重要步骤,其中分类后精度评定是判定图像分类效果的主要依据。目前,面向对象分类的精度评定常采用随机验证点作为评定参数,这样容易造成评定的分类结果精度不高。提出基于规则验证点的面向对象的分类精度评价方法,在使用支持向量机、CART(classification and regression tree)决策树和K最近邻进行分类的基础上,分别采用基于规则验证点和随机验证点的方法对分类结果进行精度评定。实验结果表明,所提出的方法比传统的基于随机验证点的方法得到的分类精度更高。三种分类方法在规则验证点下的最优总体分类精度分别达到了87.92%、91.94%和94.63%,均优于基于随机验证点的方法的精度评定结果。

一种面向主体的服务规则模拟验证方法

本文基于面向主体的服务建模本体(SRMO),开展主体服务规则的模拟验证方法研究。SRMO将服务环境下的服务请求和提供双方描述为智能主体,对常用服务规则进行推理,从而实现开放服务环境下的服务自动发现、选择和匹配。为验证服务规则的合理性和正确性,本文提出了一种基于场景模拟的主体服务规则验证方法,基于该方法设计实现了面向主体的规则验证平台(AORVP),对SRMO中的当前服务规则集进行了验证。基于验证结果修正并完善了SRMO的服务规则集合。

无人机自主飞行任务管理器规则集的Petri网建模与验证

针对规模与复杂度日益增大的自主飞行无人机任务管理器策略规则集,提出采用将"颜色"表达为质数形式的改进的有色Petri网方法对规则集进行建模研究,并依据改进的有色Petri网模型运行过程中各库所内托肯数值的特征设计了规则集存在问题的判定准则。采用该方法对某无人机自主飞行任务管理器规则集进行了建模与验证,结果表明了该验证方法的有效性。

基于NXOpen的验证规则定制

针对知识熔接(KF)函数功能不全面,影响Check-Mate验证规则定制的问题,提出了基于NXOpen二次开发技术定制Check-Mate验证规则的方法。对NXOpen的编程接口进行了综述,介绍了使用NXOpen实现验证逻辑,分别使用C++、C#、VB.NET及Java程序设计语言建立验证规则的程序库,用KF封装程序库中的函数,得到接口统一的KF函数。通过NXOpen二次开发技术建立验证规则类,并调用自定义验证规则的方法,从而提高了创建验证规则知识库的能力,有助于增强产品设计标准的执行。

一种基于业务验证规则的通用单表更新方法的实现

提出了业务验证规则的概念,设计了存储业务验证规则的关系数据库表结构,通过将业务验证规则与业务对象数据处理方法相分离,本文设计并实现了一种通用的单表更新方法,该方法可大大减少系统实现的代码量,使得快速构建数据库应用系统成为可能。

基于Petri网的规则系统的验证

针对一个专家系统规则中典型的结构性错误,即冗余、不一致、不完备、循环,文中提出一种使用Petri网来对规则进行验证的方法。首先,把规则正常化为Horn子句。接着,对这些正常化了的规则重新排序。然后,把这些排序好的规则转化成petri网以及相应的关联矩阵。最后,实现基于关联矩阵的规则验证。它由四个阶段组成:规则正常化,规则排序,规则向Petri网的转化和规则验证。

从实践应用到证据法定:大数据证据的理论证成与规则建构

伴随着大数据时代的到来,大数据证据在司法实践中的证明价值愈加凸显。在肯定大数据证据实践证明价值的同时,囿于大数据证据在我国证据法地位的缺失、证据审查判断规则的缺位,使得大数据证据在法庭审查判断时表现混乱、在法庭质证时辩护效率低下,导致证据裁判规则规范侦查行为的价值功能失灵。从大数据证据的内生应用逻辑出发,大数据证据成为独立证据具有实践基础,包括大数据证据改变了传统证据的司法认知路径,推动了印证证明模式向综合验证模式的转向;大数据证据成为独立证据具有现实基础,包括电子数据无法与大数据证据等同、书证难以包容大数据证据、鉴定意见与大数据证据存在明显区分以及大数据证据与勘验、检查笔录和证人证言等法定证据类型存在诸多区别;大数据证据成为独立证据具有法理基础,从程序法的角度可以发现我国法定证据的分类存在着与取证型侦查行为密切相关的司法逻辑,即一种取证型侦查行为的诞生便会产生一种相对应的证据分类,结合当前我国新型犯罪侦查治理的需要,基于大数据搜索、大数据挖掘等新的取证型大数据侦查行为的出现,大数据证据成为独立证据类型也同样符合我国基于取证型侦查行为的诞生而伴生新的证据类型的法理基础。从大数据证据的真实性审查、合法性审查、科学性审查以及关联性审查等方面建构我国大数据证据的审查判断规则;以印证证明为基础,建构证据与证据之间、证据与案件事实之间、事实与事实之间,及其证据、事实与数据之间“网状式验证”的综合验证规则;以及建构包括绝对排除、相对排除为内容的大数据证据排除规则,可以有效推动我国大数据证据的基本理论证成与证据应用规则的完善。

基于SAT的应答器工程数据逻辑规则提取及验证

工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文深度挖掘各类工程数据间的约束关系,提取数据逻辑验证规则,通过基于SAT的形式化建模、ROBDD构造及深度优先搜索来证明逻辑规则的可满足性。开发基于导出逻辑规则的数据验证工具,并以某城际线路工程数据表为例,与传统工程数据表检查软件进行比较。结果表明,新工具能够识别传统软件无法识别的数据隐患,消除传统验证规则的不完备性,提高工程数据的安全性。

基于规则的用例规约验证方法

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。

浅析实验室对能力验证规则理解中存在的问题

能力验证是评价实验室技术能力的重要手段,也是实验室管理过程中的重要环节,而能力验证规则是规范能力验证的重要依据。如何正确理解能力验证规则对科学合理地使用及管理实验室,发挥其最大效能具有重要的意义。

基于红黑隔离架构的网络安全设备设计

基于IP(Internet Protocol)技术的天地一体化网络数据传输易受非法攻击,基于IPSec(Internet Protocol Security)的传统网络安全设备采用单主机同时连接内网和外网处理单元进行设计,存在非授权用户通过外网直接访问受保护内网的风险。文中提出了一种基于红黑隔离架构的网络安全设备新方案。方案采用红黑分区的设计理念和基于Linux下IPSec框架的VPN(Virtual Private Network)技术,通过在红区实现传输数据、基于“五元组”的安全保密规则合法性验证以及IPSec ESP(Encapsulating Security Payload)协议封装与解封装变换,在黑区实现ESP封装加密数据的公网收发,在安全服务模块实现根据外部指令完成加密算法动态切换和ESP封装数据的加解密处理,并将安全服务模块作为红区和黑区之间数据交换的通道,达到内网和外网相互隔离且有效保障内网安全的目的。实验结果表明,基于红黑隔离架构的网络安全设备抗攻击能力强,加密算法可更换,在百兆带宽条件下1024 Byte包长加密速率大于50 Mbit·s^(-1)。

扩展Struts验证框架实现标准化数据的验证

无论是自动产生还是用户输入的数据,都要验证它的完整性和有效性。这项工作可能非常繁琐,因为数据可能有不同的类型和格式。随着MVC设计模式的流行,Struts框架的应用越来越广泛,在程序设计过程中Struts的验证框架也就必然因其安全、可配置变得广泛起来。Struts的Validator验证框架定义了十几种常用的验证规则,如required(验证非空)、minlength(验证最小长度)、maxlength(验证最大长度)、intRange(验证数据范围)、email(验证电子邮件地址)、date(验证日期)等。这对于提高验证效率和数据验证安全性提供了很好的实现,但这并不能实现一些较普遍而且标准的数据验证需求。本文章主要是通过扩展Struts验证框架实现对专业标准化数据的验证。

基于Luhn算法的银行卡号正确性验证

日常工作中经常会出现银行卡号码填写错误的情况,经研究发现银行卡号遵循Luhn算法规则。通过ExcelVBA和Excel公式实现Luhn算法对银行卡号码的验证,可以避免一些打印核对等中间环节,提高工作效率。

模型自动转换与一致性验证方法

为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展。测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确性进行验证。基于此,提出一种方法进行正确性验证。将测试系统UML模型集转换为时间自动机网络模型,利用现有的模型验证工具进行验证,在过程中根据实际项目需求定义验证规则,实现模型验证过程。

关于公布CNAS 2011年度第一批能力验证计划的通知

各有关单位：中国合格评定国家认可委员会（CNAS）2011年度第一批能力验证计划已制定完成,现予以公布,请各有关单位按照CNAS能力验证规则的要求参加。

金陵石化通过国家认可委员会的能力验证

2016年1月18日，金陵石化收到了中国合格评定国家认可委员会下发的能力验证核查表，显示该公司参加能力验证的样品全部符合《能力验证规则》和《能力验证领域和频次表》要求，检测结果为全部满意。