飞翼布局气动设计要点研究

飞翼布局(FLYING-WING)作为一种非常规气动布局,有着传统气动布局无可比拟的优势,因此成为未来飞行器理想气动布局之一.对飞翼布局的气动特性进行了分析,提出了飞翼布局飞机的气动设计要点,并利用算例对这些设计要点进行了验证,结果表明该设计思路具有一定的可行性.     

一个算术函数和它的混合均值(英文)

用初等的方法研究了算术函数k3(n)和Mangoldt 函数的混合均值,并且得到了两个有趣的渐近公式.     

变系数线性微分方程组的求解

本文讨论变系数线性常微分方程组的求解,着重考虑一类只含二个未知函数的变系数微分方程组。同时,基于刘维尔公式,文中还给出另外一种解法。     

基于市场机制的多机器人救火任务分配策略

为解决多机器人系统领域中动态分布式任务分配的问题,对多机器人合作救火任务进行研究。建立了多机器人动态环境下合作救火任务的模型,并针对任务特点提出了一种基于市场机制的任务分配策略。在出价公式的构造上同时考虑了距离、火势、时间等因素,符合救火任务动态任务分配的要求。并在自主开发的仿真试验平台上进行了仿真验证,对试验结果进行了分析。实验结果表明,该分配策略在不同工况下均能高效地实现多机器人救火任务中的动态分布式任务分配问题。     

钢筋钢纤维混凝土剪力墙正截面抗裂因素影响分析

影响钢筋钢纤维混凝土构件开裂的因素很多,精确分析计算尚有难度,目前或可说仍是个半理论半经验的解决方法。尤其是对于剪力墙这类包含有分布钢筋的受弯构件,还缺乏足够的试验研究及理论分析,一定程度上阻碍了钢纤维在这类构件上的应用。本文通过对钢筋钢纤维混凝土剪力墙抗裂性能的理论分析,结合试验结果和已有的简化计算公式对其进行进一步的探讨。     

逻辑基本规律的公式表示

同一律、矛盾律和排中律是思维的三大基本规律,而目前国内大多数逻辑学教材关于同一律、矛盾律和排中律的公式表示却是错误的。就此逐一对这三大规律的公式表示所存在的问题进行了论证。结论是主张取消对同一律、矛盾律和排中律的公式表示。此外,还特别强调了三大逻辑规律作为元逻辑规则的特殊地位。     

量子相位的公式表述和图像

在深入剖析经典相位的基础上,根据对量子力学基本观念的重新认识,再次诠释了量子相位的概念：它是角动量算符的正则共轭变量,相应于经典框架下真实空间中的角坐标仍但在量子框架下的Hilbert虚拟空间中却表现为复指数形式e^iφ≡COSφ＋isinφ,亦即数学上复数域著名的Euler公式．尤其是当φ=π／2时,相应的量子相位即为单位纯虚数：e^iπ／2≡cos（π／2）＋isin（π／2）≡i．利用最近得到的光子态矢函数,它作为光子Schrǒdinger方程的普遍解,除了描述光子的能量特征和光子的动量特征之外,关键是还包含了光子的角动量特征,得以体现光子完整的量子行为,我们据此具体讨论了光子角动量和光子相位的正则共轭关系,分析了宏观的光波相位和微观的光子相位之间的内在联系和本质差异．     

基于水系多样性影响下的砂岩储层流体识别技术探讨

地层水矿化度变化大的地区测井解释难度大,易得出错误的解释结论。以测井响应机理研究为基础,依托阿尔奇公式中的电性、物性和含油性之间的关系,提出了水层底部包络线法、视地层水电阻率法和自然电位与电阻率乘积法。分别以水系相对集中的A井考查水层底部包络线法和视地层水电阻率法识别水系的准确性,以水系相对变化大的B井区考查自然电位与电阻率乘积法直接识别流体性质的实用性。结果表明,当水系相对集中为两套时,水层底部包络线法和视地层水电阻率法可以很好地识别不同水系,为在同一套水系中进行流体识别奠定了基础。当水系变化较大的情况下,自然电位与电阻率乘积法不受水系的干扰,直接识别流体解释符合率达到了80.9%,对于其他地层水矿化度变化大的地区有重要的借鉴作用。     

An,r（X）——一类的正交多项式

探求了一类相关Legendre多项式及其导数的正交多项式的一般表示形式及其递推公式,得到了较好的结论。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。