模型检查

摘要： AVEVA Marine(AM)软件在船舶三维设计中应用广泛,但并未提供模型检查功能。由于船体模型中构件数量众多,为减轻人工检查的压力,利用软件开发手段对模型进行自动化检查成为优先选择。以变高型材对接处的连接代码检查为例,对AM二次开发在船体模型检查中的应用进行探索。研究表明:AM二次开发可有效提高模型检查的效率和准确性。研究成果可为船舶设计人员进行模型检查工作提供一定参考。

摘要： 在三维模型设计日益普及的设计工作中,由于存在一些非模型导出条件和成品,为了保证其与模型的一致性,也为了校核第三方导入模型的设计输入,管道专业引入一种基于设计流程的模型检验机制,从框架定位、设备、管口、管线、管件等方面,校验模型与设计条件的一致性,从而实现管道专业与各相关专业条件、管道专业条件与成品的一致性,保障现场安装顺利进行.

摘要： 不同BIM项目具有不同的建模行为标准,行为标准中对BIM模型的项目基点、模型命名规则、构件命名规则、材质着色、构件属性及模型视图均有详细约定.针对实际BIM应用过程中难以满足工期和模型交付质量要求等问题,通过研究BIM模型行为规则及Revit二次开发接口,研发面向BIM模型行为标准的模型辅助检查软件,实现对模型行为规范的检查.该成果已在上海机场联络线BIM工程中得到应用,应用效果良好,可为类似应用提供参考借鉴.

摘要： 在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率.民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作.阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性.

摘要： 三维体验平台(3DEXPERIENCE,简称3DEXP)以其强大的设计功能在飞机、汽车等设计领域享有很高的声誉.本文基于3DEXP,结合江南造船(集团)有限责任公司的设计质量管理方式,分析了设计流程中重点质量控制环节以及未来可应用的质量管理手段.

摘要： 针对基于模型定义的数字化设计需求,结合我所产品的设计、制造现状,提出并搭建了MBD设计系统的总体框架.以Siemens NX为基础设计平台,利用NX Open二次开发工具集,结合数据库和网络技术,选用VC++编程语言对其进行集成开发,实现基于模型定义的产品设计系统功能的开发与定制.在简要介绍相关二次开发技术的基础上,着重研究探讨了设计辅助工具集、材料库和模型检查工具等功能的开发与实现,以点带面地论述了整个产品设计系统的实现思路和方法.产品设计系统的成功搭建及应用,大大加速了我所在数字化设计、智能化制造领域前进的步伐.

摘要： 随着建筑信息模型(BIM)技术在国内外建筑领域的发展,工业基础类(IFC)作为BIM开放数据标准得到了广泛应用.IFC模型的几何与语义表示方式较为复杂,而且模型规模逐渐增大.现有的基于内存或固定路径查询的模型自动检查方法面临着时间、空间效率与查询复杂度的挑战.为此,提出一种基于知识库的IFC模型检查方法,通过将IFC模型解析与建模为属性标签图(LPG),并存储入图数据库,形成了可推理与灵活查询的结构化知识;依托知识库的建立,提出了基于属性链路推理与剪枝的IFC语义信息检查算法和相关几何信息检查算法,开发了IfcGraph自动化检查系统,实现了模型高效存储、灵活检查,提高了模型自动检查的效率与易用性.最后,通过实际工程项目对提出的方法与相应系统进行了可行性的验证.

摘要： 在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需服务等特点,但由于云计算系统非常复杂,以致难以管理和测试.为了向用户保证云计算系统中存储的可靠性、程序的鲁棒性、数据的安全性等等,必须使用形式化方法对云计算系统的有关性质进行验证.本文主要调研了近年来使用形式化方法对云计算系统进行研究的工作,对云计算系统资源管理、云计算系统安全性等方面的工作分别进行了介绍.

