简介:本文用临界点理论中的能量最小原理得到了一类具(q(t),P(t))-Laplacian项的二阶非自治系统存在周期解的充分条件.
简介:n×m非负实数矩阵的每列元素之和的几何平均值不小于其每行元素的几何平均值之和,运用它给出了一类和(或积)式不等式的简捷证明,也导出了著名不等式:Cauchy不等式、Holder不等式等的推广形式的积分不等式。
简介:给出关于可列非齐次马尔可夫链M元状态序组出现频率的一个新形式的强极限定理及其推广,所得结论对任意可列非齐次马尔可夫链普遍成立.
简介:目的:探讨作用于大跨度曲面屋盖非定常气动力的特性,为考虑非定常气动力影响的大跨度曲面屋盖抗风设计提供理论参考。创新点:1.采用强迫振动试验;2.采用大涡模拟(LES)流入脉动风的生成方法;3.研究大跨度曲面屋盖非定常气动力特性。方法:1.通过强迫振动风洞试验方法探讨风速、强迫振动振幅、屋盖的矢跨比和缩减频率对非定常气动力的影响;2.采用计算流体力学数值模拟重现风洞试验,从而在更宽的缩减频率范围内分析非定常气动力的特性,并且通过可视化流场的分析探讨风与屋盖相互作用的机理。结论:1.屋盖的振动对屋盖表面的风压分布影响较大。2.屋盖的振动可能抑制屋盖背风面漩涡的脱落。3.根据风洞试验和数值模拟的结果分析得到的矢跨比、风速和振动振幅对气动阻尼系数和气动刚度系数的影响较小;气动阻尼系数和气动刚度系数主要随着缩减频率的变化而变化。4.气动刚度系数为正值,使得结构的总刚度减小,从而减小结构的固有频率;气动阻尼系数为负值,使得结构总阻尼增加。5.风洞试验和LES模拟结果的一致性可以说明,LES是一个能够有效研究非定常气动力特性的数值模拟方法。
简介:目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。
简介:用单辊甩带法制备了不含高生物毒性元素的Ti60Zr10Ta15Si15非晶薄带,并在高于其晶化开始温度的不同温度下对该非晶薄带进行了真空退火,研究了该非晶薄带在磷酸盐缓冲溶液(PBS)中的电化学腐蚀行为及热处理对其显微组织及其电化学行为的影响。结果表明,用单辊甩带法制备的Ti60Zr10Ta15Si15金属薄带为完全的非晶态结构,其玻璃转变温度和晶化开始温度分别为759K和833K,经过878K真空热处理后,薄带发生了部分晶化,在非晶的基底上析出了Ti相;经过938K热处理后,薄带发生了完全晶化,晶化相主要由Ti、Si3Ta5和SiZr以及TiSi组成。动电位极化测试表明,该非晶合金在PBS溶液中可表现出较为优异的耐蚀性能,部分晶化可进一步提高该合金的耐蚀性能,而完全晶化的合金抗腐蚀性能明显下降。
简介:研究了以剩余寿命作为增补变量的M/G/1/K排队模型.利用泛函分析中线性算子半群的积分半群理论讨论了该模型的瞬态解的存在唯一性问题.
简介:在允许非线性项变号的情况下,利用锥上不动点定理,讨论了一类二阶非线性微分方程组的非齐次Sturm-Liouville边值问题解的存在性,得到了至少一个解及正解存在的多个存在性定理.
简介:设G是一个阶数大于等于4的简单连通图.代4(G)和d4(G)分别表示G的第四大无符号拉普拉斯特征值和第四大度.本文证明了K4(G)≥d4(G)一2.
简介:证明0是具有可选服务的M/M/1排队模型的主算子及其共轭算子的几何重数为1的特征值,由此推出该模型的时间依赖解强收敛于该模型的稳态解.
简介:本文利用等价方程组,友矩阵与Jordan标准型,研究了n阶常系数线性非齐次常微分方程P(D)x=acose^t+bsine^t其中P(D)=D^n+a1D^n-1+…+an,D=1/dt,a1,a2,…a,a,b为任意实常数,在友矩阵具有n个不同的特征根的条件下,给出了求上述方程的特解的方法,最后给出一个详细的实例。