高斯定理的数学证明

根据数学中的高斯公式给出了静电场、涡旋电场和静磁场高斯定理的严格证明,得到了力线数密度与电场强度大小以及磁感应强度大小的定量关系,指出了用力线法证明高斯定理的方法是不合理的.     

匀速运动电荷电场中的高斯定理

利用电荷不变性洛仑兹变换得出匀速运动电荷的场强空间分布，验证高斯定理在这样的电场中仍然成立，从而得出高斯定理在运动电荷场中仍然成立的结论。     

高斯面与面电荷重合时的高斯定理

把静电场的高斯定理扩展到高斯面与面电荷重合或部分重合的情况，作为应用，计算了电球面上的场强分布。     

共焦椭圆柱形电容器的场强研究

运用高斯定理,计算出横截面为共焦椭圆柱形电容器的电场强度.     

汽车自动防撞和激光扫描防撞系统与安全同行

一、汽车自动防撞系统结构 常见车辆自动防撞装置包括：前电子感应器、后电子感应器、时速电流处理器、时间继电器、接触器、刹车电机、刹车传力线、刹车脚踏板和电源。前、后电子感应器分别与时速电流处理器、时间继电器相连接，接触器与刹车电机相连接，刹车电机经刹车传力线拉动刹车脚踏板，进而实施刹车。     

基于高斯定理的共焦双曲柱面极板间静电场问题的研究

在广义正交曲线坐标系的形式即共焦双曲柱坐标系下,运用高斯定理来计算出共焦双曲柱面极板间的电场强度及其电势和电容等,图文并茂,方法直观.选择合适的广义正交曲线坐标系的具体坐标形式,通过电势梯度公式和静电场高斯定理以及高等数学知识,可以精确分析研究截面为特殊形状的带电体(面)产生的静电场问题,为处理该类问题提供一种新的研究方法.     

非平行板电容器电场和电容计算的再研究

在正交曲线坐标系下,分别用分离变量法和静电场的高斯定理计算出非平行板电容器的电场强度、电势和电容.     

偏轴椭圆柱形电容器电容和电场强度的探讨

运用儒阔夫斯基变换,通过高斯定理和电势梯度公式,计算出横截面为偏轴椭圆柱形电容器的电容、电势和电场强度.     

柔性吊桥的图解算法

柔性吊桥计算涉及到结构的几何非线性问题,它即是吊桥计算的基本内容,也对深入理解力学知识有一定帮助。本文阐述了运用力线图法图解计算柔性吊桥主索内力及线形,理论浅显,操作简便。     

基于光纤光栅的斜拉桥索力在线监测

应用光纤传感测试技术，将光纤光栅刚性粘贴于传感头外表面上，使传感头承受拉索的索力，通过对光纤光栅波长移动量的解调，就可以测出索力的大小。并将光纤光栅和电阻应变片两种索力测量方法进行了实验对比。实验结果与理论分析证明。该测试系统具有结构简单、测量范围大、稳定性和线性度好等特点，既可用于斜拉桥施工阶段的索力测定，也可用于结构长期的安全监测。     

基于ASME标准的动车组沙箱焊接结构疲劳评估

为了研究动车组沙箱焊接部位的疲劳寿命,根据沙箱的结构建立有限元模型,加载三种疲劳载荷工况,选取主要焊缝,运用ASME标准中的主S-N曲线法和参照BS标准的名义应力法分别计算所选焊缝的应力和累积损伤比,通过计算结果证明沙箱结构设计的合理性.改变焊缝单元的大小,对比不同尺寸单元下两种算法的计算结果,证明主S-N曲线法对焊接结构进行疲劳评估的时候不受有限元网格大小的影响,比名义应力法更为可靠.     

南昆线膨胀岩（土）胀缩特性研究

通过对南昆铁路经过地区红粘土与膨胀岩对比研究，证明该地区膨胀岩是一种碎裂性、低强度、强膨胀粘土岩。其物质组成是胀缩性决定因素，上覆荷载大小，岩体结构与密度１环境条件是影响因素。膨胀岩在反复胀缩和构造裂隙影响下，整体强度比土体还差，使边坡极易坍塌，整治措施只有充分考虑岩体特性时，才能收到应有效果。     

线性系统传递函数阵H∞范数的性质及计算

建立了判断系统[A，B，C，D]与系统[A BR^-1D^TC，BR^-1/2，(I DR^-1D^T)^1/2C，0]传递函数阵H∞范数是否小于1的等价定理．用此定理得到了判断系统[A，B，C，D]是否稳定的另一定理．用此定理使有关判断系统[A，B，C，D]是否稳定及其传递函数阵的H∞范数大小的有关定理的证明得到简化．给出了计算系统[A，B，C，D]传递函数阵H∞范数的算法。     

钢管混凝土拱桥主拱混凝土浇灌的纵向优化分段

根据钢管混凝土拱桥施工过程体系转换的特点,通过成拱状态弯曲应变余能逼近其合理状态应变余能,使成桥运营状态主拱拱轴逼近其恒载压力线,改善钢管混凝土拱桥运营状态的力学性能,提出了主拱混土浇灌纵向分段逆分析方法及其优化快速近似重分析技术。     

沸石去除污水中氨氮的研究

通过室内试验证明，活化沸石是一种良好的除氨材料，交换容量可达1．45mg/g沸石，能够用于污水除氨；影响活化沸石除氟的主要因素是滤料的装填高度，滤速、沸石粒径大小、原水水质以及沸石过程的生物相形成等，建议滤柱较佳工作条件为：滤料粒径0．8－1．7mm，滤料装填高度1．2m，运行滤速3－4m/h.     

三次样条插值确定拱桥合理拱轴线的方法探讨

探讨了在拱桥设计中利用给定的设计初始条件,计算出合理拱轴线的特征点坐标,应用三次样条插值方法拟合出拱桥设计拱轴线,算例表明三次样条插值方法确定的拱轴线能较精确地逼近拱桥的恒载压力线,从而有效地减少拱桥主拱圈的弯距及剪力。     

多元函数极限不存在的直接判别法

提出用一种新方法－构造法证明多元函数极限不存在，并得到了证明多元孙数极限不存在的新条件，举例说明了利构造法证明多元函数极限不存在比通常采用的观察法简单。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

Lucas数列和Fibonacci数列的几个数值性质

给出并证明了Lucas数列和Fibonacci数列的几个数值性质，更正并改进了著名数学家Long的一些结果，并给出了正确的证明，给出了著名数学家Stancliff的一个定理的证明。