Browder-Petryshyn型严格半伪压缩映射的强收敛性 被引量：1

1

作者 倪仁兴 《工程数学学报》 CSCD 北大核心 2006年第1期119-126,共8页

通过引入比严格伪压缩映射更一般的严格半伪压缩映射的概念,得到了任意实Banach空间中带误差的Ishikawa迭代法生成的序列强收敛于严格半伪压缩映射的不动点的一些充要条件;作为应用,给出了序列强收敛于不动点的一个充分条件,从而将相关... 通过引入比严格伪压缩映射更一般的严格半伪压缩映射的概念,得到了任意实Banach空间中带误差的Ishikawa迭代法生成的序列强收敛于严格半伪压缩映射的不动点的一些充要条件;作为应用,给出了序列强收敛于不动点的一个充分条件,从而将相关结果从q-一致光滑实Banach空间延拓至任意实。Banach空间;并给出了Ishikawa迭代序列的误差估计,所用的证明方法与已有的不同且更为简单。 展开更多

关键词 严格半伪压缩映射 充要条件 带误差的 ISHIKAWA 迭代程序 不动点 次紧 强收敛

在线阅读 下载PDF 职称材料

有限簇多值Φ-拟伪压缩型映射公共不动点的迭代程序

2

作者 冯先智 倪仁兴 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2010年第2期137-143,共7页

引入具误差的修正Mann和Ishikawa迭代程序及多值Φ-拟伪压缩型映射,在一致光滑实Banach空间证明了此迭代序列强收敛于具广义Lipschitzian连续的(一般未必连续或有界)多值Φ-拟伪压缩型映射有限簇的唯一公共不动点,统一和发展了包括王林... 引入具误差的修正Mann和Ishikawa迭代程序及多值Φ-拟伪压缩型映射,在一致光滑实Banach空间证明了此迭代序列强收敛于具广义Lipschitzian连续的(一般未必连续或有界)多值Φ-拟伪压缩型映射有限簇的唯一公共不动点,统一和发展了包括王林和王刚(2006年)、周海云(2006年)、HUANG(2002年)、曾六川(2005年)、徐裕光(2004年)、张石生(2000年)和倪仁兴(2001和2002年)等近期许多相关结果. 展开更多

关键词 多值Φ-拟伪压缩型映射有限簇 具误差的修正的迭代程序 广义Lipschitzian连续 公共不动点

在线阅读 下载PDF 职称材料

实Banach空间中具误差的Ishikawa迭代序列Φ-强增生映射下的收敛性问题的证明

3

作者 野金花 《黑龙江八一农垦大学学报》 2009年第2期96-98,105,共4页

不动点问题一直是人们关注的重点问题之一,有关这方面的研究也取得了显著的成绩。给出实一致光滑Banach空间中,Φ—强增生映射下具误差的Ishikawa迭代序列强收敛于唯一不动点问题的另一种证明方法,并将所得结果推广到一般的Banach空间中。

关键词 Φ—强增生映射 具误差的Ishikawa迭代序列 不动点

在线阅读 下载PDF 职称材料

基于定点的LPC10-e解码算法实现 被引量：1

4

作者 李中颀 张博 +1 位作者 吴佳栋 朱杰 《电子测量技术》 2008年第5期16-18,共3页

LPC10-e算法是在2.4kb/s低码率情况下较简单也效果相对较好的语音编解码算法,用于许多语音声码器。由于其较低的算法复杂度使得其需要的带宽及资源相对较小。而要在资源较为紧张的单片机上实现该算法并具有相当的算法精度,就需要解决基... LPC10-e算法是在2.4kb/s低码率情况下较简单也效果相对较好的语音编解码算法,用于许多语音声码器。由于其较低的算法复杂度使得其需要的带宽及资源相对较小。而要在资源较为紧张的单片机上实现该算法并具有相当的算法精度,就需要解决基于定点的算法实现和相关的技术难点。本文着重讨论了LPC10-e解码算法在定点化实现过程中的关键技术以及解决的方法。实验结果表明了实现后的语音质量与原来的浮点实现相比,语音质量仍可以保持原来的水平。 展开更多

关键词 语音信号处理 定点化 LPC10-e

在线阅读 下载PDF 职称材料

