一致性检查

摘要： 在核电站整个寿期内,定期试验用于检查安全系统及安全相关系统与其设计安全功能准则的一致性。过程仪表系统是核电厂定期试验的重要内容,通过过程仪表系统执行核电机组的反应堆停堆、专设安全设施以及事故后监测等安全功能。运行人员需要制定系统对应的运行定期试验规程,从而保证核安全以及运行人员和设备的安全。对数字化核电机组过程仪表系统定期试验的范围和内容进行了全面分析,以确保过程仪表系统的定期试验的完整性和全面性。

摘要： 火炮作为最常用的武器系统,经常参加各种任务。每一次任务前系统都要进行一次指向一致性检查,也就是常说的瞄星检查。通过系统内各个设备瞄准北极星(或无限远处其它星星),记录雷达方位和俯仰角度数据,从而进行指向一致性对比。雷达作为系统重要组成部分,瞄星已经成为了日常操作。由于早期雷达在天线上只装备了光学望远镜,瞄星时不仅需要操作人员通过光学望远镜的十字光标瞄星,而且还需要多种辅助工具(雷达操控台、对讲机等),舰员操作起来比较繁琐,既不方便也不安全。基于这种现状,本文设计的瞄星系统通过使用光电望远镜替换光学望远镜,同时增加瞄星控制台,使瞄星的安全性和可操作性得到大幅提高。

摘要： 目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的,还可以最大程度地与原始模型保持相似,能够保留原始模型的价值。因此,越来越多的学者专注于研究模型修复。基于Petri网构建了一个物流派送流程模型,然后将事件日志与流程模型进行一致性检查,主要根据成本对齐测量其偏差,并针对检查到的偏差部分,根据提出的用于辅助模型修复的算法对原始模型进行修复,使得修复后的模型能够完全重放事件日志。最后通过实例分析验证了修复模型的合理性。

摘要： 为改善智能变电站给系统调试的巨大工作量,研究智能变电站设备集成运维仿真。通过信号的状态序列仿真,验证信号正确性,设计集成运维仿真操作平台,建立运维仿真流程,完成智能变电站设备集成运维仿真研究。通过仿真实验对设备配置标准一致性检查后,测试设备装置信号调试,验证发送点与接收点是否一致,发现文中设备集成运维仿真方法的保护配置功能正常,可为智能变电站的安全稳定和可靠运行提供保障。

摘要： 为检查业务流程日志中对关键业务数据的操作和预定义模型中的操作是否存在偏差,提出一种基于Artifact生命周期的业务流程一致性检查方法.基于Petri网建立了业务流程关键数据Artifact的生命周期模型.给出Artifact实例日志,采用A*算法查找日志中的Artifact实例轨迹与模型中活动序列的最佳对齐,计算活动—属性关联拟合度.最后,实现了一个原型系统,结果表明以数据为中心进行一致性检查为流程分析和改进提供了有效的方法.

摘要： 提出一种方法以检查两个流程集的一致性,其中一个源于用户实际的自然语言需求,另一个源于工程师设计的UML顺序图.方法分别获取存在于需求规格说明流程集而不存在于顺序图流程集的任务,以及存在于顺序图流程集而不存在于需求规格说明流程集的任务.方法采用BPMN(流程建模标注语言)分别对需求规格说明和顺序图进行统一表达,获取相应的BPMN流程集,对流程集进行校准,以检查出软件演进中两个关键阶段需求的差异.通过软件数据备份功能的用例,显示出该方法能有效地处理实际的数据集,并可分别为用户和工程师提供简明清晰的需求增补和修改建议.

摘要： 针对汽车座椅焊点参数化和知识化管理的实际需求,基于CATIA CAA开发了弧焊标注系统.分析了平板角焊、开槽焊、板管角焊和喇叭焊工艺参数和约束条件,建立了弧焊标注技术路线,针对板/管厚度的自动计算,开槽焊对称焊缝编号和CC编号冻结解冻机制、映射式一致性检查和多样式2D标注方案,以及焊缝临时参考方向自动计算、喇叭焊焊缝实体的嵌入修正和半面圆柱投影修正等关键问题提出了解决方案.最后,通过界面和功能开发实现了涵盖参数验证、三维标注、二维标注和报表的弧焊标注系统,并通过企业测试获得实际应用.

摘要： 汽车产品在出厂之前,对整车内外所有的零件都必须进行一致性核查,以此保证每一个零部件所具有的质量都和产品应具备的质量相一致.认证的具体流程要对相关的质量控制点加以确定,特别是零部件的主要特征及主要的工序等.当前已有的认证流程还需进行改进,并对检测的相关流程加以创新,建立健全检验体系.基于此,文章针对汽车产品认证中的一致性检查展开了探讨.

