简介：<正>在文[1]中,笔者对函数最小正周期的机器证明作了初步讨论,文中所举实例均是定义在实数集R上的连续函数.对于更一般的周期函数,特别是定义域不是R的周期函数的最小正周期,如何借助信息技术给出机器证明,值得进一步探索.一、周期函数的课本定义与常用定义在我国现行的各种高中新老教材中,对周期函数都是这样定义的(以下简称为课本定义):对于函数y=f(x),如果存在一个不为零的常数T,使得当x取定义域内的每一个值时,f(x+T)=f(x)都成

简介：利用重合度理论中的延拓定理,讨论了一类乘积型Logistic系统正周期解的存在性.

简介：本文利用重合度理理论中的延拓定理，得到了类食物链条系统正周期解存在的充分条件。

简介：利用重合度的连续性定理，研究了一类多种群脉冲混合系统正周期解的存在性，得到了该系统存在正周期解的充分判据。

简介：讨论了二类泛函差分方程正周期解的存在性，应用不动点定理，得到了方程存在一个或多个正周期的充分条件。

简介：利用迭合度理论的连续定理,讨论了一类中立型系统的正周期解的存在性.得到了正周期解存在的一些充分条件.

简介：本文利用Mawhin的重合度理论研究了一类多物种竞争差分系统正周期解的存在性，获得了保证该差分系统存在正周期解的新的充分条件．

简介：研究-阶非线性微分方程x′＋a（t）x=f（t,x）＋c（t）正周期解的存在性,其中非线性项f在x=0处有奇性.运用Schauder不动点定理和不等式估计技巧,为该方程建立了若干正周期解的存在性结果.所得结论丰富并补充了相关文献的已有结果.

简介：本文研究了一类广义的Lasota-Wazewska模型的正概周期解,通过转化模型为一个等价的积分方程,并利用非增算子的锥上不动点定理,建立了该模型正概周期解存在性的新结果,对照已有的工作,本文的方法是新颖的.

简介：利用迭合度理论的连续定理,讨论了一类中立型系统的正周期解的存在性.得到了正周期解存在的一些充分条件.

简介：摘要由于社会经济快速发展和人类活动不断扩张，地球正面临着严重的环境问题。人类未来发展之路将受到资源短缺、环境污染和气候变化的影响。此外，建筑是对能源消耗和环境影响最严重的活动之一。为了加强对生态环境的维护，新的绿色建筑理念应运而生，其中，全寿命周期理论对于建筑成本的控制有着至关重要的影响。本文首先探讨了绿色建筑理论和全寿命周期成本理论，然后对两者的结合方式进行深入研究。

简介：考虑了一阶泛函差分方程Δx（n）=a（n）g（x（n））x（n）-λb（n）f（x（n-τ（n））），n∈Z正周期解的存在性.其中f，g∈C（[0，∞），[0，∞）），λ为参数.运用不动点指数理论获得了上述问题正周期的存在性结果，所得结果推广了Raffoul的相关结果.

简介：本文首先建立了具有变时滞和分布时滞的Lotka-Volterra两种群脉冲合作系统.然后通过应用Gaines和Mawhin叠合度定理,研究得到了具有变时滞和分布时滞的Lotka-Volterra两种群脉冲合作系统正周期解存在性的充分条件.

简介：考虑了一类食饵在斑块环境中扩散具有脉冲和时滞的捕食系统，通过灵活地运用Gaines和Mawhin的连续拓扑度定理，获得了一系列易验证的正周期解存在的充分条件．

简介：研究具有捕获项的两种群时滞Lotka-Volterra合作系统的多个正周期解。利用延拓定理和分析技巧得到该系统存在至少4个正周期解的充分条件。

简介：由太阳核聚变正在间歇地进行着理论出发,结合太阳核反应区中3He粒子数密度变化与太阳5分钟振荡现象,可得结论：太阳核聚变正以周期约5分钟间歇地进行着。

简介：在合适的条件下,通过利用Leggett-Williams不动点定理、Green函数理论和数学分析技巧,证明了一类无穷时滞中立型泛函微分方程至少存在两个正周期解,推广了前人的结果。

简介：

简介：在经济日益全球化和激烈的竞争中，企业成功与失败的界限是由企业是否拥有这样一种能力决定的，那就是现代管理团队必须首先在众多的战略和策略中理解经济周期的含义，然后为了获得竞争优势而主动进行经济周期管理。

简介：据新华社消息,最近召开的中共山西省第八次代表大会,颇给人以“新意”之感:出台了会议纪律作风”九条规定”(即九个“不准”),如“不准无关人员进入会场和代表驻地”,“不准外出会客和请吃、吃请”等;会议还成立了纪律作风检查组,对违反规定者,视作违纪,严肃查处。这两个举措,往大处说,都可以称得上是关于会议的“制度创新”。从效果来看,会议呈现出一派新景象,受到当地广大干部群众的好评,也