双转子转速协同规划的涡扇发动机加减速控制计划研究

5

作者 强星煜 周登极 +1 位作者 尉询楷 王浩 《推进技术》 EI CAS CSCD 北大核心 2024年第4期233-242,共10页

当前涡扇发动机加减速控制计划,不能规划双轴加速进程,导致加速末期推力波动。本文提出了分阶段的加速度控制计划,按边界约束划分加速进程,基于动态稳定法设计初始加速度计划,通过寻找系统参数的超调临界点,协同修正初始加速度计划,满... 当前涡扇发动机加减速控制计划,不能规划双轴加速进程,导致加速末期推力波动。本文提出了分阶段的加速度控制计划,按边界约束划分加速进程,基于动态稳定法设计初始加速度计划,通过寻找系统参数的超调临界点,协同修正初始加速度计划,满足边界约束的同时保证双转子加速时间相同。在仿真验证环节,与基于定状态法的控制计划比较,本文方法可避免燃油振荡现象,推力超调量降低2.43%,推力稳定时间缩短1.045 s;与等转速增量的加速度控制计划比较,进一步改进了本文方法,推力响应时间缩短0.24 s,控制计划设计耗时为7.5781 s。综上,本文方法缩短了推力超调量和推力稳定时间,有望应用于发动机控制计划在线计算。 展开更多

关键词 涡扇发动机 分阶段控制计划 加速进程划分 动态稳定法 超调临界点

在线阅读 下载PDF 职称材料

直接法测定瓦斯含量过程中取样工艺选择与应用 被引量：1

6

作者 武瑞龙 李文彬 +2 位作者 罗亚飞 张玉柱 陈蒙磊 《煤炭工程》 北大核心 2024年第9期86-90,共5页

为了准确掌握煤层瓦斯赋存规律,针对不同取样工艺对煤层瓦斯含量测定的影响,在百灵煤矿6、7号煤层中开展对比考察试验,分析了顺层钻孔和穿层钻孔取样过程中的最佳取样方式,确保煤样采取的有效性,进一步提升瓦斯含量测定的可靠性。研究表... 为了准确掌握煤层瓦斯赋存规律,针对不同取样工艺对煤层瓦斯含量测定的影响,在百灵煤矿6、7号煤层中开展对比考察试验,分析了顺层钻孔和穿层钻孔取样过程中的最佳取样方式,确保煤样采取的有效性,进一步提升瓦斯含量测定的可靠性。研究表明,顺层钻孔取样过程中,深孔定点取样方式明显优于风排渣孔口接煤粉的取样方式,瓦斯含量测定最大超差值为1.3387 m^(3)/t,误差最高达23.47%,且风排渣孔口接煤粉的取样方式容易增大伤人事故发生的几率;穿层钻孔取样过程中,深孔定点取样方式优于风排渣孔口接煤粉的取样方式,瓦斯含量测定误差控制在10%以内;通过实验室煤样扫描分析,深孔定点取样方式能够较大程度上保证并筛选出有效的煤粉粒径,降低了瓦斯损失量。为了保证瓦斯治理的可靠性,顺层钻孔取样应采用深孔定点取样方式进行取样,穿层钻孔取样应充分考虑煤层厚度及煤粉粒径等问题,综合选取合适的取样方式。 展开更多

关键词 瓦斯灾害 取样工艺 瓦斯含量 深孔定点取样 煤粉粒径

在线阅读 下载PDF 职称材料

定点倾斜观测映震能力综述 被引量：33

7

作者 吕品姬 陈志遥 +2 位作者 赵斌 李正媛 林穗平 《大地测量与地球动力学》 CSCD 北大核心 2010年第B11期50-56,共7页

搜集整理了我国定点倾斜观测近30年来已发表的观测成果,归纳出常用的倾斜资料处理方法,通过统计在历次地震发生前、震中附近一定范围内的定点倾斜观测是否出现异常以及震前异常的幅度,得到了倾斜前兆异常量级、倾斜异常与震中和震级的... 搜集整理了我国定点倾斜观测近30年来已发表的观测成果,归纳出常用的倾斜资料处理方法,通过统计在历次地震发生前、震中附近一定范围内的定点倾斜观测是否出现异常以及震前异常的幅度,得到了倾斜前兆异常量级、倾斜异常与震中和震级的统计关系,对倾斜台网未来的发展和台网布局具有一定的参考意义。 展开更多

