混气电火花加工机理的分析及验证

介绍了混气电火花加工机理及介质混入气泡的作用,详细分析了混气电火花加工机理,并进行了实验论证·     

一种CDMA2000 1xEV-DO终端物理层软件验证方法

提出了一种可以在计算机上验证CDMA2000 1x EV-DO(EVDO)终端物理层软件的仿真系统.该系统可以模拟实际硬件电路板各个软硬件模块的行为,以及模拟和终端物理层软件相关网络侧的行为,基于此对EVDO终端物理层软件进行仿真验证,提高了新项目的开发效率.     

对应点集移动相对性建模于脱机签名鉴定研究

提出并论证了欧氏空间中签名的对应点集具有移动相对性,基于该原理构建了一种新的脱机签名鉴定模型,并研究了签名间对应点集获取的方法。在鉴定方案中,待鉴定的脱机签名图像和参考样本的签名图像可以看作欧氏空间内两个不同坐标系中的图像,两者间能够建立相对应的点集合,而欧氏空间平面图像其对应点集具有确定的约束关系,利用该约束关系建立模型可以反映出对应点集移动相对性的大小,因此可以利用该值的差异进行签名真伪鉴定。该方法对于真签名的数量要求较低,并且不需要伪签名来进行训练,适用于脱机签名鉴定中存在的极少样本集情况。实验采用中、英文两种签名数据库验证了该方法的有效性。     

含语音增强模块的i-向量说话人识别性能分析

为解决文本无关说话人识别中训练与识别环境不同导致模式失配的问题,提出了一种采用语音增强模块进行前端预处理的i-向量说话人识别系统,从而提高系统对于环境噪声的鲁棒性.为评估不同语音增强算法的性能,利用NIST08核心测试集进行仿真实验.采用IMCRA算法对语音进行噪声估计后,分别用维纳滤波法、MMSE-LSA、传统谱减法和多频带谱减法等4种方法进行语音增强前端处理,在基于i-向量的说话人识别系统下进行实验.实验结果表明采用了语音增强的系统具有一定抗噪声性能,并且在高信噪比条件下,基于多频带的谱减法在此系统下性能最佳,而低信噪比情况下MMSE-LSA算法更有优势.     

双端热透镜Z型固体激光腔图解分析

采用传播圆图解方法研究了具有双端热透镜的Z型折叠固体激光腔的工作特性,得到了谐振腔各腔臂中的光模参数bt1,bt2,b2及光斑尺寸wt1,wt2,w2随激光介质的热动力参数1/ft1及1/ft2的变化关系;结果表明通过合理选择参数可对腔的热稳定范围及基模光斑尺进行调控,其关键参数是对称的第1、3臂的长度l01 f1(或l02 f2),其值越小,腔的热稳定区越宽,同时激光晶体处的基模光斑越小.第2臂中的参数δ对热稳区宽度没有明显影响,但δ值越大,对应的光斑半径wt1及wt2也越大.     

普适计算环境下三维模型的错误保护编码

 普适计算环境普遍存在传输信道误码率高的问题。三角网格模型由于不规则的网状结构,对于传输错误非常敏感。为提高三角网格模型在普适计算环境下的传输质量,提出了一种三维模型的错误保护编码方案。将三维模型数据编码为类似二维图像的方式,三角网格模型不规则的网状结构被消除,数据关联性大为降低,误码弹性得到根本改善。为了进一步提高编码效率,给出了基于错误保护的压缩编码方案。为了控制创建过程中产生的参数化误差,还提出了一种均匀准保角平面参数化方法,确保了重建的三维模型忠实于原始三维模型。模拟试验的结果表明,与常规的三角网格编码方法相比,这种编码方法改善了三维模型数据的误码弹性,并只需较少的存储空间。     

经济研究课题的选择

经济研究成败的关键是选择课题。经济课题的选择须根据客观需要与具体的内容和条件相适应。可采用浏览捕捉、追溯验证等方法进行选择。     

基于动态作图的化学符号编辑系统

软件技术的发展,使得数学公式可视编辑非常方便,W ord的公式编辑器更是深受用户喜爱.但目前的公式编辑器一般只对数学类支持较好.文章在对比各类公式编辑软件的基础上,提出了基于动态作图的图形符号编辑模型.针对化学符号的特殊性,给出了动态作图的面向对象设计,实现了化学符号可视化编辑.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．