沿虚轴无穷区间主值积分与逆傅里叶积分变换

在工程技术和科学研究的许多领域,傅里叶积分变换极为重要,但逆傅里叶积分变换手工计算比较困难,限制了傅里叶积分变换的应用范围.研究发现,逆傅里叶积分变换可以变换成沿复平面虚轴上的无穷区间主值积分,由此,导出一个逆傅里叶积分变换的计算公式,可用来快速完成逆傅里叶积分变换计算.     

两个Ramsey数上界公式的统一与改进

该文在引入参数的基础上统一了两个Ramsey数的上界公式且对其一作了改进。     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

复杂环境下的移动机器人路径规划

为了提高移动机器人在复杂环境下的路径规划能力, 通过双层路径规划思想研究了移动机器人路径规划问题：用栅格法对机器人工作环境进行建模,首先采用改进的遗传算法进行全局路径规划,解决了由于交叉概率和变异概率选择不当导致最优个体丢失的问题;然后,在规划好的全局路径的基础上利用改进的人工势场法进行局部动态避障,解决了局部极小点问题。结果表明：移动机器人能够在复杂环境下规划出一条无碰撞的优化路径。可见改进算法的有效性。     

浅谈Sylvester公式及其应用

研究了Sylvester公式的条件及适用范围,并给出它的一些应用.     

一类一般线性聚亚苯基图M_h的Wiener拓扑指标

给出了一类一般线性聚亚苯基图hM的Wiener拓扑指标的递推公式,通过求解差分方程而得到了它的Wiener拓扑指标的精确表达式。最后给出了它推广到一般情形时,其图的Wiener拓扑指标的递推关系式。     

多段加腋型及抛物线型变截面杆件高度计算公式

针对工程设计中经常出现的变截面杆件的实际情况 ,分别就加腋型和抛物线型杆件提出了具有任意多段的实现思路 ,同时就多段加腋型和多段抛物线型杆件分别提出在土建结构软件实现中计算梁高的公式 ,并例举常见的情形作为实例 .这些公式具有适用面广、计算简单、实现容易等优点     

强度随龄期增长的半刚性基层弯沉检测方法

刚完工的半刚性基层材料不能达到设计龄期时的强度 ,以致于半刚性基层顶面施工弯沉检验值不能按设计龄期的强度计算。针对这一点 ,在考虑半刚性基层材料的强度随龄期增长规律的基础上 ,提出合理的路面基层施工弯沉值检验方法 ,并结合有关实例验证其工程的实用性。     

引力波的平行射线矢量场的确定

本文探讨了引力波的平行射线矢量场问题．给出了确定平行射线矢量场的充要条件还得到了有关个场存在性的一个充分条件和一个必要条件．最后．举例说明了本文主要结果的应用。     

具有给定混合光滑模的多元周期函数空间的等价范数及求积公式

考虑了一类具有给定混合光滑模、被赋以Ｂｅｓｏｖ型范数的多元周期函数空间，得到该空间的一系列等价范数，并给出该空间上的渐近最优求积公式误差估计方面的结果。