论文部分内容阅读
利用拓扑度方法研究了一类测度链上的非线性微分方程正解的存在性。
测度链上非线性微分方程正解的存在性
【摘 要】
：
利用拓扑度方法研究了一类测度链上的非线性微分方程正解的存在性。
【机 构】
：
山东科技大学信息科学与工程学院,延安大学教学与计算机科学学院
【出 处】
：
延安大学学报：自然科学版
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学项目资助（10671167）
其他文献
针对密码模块API的形式化验证,提出一种基于项重写形式化模型的检测算法.该算法利用符号化及广度优先搜索方法,使用项重写规则对敌手的初始知识集不断进行匹配和扩展,直到找
应敦煌研究院邀请，上海师大敦煌学研究所方广锠教授于2013年7月31日下午在我院小报告厅作了题为《敦煌遗书定级标准》的讲座。讲座由张先堂研究员主持，我院40余位专业人员参加。 方教授先为大家介绍了敦煌遗书定级标准的制定源于中华古籍保护计划，制定这个标准是为了实现国家对古籍的分级管理和保护，逐步形成完善的古籍保护工作体系，改善古籍的保存环境。接着，介绍了《国家珍贵古籍名录》敦煌遗书评选工作。最后，
利用初等方法，研究一个包含Smarandache函数方程的可解性，给出了它的所有正整数解．