拟变分不等式在交通均衡中的应用

针对延时及非延时两种弹性交通网络,利用依赖时间的拟变分不等式研究了其均衡解的存在性.在此基础上,讨论了一个具体的弹性交通网络.     

动态市场均衡问题中的一实例分析

研究了两个商品的经济市场的分配模型，市场中存在着供应过量与需求不足的现象．利用依赖时间的变分不等式研究了市场均衡解的存在性．在此基础上，讨论了一个具体的市场均衡问题．     

带有状态依赖时滞的分数中立型积分微分方程温和解的存在性

考虑一类带有状态依赖时滞的抽象分数中立型积分微分方程温和解的存在性.在一些适当的假设条件下,利用合适的不动点原理,建立了此类分数中立型积分微分方程温和解存在的充分条件.     

具有时滞和比率依赖的两种群食饵捕食扩散系统的正周期解的存在性（英）

通过使用一致度的Mawhin连续定理,得出了一类具有时滞和比率依赖的两种群食饵捕食扩散系统的正周期解存在性的判据.该判据概括并推广了董和葛的结论.     

一个带有Holling IV功能反应的半比率依赖捕食-食饵系统周期解的存在性

应用重合度延拓定理,讨论一个带有Holling IV功能反应的半比率依赖捕食-食饵系统周期解的存在性.     

一个带有Holling Ⅳ功能反应的半比率依赖捕食-食饵系统周期解的存在性

应用重合度延拓定理,讨论一个带有Holling Ⅳ功能反应的半比率依赖捕食-食饵系统周期解的存在性.     

基于Web模式可移植性训练系统的设计与实现

三层结构模式在Web应用系统中广泛应用,但也存在不足之处:系统对网络环境完全依赖,网络资源利用不平衡.因此,从一个基于Web模式的训练教学系统的设计和实现过程,对Web三层结构提出了调整改进措施,在设计中构建了具有一定逻辑功能的Web页面数据单元,从而实现数据的重用性和系统设计的可移植性,并有效地解决了Web三层结构系统的不足之处.     

强阻尼随机Kirchhoff方程的随机吸引子

讨论具有可加噪音的强阻尼随机Kirchhoff方程的随机动力系统,利用O-U过程对随机项进行处理,采用同构映射的方法,得到强阻尼随机Kirchhoff方程解的存在唯一性和随机吸引子的存在性.     

基于特征的需求模型到面向Agent概念体系结构的映射

需求到面向Agent概念体系结构的映射保持了需求到设计之间概念的可追踪性。利用需求结果－特征模型,从其特征的相互以来关系入手,在分析特征模型的特征依赖关系和Agent依赖关系基础上,提出了特征存在依赖和值依赖,导出从特征模型向Agent概念体系结构的映射方法,并以“图书管理系统”为例对该方法进行了验证。     

一类非线性变分包含问题解的存在性和Mann迭代逼近问题

研究实自反Banach空间中一类具有Lispschitz条件的强增生型变分包含解的存在性、唯一性及其具有混合误差项的Mann迭代程序的收敛性问题.另外还讨论了一类强增生型变分不等式解的存在性和带有混合误差项的Mann迭代序列的收敛性,结果是一些作者早期与最近的相应结果的改进与推广.     

一个三阶非线性微分方程正解的存在性

讨论了一个三阶非线性微分方程两点边值问题的正解的存在性.在非线性项满足线性增长的限制的条件下.通过构造适当的Banach空间并利用Leray-Schauder非线性抉择证明了一个存在定理.     

不连续二阶周期边值问题的可解性

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性,其中非线性项是Carathèodory函数.通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理.第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解.第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解.     

带非线性阻尼非自治波方程拉回吸引子的存在性

考查带非线性阻尼项的非自治波方程的动力学行为。给出拉回吸引集、拉回吸引子和闭过程的概念,为在过程缺乏紧性时得到拉回吸引子的存在性,给出D^0-渐进紧的概念。为证明非自治波方程拉回吸引子的存在性,说明了非自治系统所对应的过程全局有定义且有拉回吸引集的存在,引入压缩函数的概念及相关方法,说明过程是拉回渐近紧的。     

带非线性阻尼项的波方程的周期解

讨论了带非线性阻尼项的波方程的周期解存在性问题，得到了一些存在性定理，文中假设阻尼项具有多项式增长速度，对非线性项没有增长限制。     