摘要： 建筑信息模型("以下简称BIM-Building Information Model"),现阶段的BIM设计软件现阶段还处在BIM1.0时期,进入平台级并打破各个软件各个专业之间的壁垒,是实现BIM2.0的前瞻性目标.软件并行化的生产方式应用到建筑项目设计、建设、运维各阶段中,是未来建筑行业的发展的趋势,是我国建筑现代化、工业化、信息化的体现.并行工程的关键技术问题就是协同与数据的管理,软件的数据异构增加数据协同与管理的难度,本文通过研究信息系统、参考其他行业软件数据互通的实现方式,探讨了BIM软件数据交换的一种方式,数据交互功能为现阶段各软件完成建筑设计、建设、运维这样的并行工程提供了捷径,实现不同软件不同专业的数据流通,专业软件的侧重不同带来很多信息变异,数据转换时的模型检查技术可以解决数据交换带来的数据变异.在BIM软件发展中会一直伴随着数据交换与模型检查功能.

摘要： XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义.树模式把XQuery表示成树结构的查询,如何基于XML Schema对树模式进行优化是当前的研究热点,需要利用XML Schema的一些特征进行树模式优化,因此如何自动提取XML Schema的特征是需要解决的问题.本文提出基于模型检查的XML Schema特征提取方法.具体地,首先把XML Schema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XML Schema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化.

摘要： 本文首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法和Tableau方法.

摘要： 模型检查是验证有穷状态系统的有用工具.在系统违背性质时它可以给出反例,从而帮助人们发现错误的根源.本文中我们用线性时序逻辑模型检查工具SPIN验证了一个分布式算法,发现了算法中的一些错误.经过改进,最终得到了一个正确的算法.

摘要： 该文就安全协议模型检查分析方法中的状态爆炸问题进行了讨论，在分析了安全协议的运行特征以及入侵者获取知识和运用知识的基础上，总结了五种状态简化的技术。

摘要： 形式化的需求规格说明精确的描述了软件的功能，为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC／DC(修改的条件／判定覆盖)准则是一种实用的结构覆盖率准则。本文结合模型检查技术,提出了一种从形式化的软件需求中自动生成测试用例的方法,以迟到对形式化需求的类似于MC／DC准则的覆盖测试。最后，以一个案例检验该方法的有效性。

摘要： Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示.这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度.研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术.结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例.

摘要： Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示.这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度.研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术.结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例.

摘要： Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示.这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度.研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术.结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例.

摘要： Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示.这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度.研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术.结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例.

摘要： 提供用于构建能够生成多种数据的生成模型的技术。本发明的一个方面涉及的模型生成装置具备：生成部，使用生成模型生成数据；发送部，将生成的数据分别发送至多个学习完毕的识别模型，使各识别模型对数据执行识别，多个学习完毕的识别模型分别通过使用本地学习数据的机器学习获得了识别被提供的数据是否为本地学习数据的能力；接收部，接收各识别模型对被发送的数据进行识别的结果；以及学习处理部，通过使用接收到的识别的结果的机器学习来训练生成模型，以生成使多个识别模型中的至少任意一个识别模型的识别性能降低这样的数据。

摘要： 本发明提供用于构建能力更高的学习完毕的学习模型的技术。本发明的一方面所涉及的模型集成装置具备：模型收集部，从多个学习装置分别收集学习完毕的学习模型；集成处理部，对各学习完毕的学习模型，执行对设定在共同部分内的集成范围中所反映的机器学习的结果进行集成的集成处理；以及模型更新部，通过将集成处理的结果向各学习装置发送，并对于各学习装置，使集成处理的结果用于各学习完毕的学习模型内的集成范围，从而对各学习装置保持的学习完毕学习模型进行更新。

摘要： 提供一种能够复原特殊图案并且能够抑制不良品图案的生成的图像检查装置、图像检查方法以及学习完毕模型生成装置。图像检查装置20包括：分割图像生成部234，对学习完毕模型输入检查分割图像与周围含有图像而生成复原分割图像，所述学习完毕模型经学习，以使得将使良品的检查对象物的图像分割而成的图像即良品分割图像、及包含基于良品分割图像的周围图像的至少一部分的图像的图像作为输入而输出复原分割图像，所述检查分割图像是将检查对象物30的图像分割而成的图像，所述周围含有图像包含基于检查分割图像的周围图像的至少一部分的图像；以及检查部237，基于由分割图像生成部234所生成的复原分割图像来进行检查对象物的检查。

