Kuramoto - Sivashinsky型方程的广义Hermite谱方法

对广义KS方程建立全离散的广义Hermite谱逼近格式,对离散格式进行先验估计,并证明离散格式关于初值的稳定性.利用广义Hermite函数的某些逼近结果,证明离散格式的收敛性,并得到近似解的误差阶.     

软件再生系统半离散化的研究

利用半离散的方法将软件再生系统中的μi(x)(f=0,1,2,3,)进行离散,得到2个偏微分方程,并证明离散后的解是收敛于原方程的解.     

离散线性时滞系统的指数稳定性分析:基于加权离散正交多项式的方法（英文）

研究离散线性时滞系统的指数稳定性分析问题。引入离散内积,用Gram-Schmidt正交化方法,提出加权离散正交多项式(WDOPs),推出基于WDOPs的求和不等式,包括离散Jensen不等式和离散Writinger-型作为特殊情形;利用基于WDOPs的求和不等式,建立离散线性时滞系统的指数稳定性判据。数值实例说明了结果的有效性。     

一类具有脉冲和多延迟的离散SI模型的持久性分析

研究一类具有脉冲和多延迟的离散SI模型,以原有的连续SI模型为基础,利用Euler法建立相应的离散模型,研究此离散模型的持久性,给出模型持久性的充分条件。     

两相同部件温贮备可修人机系统解的半离散化

为解决利用数值研究两相同部件温贮备可修人机系统的计算问题,利用半离散化逼近方法,将一个抛物型偏微分方程化为矩阵常微分方程,将半离散算法应用到两相同部件温贮备可修人机系统模型中,对系统中的修复率u(x)进行离散,得到该系统的半离散化模型;运用泛函分析理论证明该算法的收敛性。结果表明:离散后方程的解收敛于原方程的解,从而为该模型进一步的数值计算提供了理论基础。     

三维非线性Sobolev-Galpern方程有限差分逼近的长时间行为(英文)

研究三维非线性Sobolev-Galpern方程Dirichlet初值问题的一个全离散有限差分格式。利用离散空间泛函分析和能量估计的方法证明了此数值格式的唯一可解性,同时得到了此差分格式的长时间的稳定性和收敛性。进一步,证明了离散动力系统整体吸引子的存在性以及离散动力系统的上半连续性。上述结果说明该数值离散格式可有效地模拟相应的无穷维动力系统。     

连续与离散互惠模型的持续生存

研究了一类具有时滞的连续互惠共存模型,进一步分析了该模型的离散类比,利用比较原理得到了连续与离散互惠模型持续生存的充分条件.     

连续和离散非线性系统的内动态稳定性分析

针对一类连续和离散非线性系统,利用连续和离散非线性系统零动态和内动态之间的关系,应用连续和离散输入-状态稳定(ISS)理论,研究系统内动态及整个系统的稳定性,仿真结果说明了内动态对非线性系统的影响。     

具双时滞Nicholson果蝇系统的数值逼近

研究一类带有捕捞项的具有双时滞的Nicholson果蝇系统的数值逼近问题。采用欧拉方法,得到相应的离散果蝇系统,将该时滞差分方程表示为映射,然后利用离散动力系统的分支理论,给出该离散果蝇系统的数值Hopf分支存在的充分条件。证明当步长充分小时,离散果蝇系统的数值Hopf分支值逼近于相应连续果蝇系统的Hopf分支值。     

Lp[O,rm]空间上人口发展方程解的收敛性

人口方程的半离散方法由参考文献[1]中的L1[0,rm]空间推广到Lp[0,rm]空间,利用算子半群的理论证明了经过半离散后所得到的两个半离散方程的解在Lp问上是逼近原方程的解,从而证明了这种算法的收敛性.     

一种基于结构和可测性分析的BIST部分扫描算法

提出了一种在内建自测试(BIST)中进行部分扫描的算法,此算法综合了电路的结构分析和可测性分析.文中对其原理和实现分别进行了详细的叙述,最后运用此算法对ISCAS89 benchmark电路进行计算,修改其结构后进行故障模拟,并将实验结果与全扫描结构和仅考虑结构因素的部分扫描结构进行了比较,最后得出结论.     

一种基于数据库分解的关联规则挖掘新算法

在Fp-growth算法的基础上,提出了一种新颖的关联规则挖掘算法.该算法将大型数据库分解成频繁1-项集的项总数个子集,然后对分解得到的各个数据库子集用Fp-growth算法进行约束项数据挖掘,待所有数据库子集的约束项数据挖掘进行完毕后,再合并这些约束频繁项得到大型数据库的频繁项集.实验结果表明新算法所采用的数据库划分策略克服了FP-growth算法对大型数据库进行挖掘时,占用内存大,运行速度慢的不足,是一种适合于大型数据库的关联规则挖掘算法.     

基于Floyd方法的最短路径算法优化算法

最短路径算法在各领域广泛应用,传统研究方法主要集中在算法应用及单一优化,将两种优化方法集于一体的算法很少.以兰州—北京的铁路运输系统实例,利用Floyd与Dijkstra算法结合、代码优化的方法优化传统Floyd算法.结果表明:优化后的算法在很大程度上减少了运算次数和时间,提高了算法的时间及空间复杂度,算法效率较高.     

带界约束条件min-max问题的混合遗传非光滑算法

利用遗传算法和非光滑算法给出带界约束条件Min-max问题的一个混合算法,这种方法综合了2种方法的优点,从数值算例可以看出算法的有效性.     

一类二次二层规划的平衡点算法

Manoel Campelo借助线性规划的单纯形算法,给出了求解线性二层规划的平衡点算法.本文借助线性规划的单纯形法和二次规划的Lemke算法,给出求解一类非线性二层规划的平衡点算法,并给出算例说明算法可行性.     

基于拟下降方法的遗传算法及其收敛性

在遗传算法中嵌入一个传统下降算子,且保留最好个体,利用最好个体的记忆信息对搜索过程进行指导,从而得到既有较快收敛速度,又能以较大概率得到全局极值的用于函数全局优化的混合算法.定义了适当的适应度函数和子代个体的选择算子,且从拟下降观点证明了算法的收敛性.数值计算结果表明了本算法显著优于遗传算法和传统下降算法.     

LDPC译码中的消息传递算法和置信传播算法等效性的证明

给出了LDPC译码中三种算法:硬判决算法、消息传递算法以及置信传播算法的详细步骤,证明了消息传递算法和置信传播算法的等效性,得出了消息传递算法是置信传播算法对数域的实现方法.     

一种改进的MC线性分拆加密算法

介绍一种快速求解矩阵覆盖问题的算法，并对此算法进行了扩展，将原算法中向量的各个分量的取值范围扩大．在此算法的基础上对一种MC线性分拆的加密算法进行了改进，并对其安全性进行了简要的分析．最后给出的算例表明改进的加密算法的密钥选取简单，同样具有加、解密快速．简便等优点．     

基于BP网络的三值动态矩阵控制算法的实现

通过具体分析动态预测控制算法在工业应用中存在的实际问题,提出了一种三值动态矩阵控制算法,该算法主要在优化性能指标函数式中真正地建立了"头、中、尾"3点约束.仿真结果表明,该算法具有系统跟踪精度高、鲁棒性好等优点.同时,针对慢时变、大时延和不确定性系统的跟踪问题,提出了一种基于BP网络的三值动态矩阵控制算法.该算法在三值动态矩阵控制算法的基础上,利用一个3层BP神经网络对被控对象进行辨识.通过仿真,验证了所提算法的有效性.