水下被动定位方法回顾与展望

被动定位,特别是远程被动定位是声纳技术发展的关键和难点。为了提高声纳的探测性能,近年来,在传统的三子阵定位法基础上,出现了一此新的定位方法－－目标运动分析（TMA）和匹配场处理（MFP）。本文分别介绍了3种方法的基本原理及主要实现方式。分析了传统三子阵定位法的局限性。对目标运动分析和匹配场处理技术介绍了其研究热点和发展趋势,这两方面的研究相辅相成,成为今后一段时间内远程被动定位技术的发展方向。     

单演半群的几条性质

讨论了单演子半群的同态以及单演半群是零半群、1半群时的性质，得出了有限单演半群的几条性质。     

Fuzzy拟阵的子结构

本文给出了3种不同的Fuzzy拟阵的子结构,对子结构M(?),讨论了它的秩函数,基,圈,σ算子等性质.     

基于k边连通最小生成子图的网络拓扑管理算法

可移动社区依托于移动自组网,其特征决定了社区网络的临时性通信范围的有限性以及网络拓扑结构的高度动态性.利用图论的理论和方法,提出了一种基于k边连通最小生成子图的网络拓扑管理算法,算法以能量消耗等因素衡量链路的代价值,通过减少高代价的冗余链路来优化拓扑结构,能够较好地适应可移动社区拓扑管理的需求.实验结果表明:该拓扑管理算法有效地减少了网络整体能量损耗,延长了网络的生命周期.     

基于单元相关二次组合BOC无模糊捕获技术

为了克服传统BOC捕获算法在处理相互冲突的多个性能指标方面的不足,基于单元相关输出二次组合概念提出了一种系统最优化的算法设计框架.先将各项性能指标转化为控制参数的确定函数,再将BOC捕获问题转换为参数优化问题.基于该算法框架给出了具体的BOC无模糊捕获算法设计实例.仿真结果表明:该算法能够完全抑制组合相关函数副峰,有效解决BOC捕获模糊问题,并且在判决统计量的输出信噪比和恒虚警下检测概率2个指标上取得良好的效果,具有工程实用价值.     

半环的弱理想

借助环论的思想方法,提出了半环的弱理想概念.在此基础上,提出半环的弱同余概念,讨论它们的基本性质,得到一些相关结论,并且对半环的主弱理想进行了刻划.     

自由幺半群的一族极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.     

金属Ti热学性质第一原理研究

应用基于密度泛函与密度泛函微扰理论的平面波赝势方法计算一组不同晶格常数下六角密堆积(hcp)结构金属Ti的声子谱及相应的静态总能,由此得到不同晶格常数下的自由能,由准谐近似及自由能极小判据得到自由能与温度的关系,进而计算热膨胀系数、定容摩尔热容及定压摩尔热容与温度的关系,对热膨胀系数及定容摩尔热容的第一原理计算值与德拜理论计算值进行比较。结果表明:295 K下声子谱理论值与实验值除在[001]方向上的光学纵模有少量偏差外,其余部分符合得很好;hcp结构金属Ti有一定程度的各向异性热膨胀,沿c轴方向与a轴方向的热膨胀系数比值为1.5左右;热膨胀系数、定容摩尔热容及定压摩尔热容第一原理计算值在较宽的温度范围内与已有的实验数据相符;热膨胀系数的德拜理论值仅在室温以下温区与实验结果相符;定容摩尔热容的第一原理计算值与德拜理论值在中温区有少量偏差,在低温及高温区非常接近。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

有限维素代数上导子的一个注记

设 A 是域 F 上的有限维素代数, , 是 A 上的导子. 本文给出了 及 成为幂零导子的两个必要条件: 若存在0≠a A 满足 a = 0,并且对于每个 x A, 存在正整数 n x ,使得 a n x x = 0,则 是幂零导子; 若 ≠0 且 = ,如果对于每个 x A, 存在正整数n x , 使得 n x= 0,则 是幂零导子.