在真实环境中纠缠动力学的非马尔科夫效应（英文）

在非局域退相干系统中,研究了环境紊乱程度对两体非马尔科夫纠缠动力学的影响.通过模拟环境的噪声,发现了纠缠保持依赖与环境的紊乱程度.并给出了相应的物理机制.     

网络教学系统中服务器端和客户端的优化策略

基于P2P流媒体技术的网络教学系统,主要解决索引资源及平衡负载等方面的问题。本文提出了系统服务器端和客户端的改进策略,给出了缓冲区冲射策略以及数据调度算法的优化。     

溶剂效应对香豆素模型分子中密度泛函活性指标的影响（英文）

运用密度泛函活性理论研究了香豆素在非极性和极性溶剂中的行为和规律.结果表明香豆素的分子结构和活性指数与溶剂介电常数ε相关因子(ε-1)/(2ε+1)直接关联.在非极性和极性溶剂中一些结构参数和电荷分布数与该因子成良好的线性关系,但密度泛函活性指标与相关因子却存在完全不同的相关性.在非极性溶剂中它们是线性相关关系,而在极性溶剂中它们表现出二次方的相关性.本文讨论了这种行为差异存在的可能内在原因,为理解溶剂效应对活性指数的全面影响提供理论依据.     

一类具有一般发生率和饱和治疗函数的SIS传染病模型的分支与稳定性分析（英文）

介绍带有一般发生率和饱和治疗函数的SIS模型,采用连续可微的饱和治疗函数,描述当医疗条件有限并且感染者的数量增加时,延迟治疗所产生的影响。采用的是一般发生率,包括双线性发生率与标准发生率。给出无病平衡点与地方性平衡点存在性与全局渐进稳定性成立的充分条件,证明当治疗能力很低时出现倒向分支,因此必须提高治疗的效率与能力。数值分析证明了Hopf分支的存在性。     

Sine-Gordon方程组的全局吸引子的Lyapunov函数和维数（英文）

该文考虑了sine-Gordon方程组的解的渐近行为.首先,研究方程组(1)的吸收集及其生成的半群S(t)的渐近紧性,并证明在空间(H_0~1)~2×(L~2(Ω))~2中该方程组存在全局吸引子A.其次,为了解更多有关全局吸引子A的信息,研究全局吸引子A的Lyapunov函数.最后,证明了全局吸引子A的Hausdorff维数及分形维数具有仅取决于ε和特征值的有限上限。     

基于Logistic 奇异值分解模型的全基因组关联检测（英文）

从海量的单核苷酸多态性(SNPs)中,挑选出与疾病或某些临床、环境因素有关的位点,仍是全基因组关联研究中的一个重要课题。针对表型-SNP数据构成的二维列联表结构,提出了一个Logistic SVD模型。该模型可以同时考虑所有的SNP。另外,通过刻画SNP基因型在不同疾病表型水平下的分布差异,基于该模型构建了一个SNP检测准则。模拟研究显示,所提出的检测准则比现有的检测方法更加有效。     

比率依赖捕食模型的Hopf分支（英文）

讨论带扩散的比率依赖捕食模型在齐次Neumann边界条件下的Hopf分支,通过选择适当的分支参数,证明Hopf分支的存在性。当空间区域是区间(0,π)时,利用规范型理论和中心流形定理,得到该系统分支周期解的方向及稳定性的决定条件。     

不确定基因调控网络的保成本控制（英文）

针对一类含常数时滞的不确定基因调控网络,设计了状态反馈控制器,使得闭环系统鲁棒渐近稳定,并且其线性二次性能指标有上界。基于李雅普诺夫稳定性理论和线性不等式技术,给出保成本控制器存在的充分条件,进而通过求解一个线性矩阵不等式约束的凸优化问题,得到最优保成本控制器。数值实例结果表明,所设计的保成本控制器是有效的。     

求解无约束凸优化问题的广义迭代算法（英文）

利用无约束优化问题的解集与方程不动点集的等价关系,提出求解无约束凸优化问题的一种隐式迭代格式和一种显式迭代格式。在希尔伯特空间框架下,证明该算法强收敛到无约束优化问题的解,收敛点为某个强单调变分不等式的唯一解。推广和改进了现有的一系列相关结果。     

基于MILP的云计算数据中心扩张策略优化模型

随着云计算系统的日益发展,云服务提供商需要对大规模数据中心进行不断扩张,为此,提出一种基于混合整数线性规划(MILP)的数据中心扩张策略优化模型.综合考虑了流量负载、能耗、电力成本、土地成本、税率、服务器利用率等多种约束,构建MILP模型,在满足用户的服务级别协议(SLA)下,求解最优扩张策略,使服务商利润最大化.其中,扩张策略包括扩建现有数据中心和在何时何地新建数据中心等措施.仿真实验结果表明,该模型能够根据实际情况获得最优扩张策略,提高了利润.     

一类时滞多组病毒模型的全局稳定性分析（英文）