关键词 定点倾斜 观测 资料处理 方法 映震能力

在线阅读 下载PDF 职称材料

数字信号处理IP的层次化设计与验证 被引量：3

8

作者 杜伟韬 杨刚 +1 位作者 杨占昕 吕锐 《半导体技术》 CAS CSCD 北大核心 2007年第7期614-617,628,共5页

对数字信号处理IP设计流程各个阶段的设计和验证的任务和目标进行了一般性探讨,提出了一种层次化的数字信号处理IP的设计、验证流程,并且给出设计实例。该流程的设计阶段包括理论算法设计、需求设定、定点算法设计和验证、电路接口和时... 对数字信号处理IP设计流程各个阶段的设计和验证的任务和目标进行了一般性探讨,提出了一种层次化的数字信号处理IP的设计、验证流程,并且给出设计实例。该流程的设计阶段包括理论算法设计、需求设定、定点算法设计和验证、电路接口和时序设计以及算法/软件/硬件协同验证,采用该流程能够有效地提高数字信号处理IP的设计和验证的效率。 展开更多

关键词 数字信号处理 层次化 IP 定点模型 比特精确

在线阅读 下载PDF 职称材料

用FPGA实现星载SAR实时成像处理器的工程方法 被引量：3

9

作者 熊君君 王贞松 姚建平 《计算机工程》 EI CAS CSCD 北大核心 2006年第5期223-225,共3页

根据星载SAR成像算法的原理,提出了一种用FPGA实现该成像处理器的有效方法。该处理器的体系结构由算法直接映射而来,同时根据算法内在的时间关系将流水处理和并行处理相结合,从而极大地减少了处理时间。根据算法各运算对数据的精度要求... 根据星载SAR成像算法的原理,提出了一种用FPGA实现该成像处理器的有效方法。该处理器的体系结构由算法直接映射而来,同时根据算法内在的时间关系将流水处理和并行处理相结合,从而极大地减少了处理时间。根据算法各运算对数据的精度要求不同,将浮点运算和定点运算结合在一块,既满足了成像的精度要求又节省了硬件开销。该系统工作在100MHz时,33s左右能完成16k*16k星载样本点的成像,并对加拿大Radarsat的雷达原始信号进行成像处理,成像质量能达到要求。 展开更多

关键词 实时成像处理器 FPGA 流水处理 并行处理 浮点运算 定点运算

在线阅读 下载PDF 职称材料

非扩张映像不动点的一种变形迭代算法 被引量：5

10

作者 王元恒 徐卫 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第3期259-263,共5页

在Hilbert空间的框架下,用一种变形的迭代格式xn+1=αnf(xn)+βnxn+γnTxn,研究一闭凸集合C上的非扩张映像的不动点问题,当满足适当的条件,且n→∞时,{xn}强收敛至T的一个不动点,并且此点也是某变分不等式的解.去掉了一些作者提出的相... 在Hilbert空间的框架下,用一种变形的迭代格式xn+1=αnf(xn)+βnxn+γnTxn,研究一闭凸集合C上的非扩张映像的不动点问题,当满足适当的条件,且n→∞时,{xn}强收敛至T的一个不动点,并且此点也是某变分不等式的解.去掉了一些作者提出的相应条件,其结果改进了相应文献的一些近代结果. 展开更多

关键词 变形迭代序列 非扩张映像 变分不等式 不动点

在线阅读 下载PDF 职称材料

末端约束相邻固定点间线束长度建模研究 被引量：2

11

作者 闫静 兰弼 +2 位作者 李徐辉 洪伟 池梁 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2016年第3期182-189,208,共9页

