论文部分内容阅读
利用上下解方法和单调迭代技术，研究了带“上确界”的一阶脉冲微分方程的周期边值问题，并且获得了其极值解存在性结果．
带“上确界”的一阶脉冲微分方程的周期边值问题
【摘 要】
：
利用上下解方法和单调迭代技术，研究了带“上确界”的一阶脉冲微分方程的周期边值问题，并且获得了其极值解存在性结果．
【机 构】
：
郑州大学数学系
【出 处】
：
郑州大学学报：理学版
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金资助项目,编号10671181.
其他文献
通过定点测定及湿地土壤的区域调查,对取自红碱淖流域湿地土壤样品全氮（TN）含量进行测定,并整合土壤含水量、植被类型等参数,揭示了红碱淖流域湿地土壤生态特征及湿地演替规律,
传统的基于长度的汉英双语句子对齐算法大都以字节作为句子长度的计算单位.提出了以句子所含动词、名词、形容词、实词、字节及全部词语总数等6种单位作为句子长度的计算方法
介绍了区间时序逻辑ITL的语法、语义和公理系统以及通用的辅助定理证明工具PVS,研究了嵌入ITL到PVS的原理,给出了描述ITL的PVS模块,并给出一个实例,实现了基于PVS的ITL推理.
考虑到确定性土壤污染评价中较大的参数不确定性,将贝叶斯理论应用于土壤重金属污染评价中,并考虑到不同重金属在生态风险上的差异,建立了生态风险权重系数,提出了基于生态风
提出了一种Web信息抽取与语义检索框架,采用定制本体模型,针对Web网页特点设计了抽取与语义标引策略,并在检索过程中引入语义推理机制,从而改善了信息检索的效果.最后介绍了
提出了一种基于向量空间模型的句型识别方法,该方法通过基于句型模式的问句句法树规约,得到句子关于句型模式的句型结构,再计算句型结构与句型模式之间的相似度来实现问句的
本文利用NOAA系统物理量场资料、常规资料及雷达资料，分析鲇鱼台风能在低温区登陆的成因，结果表明：“鲇鱼”台风强度强，在闽南登陆前24小时其强度仍达Cat3；小的垂直风切变及强的高
个性化搜索引擎研究的目的是使搜索结果尽可能满足不同用户的信息需求,而排序算法在搜索引擎技术中占有着核心的地位.提出了一种基于改进的DBSCAN聚类的个性化排序算法,在全
农村公共产品有效供给不足已经严重制约我国农村的改革和发展,在当前进行社会主义新农村建设的形势下,必须按照统筹城乡发展的要求,建立完善的农村公共产品供给机制,保障农村
利用一个比较不等式和能量扰动法,对一类具有非线性二阶边界条件的波动方程整体解的衰减性做进一步研究,证明了解的衰减率和外力f(x,t)之间的关系.