互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

无线地下传感器网络节点放置算法

为解决在土壤环境中传感器信号的衰减作用影响传感器网络性能的问题,对地下土壤环境中电磁波的衰减情况进行分析并建模,提出一种新的用于地下传感器网络的、基于网格模型的三维节点放置算法MCC3D(Max Coverage Connectivity 3 Dimension)。简要讨论了天气和季节变化对土壤中信号衰减情况的影响以及可行的解决措施。该算法使用尽可能少的传感器达到预定的覆盖率要求,并同时保持最优的网络连接性能。仿真结果证明,该算法可达到预定目的。与随机节点放置算法相比,其覆盖性能和连接性能均大大提高,在满足预定覆盖率门限的要求下,使用的传感器数目可减少约33%。同时,网络连接性能明显优于随机节点放置算     

一类非齐次A-调和方程很弱解的唯一性

通过运用扰动向量场的Hodge分解理论来构造适当的检验函数,得到非齐次A-调和方程Dirichlet问题-divA(x,(△)u)=f(x)在Grand-Sobolev空间很弱解的唯一性理论.     

基于谱域球谐展开的多层快速多极子算法

介绍了基于谱域球谐函数展开的多层快速多极子算法,通过处理三维金属体的散射问题,验证了算法参数选取的经验公式,并对算法性能做出了理论分析,得出该算法具有内存占用少﹑迭代速度快的优点,数值结果显示了该方法的高效性.     

一种基于DM642的电子图像稳定系统

介绍了一种基于DM642的电子图像稳定系统,系统采用灰度投影算法.经过初步试验,该系统的稳像精度小于1个象素,达到了系统设计的性能指标.同时,介绍了电子图像稳定的基本原理和常用算法,分析了系统的组成结构和特点.实践证明,该系统有着一定的应用价值,已经在试验车上得到了初步的应用.     

B元素对正极材料LiCoO2结构及性能的影响

为得到性能优异的锂离子电池正极材料,通过湿化学方法首先制得LiCoO2前驱体,掺入一定量H3BO3后经加热处理即得到掺B样品.通过对掺B样品进行检测分析,结果表明B的掺入能够部分改变LiCoO2的结构;其中当B含量在0.5%～3.5%时效果最好,其循环性也有提高.     

齐次Poisson冲击模型中元件寿命递增的条件

证明元件寿命在齐次 Poisson 冲击模型中依期望序、反向失效率序、反向平均剩余寿命序、增凹序、Laplace 变换序等增加的充分条件,是促使元件失效的随机冲击次数也依相应的随机序增加.     

关于拟 Frobenius 余环

定义并研究了拟 Frobenius 余环,证明了下面几个等价条件:C 是拟 Frobeniua 余环;AC有限生成投射模,并且 l:A→˙C 是 Frobenius 扩张;CA 有限生成投射模,并且l:A→C˙是 Frobenius 扩张;忘却函子Ur:Mε→MA是拟 Frobenius 函子;(G1,U1)与(Gr,Ur) 都是拟左 Frobenius 函子偶;忘却函子Ul:εM→AM 是拟 Frobenius 函子.     

弱拟正规子群对有限群的幂零性的影响

G的一个子群H称为在G中弱拟正规,如果对G的任意子群K,至少存在一个K的共轭子群Kx,x∈G,使得HKx=KxH.利用弱拟正规子群的概念,本文得到了关于有限群的幂零性的一些新刻画,给出了幂零群的一些充要条件.     

关于乘法分拆数上界的一个注记

设f(n)表示分解自然数n为大于1的整数因子乘积的所有方式的数目,用初等简洁的方法改进了f(n)的上界,证明了若nP,P2,则f(n)≤(n)/((q(n)-1)p(n)),其中p(n),q(n)分别为n的最大素因子与最小素因子.