摘要： 本发明公开了检查设备和检查学习模型生成设备，该检查设备包括：第一数据存储单元，其被配置成根据检查对象的状态存储作为时间序列的第一数据；第二数据生成单元，其被配置成通过对第一数据执行短时傅里叶变换来生成第二数据，该第二数据是包括第一频率分量、时间分量和振幅分量的频谱图；第三数据生成单元，其被配置成通过分别针对第二数据中的每个第一频率分量对时间‑振幅数据执行傅里叶变换来生成包括第一频率分量、第二频率分量和振幅分量的第三数据；以及确定单元，其被配置成基于第三数据确定检查对象的状态。

摘要： 本发明涉及一种数字化模型动态干涉检查系统，所述检测系统包括用户输入模块、计算模块以及结果模块，所述用户输入模块用于输入用户数据，计算模块根据用户输入的数据，套入干涉算法进行计算，并将计算结果进行保存，所述结果模块用于对结果信息进行查看分析，确定检测运动模型在运动过程中与其他零件产生是否有干涉系统。该技术方案为保证设计过程问题减少，优化产品的细节，根据功能测试用例，需要对数字化模型进行干涉检查，本案的功能，可以快速的对数字化模型进行动态干涉检查。

摘要： 本发明涉及一种用于检查借助于温度模型确定的电机(2)的模型温度的方法，其中，通过电机(2)的调节器根据目标参量预定至少一个涉及电机(2)的调节参量；其中，根据目标参量和模型温度由包括至少一个与温度有关的参数的电机模型确定调节参量的模型值；其中，确定在调节器的实际调节参量与调节参量的模型值之间的差和/或在由调节器的实际调节参量导出的参量与相应地由调节参量的模型值导出的另一参量的差；其中，将所述差与限值比较，且在超过限值的情况下探测到电机(2)的模型温度与实际温度的偏差。

摘要： 提供了一种异常判定模型生成方法和异常判定模型生成装置以及检查装置，即使在异常的监督图像数据很少的情况下，也能够新追加各种种类的学习用数据，从而能够提供在外观中出现的异常的检查的可靠性。一种异常判定模型生成方法，生成异常判定模型，所述异常判定模型用于将对检查对象进行测定的检查图像数据作为输入数据来判定检查对象的异常，该方法包含：基于疑似数据（Img_fak）来生成用于生成异常判定模型的学习用数据集（Img_tch）的步骤，所述疑似数据不是对检查对象进行测定的实图像数据；以及使用学习用数据集（Img_tch）来生成异常判定模型的步骤。

摘要： 描述一种用于产生虚拟患者模型的方法。在所述方法中，从多个方向中和在患者(P)的多个姿态中获取所述患者(P)的图像数据(BD)。基于所获得的图像数据(BD)产生虚拟患者(ZW)。在借助于医用检查装置(31)进行所计划的检查时，使虚拟患者(ZW)匹配于所述患者(P)的身体姿势。也描述一种患者模型产生装置(20)。此外，描述一种医用检查系统(30)。

摘要： 本申请适用于属于建筑技术领域，提供了一种建筑信息模型检查方法、检查装置及终端设备，该方法包括：获取待检查的建筑信息模型；获取目标知识图谱，所述目标知识图谱由预设的第一数据集构建得到；根据所述目标知识图谱对所述待检查的建筑信息模型进行检查，得到模型检查结果。本申请可以一定程度上解决目前的建筑信息模型的检查方法容易产生偏差，准确度不高的问题。并且，本申请对初步知识图谱的样本检查结果进行人工校验，再根据人工校验信息以及样本检查结果更新初步知识图谱，从而使得最终得到的目标知识图谱更加准确。

摘要： 本申请适用于属于建筑技术领域，提供了一种建筑信息模型检查方法、检查装置及终端设备，该方法包括：获取待检查的建筑信息模型；获取目标知识图谱，所述目标知识图谱由预设的第一数据集构建得到；根据所述目标知识图谱对所述待检查的建筑信息模型进行检查，得到模型检查结果。本申请可以一定程度上解决目前的建筑信息模型的检查方法容易产生偏差，准确度不高的问题。并且，本申请对初步知识图谱的样本检查结果进行人工校验，再根据人工校验信息以及样本检查结果更新初步知识图谱，从而使得最终得到的目标知识图谱更加准确。