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

针对四轴卧式镗床旋转轴需测几何误差的数目不统一与完备性缺失的问题,提出了基于形状创成函数的四轴卧式镗床旋转轴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)实例信息、计算机规则技术,实现模型完备性审查。以地铁车站的建筑单元为例,实现地铁车站模型在方案设计阶段的交付工作。该方法的提出有助于促进整个建筑行业的信息化发展。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

局部凸分离空间的Von Neum ann完备性

给出局部凸分离空间是 Von Neumann完备的若干等价条件 ,从而得到了 Von

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

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

Hamilton体系与辛正交系的完备性

本文定义了一个Banach空间ZH，并证明了一类Hamilton体系的本征函数系（辛正交系）在ZH空间中具有完备性．还证明了如下结论ZH空间能连续嵌入到L2［0，1］×L2［0，1］但ZH≠L2［0，1］×L2[0，1]

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

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

一个具有完备性和鲁棒性的模糊规则提取算法

从实际检测数据中提取模糊规则进而建立有效的模糊模型对实现复杂系统的智能建模与控制具有重要意义.在一些文献中对该问题进行了较深入的研究,并提出了有效的从数值数据中提取模糊规则的算法(简称为WM和iWM算法).对WM和iWM算法的进一步分析研究表明,该算法在完备性和鲁棒性方面还有进一步改进的可能.本文采用数据挖掘技术提出一个改进的提取模糊规则的算法(简称DM算法)并在完备性和鲁棒性方面与WM和iWM算法进行了比较研究.模糊建模实例表明,本文提出的DM算法具有更好的逼近能力和对不确定数据干扰的鲁棒性.

我国专项应急预案完备性评估指标与方法探讨

我国的应急预案编制工作已进入应用期,一份不完备的应急预案可能造成致命的后果,因此,有必要对应急预案的完备性进行评估.完备的应急预案应涵盖突发事件发生、发展、消亡的整个过程.通过鱼刺图分析构建了应急预案完备性评估指标体系,包括6个一级指标、19个二级指标和60个三级指标;通过层次分析法确定各级指标的权重;构建了应急预案完备性的评估模型;并通过例证表明,通过鱼刺图的方式确定应急预案完备性指标以及构建的评估方法具有一定的实用性和科学性.

精密单点定位用户自主式完备性监测算法

精密单点定位PPP是当前GNSS高精度定位中的关键技术之一,使用的PPP采用扩展卡尔曼滤波估计,未知参数包括站点坐标,接收机钟差,对流层延迟以及虚拟未知数。在QR奇偶检校法的基础上,重点考察设计矩阵向量间的相关距离,将其作为粗差探测和识别的研究对象。通过向量相关距离时间序列,可以区分单个粗差和多个粗差的粗差集。提出精密单点定位的RAIM算法,解决了精密单点定位中的质量控制问题,使得多个粗差的识别更加清晰和快捷。

不完备样本条件下基于支持向量回归模型的滑坡易发性评价

区域滑坡易发性评价对灾害中长期预测预报具有重要意义,在基于统计模型进行评价过程中,样本选取对评价结果有较大影响,构建较稳健的、受样本数量影响小的分析模型非常重要。本文以马来西亚热带雨林地区为例,选择坡度、坡向、地表曲率、地貌类型、岩性、构造、土地覆盖、道路和排水系统等9大要素作为评价因子,结合支持向量回归(SVR)模型计算研究区滑坡易发性指数,并探讨不完备样本条件下易发性评价方法,分析样本数量和评价精度之间的关系。结果显示,基于SVR模型进行该区滑坡易发性分析评价,其成功率验证法的描述精度约为95.9%;同时,样本数量的增减对分析精度影响较小;SVR方法是一种适于热带雨林地区高植被覆盖条件下的分析模型,可为今后同类地区的滑坡灾害管理工作提供支持。