导读:本文包含了微分属性论文开题报告文献综述及选题提纲参考文献，主要关键词:微分方程,解的增长性,不动点,超级
微分属性论文文献综述
吴昕[1]（2015）在《复平面及单位圆内线性微分方程的解及其空间属性》一文中研究指出本文应用Nevanlinna值分布理论和方法,研究了几类复域微分方程的解的性质。全文共分为以下四章。第一章,简要介绍了微分方程复振荡理论的研究现状,以及本文的研究背景,并引入了一些相关的记号和定义。第二章,研究了一类二阶非齐次线性微分方程解的一些性质,得到上述方程的解的级与超级的估计,同时还研究了该方程解的不动点的性质,完善了已有结果.第叁章,研究了二阶齐次线性微分方程的解,其中是关于z的多项式.当多项式的系数为超越整函数时,得到了超级的精确估计.第四章,研究了一类高阶线性非齐次微分方程在单位圆中解的性质,得到了方程的解所在的空间性质.(本文来源于《江西师范大学》期刊2015-05-01）
洪玲[2]（2013）在《高阶线性微分方程解的空间属性》一文中研究指出考虑单位圆上的高阶线性微分方程f(k)+A k-1(z)f(k-1)+…+A1(z)f'+A o(z)f=0,当系数Aj(z),j=0,1,…,k-1满足一定条件时,此方程所有解f∈Bers logp,q,m空间。(本文来源于《贵州师范学院学报》期刊2013年12期）
朱敏,李必信,陈乔乔,吉顺慧,李加凯[3]（2012）在《基于微分动态逻辑的CPS建模与属性验证》一文中研究指出随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Log-ic),其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.(本文来源于《电子学报》期刊2012年06期）
郭振,郭建涛,刘道华[4]（2012）在《基于频率微分属性的跳频信号参数估计》一文中研究指出提出了一种基于跳频频率变化微分属性,能够估计跳周期、跳变时刻和跳频频率的特征参数方法.与传统平滑伪维格纳分布最大值序列算法相比,该方法增强了跳变时刻信号检测的可靠性,提高了参数估计的精度.仿真结果和性能分析表明了算法的有效性和实用性.(本文来源于《信阳师范学院学报(自然科学版)》期刊2012年01期）
王仁芳,徐惠霞,陈仲委,李继芳[5]（2011）在《点模型微分属性的估算及其应用》一文中研究指出为了有效地估算点模型的微分属性,提出了一种基于几何特征相似性的估算方法.首先,利用Mean shift(MS)聚类法,对点模型进行几何特征相似性聚类;然后,基于径向基函数(Radial basis functions,RBF),重构各聚类单元的局部隐式曲面;最后,依据经典微分几何理论,在径向基函数曲面上便捷地求解采样点的微分属性并给出具体应用.实验与应用结果表明,该方法能够比较精确地估算出点模型的微分属性且得到有效应用.(本文来源于《自动化学报》期刊2011年12期）
鲍虎军[6]（2005）在《基于微分属性操纵的网格曲面编辑》一文中研究指出网格曲面编辑一直是几何计算和计算机图形学领域的一个重要研究方向,其目的是为用户提供直观、高效的曲面编辑工具,实现复杂几何模型的构造。经过多年的努力,许多研究者相继提出了许多巧妙的方法来实现这一目标。微分属性操纵法则是其中的代表方法,该方法将传统基于顶点直接操纵的曲面编辑和形变问题转化为曲面局部几何微分属性的操纵,修改的微分属性则通过优化技术重建生成编辑后的曲面。(本文来源于《几何设计与计算的新进展》期刊2005-04-16）
邹中柱[7]（1991）在《一类微分从属性及其应用(英文)》一文中研究指出记△={|z|<1}.设函数(?):C~2×△→C在区域D(?)C中解析,G是△中的单叶解析函数.若△中的解析函数p(z)满足微分从属关系(?)(p(z),zp’(z);z)(?)G(z),z∈△,则可确定(?)和G的某些条件使之Re p(z)>p(z∈△),并且给出这些结果的某些应用.(本文来源于《数学研究与评论》期刊1991年02期）
廖山涛[8]（1963）在《关于管式改道及常微分方程系统周期解邻域的一个属性》一文中研究指出1、前言 这里我们要讨论的主要地涉及常微分方程式论中一个目下逐渐受到注意的分支。这个分支卽是所谓结构稳定系统。如所周知,这类系统的相空间的特征性质的研究是目前颇要紧的问题。当这类系统的维数≥3时,这方面我们目下知道的还甚少。 在[2,定理6]中,L.Markus给出了一结构稳定系统的周期解邻域相空间的特征性质。这结果的证明的一部分是建立在[1,定理5]上的。这后一定理的原证的主要部分较长[1,254—261页],在其证明的进行过程中,由于所采用的方式,某类就目下看来较有意义的原则无法适当地表现。(本文来源于《北京大学学报(自然科学)》期刊1963年03期）
微分属性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
考虑单位圆上的高阶线性微分方程f(k)+A k-1(z)f(k-1)+…+A1(z)f'+A o(z)f=0,当系数Aj(z),j=0,1,…,k-1满足一定条件时,此方程所有解f∈Bers logp,q,m空间。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
微分属性论文参考文献
[1].吴昕.复平面及单位圆内线性微分方程的解及其空间属性[D].江西师范大学.2015
[2].洪玲.高阶线性微分方程解的空间属性[J].贵州师范学院学报.2013
[3].朱敏,李必信,陈乔乔,吉顺慧,李加凯.基于微分动态逻辑的CPS建模与属性验证[J].电子学报.2012
[4].郭振,郭建涛,刘道华.基于频率微分属性的跳频信号参数估计[J].信阳师范学院学报(自然科学版).2012
[5].王仁芳,徐惠霞,陈仲委,李继芳.点模型微分属性的估算及其应用[J].自动化学报.2011
[6].鲍虎军.基于微分属性操纵的网格曲面编辑[C].几何设计与计算的新进展.2005
[7].邹中柱.一类微分从属性及其应用(英文)[J].数学研究与评论.1991
[8].廖山涛.关于管式改道及常微分方程系统周期解邻域的一个属性[J].北京大学学报(自然科学).1963