互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

带束层角度对全钢子午线轮胎应力影响的有限元分析

考虑轮胎的几何非线性、橡胶材料的不可压缩性、帘线增强橡胶复合材料的各向异性以及轮胎接触非线性,建立了9.00R20规格全钢丝载重子午线轮胎的有限元分析模型,并分析了带束层角度对充气和垂直载荷两种工况下的带束层钢丝帘线第一主应力的影响;得出不同工况及不同角度改变方案下的带束层上最大应力节点的S₁变化趋势,可为实际工程提供理论指导。     

磁耦合谐振无线电能传输系统线圈角度偏移的联合仿真

针对在某些特殊环境下无线充电装置的发射线圈与接收线圈产生角度偏移的非线性耦合问题展开研究,依据磁耦合谐振式无线电能传输电路模型,对无线电能传输效率与发射线圈和接收线圈之间的偏移角度的关系进行了分析。使用ANSYS Maxwell仿真软件,建立了多种线圈偏移角度模型,分析了线圈参数,将所创建的线圈偏移角度模型导入ANSYS Simplorer仿真软件,对磁耦合谐振式无线电能传输系统进行联合仿真。通过研究得出了角度偏移的一种极限曲线,有助于磁耦合谐振式无线电能传输系统的非线性校正和优化。     

间歇式反应釜智能型温度控制器的研制

反应釜是化工类生产过程中的重要设备,笔者针对其在不同生产工艺反应过程中的共同特点,研发出1种简单且行之有效的控制方法:以单片机为核心,采用微电子技术、扩大量程自诊断法、相关自诊断法、自校正及抗干扰技术;由时间最优、预估、PID,Bang-Bang基本控制规律组成复合控制算法;根据偏差和偏差变化率自动切换执行不同的算法;采用汇编语言编程。     

BIM云平台中三维模型的任意剖切

针对BIM云平台中三维模型的剖切通过移动竖向或横向的剖切面来实现,剖切方式不灵活,仅是选择性渲染的效果且无法自动获得剖切面的信息的问题。基于Unity3D提出了一种对复杂BIM模型进行任意角度剖分并缝合原模型及剖面的分割算法。运用该分割算法可以从任意角度对BIM云平台中三维模型进行剖切并得到所有剖切点,根据分组排序的剖切点自动计算出每个被剖切构件剖切面的面积、圆形管件的直径以及管件之间的距离。该剖切方法在实现任意剖切的基础上获取到剖切面的关键信息,能够更好的指导现场施工作业。     

四电子体系的自旋波函数

利用了3种不同方法：角动量耦合法、线性组合法和角动量升降算符法,得到了四电子体系的自旋波函数,对构造多电子体系自旋波函数有重要意义．     

润湿行为的研究进展及在工程中的应用

从润湿行为的表面特征及其形成机理出发综合阐述了润湿行为的概念、表征方法、分类,并综述了润湿行为在国内外的研究进展和研究现状,同时从研究润湿行为的实验方法和理论方法两个角度,概括性地阐述了研究润湿行为的不同方法之间的联系和各自的优缺点,通过概括和对比其研究方法提出了一些改善某些物质间润湿行为的方法途径和主要技术。综合归纳了润湿行为研究在各行业尤其在金属材料的制备和防腐等工程实际中的具体应用,尤其在金属材料工程中的应用较多。随着科技的进步以及新材料的不断开发势必将受到更多的重视,对其进行深入研究将会有力地推动金属材料加工及制备的发展。最后,指出润湿行为研究的发展趋势,并对今后润湿性行为的相关研究提出了展望和一些建议。     

轿车双侧顶盖抗压性能的虚拟实验评估

研究了小型汽车在双侧顶盖抗压试验中的安全性能,评估了不同滚动角及俯仰角组合对顶盖强度的影响,并分析了顶盖近侧及远侧之间抗压性能的差异.通过顶盖抗压试验对汽车的有限元模型进行验证;基于不同滚动角度及俯仰角度进行全因子正交试验设计.虚拟试验结果表明:俯仰角和滚动角的变化对顶盖抗压性能有显著影响,在127mm(5inch)的压缩行程中,当俯仰角相同时,在10°～45°滚动角范围内随着角度增加顶盖两侧强度持续下降;而当滚动角相同时,在5°～15°俯仰角范围内随着角度增加顶盖两侧强度逐渐减弱.总体来看,近侧顶盖的强度性能明显高于远侧.     

关于一对集值映象和两对单值映象的公共不动点定理(英文)

该文的主要目的是,对于一类严格压缩条件,在不具有紧性和不使用连续性的条件下,建立了一对集值映象和两对单值映象的公共不动点定理.定理推广和改进了一些现有文献的相应结果.     

大间隙磁力传动系统电磁场切换相位角研究

基于ANSYS软件建立了行波磁场驱动的大间隙磁力传动系统的二维电磁场仿真模型,分析了电磁体四种磁极状态下,永磁体角位移位于0°到360°之间所受的磁力矩情况.为使系统获得最大驱动力矩,提出了电磁体磁极状态切换的最佳切换相位角的概念,并对其进行了求解.通过分析系统中电磁体和永磁体间耦合距离及两电磁体间磁极距离对系统最佳切换相位角的影响,得到了最佳切换相位角的近似计算公式.通过轴流式血泵负载实验,结合血泵负载力矩模型,计算并比较了各种切换相位角下血泵的最大负载力矩.结果表明:按仿真所得的最佳切换相位角进行相位切换可使系统具有最大驱动能力.