混沌系统的双向耦合同步

文章对混沌系统的线性双向耦合同步进行研究，通过选取适当的耦合参数，可以达到混沌系统的全局混沌同步，给出了同步原理．对物理学中的WINDMI系统，采用简单的线性耦合方式，运用双向耦合同步方案，讨论其复杂的混沌同步行为，用Mathematica软件进行仿真实验，理论分析和数值仿真结果都表明了该方法的有效性．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

仿真系统VV&A研究

仿真系统VV＆A是针对仿真系统全生命周期可信性评估而实施的一项重要活动，是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV＆A中的关键问题展开研究，包括仿真系统VV＆A概念体系、VV＆A过程模型及VV＆A标准／规范技术框架等，为复杂仿真系统VV＆A标准研究提供对策与参考。     

用VF6.0编程实现贵州省各院校成教毕业生数据与录取数据的碰撞核对

用VF6.0编程实现贵州省各院校成教毕业生数据与该批毕业生考取成高当年的录取数据的碰撞核对,以筛选出与录取信息不符或在录取表中没有录取记录的毕业生数据。     

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

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

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

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

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

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

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

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

遥感估算植被覆盖度的角度效应分析

植被覆盖度是植被在地面的垂直投影面积占统计区总面积的百分比.由于植被反射的二向性特性,不同角度估算的植被覆盖度原则上不可比,另外,不同观测角度对应像元不同的采样面积,对于非均一地表这种面积差异引起的角度效应也非常显著.本文除了考虑植被的二向性反射,还重点模拟分析了由于像元的采样面积差异引起的角度效应及其带来的植被覆盖度估算误差.模拟结果表明:相比天顶观测,在倾斜40°观测时,对于作物和裸土混合,由于面积误差带来的红光波段反射率差异已高达56%,同时引起的植被覆盖度估算误差达到23%,因此研究植被覆盖度的角度效应问题很有必要.     

非线性耦合Hindmarsh-Rose神经元同步迁移

研究了Hindmarsh-Rose神经元在非线性耦合作用下的同步问题,进一步讨论了非线性耦合与线性耦合作用下同步的迁移,采用灰度图的方式表示出Laypunov指数,判定了混沌系统的同步;然后给定暂态过程值,通过计算误差函数给出二级耦合下线性耦合与非线性耦合同步参数区域,发现非线性耦合对线性耦合有比较强的调制作用.