贝尔定理与电子自旋

本文证明,在贝尔定理的证明过程中,实际上用到电子自旋（或其他费米子的自旋）的任意两个分量的联合概率,而这一联合概率却并不存在,因此,贝尔定理言之无物。贝尔的工作的意义是通过“自旋相关函数”的“隐变量表达式”或其他公式,在这种纯属子虚的联合概率与现实的跃迁概率之间建立一种人为的关系,并引出一个矛盾,从而证明这两种概率各自遵循不同的规律。这一工作既不涉及定域性原理也与经典概率论无关。     

无相间物质传递化学驱浓度方程算子分裂隐式解法

为了改进化学驱数学模型 U TCHEM显式求解浓度方程计算速度慢、计算结果精度低的缺点 ,研究了隐式求解组份浓度方程的方法。根据具有无相间物质传递关系的化学驱油藏流体渗流过程满足的相行为 ,推导出了化学驱数学模型 UTCHEM物质守恒方程的等价形式 :饱和度方程和组份浓度方程。利用算子分裂技术将组份浓度方程分裂为扩散方程和对流方程 ,隐式交替求解对流方程和扩散方程得到组份浓度方程的隐式解。扩散方程采用隐式局部一维格式差分离散 ,利用追赶法求解 ;对流方程选用了隐式迎风格式差分 ,并且结合油藏模拟问题的流场是有势场的特点 ,实现了对流方程隐式差分显式求解。所建立的隐式求解浓度方程的方法提高了计算精度 ,可以加大计算时间步长 ,加快计算速度。     

隐Markov模型在剪接位点识别中的应用

剪接位点的识别是基因识别中的一个重要环节。由于现有的基因识别算法主要关注编码区的整体特性 ,而并不着重考虑个别位点的信息 ,因此难以准确地识别出剪接位点。考虑到剪接位点附近的保守序列的相邻碱基之间应该存在某种相关性 ,利用一阶 Markov链建立了表述这种相关性的模型 ,在此基础之上 ,设计了专门用于剪接拉点识别的隐马氏模型 (HMM)方法。实验结果表明 ,用 HMM描述剪接位点附近序列符合实际情况 ,并且利用这一方法进行剪接位点的识别可以很好地提取位点附近保守序列在边缘分布与条件分布 (转移概率 )上的统计特征。使用该方法对真实剪接位点和虚假剪接位点进行识别 ,识别率均可达 90 %以上。     

一类柔软物体悬垂的实时模拟技术

使用质点-弹簧(MS)模型来表示一类柔软物体(如织物)可能是一种最简单和直观的建模方案．显式尤拉方法是使用MS模型来产生动态效果的最简单方法,但该方法的严重缺陷在于算法本身的不稳定性．隐式积分方法是一种可行的算法,但关键要寻找一种有效的方法求解引入的大型线性系统．本文提出了一种基于雅可比迭代法的隐式数值积分算法,通过理论证明和分析,该算法稳定地更新n个质点的状态所需时间复杂度为O(n),较已有的隐式积分算法有了很大的改进．     

非线性隐拟变分包含的解的灵敏性

用隐预解算子的方法来分析Hilbert空间中非线性隐拟变分包含的解的灵敏性,推广了这个领域中的一些最新结论。     

一种基于LSB隐写算法的图像盲检测方法

在隐写技术被动检测模式下,用数学方程对LSB图像隐写算法进行抽象和建模,定量分析被检测图像的隐写信息边界情况,根据隐藏信息的比特数推出隐藏信息的检测概率和误检概率的表达式,提出一种基于LSB隐写的图像盲检测方法。基于LSB隐写的盲检测方法在LSB隐写算法嵌入图像的隐藏信息超过一定范围时,可以有效分辨出原始图像和隐藏信息。     

基于模拟退火算法与隐马尔可夫模型的Web信息抽取

典型隐马尔可夫模型对初始参数非常敏感,采用随机参数训练隐马尔可夫模型时常陷入局部最优,应用于W eb信息抽取时效果不佳.文中提出基于模拟退火算法与隐马尔可夫模型的W eb信息抽取算法.通过实验比较选择最佳的模拟退火算法参数,结合Baum-W elch算法优化隐马尔可夫模型并应用于W eb信息抽取.实验结果表明新算法在信息抽取的精确率和召回率都有明显的提高.     

一种基于局部扭曲立方体的无死锁路由算法

局部扭曲立方体是一种新提出来用于并行计算的互连网络.经研究发现,局部扭曲立方体中已有最小路由算法存在着死锁.针对原有算法的特点,提出了一种新的无死锁路由算法并给出了无死锁证明.利用将物理通道分成2条虚拟通道进而形成2个不相交的虚拟网络,将不同的点对之间的路由限定在某一个虚拟网络中,从而有效地避免了死锁的产生.同时,利用一个局部扭曲立方体可由2个低维子立方体和2-扭曲立方体构成这一性质,在局部的低维子立方体和2-扭曲立方体中均采用自适应路由,从而提高了算法的自适应性.     

BP神经网络用于函数逼近的最佳隐层结构

研究采用反向传播算法的人工神经网络用于函数逼近时的支结构。方法,以典型的ｎ输入、单输出的多层ＢＰ网为例,在几种不同的网络隐层结构下对典的连续函数进行逼近训练。,分析各网络输出的全局误差。     

解偏微分方程的线性多步法的傅立叶分析

讨论了如何将显式、隐式线性多步法转化为显式、隐式的向量单步形式,对它们进行了傅立叶分析, 给出了它们的可解性假设条件.