在图灵机上计算一类Cauchy问题任意精度的解

来源 :成都信息工程学院学报 | 被引量 : 0次 | 上传用户:scratch2000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究一类Cauchy问题解算子的可计算问题,定义了从初值f,g到解u的一个非线性映射KR,在初值和非齐次项满足一定条件时,运用二型有效论模型和泛函分析的有关知识,证明了当k>2p-1(p>6)时,KR是(δHs,δHs.ρ,|ρ→δHs|)图灵可计算的,从而进一步丰富了非线性方程解算子的可计算性理论。
其他文献
利用什邡市1959—2008年逐日气温资料,采用一元线性回归及5年滑动平均,Mann.Kendall法(M-K)等方法,研究分析了什邡市50年来气温年际变化特征。结果显示:(1)气温以0.13℃/10a的趋势变暖,50
针对动态目标检测中的图像背景实时提取问题,采用红绿蓝三分量综合考虑的方法,进行了比较深入的算法研究。研究表明,如果图像序列时间段过短,背景中就会有目标空洞,如果图像序列时间段过长,则不能反映实时背景,在后续目标检测中就会引起较大误差。考虑合理的视频场景区域的动态目标密集程度因素,就可以较好地兼顾提取背景的实时性和背景中目标空洞的消除。
为了给四川省不同经济作物的空间布局提供合理的科学依据,利用全省45个气象站点1981-2008年的气候要素观测数据,建立每一格网处的年均温度、年均降雨量与该点经度、纬度、坡度和高程等因子的多元线性回归模型,并据此推算得出全省气候资源的空间分布。同时分析并建立了适合柚子、板栗、枇杷和青皮竹4种经济作物生长的气候适宜性指标体系。依据不同作物的气候适宜性指标分类体系将全省气候资源划分为适宜、较适宜和不适
针对粒子群优化算法易陷入局部最优并难以跳出的缺陷,提出了一种改进的算法。算法在采用自适应惯性权重基础上,引入粒子群局部收敛判断机制,对陷入局部最优的粒子采取新的进化模
现有的安全解决方案已不再适应开放网络对安全的需求,系统的可信性将逐渐成为研究的趋势。借助消息机制给出了信任在各节点的部署方案;讨论了可信路径搜索的多个细节问题,包括对
为了探索陕西区域性暴雨发生发展的机制,提高暴雨预报准确率,利用实况高空观测、自动站观测资料和NCEP1°×1°格点资料,采用天气学诊断方法,对2011年7月28日陕西区
利用湖南地区ADTD闪电定位仪资料,结合NCEP/NCAR再分析资料,对湖南夏季雷暴发生过程中地闪的区域特征、及地闪与大气不稳定参数的相关关系进行分析,提出地闪活动预报的诊断指标并
在深入分析速度模糊的特点后,根据在距离圈上不模糊点到模糊点的不连续性,以及对模糊跳变处风速差和最大不模糊速度间关系的判定,从零方位开始在距离圈上逐点进行速度模糊的判定
参考气象信息综合分析处理系统和卫星广域网灾害天气短时临近预报预警系统的界面操作特征,利用现有卫星遥感资料、自动站资料、闪电定位资料、探空资料和常规气象要素资料等观