将装配状态下飞机线束分支分解为若干相邻固定点间线束,并将一端是机械类固定点、另一端是电气类固定点的相邻固定点间线束定义为"末端约束相邻固定点间线束(简称末端线束)";系统揭示了飞机样机装配中线束分支长度的确定原理... 将装配状态下飞机线束分支分解为若干相邻固定点间线束,并将一端是机械类固定点、另一端是电气类固定点的相邻固定点间线束定义为"末端约束相邻固定点间线束(简称末端线束)";系统揭示了飞机样机装配中线束分支长度的确定原理,提出原型机上确定分支长度的单元是相邻固定点间线束长度,人工确定相邻固定点间线束长度的思维过程可以抽象为预定长度下满足工艺几何要求和工艺间隙要求2个判据的迭代过程;基于该线束分支长度确定原理,建立了可用于计算机平台计算的末端线束最大、最小长度模型。为求解长度模型,采用6R机器人手臂建立了末端线束初步几何模型,并通过6根杆件长度的比例变化模拟线束的刚度特性;基于曲线能量最小原理,将初步几何模型中主体部分中心线精细化为端点不变、等长的圆弧,进而建立了末端线束精细几何模型,提高了间隙检测精度。最后,基于虚拟现实平台对末端线束长度模型进行了编程实现,并进行了实验验证。 展开更多

关键词 飞机线束 分支长度 样机敷设 工艺要求 末端约束相邻固定点间线束 工艺长度建模

在线阅读 下载PDF 职称材料

广义渐近拟非扩张映射修正隐迭代过程的强收敛(英文) 被引量：6

12

作者 钟小毛 邓磊 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期20-24,共5页

证明了巴拿赫空间中修正的隐迭代序列强收敛到有限个广义渐近拟非扩张映射的公共不动点的几个定理.

关键词 隐迭代过程 渐近拟非扩张映射 公共不动点

在线阅读 下载PDF 职称材料

进程代数上的抽象安全性质 被引量：2

13

作者 周伟 尹青 王清贤 《计算机研究与发展》 EI CSCD 北大核心 2005年第12期2100-2105,共6页

在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质·首先证明进程代数算子在安全性质集是单调衰减算子·根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上... 在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质·首先证明进程代数算子在安全性质集是单调衰减算子·根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性,并且在安全性质集合上证明了安全性质的“木桶原理”,即复合系统的整体安全性不强于系统中最弱的部分·基于安全性质之间的偏序关系,将所谓绝对安全性质与平凡性质联系起来,证明绝对安全性质是一类平凡性质· 展开更多

关键词 进程代数 算子 不动点 复合不变性质 可构造性质 绝对安全性质

在线阅读 下载PDF 职称材料

钢轨焊缝的相控阵超声定点扫查工艺研究 被引量：5

14

作者 陈选民 文晟 《铁道科学与工程学报》 CAS CSCD 北大核心 2018年第8期2148-2154,共7页

利用相控阵超声扇形扫描对钢轨焊缝进行快速扫查,通过计算超声波在楔块-工件界面的透射率,确定扇形扫描角度范围,进而研究钢轨焊缝的定点扫查工艺,设计专用位置标示尺。使用钢轨标准试块进行试验验证发现,相控阵扫描角度设置在30°~... 利用相控阵超声扇形扫描对钢轨焊缝进行快速扫查,通过计算超声波在楔块-工件界面的透射率,确定扇形扫描角度范围,进而研究钢轨焊缝的定点扫查工艺,设计专用位置标示尺。使用钢轨标准试块进行试验验证发现,相控阵扫描角度设置在30°~70°之间,位置标示尺标定10个位置即可实现试块的全面检测。本方法可以有效提高钢轨焊缝的检测效率,降低检测缺陷识别难度,同时可以将检测图像进行对比分析,具有可追溯性。 展开更多

关键词 钢轨焊缝 相控阵超声 定点扫查 扇形扫描

在线阅读 下载PDF 职称材料

有限族严格伪压缩映象具误差的一类新的合成隐迭代程序 被引量：3

15

作者 饶若峰 王雄瑞 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第5期865-869,共5页

参照强伪压缩映象不动点定理引进了涉及有限族严格伪压缩映象的带误差的合成隐迭代式.在实Banach空间框架下,利用Petryshyn不等式引理证明了该迭代序列强收敛于此严格伪压缩映象族的一个公共不动点.

关键词 合成隐迭代序列 严格伪压缩映象 公共不动点

在线阅读 下载PDF 职称材料

渐近非扩张映象迭代序列的收敛性 被引量：3

16