研究具有双线性发生率的带时滞的多组病毒模型,分别针对强连通和非强连通情形,得到基本再生数R_0。利用Lyapunov泛函方法和LaSalle不变集原理,分别证明当R_01时无感染平衡点P_0的全局渐近稳定性以及R_01时慢性感染平衡点P*的全局渐近稳定性。     

基于迭代相位恢复和相位截断的非对称光学加密拓扑（英文）

基于迭代相位恢复算法提出了一种非对称光学图像加密拓扑.该系统通过在相位迭代恢复过程中使用相位截断和补偿来构造一个单向陷门函数,生成一对用于加密的公钥和相应的解密私钥,以一种非对称的方式实现原文和密文加密和还原.与传统加密方法不同的是,利用特定的光学6f系统,该加密方案可将原文图像加密隐藏到具有独立信息的实值密文图像中.将点对点的图像节点之间的图像加密进行拓展,可构成具有多种拓扑单元的光学图像加密拓扑.在拓扑网络中,每一幅图像可视为一个网络节点,它们既具有自身的信息值,也能实现节点之间的非对称转换和加密传输,实现快捷高效的图像存储和传输的同时也极大地提高了网络拓扑结构在应对噪声和许多已知攻击时的鲁棒性和安全性.数值模拟实验结果表明了该系统的可行性和有效性.     

基于多学科交叉的复变函数与积分变换教学优化策略

为了增强学生的跨学科交叉思维能力和创新思维,多学科交叉融合教育背景下复变函数与积分变换课程的教学改革非常必要.基于教学最优化理论与研究性学习理念,对于复变函数与积分变换课程的教学改革提出了一些优化策略,通过教师的教学改革和学生的学习改革相结合,可以激发学生的求知欲,增强学生的数学综合素质,更好地培养学生的创造性,开拓学生的思维.     

模糊逻辑函数中文字的可消性质（Ⅰ）

设Ｆａｙｐ’ａ１ｐ１＋…＋ａｍｐｍ是非冗余析取范式，文字ｙ可消等价于文字ｙ在Ｆ‘＝ａｙｐ’＋ａ１ｐ１…ａｔｐｔ中要消，这里α≤ｍｉｎ｛ａ１，…，ａｔ｝，ｐ１，…，ｐｔ不含文字ｙ。     

一类具有时滞和Holling Ⅱ型功能反应的捕食模型的全局稳定性和分支（英文）

研究一类考虑捕食者妊娠产生的时滞和Holling II功能性反应的两种群捕食模型。通过分析特征方程,研究模型可行平衡点的局部稳定性及共存平衡点处Hopf分支的存在性。使用无穷维系统的持久性理论,证明当共存平衡点存在时,模型的持久性。通过构造恰当的李雅普诺夫函数以及使用La Salle不变性原理,证明当共存平衡点不存在时,捕食者灭绝平衡点是全局渐近稳定的;给出共存平衡点全局渐近稳定的充分条件。数值模拟例子验证了理论结果。     

基于日志分析策略的分布式网络入侵预警系统模型

日志文件分析是系统安全检测的重要内容；同时日志文件也是计算机取证的重要依据；作者针对分布式网络日志文件管理和分析的几个难点，提出了日志文件的安全管理模型和分析处理策略，最后提出了在此基础上的分布式网络入侵预警系统模型及其设计方法。     

赋范空间中一个二次方程解的个数（英文）

研究方程Q(u)=g,其中Q是映射一个赋范空间到另一个的连续二次算子。显然,若u是该方程的一个解,则-u也是一个解。给出没有其它解的条件,并应用其研究偏微方程uΔu=g的Dirichlet边值问题。     

基于排队和汇流模型的收费站优化

道路在现代社会和经济活动中起着关键作用.如何设计收费站,提高公路服务水平就显得尤为迫切.首先根据事故预防、吞吐量和成本因素,设计了公路收费站的形状和规模.然后,研究了收费站外的车道合流方式,并对基于排队模型和合流模型的最终方案进行了优化和改进.此外,针对交通现实,建立了一个仿真模型,研究自驾车辆数量对收费方式的影响.最后基于该模型,对其应用提出了具体建议.     

基于灰色系统GM（1,1）模型和Verhulst模型的矿石价格预测对比研究

提出矿石价格预测对于矿山企业的重要性,研究矿石价格走势,预测矿石价格.运用灰色系统GM（1,1）模型和Verhulst模型对近十年银矿石年平均价格进行分析预测,分析对比预测结果,得出GM（1,1）比较适用于矿石价格预测,价格相符度比较高,预测结果能为矿山企业和政府提供相对可靠的价格信息来源.     

一类固固相变的相场模型弱解的定性研究（英文）

证明了由一类非线性退化抛物型方程组成的偏微分方程模型带有Neumann边界条件的初边值问题弱解的存在性,并将该模型应用到描述形状记忆合金等智能材料中的马氏体相变。也研究了其解的大时间行为,当t→∞时,得到了在L~∞(Ω)中,■,其中■表示S在Ω中的平均值。