两个与高阶积分有关的Laplace变换公式的证明

本文分别利用高阶积分公式、数学归纳法以及卷积法对与高阶积分有关的两个Laplace变换公式给予了证明.     

线性互补问题在宽邻域下的局部二次收敛算法

艾文宝(2004)的宽邻域算法弥补了内点法在理论和实践表现之间的差异.基于这个算法的优越性,将其推广到线性互补问题中.新算法在一次迭代中,采用两个方向的线性组合作为新方向,并以满步长到达下一个点.可以证明,该算法具有O(n~(1/2)L)的理论复杂度,这是迄今为止最好的复杂度结果.同时,在假设线性互补问题存在严格互补解的前提下,证明算法具有局部二次收敛性.最后,数值实验说明算法是有效的.     

光电密码锁的实验研究

介绍了以红外为信号的光电密码锁的工作原理,并对其各个器件的性能进行了分析.该实验有利于学生掌握光电器件的特性及使用方法,掌握光电密码锁的基本知识.     

单轴应变硅N沟道金属氧化物半导体场效应晶体管电容特性模型

电容特性模型是单轴应变硅金属氧化物半导体场效应晶体管(Si MOSFET)和电路进行瞬态分析、交流小信号分析、噪声分析等的重要基础. 本文首先建立了单轴应变Si NMOSFET 的16 个微分电容模型, 并将微分电容的仿真结果与实验结果进行了比较, 验证了所建模型的正确性. 同时对其中的关键性栅电容C_gg 与应力强度、偏置电压、沟道长度、栅极掺杂浓度等的关系进行了分析研究. 结果表明, 与体硅器件相比, 应变的引入使得单轴应变Si NMOSFET器件的栅电容增大, 随偏置电压、沟道长度、栅极掺杂浓度的变化趋势保持不变.     

严格反馈非线性系统中参数收敛的系统化方法

研究严格反馈非线性系统中参数的收敛性.在适当的持续激励条件下,通过构造一个显式、全局的强Lyapunov函数,给出了系统参数估计收敛于真值的充分条件,且闭环信号全局一致有界,跟踪误差渐近收敛于零.仿真算例验证了设计方案的可行性和有效性.     

弱广义向量拟似变分不等式解的存在性

研究拓扑向量空间上弱广义向量拟似变分不等式解的存在性问题.与Khaliq和Rashid等在单调或伪单调假设条件下,利用KKM定理证明解的存在性不同,在集值映射是非空凸值映射并且有开下截口的条件下,利用Fan-Browder不动点原理证明解的存在性.     

图模式挖掘中的子图同构算法

图模式挖掘问题在Web挖掘、生物信息学、社会关系等众多领域有广泛的应用,它涉及到子图的搜索以及子图的同构问题.这两个问题都具有相当高的计算复杂度,现有的子图同构问题大多采用最小编码算法,但对无标签图特别是对无标签无向图,该算法效率较底,从而子图的同构成为图模式挖掘问题的一个瓶颈.针对无标签图,以代数理论为基础,分别利用度序列和特征值构造了两种子图同构算法,用于对有向图和无向图的同构判别.最后对2个真实生物网络进行了仿真实验,结果表明,算法的效率优于现有算法.     

命题逻辑公式的压缩表示及其相应的形式系统

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.     

掺杂对随机取向团簇粒子辐射特性的影响

利用Bruggeman有效介质理论得到了占有不同体积份额杂质的团簇粒子的等效复折射率.采用离散偶极子近似方法对包含有不同化学成分的随机取向团簇粒子的散射相函数、消光、吸收、散射效率因子、单次散射反照率以及不对称因子等辐射特性参量进行了数值计算,深入探讨了掺杂量对随机取向团簇粒子辐射特性的影响.研究表明,掺杂对随机取向团...     

一种基于线性同余算法的伪随机数产生器

线性同余算法作为使用最为广泛的伪随机数产生算法,具有产生速度快、输出序列周期长等特点,但安全性能不佳的弱点始终制约着该算法在密码学领域的应用.本文在对线性同余算法详细分析的基础上,给出了一种不受乘数a选择限制的伪随机数产生器.该算法具有良好的伪随机性和安全性.