期刊文献+
共找到922篇文章
< 1 2 47 >
每页显示 20 50 100
The Growth Theorem for Almost Starlike Mappings of Order α on Bounded Starlike Circular Domains 被引量:3
1
作者 冯淑霞 卢克平 《Chinese Quarterly Journal of Mathematics》 CSCD 2000年第2期50-56,共7页
In this paper,we extend the definition of almost starlike mappings of order 1/2 on B n to the almost starlike mappings of order α on the bounded starlike circular domains in C n,and give the growth theorem of it.... In this paper,we extend the definition of almost starlike mappings of order 1/2 on B n to the almost starlike mappings of order α on the bounded starlike circular domains in C n,and give the growth theorem of it. This type of domain on which we discuss is rather general,in the sense that the domain must be starlike if there exists a normalized biholomorphic starlike mapping on it. 展开更多
关键词 almost starlike mapping of order α growth theorem starlike circular domains
下载PDF
The Growth Theorem for Strongly Starlike Mappings of Order α on Bounded Starlike Circular Domains
2
作者 刘浩 李小申 《Chinese Quarterly Journal of Mathematics》 CSCD 2000年第3期28-33,共6页
The authors obtain the growth and covering theorems for strongly starlike mappings of order α on bounded starlike circular domains.This kind of domain discussed is rather general,since the domain must be starlike if ... The authors obtain the growth and covering theorems for strongly starlike mappings of order α on bounded starlike circular domains.This kind of domain discussed is rather general,since the domain must be starlike if exists a normalized biholomorphic starlike mapping on it. 展开更多
关键词 strongly starlike mappings of order α growth theorem startike circular domains
下载PDF
On Growth and Covering Theorem for Spiallike Mapping of Type β with Order α 被引量:1
3
作者 LIU Ai-chao CUI Zhi-hui LIU Hao 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2008年第4期548-553,共6页
In this paper, we consider growth and covering theorem for f(x), where f(x) is spiallike mapping of type β with order α defined on unit ball B of complex Banach space, and x=0 is zero of order k+1 for f(x)-x.... In this paper, we consider growth and covering theorem for f(x), where f(x) is spiallike mapping of type β with order α defined on unit ball B of complex Banach space, and x=0 is zero of order k+1 for f(x)-x. We also dicate that the estimation is precise when β=0 and still give growth upper bound and distortion upper bound for subordinate mapping. This result include some results known. 展开更多
关键词 zero of order k+1 spiallike mapping growth and covering theorem subordinate mapping
下载PDF
Deriving some quantum optical identities using the general ordering theorem
4
作者 Farid Shhandeh Mohammad Reza Bazrafkan Elahe Nahvifard 《Chinese Physics B》 SCIE EI CAS CSCD 2012年第11期233-236,共4页
Using the newly introduced general ordering theorem by Sh/ihandeh and Bazrafkan, we derive and generalize some quantum optical identities and give their applications.
关键词 s-ordered expansion of operators general ordering theorem
下载PDF
ON LEVIN TYPE COMPARISON THEOREMS FOR CERTAIN SECOND ORDER DIFFERENTIAL EQUATIONS
5
作者 B.G.Pachpatte 《Acta Mathematica Scientia》 SCIE CSCD 1997年第1期51-55,共5页
In this paper we establish Levin type comparison theorems for certain second order differential equations. The results obtained here generalize and extend some of the earlier ones related to the Levin's comparison... In this paper we establish Levin type comparison theorems for certain second order differential equations. The results obtained here generalize and extend some of the earlier ones related to the Levin's comparison theorems. 展开更多
关键词 OVER ON LEVIN TYPE COMPARISON theoremS FOR CERTAIN SECOND order DIFFERENTIAL EQUATIONS
下载PDF
Georg Cantor’s Ordinals, Absolute Infinity&Transparent Proof of the Well-Ordering Theorem Cantor’s 1899 Letter to Dedekind
6
作者 Hermann G.W.Burchard 《Journal of Philosophy Study》 2019年第8期435-444,共10页
Georg Cantor’s absolute infinity, the paradoxical class Ω of all ordinals, a non-entity for which being called a “class” is an undeserved dignity, must be the ultimate vexation for mathematical philosophers who ho... Georg Cantor’s absolute infinity, the paradoxical class Ω of all ordinals, a non-entity for which being called a “class” is an undeserved dignity, must be the ultimate vexation for mathematical philosophers who hold on to some residual realism in set theory. By careful use of Ω, we can rescue Georg Cantor’s 1899 “proof” sketch of the Well-Ordering Theorem (being generous, considering his declining health) by taking the contrapositive of his suggestion and adding Zermelo’s choice function, resulting in a concise and uncomplicated proof of the Well-Ordering Theorem. 展开更多
关键词 WELL orderING theorem Burali-Forti’s PARADOX Kant’s Oneness Function
下载PDF
OSCILLATION THEOREMS FOR SECOND ORDER NONLINEAR DIFFERENTIAL EQUATIONS WITH DAMPING
7
作者 陈伯山 《Acta Mathematica Scientia》 SCIE CSCD 1991年第4期409-416,共8页
Some new oscillation theorems are established for the second order nonlinear differential equations with damping of the form where p(t) and q(t) are allowed to change sign on [t0,∞).
关键词 OSCILLATION theoremS FOR SECOND order NONLINEAR DIFFERENTIAL EQUATIONS WITH DAMPING
下载PDF
基于有限谓词追踪的民机系统需求一致性检查方法
8
作者 王鹏 岳舒婷 +1 位作者 张帆 董磊 《系统工程与电子技术》 EI CSCD 北大核心 2024年第1期205-218,共14页
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法... 针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。 展开更多
关键词 需求一致性 定理证明 功能需求正确性 一阶逻辑 需求冲突
下载PDF
带有扰动的适型分数阶时滞系统的稳定分析
9
作者 高扬 《曲阜师范大学学报(自然科学版)》 CAS 2024年第1期67-71,共5页
基于非线性系统Lyapunov稳定理论,在适型分数阶导数意义下,针对带有扰动的导数阶数在开区间(0,1)的分数阶时滞非线性系统,研究其稳定与镇定.首先,基于Lyapunov-Krasovskii泛函思想,给出带有扰动的适型分数阶时滞系统稳定定理.其次,基于T... 基于非线性系统Lyapunov稳定理论,在适型分数阶导数意义下,针对带有扰动的导数阶数在开区间(0,1)的分数阶时滞非线性系统,研究其稳定与镇定.首先,基于Lyapunov-Krasovskii泛函思想,给出带有扰动的适型分数阶时滞系统稳定定理.其次,基于TP管控策略,在Filippov解的意义下,给出带有扰动的时滞适型分数阶系统反馈镇定定理.最后,举例说明结果的正确性. 展开更多
关键词 适型分数阶 分数阶 Lyapunov定理 渐近稳定
下载PDF
策略动态组合优化多元演绎算法及应用
10
作者 郭海林 曹锋 +2 位作者 易见兵 李俊 吴贯锋 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2024年第6期732-739,共8页
一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通... 一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通过将子句文字数大小和函数项深度进行动态组合并迭代优化,在充分发掘现有多元演绎启发式策略的同时,提升策略应对不同问题的自适应性,实现多元演绎中的子句高效选择。基于该方法给出了相应的算法实现,根据不同问题的演绎过程动态调整子句的选择策略,提升了多元演绎的定理证明能力。同时,将该算法应用于国际先进的证明器Eprover 2.6,形成了改进的证明器SDCO_E,进一步通过2组实验评估SDCO_E的性能。实验1用2021—2023年国际一阶逻辑自动定理证明器竞赛组的共1500个问题进行测试,结果表明,SDCO_E比Eprover 2.6多证明了35个问题,证明定理总数增加了3.06%;实验2用TPTP库中难度系数为1的问题进行测试,结果表明,SDCO_E能证明其他证明器无法证明的6个数论与集合论领域的问题。实验结果表明,策略动态组合优化多元演绎算法能有效应用于一阶逻辑自动定理证明。 展开更多
关键词 一阶逻辑 定理证明 人工智能 多元演绎 组合优化
下载PDF
四阶椭圆型方程弱解的存在性 被引量:1
11
作者 刘思童 梁波 《井冈山大学学报(自然科学版)》 2024年第1期1-7,共7页
针对四阶椭圆方程的不同形式,分别应用Lax-Milgram定理及变分法对两类四阶椭圆型方程进行研究。本文第一部分运用Lax-Milgram验证在Hilbert空间H^(2)上恒存在唯一的解u,使得H^(2)上的有界强制双线性型与H2上任一有界线性泛函相等。进而... 针对四阶椭圆方程的不同形式,分别应用Lax-Milgram定理及变分法对两类四阶椭圆型方程进行研究。本文第一部分运用Lax-Milgram验证在Hilbert空间H^(2)上恒存在唯一的解u,使得H^(2)上的有界强制双线性型与H2上任一有界线性泛函相等。进而证明出存在唯一弱解满足第一类含有一阶项的四阶椭圆型方程。第二部分运用变分方法解决另一类含有p次二阶项四阶椭圆型方程。在方法上,首先定义方程弱解,其次找出与方程相对应的泛函,进而将问题转化为求相应泛函的极值元,证明泛函极值元的存在性,最后证明弱解的唯一性。 展开更多
关键词 四阶椭圆型方程 Lax-Milgram定理 变分法 存在性 唯一性
下载PDF
具有积分边界条件的耦合φ-Hilfer分数阶微分系统解的存在性
12
作者 张蓓 司换敏 +2 位作者 江卫华 郭春静 陈坤 《河北科技大学学报》 CAS 北大核心 2024年第2期159-167,共9页
为了拓展分数阶微分方程系统的相关理论,研究了一类具有积分边界条件的耦合φ-Hilfer分数阶微分系统。首先,将具有积分边界条件的耦合φ-Hilfer分数阶微分系统转化为积分系统;其次,定义合适的Banach乘积空间和范数,构造合适的积分算子,... 为了拓展分数阶微分方程系统的相关理论,研究了一类具有积分边界条件的耦合φ-Hilfer分数阶微分系统。首先,将具有积分边界条件的耦合φ-Hilfer分数阶微分系统转化为积分系统;其次,定义合适的Banach乘积空间和范数,构造合适的积分算子,分别运用压缩映像原理和Kransnoselskii不动点定理得出耦合φ-Hilfer分数阶微分系统在积分边界条件下解的存在性结果;最后,通过列举实例说明所得结论的正确性。研究表明,积分边界条件下的耦合φ-Hilfer分数阶微分系统的解具有存在性。研究结论丰富了耦合分数阶微分系统理论可解性的相关理论,可为深入研究分数阶微分方程提供一定的理论参考。 展开更多
关键词 解析理论 φ-Hilfer分数阶导数 耦合系统 压缩影像原理 Kransnoselskii不动点定理 解的存在性
下载PDF
二阶非完整系统Vacco动力学的Herglotz型Noether定理
13
作者 黄丽琴 张毅 《动力学与控制学报》 2024年第9期16-23,共8页
研究二阶非完整系统Vacco动力学的Herglotz型Noether定理.首先,基于Herglotz广义变分原理,建立了二阶非完整系统Vacco动力学的Herglotz型运动微分方程.其次,根据Hamilton-Herglotz作用量的非等时变分公式,给出了二阶非完整系统Vacco动... 研究二阶非完整系统Vacco动力学的Herglotz型Noether定理.首先,基于Herglotz广义变分原理,建立了二阶非完整系统Vacco动力学的Herglotz型运动微分方程.其次,根据Hamilton-Herglotz作用量的非等时变分公式,给出了二阶非完整系统Vacco动力学的Herglotz型Noether对称性和准对称性的概念及其判据方程,并推导了系统的Herglotz型Noether定理及其逆定理.最后,举例说明了该结果的应用. 展开更多
关键词 二阶非完整系统 VACCO动力学 Herglotz变分原理 NOETHER定理
下载PDF
R_(+)^(N)上不同阶椭圆方程组的Liouville型定理
14
作者 赵围围 邵晓翎 +1 位作者 胡昌慧 程之羽 《应用数学》 北大核心 2024年第2期482-488,共7页
本文研究带Navier边值的不同阶椭圆方程组的Liouville型问题.主要结论的证明采用了伸缩变换,双边引理和积分形式的移动平面方法.
关键词 不同阶椭圆方程 LIOUVILLE型定理 Navier边值
下载PDF
一类三阶两点边值问题解的存在性
15
作者 王丽媛 马如云 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2024年第3期273-276,共4页
考察了三阶非线性常微分方程边值问题{u'''(t)=f(t,u(t),u'(t),u''(t)),a.e.0<t<1,u(0)=u'(0)=u'(1)=0,其中f:[0,1]×R3→R满足Carathéodory条件。在非线性项f满足适当增长性条件下,三... 考察了三阶非线性常微分方程边值问题{u'''(t)=f(t,u(t),u'(t),u''(t)),a.e.0<t<1,u(0)=u'(0)=u'(1)=0,其中f:[0,1]×R3→R满足Carathéodory条件。在非线性项f满足适当增长性条件下,三阶非线性常微分方程边值问题至少存在1个解。基于Leray-Schauder不动点定理证明了主要结果。 展开更多
关键词 三阶常微分方程 边值问题 LERAY-SCHAUDER不动点定理 存在性
下载PDF
具有高阶扰动的二维拟周期系统的约化性
16
作者 孟凡卉 邱汶华 《枣庄学院学报》 2024年第5期7-12,共6页
通过寻找合适的拟周期变换,把高阶扰动二维拟周期系统变成简单的正规形。寻找拟周期变换序列,求解拟周期变换导出的同调方程,确定变换的具体形式;利用Diophantine条件克服变换时出现的小除数问题,进行范数估计;求变换序列的极限,得到原... 通过寻找合适的拟周期变换,把高阶扰动二维拟周期系统变成简单的正规形。寻找拟周期变换序列,求解拟周期变换导出的同调方程,确定变换的具体形式;利用Diophantine条件克服变换时出现的小除数问题,进行范数估计;求变换序列的极限,得到原系统的约化性结果。用KAM中的迭代方法和5次多项式扰动的相关结论证明了相关定理。 展开更多
关键词 拟周期解 KAM理论 高阶扰动
下载PDF
具有正负系数的分数阶微分方程非振动解的存在性
17
作者 赵环环 刘有军 康淑瑰 《高校应用数学学报(A辑)》 北大核心 2024年第1期121-126,共6页
考虑了一类具有正负系数的分数阶中立型微分方程,利用Banach压缩映像原理获得了其一个新的非振动解的存在的充分条件.
关键词 分数阶 Liouville导数 分布时滞 非振动解 不动点定理
下载PDF
环形区域上一类非线性四阶椭圆型方程的径向对称解
18
作者 王艳琰 李永祥 《中山大学学报(自然科学版)(中英文)》 CAS CSCD 北大核心 2024年第5期177-184,共8页
讨论了环形区域上一类非线性四阶椭圆型边值问题径向对称解的存在性,在非线性项满足适当的不等式的条件下,运用Leray-Schauder不动点定理和先验估计技巧,获得了径向解的存在性与唯一性结果.
关键词 四阶椭圆边值问题 径向对称解 存在性与唯一性 LERAY-SCHAUDER不动点定理
下载PDF
一类完全非线性四阶微分方程正周期解的存在性
19
作者 王晓萍 韩晓玲 《四川师范大学学报(自然科学版)》 CAS 2024年第1期55-59,共5页
讨论一类完全非线性四阶微分方程u^((4))(t)+a(t)u(t)=f(t,u(t),u′(t),u″(t),u″′(t))正周期解的存在性,其中,a(t)∈C([0,ω],(0,+∞)),f∈C([0,ω]×[0,+∞)×R^(3),[0,+∞)).在允许非线性项满足超线性增长不等式条件的情况... 讨论一类完全非线性四阶微分方程u^((4))(t)+a(t)u(t)=f(t,u(t),u′(t),u″(t),u″′(t))正周期解的存在性,其中,a(t)∈C([0,ω],(0,+∞)),f∈C([0,ω]×[0,+∞)×R^(3),[0,+∞)).在允许非线性项满足超线性增长不等式条件的情况下,利用Green函数和锥上的不动点理论,获得上述四阶微分方程正周期解的存在性结果,并通过例子验证了主要结果的有效性. 展开更多
关键词 完全非线性四阶微分方程 正周期解 锥上的不动点理论 GREEN函数
下载PDF
两种高阶非线性偏微分方程组守恒律的构造
20
作者 刘亚峰 额尔敦布和 赵巧红 《内蒙古民族大学学报(自然科学版)》 2024年第2期75-82,共8页
利用Ibragimov新守恒定理和对称-共轭对称‘对’方法构造了3阶形变Boussinesq型方程、耦合KdV方程等2个高阶非线性偏微分方程组的局部守恒律,并对所求得的守恒律进行比较,揭示了2种方法在求解高阶非线性偏微分方程组守恒律中的等价关系。
关键词 Ibragimov新守恒定理 对称-共轭对称‘对’方法 3阶形变Boussinesq型方程 耦合Kd V方程 守恒律
下载PDF
上一页 1 2 47 下一页 到第
使用帮助 返回顶部