精密镗床旋转轴几何误差完备性测量与辨识

针对四轴卧式镗床旋转轴需测几何误差的数目不统一与完备性缺失的问题,提出了基于形状创成函数的四轴卧式镗床旋转轴PIGEs形成机理分析方法与旋转轴完备几何误差测量辨识方法。基于形状创成机理构建了卧式镗床几何误差创成函数,确定了旋转轴可通过误差补偿进行调整的最少与位置无关的几何误差(Position-independent geometric error, PIGEs)数目。建立了卧式镗床旋转轴4项PIGEs、6项与位置有关的几何误差(Position-dependent geometric error, PDGEs)、6项安装误差(Setup error, SEs)与球杆仪(Double ball bar, DBB)测量轨迹半径之间的完备性函数模型,设计了基于DBB的四轴联动Viviani曲线测量轨迹,构建了旋转轴6项PDGEs的NURBS表征与PIGEs、SEs辨识方法。开展了误差补偿对比实验验证,结果表明,利用几何误差完备性测量与辨识结果进行误差补偿,较仅单一补偿6项PDGEs可提升圆轨迹测量精度40.69%。

地铁车站BIM模型信息完备性审查研究

随着智能建造的发展,三维正向设计逐渐替代了传统二维设计,对设计成果的交付审查也将同步转换为对建筑信息模型的审查。地铁建筑设计区别于其他建筑具备较强的功能性,在实际设计交付成果审查中,会存在错审率、漏项高等问题。为解决该问题,本文依据相关国家标准,构建适用于地铁车站建筑信息模型完备性审查的本体模型,同时集成工业基础类(IFC 4.0)实例信息、计算机规则技术,实现模型完备性审查。以地铁车站的建筑单元为例,实现地铁车站模型在方案设计阶段的交付工作。该方法的提出有助于促进整个建筑行业的信息化发展。

2023年甘肃积石山M_(S)6.2地震目录完备性研究

2023年积石山M_(S)6.2地震是典型的“主-余震”型地震,主震后存在大量余震,余震波形相互重叠、难以区分,造成地震目录不完善。为完善该地震的目录,选取震中附近流动台站和固定数字测震台站震后21 d观测到的波形数据,利用模板匹配方法对地震序列重新检测,共得到1412个地震事件,是测震台网地震数量的1.8倍。根据补充后的地震目录,计算出积石山地震目录最小完整性震级为M_(L)1.0,b值为0.74左右。对积石山震源区地震目录的完备性进行补充,有助于分析该地区地震活动的时空分布特征,并为地震危险性、地震活动性和地震预测等研究提供基础资料。

Riesz模范畴的完备性和余完备性

范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。

量子力学完备性问题的哲学研究

从分析哲学视角探究量子力学的完备性问题,有助于重新肃清量子力学中存在争议的基本问题。关于量子力学是否完备的问题,自1935年至今仍处于被热烈讨论的氛围中,对这个问题的探讨促进了量子力学的发展。爱因斯坦直到晚年仍不赞同玻尔等学者对他关于量子力学完备性论证的驳斥,因为在他看来,解决这个问题得依靠逻辑。逻辑是关于推论的科学,特别是对科学语言进行逻辑分析。爱因斯坦的完备性论证是基于其认识论的本质而构建起来的推论。基于此,本文从完备性的内涵出发,从分析哲学视角考察爱因斯坦关于量子力学完备性的推理,揭示了量子力学的完备性具有两个层面的深刻内涵,即波函数Ψ和物理实在的对应关系的内在完备性、物理体系和物理实在的可描述性关系的外在完备性,并据此重新从分析哲学视角阐明量子力学完备性的相关基本问题。

拟拓扑向量空间的运算及其范畴的双完备性

以Diffeological向量空间赋予D拓扑为背景,杨忠强和胡泽英定义了拟拓扑向量空间,即在向量空间上赋予一个拓扑使得加法运算是分离变量连续的,同时数乘运算是连续的.本文在此基础上研究了拟拓扑向量空间的子空间、乘积空间和商空间,并给出了拟拓扑向量空间范畴的定义,进一步证明了该范畴的双完备性.

基于FTA的电站锅炉事故应急预案完备性评估研究

为提升事故应急预案的质量,保障人民生命财产安全,运用事故树分析法(FTA)对应急预案的完备性进行评价。通过建立电站锅炉事故应急预案标准事故树,确定各事件权重,将待评价预案中的事件与标准事故树结构进行对比,找出应急预案中缺失的基本事件,并结合事件权重得到量化的应急预案不完备度,以此可得出应急预案的完备度。最后通过实例说明了该方法的有效性,为制定或修订应急预案提供参考。

基于 PMI领域知识图谱的完备性检查技术研究