摘要： 针对三维纹理映射中存在接缝、颜色差异大等问题,采用基于梯度值之和的选片算法,结合一致性检查、全局颜色校正和局部颜色校正等策略,消除影像的模糊、重影与色差,实现无缝纹理映射,同时避免影像失焦和障碍物的影响,试验结果表明,该方法纹理映射效果较好.%Aiming at the joint and big difference color in the three-dimensional texture mapping, this paper adopts an image selection algorithm based on gradient value summation.Combined with the consistency check, such as global color correction and local color correction strategy, eliminate the image blur, ghosting and color difference, realize the seamless texture mapping, and avoid the influence of image out-of-focus and obstacles at the same time.The result shows that the method of texture mapping effect is better.

摘要： 面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的检查UML类图和状态图之间一致性的方法.首先将类图和状态图形式化为本体,然后将规则法中定义的一致性规则转换为本体操作,通过在转换得到的本体上实施这些操作实现一致性检查.

摘要： 本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在文中,首先分析了当前的关于概念集的一致性检查方法,然后将目前比较流行的OWL的本体表达方式转化为基于UML的表达方式,并对UML进行了适当的扩展,在此基础上提供了一种基于图形化的本体一致性检查机制。该方法基于图形化的形式,简洁直观,容易操作,克服了原有检查方法形式化程度高以及复杂难操作的缺点。

摘要： 区域自动气象站网是国家观测站的重要补充,是气象防灾减灾预测预警系统的重要组成部分。气象观测资料的质量对气象及相关领域的研究具有重要影响,但区域自动站由于投入和建设过快,管理、设备、台站技术力量的不足,已引起了资料质量的明显下降。为了提高广东省区域自动站资料的准确性和可靠性,广东省气象信息中心采用了格式检查、一致性检查等方法对区域自动气象站资料进行了实时的质量控制,提高了资料的质量,从而保证资料发挥高效益。

摘要： 本文首先介绍了面向对象的软件建模工具与一致性有关的组成,然后着重地论述了这样的工具中的一致性问题,以及一致性的检查机制.

摘要： MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。

摘要： MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。

摘要： MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。

摘要： MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。

摘要： MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。

摘要： MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化验证.本文介绍了一种由MEISRDL静态图模型向本体描述语言OWL DL本体的转换方法,给出了MEISRDL静态图模型元素与OWL DL元素的对应规则.同时,根据该规则在VC++6.0的环境下,设计和开发了模型转换模块.本文通过实例表明:该转换模块可以实现MEISRDL静态图模型向OWL DL本体的转换,转换后的模型借助自动推理引擎可以发现模型中存在的一致性问题。

摘要： 本发明公开了基于一致性与非一致性假定条件下的设计暴雨安全性分析方法，包括下述步骤：从多年日降水量序列中提取年最大值序列；采用30年窗口滑动法和30年窗口增长法从年最大值序列中提取一系列子序列；通过广义极值分布拟合各个子序列并推求设计暴雨值序列；采用线性回归法计算设计暴雨序列的趋势值；将上述两种提取方法下的设计暴雨序列的趋势值作差值，根据差值进行安全性分析。本发明为探讨非一致性与一致性假定对推求设计暴雨的差异提出了一种新的方法，比较两种假定下推算的设计暴雨的年际差异，有利于评估设计标准的安全性，能够为水利工程建设、水资源和安全管理、防洪减灾提供借鉴意义。

摘要： 本发明提供了一种电池系统SOC一致性评估方法，包括步骤A：获取电池运行过程监控数据，对过程监控数据进行清洗，对清洗后的数据中的充电状态进行切片；步骤B：计算电压的绝对偏差度和相对偏差度；步骤C：利用sigmoid函数将相对偏差度转化成SOC一致性的异常率。本发明还提供了通过放电数据进行内阻一致性评估的方法。本发明的优点在于：极大的简化了计算方式，通过前期的数据清洗获得干净的样本数据，提高后期计算的精确度，通过切片准确的划分电池的充放电过程，获取对应的数据进行SOC的一致性评估，为电池的故障预警提供了参考，能够更好的了解电池系统的健康状态和随时间变化的情况。

摘要： 本发明涉及一种地表一致性和非一致性联合静校正方法，属于地球物理勘探的地震资料处理领域。本发明主要包括如下步骤：1)地震资料预处理；2)建立近地表速度模型；3)计算地表平均高程；4)对地表以上空气层以地表速度进行填充；5)计算炮点端和检波点端地表一致性静校正量；6)进行地表一致性静校正；7)将地震资料从时间‑空间域变换到τ‑p域；8)计算截距时间校正量；9)进行截距时间校正；10)将地震资料从τ‑p域变换到时间‑空间域。应用本发明，可以结合地表一致性和地表非一致性静校正方法的优点，克服单一方法的不足，得到准确的静校正结果。

