期刊文献+
共找到104篇文章
< 1 2 6 >
每页显示 20 50 100
高阶线性微分方程的解及其解的导数的不动点 被引量:23
1
作者 金瑾 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2007年第4期803-813,共11页
研究了复域齐次和非齐次线性微分方程的解及其解的导数的不动点与超级问题,得到了整函数系数的齐次和非齐次线性微分方程的解及其解的导数的不动点的两个结果,所得结果推广了一些相关结果.
关键词 线性微分方程 不动点 超级 零点 不动点的收敛指数 整函数
下载PDF
定点DSP中运算精度的提高 被引量:11
2
作者 高颉 《电子工程师》 2001年第9期3-4,29,共3页
通过实际范例和相应的 TMS32 0 C5 4 x汇编程序分析了如何在定点数字信号处理器 ( DSP)中提高运算精度的方法 ,并介绍了定点
关键词 数字信号处理器 定点 运算精度
下载PDF
定点DSP芯片TMS320F2812实现快速算法应用 被引量:8
3
作者 李佳武 张景森 滕峰 《国外电子元器件》 2005年第3期27-30,共4页
论述了以DSP芯片TMS320F2812为核心的一种测量仪器的组成原理、设计思想以及快速定点算法的实现方法 。
关键词 定点芯片 浮点运算 快速算法 系统配置 TMS320F2812
下载PDF
高阶线性微分方程解的不动点与零点 被引量:7
4
作者 刘名生 《华南师范大学学报(自然科学版)》 CAS 2004年第4期1-6,共6页
研究了几类整函数系数的K阶线性微分方程的解的超级、零点、a-值点和不动点的问题,所得结果推广了一些相关结果.
关键词 不动点 线性微分方程 零点 高阶 超级 数系 整函数 系数
下载PDF
某乘用车尾门铰链安装点系统刚度研究 被引量:5
5
作者 孙伟绪 姚鹏 周启豪 《机械设计与制造》 北大核心 2018年第A02期145-148,152,共5页
刚度作为白车身的重要评价指标,刚度不足会直接影响汽车的舒适性与安全性等性能。针对原车型存在尾门铰链安装点系统刚度不足的问题,对其刚度不足原因进行了研究。利用有限元软件Hypermesh建立有限元模型并进行仿真分析,从多方面采取措... 刚度作为白车身的重要评价指标,刚度不足会直接影响汽车的舒适性与安全性等性能。针对原车型存在尾门铰链安装点系统刚度不足的问题,对其刚度不足原因进行了研究。利用有限元软件Hypermesh建立有限元模型并进行仿真分析,从多方面采取措施对尾门铰链安装点处进行优化,结果表明优化后的模型满足了设计目标要求。最后,在刚度试验台上对安装点X向和Z向刚度进行了测试,仿真与试验误差在10%以内,验证了其准确性。 展开更多
关键词 尾门铰链 安装点 刚度 试验
下载PDF
Dynamical study of varicella-zoster virus model in sense of Mittag-Leffler kernel
6
作者 Qura Tul Ain Aziz Khan +2 位作者 Thabet Abdeljawad J.F.Gomez-Aguilar Saleem Riaz 《International Journal of Biomathematics》 SCIE 2024年第3期153-183,共31页
The primary varicella-zoster virus(VzV)infection that causes chickenpox(also known as varicella),spreads quickly among people and,in severe circumstances,can cause to fever and encephalitis.In this paper,the Mittag-Le... The primary varicella-zoster virus(VzV)infection that causes chickenpox(also known as varicella),spreads quickly among people and,in severe circumstances,can cause to fever and encephalitis.In this paper,the Mittag-Leffler fractional operator is used to examine the mathematical representation of the vzV.Five fractional-order differential equations are created in terms of the disease's dynamical analysis such as S:Susceptible,V:Vaccinated,E:Exposed,I:Infectious and R:Recovered.We derive the existence criterion,positive solution,Hyers-Ulam stability,and boundedness of results in order to examine the suggested fractional-order model's wellposedness.Finally,some numerical examples for the VzV model of various fractional orders are shown with the aid of the generalized Adams-Bashforth-Moulton approach to show the viability of the obtained results. 展开更多
关键词 Varicella-zoster virus model Hyers-Ulam stability ABC fractional operator Schauder fix point theory numerical analysis
原文传递
亚纯函数系数的高阶齐次线性微分方程解及其解的导数的不动点 被引量:1
7
作者 金瑾 《曲靖师范学院学报》 2008年第3期5-9,113,共6页
研究了复域线性微分方程的解及其解的导数的不动点与超级问题,得到了亚纯函数系数的齐次线性微分方程的解及其解的导数的不动点的一个结果,所得结果推广了一些相关结果.
关键词 亚纯函数系数 线性微分方程 不动点 超级 零点 不动点的收敛指数
下载PDF
亚纯函数系数的高阶非齐次线性微分方程解及其解的导数的不动点 被引量:1
8
作者 金瑾 《山西大同大学学报(自然科学版)》 2008年第3期1-5,共5页
研究了非齐次线性微分方程的解及其解的导数的不动点与超级问题,得到了亚纯函数系数的非齐次线性微分方程的解及其解的导数的不动点的一个结果,所得结果推广了一些相关结果.
关键词 亚纯函数系数 线性微分方程 不动点 超级 零点 不动点的收敛指数
下载PDF
四足机器人被动跳跃步态动力学分析与仿真 被引量:2
9
作者 马世平 余联庆 苗国华 《中国机械工程》 EI CAS CSCD 北大核心 2008年第22期2677-2680,共4页
在四足机器人被动跳跃步态分析模型的基础上,采用拉格朗日法推导了该步态中各运动相的动力学方程,并根据跳跃步态特征给出了基于事件的运动相转换方程。定义了四足机器人被动跳跃步态的庞加莱映射,利用牛顿迭代法获得了庞加莱映射的某... 在四足机器人被动跳跃步态分析模型的基础上,采用拉格朗日法推导了该步态中各运动相的动力学方程,并根据跳跃步态特征给出了基于事件的运动相转换方程。定义了四足机器人被动跳跃步态的庞加莱映射,利用牛顿迭代法获得了庞加莱映射的某个固定点。在MATLAB中以该固定点为初始条件对各运动相动力学方程进行了数值积分,得到了被动跳跃步态的周期性运动曲线,证明了四足机器人在某个初始条件下能够实现稳定的被动跳跃步态。 展开更多
关键词 被动跳跃步态 四足机器人 庞加莱映射 固定点
下载PDF
基于Petri网的一种时序分析方法 被引量:2
10
作者 傅建明 朱福喜 彭蓉 《小型微型计算机系统》 CSCD 北大核心 2000年第4期368-371,共4页
Petri网由于有强大的建模能力和成熟的理论支持 ,被广泛应用于各种系统的建模 .本文通过把 Petri网转换成转移系统 ,利用转移系统和 Kripke结构给出了时序逻辑语义的解释 ,从而建立一种在 Petri网上进行时序分析的方法 .这种方法是根据... Petri网由于有强大的建模能力和成熟的理论支持 ,被广泛应用于各种系统的建模 .本文通过把 Petri网转换成转移系统 ,利用转移系统和 Kripke结构给出了时序逻辑语义的解释 ,从而建立一种在 Petri网上进行时序分析的方法 .这种方法是根据不动点理论 ,用模型检查验证公式正确性 .通过对 Ada程序会合性质进行模型检查 。 展开更多
关键词 PETRI网 转移系统 时序分析 模型检查
下载PDF
ADI DSP处理器在电力二次设备领域的应用 被引量:2
11
作者 程涛 《电子技术应用》 北大核心 2009年第4期94-97,共4页
ADI的DSP处理器在电力二次设备领域有着广泛的应用前景。介绍了ADI的DSP处理器类型、在电力二次设备设计中的应用概况以及开发流程。
关键词 电力二次设备 定点 BLACKFIN 浮点 SHARC
下载PDF
亚纯函数系数的高阶线性微分方程解的不动点和超级 被引量:1
12
作者 金瑾 何鹏飞 《毕节学院学报(综合版)》 2009年第4期21-30,共10页
研究了亚纯函数系数的高阶线性微分方程的解的不动点与超级问题,得到了齐次和非齐次高阶线性微分方程解的不动点和超级的两个结果,所得结果推广了一些相关结果。
关键词 亚纯函数系数 高阶线性微分方程 不动点 超级 不动点的收敛指数
下载PDF
关于两类递推数列的极限 被引量:2
13
作者 席泓 李庆玉 《贵州教育学院学报》 2001年第4期14-15,35,共3页
根据不动点的定义和存在性定理 ,证明了两类递推数列 {xn+1=f(xn) }与 { yn +1=[f( yn) + yn] / 2 }的极限存在 ,并且给出了计算它们的极限的方法。
关键词 不动点 递推数列 极限 存在性 计算方法
下载PDF
一类微分方程解的某些导数的不动点
14
作者 金瑾 《曲靖师范学院学报》 2009年第3期34-38,共5页
研究了复微分方程f(k)+Af=0解的某些导数的不动点问题,得到了微分方程f(k)+Af=0解的某些导数的不动点的两个结果.
关键词 微分方程 不动点 超级 不动点的收敛指数
下载PDF
一种理性安全协议形式化分析方法及应用 被引量:1
15
作者 刘海 彭长根 任祉静 《贵州大学学报(自然科学版)》 2014年第6期77-84,108,共9页
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得... 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构r CEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑r ATEL-A,并基于不动点描述r ATEL-A时序算子。然后基于r ATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析。 展开更多
关键词 ATEL 不动点 推理系统 理性安全协议 形式化分析
下载PDF
一类非自治系统的周期解 被引量:1
16
作者 马荣国 《西安公路学院学报》 CSCD 北大核心 1992年第1期82-83,共2页
本文利用首次积分的概念及不动点理论,讨论了一类非自治系统,并在其对应的齐次方程有非平凡解的条件下,得到了一类非自治系统周期解存在的充分条件.
关键词 周期解 首次积分 不动点
原文传递
天文船位的解算及其程序化的探讨
17
作者 翁跃宗 《大连海运学院学报》 CSCD 1994年第3期12-14,共3页
应用天文船位圆的原理,提出天文船位的解算公式,并对解算过程的程序化进行了探讨,有较强的实用性。
关键词 天文船位 天文船位圆 解算 程序化 船舶 导航
下载PDF
双足被动步行的全局稳定性分析 被引量:1
18
作者 胡峻峰 曹军 《计算机工程》 CAS CSCD 北大核心 2015年第2期173-177,共5页
在经典双足被动步行动力学模型的基础上,分析环境和力学参数影响下机器人被动步行的全局稳定性。计算不同模型参数下被动步行稳定不动点,采用胞胞映射计算得到不同模型参数下该动力学模型稳定单周期步态的吸引区域。研究发现双足被动步... 在经典双足被动步行动力学模型的基础上,分析环境和力学参数影响下机器人被动步行的全局稳定性。计算不同模型参数下被动步行稳定不动点,采用胞胞映射计算得到不同模型参数下该动力学模型稳定单周期步态的吸引区域。研究发现双足被动步行的鲁棒性与其环境、力学参数关系密切,同时提出估计不动点吸引域形状的2个度量:最小半径与最大半径。实验结果给出被动步行稳定区域与斜坡倾角和质量比值的关系,同时通过分析某些偏离不动点较大的稳定吸引胞,以及吸引域的最小半径与最大半径的变化趋势,反映了双足被动步态的鲁棒性。 展开更多
关键词 双足被动步行 全局稳定性 胞胞映射 不动点 吸引域 鲁棒性
下载PDF
关于连续函数的不动点 被引量:1
19
作者 韩云芷 张秋红 《保定师范专科学校学报》 2007年第2期8-9,共2页
给出一些连续函数不动点存在定理.
关键词 连续 函数 不动点
下载PDF
MBE的分析与优化技术的研究 被引量:1
20
作者 徐雷 郭立 +1 位作者 陈希 杨帆 《计算机工程与应用》 CSCD 北大核心 2009年第33期87-89,共3页
多带激励语音压缩(MBE)算法广泛应用于保密通信中,近来,随着语音压缩编解码技术的进步,信息隐藏载体的多样化发展,出现了以MBE为载体的密写文件。为了保障保密通信安全,提出了一种MBE算法的分析与优化技术。通过对算法的清浊音判决模块... 多带激励语音压缩(MBE)算法广泛应用于保密通信中,近来,随着语音压缩编解码技术的进步,信息隐藏载体的多样化发展,出现了以MBE为载体的密写文件。为了保障保密通信安全,提出了一种MBE算法的分析与优化技术。通过对算法的清浊音判决模块优化,浮点转定点,牛顿迭代法实现开平方,对超越函数查表实现等方法,并采用基于SOC/Leon3微处理器架构的现场可编程门阵列(FPGA)实现,减少了近45%硬件资源的消耗,并且运算实时性能提升了约29%,为针对MBE的隐写分析提供了一个很好的平台。 展开更多
关键词 多带激励语音压缩 牛顿迭代法 定点 LEON3 现场可编程门阵列(FPGA)
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部