针对产品MBD三维模型PMI标注形式不统一、标注易出错和人工检查难度大等问题,提出了一种基于PMI领域知识图谱的完备性检查技术。该技术采用自顶向下的方法构建了PMI领域知识图谱,利用SWRL规则构建了完备性检查的规则,从标注的冗余关系、标注的取代关系和标注的矛盾性3个方面进行检查,并结合Java Web技术实现了知识推理。最后以船用柴油机的机架为对象,验证了该方法的可行性。该技术极大地缩短了检查时间和降低了设计错误率,提高了工作人员的设计效率。

面向三维模型的尺寸标注完备性检查算法

针对目前三维尺寸标注完备性检验存在的冗余判断不够完整和复杂模型检查效率低等问题,提出等价尺寸集与等价节点概念,实现了一种基于等价尺寸的三维标注完备性检验算法。在尺寸标注过程中创建等价尺寸集,以等价尺寸集为基础实现等价尺寸冗余判断,基于等价节点构成的无向图进行尺寸链冗余检验;在尺寸标注完成后,将尺寸缺失检查转换为面特征约束判断。在CREO软件设计的三维标注系统中对多个具有不同特征的模型进行实例测试,结果表明该算法对等价尺寸冗余、尺寸链冗余、尺寸缺失情况均能准确判断,且有效提高了标注的整体效率。

一种基于MBD的三维尺寸完备性审查方法

为减轻人工审查MBD(model based definition)模型尺寸标注的劳动强度,对三维尺寸完备性的自动化审查进行了研究。将尺寸完备性问题归结为对相关几何要素是否定形定位的判断问题,建立了对应约束模型记录约束状态;建立了解析尺寸约束和拓扑约束的约束传播规则,并总结了几何约束的解析算法;针对尺寸缺失造成的约束不足,采用打分策略,并以指定基准或指出尺寸缺失的方式主动添加约束;提出了三维尺寸完备性检查的总体算法。通过对3DDFM原型系统的继续开发,并用三维模型实例验证了方法的有效性。

矩形中厚板屈曲问题Hamilton算子本征函数系的完备性

研究各向同性矩形中厚板的屈曲问题。首先将各向同性矩形中厚板的控制方程组转化为Hamilton系统,然后应用Hamilton体系的分离变量方法得到对边简支条件下对应的Hamilton算子的本征值及本征函数系,并通过符号运算证明了该本征函数系的辛正交性和Cauchy主值意义下的完备性,进而得到各向同性对边简支矩形中厚板屈曲问题的通解。最后通过具体算例,结合通解与另外两侧边的边界条件,得到了四边简支矩形中厚板屈曲问题的屈曲荷载因子。

事物和世界的整体性、完备性及不可计算性

采用基本单位事物方法和数理逻辑方法,针对事物和世界的原型及其整体性、完备性、可认识性以及不可计算性等进行了讨论。世界和事物具有整体性,即除加和性外还具有非加和性,这使得关于事物和世界的认识也同样具有整体性、非加和性的特点。对事物和世界相应的认识,既包括了对事物和世界的部分认识,但关于所有部分的全部认识又不能构成对事物的完备的认识,对事物和世界进行形式化的过程,也因其具有加和性质而是一个无穷过程。这是任何有限的形式化系统都不完备的根源。此外,事物具有多态性和叠加的性质。这是事物和世界及相应认识具有多态性和一定的不确定性的根源。世界原型和世界的可认识性和完备性是认识论科学的最重要基础,并和认识的基本原理、智能的基本原理以及意识的基本原理一起构成整个认识论科学的理论体系。

基于语义网的电网工程BIM模型完备性审查方法

工程各个阶段项目参与各方之间的信息供给和信息需求平衡,是建筑信息模型(BIM)技术在项目全生命周期管理最大程度发挥作用的重要保证。在交付需求标准化方面,尽管我国从国家到地方再到企业相继出台了诸多标准,但尚缺少高效的完备性审查手段以保证交付双方及时有效进行项目信息交付。此外,当前针对各阶段交付模型信息审查的常规手段是人工校验和机器硬编码审核,二者分别存在人工成本高且容易漏判和灵活性不足,且更新困难的问题。考虑到语义网概念及相关技术在知识组织和管理方面的技术优势和应用情况,结合电网工程现有数字化交付标准成果,提出一种基于语义网的电网工程BIM模型完备性审查方法:利用SKOS建立完备性审查本体、审查对象模型本体;对交付标准中审查知识和实际模型信息进行图谱化;二者通过特定关系进行关联,并在此基础上通过SPARQL检索语言实现自动化完备审查。最后通过案例证明此方法的有效性,并对其他领域工程项目交付完备性审查能够产生借鉴价值。

基于逻辑视角的不完备形式背景上知识相容表示与推理