作者 田有先 张石生 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第6期641-644,共4页

用新方法研究了Banach空间中渐近非扩张映象不动点的迭代逼近问题,所得结果改进和发展了前人的结果。

关键词 渐近非扩张映象 不动点 具误差的Ishikawa(Mann)迭代序列

在线阅读 下载PDF 职称材料

DSP的发展及定点、浮点处理方法的比较 被引量：4

17

作者 赵胜凯 邱宽民 《北方交通大学学报》 EI CSCD 北大核心 2000年第5期82-84,88,共4页

简介了数字信号处理 (DSP)技术近年来在软、硬件方面的进展及其广泛的应用 .本文针对定点处理方法、浮点处理方法着重分析了其运算精度、误差指标以及处理系统的功能、性能 。

关键词 数字信号处理 浮点运算 定点运算 数字滤波

在线阅读 下载PDF 职称材料

一种图像分割的快速不动点算法 被引量：1

18

作者 李伟斌 易贤 宋松和 《电子与信息学报》 EI CSCD 北大核心 2015年第10期2390-2396,共7页

该文在去除背景便能获得目标的分割思想之上,提出了一个凸的无约束最小化问题。证明了问题提出过程中添加惩罚项的合理性,并通过实验验证了证明结果。在最小化求解方面,应用次微分和近似算子的相关理论,构造了求解的不动点算子,进而结合... 该文在去除背景便能获得目标的分割思想之上,提出了一个凸的无约束最小化问题。证明了问题提出过程中添加惩罚项的合理性,并通过实验验证了证明结果。在最小化求解方面,应用次微分和近似算子的相关理论,构造了求解的不动点算子,进而结合Opial a-averaged定理,给出了求解所提凸优化问题的不动点算法,并理论推导出了收敛条件,证明了算法的收敛性。与经典文献方法的对比实验表明所提方法分割结果更精确。同时实验显示该文算法比梯度下降法和分裂Bregman方法更快速。另外,所提算法对初始曲线和噪声有较好的鲁棒性。 展开更多

关键词 图像处理 图像分割 凸优化问题 不动点算法

在线阅读 下载PDF 职称材料

Hilbert空间中非扩张余弦族的显式、隐式和黏性迭代 被引量：1

19

作者 肖建中 严洁 朱杏华 《数学物理学报（A辑）》 CSCD 北大核心 2014年第6期1518-1531,共14页

研究了Hilbert空间中一些逼近单参数非扩张余弦族公共不动点的迭代格式.借助余弦族理论,在较弱的条件下分别对显式、隐式和黏性的迭代过程建立了一系列的收敛定理.结果表明上述三种迭代过程适用于非扩张余弦族;并且隐式和黏性迭代格式... 研究了Hilbert空间中一些逼近单参数非扩张余弦族公共不动点的迭代格式.借助余弦族理论,在较弱的条件下分别对显式、隐式和黏性的迭代过程建立了一系列的收敛定理.结果表明上述三种迭代过程适用于非扩张余弦族;并且隐式和黏性迭代格式在收敛性上优越于显式迭代格式. 展开更多

关键词 非扩张余弦族 公共不动点 显式迭代格式 隐式迭代格式 黏性迭代格式

在线阅读 下载PDF 职称材料

ITU─T G.723.1双速率语音编解码器定点DSP实现 被引量：7

20

作者 王仁华 徐超 戴礼荣 《信号处理》 CSCD 1997年第3期199-206,共8页

ITU─TG．723．1是GSTN上多媒体通信标准H．324系列中语音编解码器．本文在简单介绍G．723．1编解码算法和定点数字信号处理芯片ADSP-2181后，着重介绍了这种低速率的语音编解码器在ADSP-2181上实现的硬、软件设计和在定点DSP芯片上实... ITU─TG．723．1是GSTN上多媒体通信标准H．324系列中语音编解码器．本文在简单介绍G．723．1编解码算法和定点数字信号处理芯片ADSP-2181后，着重介绍了这种低速率的语音编解码器在ADSP-2181上实现的硬、软件设计和在定点DSP芯片上实现该复杂算法的一些关键技术． 展开更多

关键词 语音编解码器 数字信号处理 DSP

在线阅读 下载PDF 职称材料