Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

利用加锤摆精确测量重力加速度的方法

通过对物理摆周期的计算,得出可倒摆为物理摆的特例.对不同密度的加锤摆进行理论分析,得到只要摆锤的几何尺寸相同(回转半径相同),则沿摆杆移动的摆锤一定有两个等周期且与摆锤质量无关的周期不变点,并推导出周期不变点的位置公式.所推导的公式为精确测量重力加速度等物理量提供了理论支撑.用自制仪器所测得的实验结果与理论结果进行比较,周期误差小于0.7%.     

几类常微分方程组的通积分公式

借助首次积分,给出了几类常微分方程组的通积分的公式,获得的定理是对有关文献结果的推广.     

规范窗口Fourier变换的反演公式及其值域刻画

应用算子论与积分论方法,研究了L2-函数的规范窗口Fourier变换Twwinf的连续性与有界性.证明了Twwin的弱反演公式,并利用Bochner积分给出了规范窗口Fourier变换的强反演公式,得到了算子Twwin的值域刻画定理,即F∈R(Twwin)当且仅当F(b,ω)=〈F,Twwinwb,ω〉.     

H型钢的截面剪应力计算方法研究

根据材料力学截面最大剪应力公式计算出H型钢(按GB11263-89)的截面惯性矩与面积矩的比值、剪应力系数，为剪应力的精确计算提供方便．通过对剪应力计算公式的分析，提出了便于工程实用的H型钢剪应力计算简化公式，计算精度高，且略偏于安全．     

角谱公式与瑞利-索末菲公式的等价性

基于矢量平面波角谱公式和球面波的Weyl表示式,未采用任何近似处理,非常方便地推导出矢量形式的第一类和第二类瑞利-索末菲衍射积分公式。作为特例,当只考虑光场的一维横向分量时,类似地可得到标量形式的瑞利-索末菲衍射积分公式。结果表明：平面波角谱公式与瑞利-索末菲衍射公式是等价的。     

焊制三通在面内弯矩作用下的塑性极限载荷

文中使用ANSYS软件对面内弯矩作用下的焊制管道三通进行了弹塑性有限元应力分析,建立了覆盖常用三通几何尺寸的塑性极限面内弯矩有限元解数据库,并拟合得到高精度的三通塑性极限面内弯矩计算公式,为管道三通元件的强度分析提供了基础数据及方法。     

带泊松跳的中立型随机时滞微分方程解的指数稳定性

主要利用Laypunov泛函方法和随机分析理论,研究带泊松跳的中立型随机时滞微分方程解的存在惟一性和解的指数稳定性．所得结果覆盖了许多非线性时滞微分方程已经存在的某些理论,而且实验说明此结论比以往的结论更容易验证．     

带可扩张位移的双周期Haseman边值问题

对于复平面上既是双周期分片解析的、又在边界曲面上带有位移函数的Haseman边值问题,本文给出了问题的可解性结论和解的封闭表示形式,并用核函数是弱奇性的Fredholm方程解的Cauchy型积分表示出来.     

铝合金构件T形连接承载性能

基于Kulak计算模型,验证并比较了中国和欧洲铝合金结构规范的相关设计公式.完成了9组共25个国产铝合金构件T形连接的试验,对试验结果和按规范公式的计算结果进行了比较.进行了大规模的T形连接数值计算,考察连接几何参数对其破坏模式和极限承载力的影响,并分析了T形连接几何参数对其翼缘有效长度的影响.根据试验和数值模拟结果,进一步完善了T形连接的计算模型和基本假定,并基于欧洲铝合金结构规范公式提出了修正公式.