形式背景中的信息不完备引起了知识的不相容性,即蕴涵在不完备形式背景的任一完备化形式背景不能同时成立。逻辑描述是从语义上进行知识表示、语构上制定语义协调推理规则的方法论。首先,从逻辑角度研究不完备数据上的知识相容语义表示,通过定义不完备实例刻画知识的合理性和相容性,并构造最紧致的相容集(相容规范基)。其次,语构上制定具有语义合理性、相容性和完备性的推理规则,从而避免知识推理过程中产生不相容知识和无效知识。最后,将逻辑研究结果运用在不完备形式背景上,引入两类蕴涵形式:↓↓-型蕴涵和↑↑-型蕴涵。这两类蕴涵兼具相容性且相对于可接受性蕴涵尺度更加严格,构造这两类蕴涵的相容规范基并验证其完备性和无冗余性。

宏德书院“数学分析”课程教学改革探讨——以实数完备性理为例

数学分析研究的基本对象是定义在实数集上的函数,实数完备性理论是本课程的重要基础。本文以宏德书院“数学分析”课程的引入为例,探讨如何在大类招生环境下满足拔尖班的基础课程教学。从高中数学到大学数学的转变中,结合学生的知识背景,在教学过程中引入任务型教学、结构教学法和项目化学习等教学方法,让大一的学生能够更好的完成高中数学学习到大学数学学习的数学思维上的变化。在引入实数完备性过程中,从数的发展,数的比较开始,引出数学无限小数表示的必要性,并指出实数产生的原理,从而提升学生提出问题、解决问题及发现问题的能力。

完备神经网络验证加速技术综述

人工智能技术已被广泛应用于生活中的各个领域.然而,神经网络作为人工智能的主要实现手段,在面对训练数据之外的输入或对抗攻击时,可能表现出意料之外的行为.在自动驾驶、智能医疗等安全攸关领域,这些未定义行为可能会对生命安全造成重大威胁.因此,使用完备验证方法证明神经网络的性质,保障其行为的正确性显得尤为重要.为了提高验证效率,各种完备神经网络验证工具均提出各自的优化方法,但并未充分探索这些方法真正起到的作用,后来的研究者难以从中找出最有效的优化方向.介绍神经网络验证领域的通用技术,并提出一个完备神经网络验证的通用框架.在此框架中,重点讨论目前最先进的工具在约束求解、分支选择与边界计算这3个核心部分上的所采用的优化方法.针对各个工具本身的性能和核心加速方法,设计一系列实验,旨在探究各种加速方式对于工具性能的贡献,并尝试寻找最有效的加速策略和更具潜力的优化方向,为研究者提供有价值的参考.

汽车软件功能完备性测试方法

随着技术的发展,汽车的功能越来越多,软件越来越复杂,同时随着经济的发展,用户体验变得越来越重要,主机厂需要在用户体验上加大投入,满足用户需求。因此用户需求的获取与分析、汽车软件功能的设计与验证变更尤为重要,厂家需要对需求的质量和项目开发效率找到一个平衡点。传统软件的开发测试流程已无法满足当前需求快速迭代的过程,为提升开发效率,降低开发成本,保证用户需求被充分理解、开发,测试验证需要探索新的方法。本文将讲述一种更加高效的测试流程及方法,保证用户端与车端功能设计的一致性,系统端与车端功能设计的完备性,以及系统内部功能完整性,综合提升产品市场竞争力。

关于完备性与压缩映射原理的一个注记(英文)

证明在道路连通的度量空间中压缩性质不一定能推出通常的完备性 ,但可以推出Lips chitz完备性。进一步给出在Lipschitz 连通的度量空间具有压缩性质的充分必要条件是空间具有Lipschitz完备性。

我国自然灾害类应急预案评价方法研究(Ⅰ):完备性评价

从自然灾害类应急预案着手,采用故障树分析方法(FTA)对其完备性进行评价。通过建立自然灾害类应急预案的标准故障树,确定各基本事件的权重,并将待评价应急预案的基本事件与标准故障树进行对比,进而得到其需要加强和完善的薄弱环节,并从量化的角度出发得到待评价应急预案的不完备度。最后,采用上述方法分析一个实际的地质灾害应急预案,对该应急预案的完备性进行评价,最终确定其需要加强和完善的方面,为制定或修订应急预案提供参考。

对杭州市部分自然灾害应急预案完备性评价的实证研究

采用故障树分析方法,从灾害的预防与应急准备、监测与预警、应急响应、后期处理4个方面,对2008年以前杭州市编制的部分自然灾害应急预案的完备度进行评价。结果表明:各类自然灾害应急预案的完备度不一,一些应急预案具有较高的完备度,而一些应急预案完备度偏低;大部分应急预案在灾害监测与预警方面具有较高的完备度,部分应急预案在灾害预防与应急准备、灾害后期处理完备度偏低;各应急预案中志愿者队伍的建设、灾害风险评价、应急人员的安全防护、灾后的保险理赔、重要设施的安全防护、启动应急避难场所等基本事件的缺失率较高,反映了部分应急预案编制过程中灾害全过程管理理念的缺失。