摘要： 提供文字一致性确认系统、文字一致性确认装置、文字一致性确认方法及文字一致性确认程序。业务终端发送包括用于进行文字一致性确认的文字数据的文件(步骤S404)。文字一致性确认装置进行所接收到的文字数据的细分(步骤S407)，向用户终端发送包括细分得到的文字数据、和为对应于文字数据的文字的比较对象的被抽象化的候选文字的发布数据(步骤S408)。用户终端对发布数据中所包含的被细分得到的文字数据进行文字一致性确认的游戏，并向文字一致性确认装置发送游戏结果(步骤S409)。文字一致性确认装置向业务终端发送包括基于所接收到的游戏结果的文字一致性确认结果的结果文件(步骤S418)。

摘要： 提供文字一致性确认系统、文字一致性确认装置、文字一致性确认方法及文字一致性确认程序。业务终端发送包括用于进行文字一致性确认的文字数据的文件(步骤S404)。文字一致性确认装置进行所接收到的文字数据的细分(步骤S407)，向用户终端发送包括细分得到的文字数据的发布数据(步骤S408)。用户终端对发布数据中所包含的被细分得到的文字数据进行文字一致性确认的游戏，并向文字一致性确认装置发送游戏结果(步骤S409)。文字一致性确认装置向业务终端发送包括基于所接收到的游戏结果的文字一致性确认结果的结果文件(步骤S418)。

摘要： 本发明公开了基于一致性与非一致性假定条件下的设计暴雨安全性分析方法，包括下述步骤：从多年日降水量序列中提取年最大值序列；采用30年窗口滑动法和30年窗口增长法从年最大值序列中提取一系列子序列；通过广义极值分布拟合各个子序列并推求设计暴雨值序列；采用线性回归法计算设计暴雨序列的趋势值；将上述两种提取方法下的设计暴雨序列的趋势值作差值，根据差值进行安全性分析。本发明为探讨非一致性与一致性假定对推求设计暴雨的差异提出了一种新的方法，比较两种假定下推算的设计暴雨的年际差异，有利于评估设计标准的安全性，能够为水利工程建设、水资源和安全管理、防洪减灾提供借鉴意义。

摘要： 本发明公开了一种基于硬件NUMA的一致性维护系统，包括多个计算节点，每个计算节点包括：多个CPU；一个控制芯片，控制芯片在计算节点内与多个CPU相连，并与其他计算节点的控制芯片相连；其中，控制芯片包括协议逻辑模块和维护逻辑模块，协议模块配置用于连接计算节点内CPU和其他计算节点的CPU，以进行数据传输和处理，逻辑模块配置用于监测协议逻辑模块是否存在功能隐患/性能隐患，响应于监测到协议逻辑模块存在功能隐患/性能隐患，记录状态信息，并对协议逻辑模块调度策略进行调整。本发明还公开了一致性维护服务器。本发明通过在控制芯片增加维护逻辑模块，解决了在高性能计算系统中使用CHI协议的硬件NUMA系统存在的性能和功能隐患，降低设计成本费用。

摘要： 本发明涉及一种基于局部几何一致性与特征一致性的点云补全方法，用于解决点云补全任务中补全结果细节丢失严重以及补全的点云分布不均匀的问题，具体方案包括：基于特征一致性的方法通过加强预测值与真实值之间对应局部区域点云分布的一致性，解决细节丢失问题；此外，在点云生成过程中，本发明采用“粗糙到细节”多阶段方式生成不同尺度的点云，所以，基于特征一致性的方法通过将不同尺度点云映射到特征空间，通过加强不同尺度点云在特征空间的一致性，使得不同尺度的点云在几何形状上更加一致，使得最终的补全结果更加接近真实值。本发明与现有的方法比，很大程度上克服了上述提及的问题，本发明具有明显的提升效果。

摘要： 本发明题为“用于存储一致性数据和非一致性数据的高速缓存”。本公开有利地提供了一种系统高速缓存和一种用于在系统高速缓存中存储一致性数据和非一致性数据的方法。从系统中的源接收事务，该事务至少包括存储器地址，该源在该系统的一致性域或非一致性域中具有位置，该一致性域包括可共享数据并且该非一致性域包括不可共享数据。确定该存储器地址是否存储在高速缓存行中，并且当确定该存储器地址不被存储在高速缓存行中时，向该事务分配高速缓存行，包括基于源位置设置分配的高速缓存行的状态位以指示在该分配的高速缓存行中存储的是可共享数据还是不可共享数据，并且处理该事务。

摘要： 本发明提供了一种身份一致性证明方法，包括S1：通过源链的密钥对所述目标链的账户信息进行签名，以得到结构体信息；S2：通过所述目标链的密钥对所述结构体信息进行签名，以得到证明所述源链与所述目标链身份一致的验证凭证信息，以便于证明所述源链与所述目标链的身份一致，避免了多链校验带来的弊端，提高了效率。本发明还提供了一种实现身份一致性证明方法的身份一致性证明系统。