一类具粘弹性项非线性波动方程的全局吸引子

讨论一类具粘弹性项的非线性波动方程整体解的长时间行为,利用广义Gronwall引理,得到整体解对应解半群的耗散性.通过验证满足相关条件,得到了全局吸引子的存在性.     

一类可修复温贮备系统的解的存在唯一性分析

主要运用C0半群理论、修复率均值和共尾的概念,研究可修复系统中一类两同型部件的温贮备系统关于非负时间依赖解的存在唯一性问题.     

京张区域生态环境整体性研究

京张区域是中国首都圈的生态功能核心区域.通过分析认为,该区域生态环境具有区位特殊性、系统脆弱性、功能一体性、地域分割性、发展二元性等特征,存在干旱缺水、土地沙化、水土流失、风沙危害、环境污染等突出问题.北京作为特大城市发展所依赖的周边生态环境与上海、广州等城市有本质不同,必须作为特殊情况给予高度重视.     

常微分方程解的存在唯一性定理的教学探索

研究了一阶常微分方程的初值问题,通过构造上、下控制函数结合上、下解方法及不动点理论,证明了当非线性项连续时解的存在性,当非线性项Lipschitz连续时解的唯一性.该方法也适用于其它类型的微分方程研究.结合多年的教学与科研经验对"常微分方程解的存在唯一性定理"的课堂教学进行了分析与探讨.     

两参数马氏过程的若干新进展(Ⅰ)

综述了杨向群教投在湘潭大学主持的多参数马氏过程讨论班同志们近4年来有关两参数马氏过程方面的一系列研究成果.共分六个部分。1 基本概念及符号。2 各种两参数马氏性间的相互关系.在已有工作的基础上,进一步揭示了各种两参数马氏性间的相互关系,得到了一个比较完美的相互关系图.举出反例,推翻了三个法国学者的结论。3 给出了两参数马氏链的三点转移函数的定义,说明它与单参数马氏链的转移函数之间既存在本质的区别,又有着密切的联系.介绍了可测三点转移函数的概念,并研究了它的正则性,恒正性,状态对空间的分解,极限函数的正则性及参数对称的若干结果.还研究了标准三点转移函数族的状态对空间的分解,微分性及向上、向下、向左、向右偏微分方程组.表明:三点转移函数族的研究不可能是单参数结果的简单推广。4 引入了Poisson单的概念,讨论了它的单跳跃性,鞅性,Kolomogorov 0—1律,刻划,等价条件及其在射线上导出过程的性质.证明了它不存在广义三点转移函数.因而不能根据通常的存在定理证明它的存在性。为此我们引入了扩状Poisson单及其三点转移函数的概念,证明了Poisson单的存在性,作为Poisson单的直接推广,我们给出了两参数随机事件流的定义,讨论了其性质。5 介绍了广义Brownian单的定义,给出了它在增道路下的Levy表现和鞅刻划,积分表现,随机时间变换,概率估计,重对数律,Harness性,广义B—Harness性及表征等.最后指出,用广义Brow-nian单表现的一类指数过程是一强鞅。6 作为随机微分方程解的两参数马氏过程.设B为Browian单,得到了两参数随机微分方程dX(S,t)=α(s,t,X(S,t))dB(s,t) β(s,t,X(s,t))dsdt X(s,t)|(s,t)∈λ_0= y(s,t)解的存在唯一性,指出此解在一定条件的各种两参数马氏性,旦此解为宽过去规则马氏过程。     

Fe-Ni系粉末机械合金化热力学

参考Miedema半经验理论,建立了Fe-Ni系机械合金化(MA)过程的热力学模型.热力学计算分析指出,Fe-Ni系粉末MA过程一般不存在发生非晶化反应的化学驱动力.Fe-Ni系MA粉末由α(bcc)和γ(fcc)两相固溶体组成.在球磨过程中两相相互转化,控制这一转化的因素是形成焓的结构项.对不同球磨时间Fe₆₀Ni₄₀MA粉末的X射线衍射(XRD)分析,证明了所建立的热力学模型的正确性.根据XRD图确定了Fe₆₀Ni₄₀MA粉末在不同球磨时间的物相组成、各相成分、晶格参数、晶粒尺寸和晶格畸变等结构参数.