关于双参数C0半群的一些结果

为了丰富半群理论,利用经典的算子半群理论中的方法和双参数C0半群的概念,将单参数的C0半群的一些性质推广到双参数的C0半群,得到双参数的C0半群、生成元及其预解式的一些基本结果.     

η_(e,k)~j算子作用下的小波变换误差分析

在研究拟微分算子及预小波基础上,探讨了jeη,k算子作用下的小波变换,得到了一些新的有用的结果.     

A New Method for the Detections of Multiple Faults Using Binary Decision Diagrams

With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram （BDD）. First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.     

一维亚铁磁无序混合自旋链的磁特性的Monte Carlo模拟

基于一维自旋链模型,采用Monte Carlo方法模拟研究了具有反铁磁相互作用的自旋S-1和自旋S-3/2混合的亚铁磁系统的磁特性,重点研究了自旋的无序排列对此混合系统磁特性的影响.研究发现,基态时,当自旋S-1和自旋S-3/2交替混合(有序排列)时,系统存在M-H磁化曲线的阶梯效应;而当自旋S-1和自旋S-3/2无序混合时,系统的阶梯效应出现涨落,台阶甚至消失.最后,通过对系统自旋组态和能量的研究,解释了该混合系统中所产生的阶梯效应和相图.     

TD-SCDMA系统基于网元仿真技术的OMC功能测试研究

TD-SCDMA系统操作维护中心（OMC）的功能测试中往往要涉及到一些与真实网元进行交互的测试用例，而普通的测试方法是无法成功完成此类工作的。为了解决这一难题，在功能测试中我们引入了网元仿真测试技术，作为测试的一个外部辅助测试工具的网元仿真仪表通过高度模拟真实网元实现与OMC系统功能测试工作。实际测试证明：simulator和真实网元相结合可以很好的完成OMC的功能测试。     

基于自组织规则的热力耦合解析

为解决平面微小结构设计问题中的可变边界条件、多物理场耦合效应等解析难题,利用平面微小结构连续性单元同桁架单元应变能相等的机理,提出了基于元胞自动机的热力耦合解析方法.以发光二极管(LED)基板热力耦合现象为研究对象,通过LED基板温度、位移及热应力耦合的数值结果与有限元解析结果的比较,证明了方法的有效性.适用于平面微小结构的热力耦合规则的提出,为复杂多物理场条件下的微结构工程设计提供了一个具有灵活性的性能解析途径.     

一类完全多部图的Hamiton性刻画

Gutin证明了在强的半完全二部图中若含有一个由两个圈构成的圈因子,则图是Hamilton图。把此定理推广到无向图中就可得到这样一个结果,即含有一个由两个圈构成的圈因子的完全二部图是Hamilton图。在此基础上,对含有由两个圈构成的圈因子的完全n（n≥3）部图进行了讨论,得出了类似于二部图的结果。     

双线性导数方法求解KdV-mKdV混合方程

利用双线性导数方法求解KdV-mKdV混合方程,得到其单孤立子解、双孤立子解以及n孤立子解的解析表达式.运用数学软件对KdV-mKdV混合方程的非线性色散关系进行了分析,并通过波形图像展示了其单孤立子解、双孤立子解的相互作用过程.     

基于卡诺图初等元胞自动机的演化规则

依据初等元胞自动机演化规则的特点,借助卡诺图化简,导出初等元胞自动机演化规则的函数形式。进一步利用推导出的演化规则的函数形式,给出演化规则90和演化规则184的演化定理及相关定理的证明。     

逆向工程中点云数据与CAD数模的配准

提出了一种基于逆向工程的三维测量点云数据与CAD数模配准算法,该算法分两个步骤,即粗配准和精配准。粗配准采用主方向重合法来缩小三维测量点云数据与CAD数模的平移错位和旋转错位;精配准采用四元数法在粗配准的基础上使二者更为精准地重合在一起。该算法已通过VC 代码进行实现,结果表明这种方法能较好地使二者配准。