Ni-P化学镀层相变过程研究

针对镍磷化学镀镀层相变过程中存在的问题,通过X射线衍射、差热分析和透射电镜等手段对含磷原子数分数12.15%的镍磷镀层的镀态组织和晶化过程进行了初步研究。结果表明,这种中磷含量的镍磷镀层镀态下组织为非晶态,晶化起始温度321℃;退火过程中,非晶组织中先形成镍纳米晶,然后纳米晶镍伴随晶化过程进行迅速长大,并在镍基体上析出亚稳过渡相Ni12P5和稳定的Ni3P相,400℃退火90min后的组织为晶粒尺寸为微米级的镍基体上分布着弥散的Ni3P相和少量的Ni12P5相。     

计算同杆双回输电线路潜供电流与恢复电压的二次模方法

提出了利用二次模变换计算同杆双回输电线路潜供电流与恢复电压稳态值的方法.该方法首先利用变换矩阵T进行相模变换,将相量转化为模量,在此基础上再利用变换矩阵H进行第二次模变换,将一次模量转化为二次模量,然后在二次模域中建立计算潜供电流与恢复电压的数学模型.该模型与一次模方程相比,方程和未知数的个数减少了一半, 使得计算量减少,且易于编程实现.对某实际线路进行了计算,其结果与EMTP计算结果一致,表明此方法为进行潜供电流和恢复电压稳态计算提供了另一种途径和选择.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

伪微分算子作用下小波变换中的误差分析

通过对文献[1，2]的研究，在常系数伪微分算子作用下的小波变换中，得到一些新的结论。     

p-亚正规算子的性质

研究p-亚正规算子A∈B(FB)的不变子空间约化A的充分条件，并证明了p-亚正规算子也具有Fuglede-Putnam性质，     

群为完全群的一个充要条件

一个群为完全群，而当它是另一个群的正规子群时，则必为其直因子，反之成立否，马元达（1982）对有限群的情况进行了证明，该文推广到一般群。     

基于子波变换的消噪方法在涡街流量传感器中的应用

基于子波变换消噪原理，结合流量测量持定要求，提出了一种适用于在涡街流量传感器信号处理的单支重构滤波方法，同时给出了滤波级数的选取方法，这种计数方法能够有效地扩大涡街流量传感器的量程下降，通过对实际信号的分析，证实了方法的有效性。     

基于小波变换的块匹配运动估计方法

将小波变换引入低码率视频图像序列的运动估计研究中，提出了基于小波变换的块匹配搜索方法．该方法的特点是可根据运动物体的大小和运动程度，用可变宏块进行运动估计，统一了匹配块和匹配点的搜索，发展了一种改进的三步搜索算法．实验结果表明，该算法比三步法有更高的精度，更适应低码率和多细节视频图像传输中的运动估计．     

Log Gabor小波性能分析及其在相位一致性中应用

对Gabor函数与log Gabor函数进行比较，构造了log Gabor小波，从人类视觉系统认知特性的角度分析了该小波的性能，并与Gabor小波进行了比较，最后将log Gabor小波应用在相位一致性的图像特征检测中，实验证明，使用log Gabor小波不但可以提高特征的定位精度，而且在检测效果相似的情况下，log Gabor小波比Gabor小波可以节约一半的计算量。     

基于小波神经网络的输电线路故障检测

在分析了小波函数时频特性和人工神经网络学习能力和算法鲁棒性的基础上，提出了一个利用小波神经网络检测电力系统输电线路故障的方法。理论分析和基于EMTP仿真测试结果表明，该小波神经网络故障检测模型和算法是有效的，与传统的人工神经网络相比，具有收敛速度快，鲁棒性强的特点。