期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
采用函数替换方法建立导弹准线性化模型
被引量:
2
1
作者
于剑桥
胡国怀
别炎华
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2009年第5期390-393,共4页
为了建立导弹准线性化模型,将导弹动力学描述为状态空间形式;采用函数替换方法将导弹的非线性动力学描述为关于特定时变参数的函数的线性组合形式;以整个设计区间内模型参数变化范围最小为优化目标,采用线性规划优化算法确定了所选网格...
为了建立导弹准线性化模型,将导弹动力学描述为状态空间形式;采用函数替换方法将导弹的非线性动力学描述为关于特定时变参数的函数的线性组合形式;以整个设计区间内模型参数变化范围最小为优化目标,采用线性规划优化算法确定了所选网格点上的模型参数.由于在模型生成过程中没有做线性化近似,所建立的准线性参数时变(准LPV)模型能够准确描述导弹系统的非线性动力学特性.所建立模型的正确性通过数学仿真得到了验证.
展开更多
关键词
函数替换
准线性化
导弹动力学
线性规划
在线阅读
下载PDF
职称材料
基于库函数动态替换的物联网设备固件仿真方案
2
作者
张光华
常继友
+3 位作者
陈放
毛伯敏
王鹤
张建燕
《信息网络安全》
北大核心
2025年第7期1053-1062,共10页
物联网设备资源有限,导致传统的漏洞检测技术难以有效应用。固件仿真技术为解决这一问题提供了可能,但现有方案存在硬件依赖性强、运行成本高和可移植性差等问题。针对这些问题,文章提出一种基于库函数动态替换的物联网设备固件仿真方...
物联网设备资源有限,导致传统的漏洞检测技术难以有效应用。固件仿真技术为解决这一问题提供了可能,但现有方案存在硬件依赖性强、运行成本高和可移植性差等问题。针对这些问题,文章提出一种基于库函数动态替换的物联网设备固件仿真方案。首先,设计了基于人机协同的固件仿真方法,通过固件分析和固件托管构建仿真环境,并在固件文件获取过程中引入专家经验。然后,提出一种基于符号执行的库函数替换技术,通过提取上一阶段的关键信息,利用符号执行技术进行分析并指导库函数生成,最终通过将库函数编译为动态链接库完成库函数替换。实验结果表明,相较于FIRMADYNE,文章所提方案的仿真速度平均提升了80.50%,优化后的符号执行运行速度约为优化前的两倍。同时,通过漏洞复现和漏洞挖掘技术进行验证,实验结果表明,该方案的仿真保真度能够满足漏洞检测和漏洞挖掘的需求。
展开更多
关键词
物联网
固件仿真
库
函数替换
交叉编译
漏洞挖掘
在线阅读
下载PDF
职称材料
dBASEⅢ宏替换函数&功能的妙用
3
作者
陶根苗
《实验室研究与探索》
CAS
1995年第1期34-36,共3页
dBASEⅢ宏替换函数&功能的妙用安徽师范大学陶根苗宏替换函数&是dBASEⅢ中功能极强、且颇具特色的重要函数。它以少代多,可把字符型数据转化为数值型数据,以满足只有同类数据时可进行运算的要求,不但增加了输入输出的灵...
dBASEⅢ宏替换函数&功能的妙用安徽师范大学陶根苗宏替换函数&是dBASEⅢ中功能极强、且颇具特色的重要函数。它以少代多,可把字符型数据转化为数值型数据,以满足只有同类数据时可进行运算的要求,不但增加了输入输出的灵活性,也提高了程序的通用性和灵活性...
展开更多
关键词
宏
替换
函数
dBASEⅢ
三级子程序
字符串
内存变量
功能模块
基本功能
终止符
字符型
特殊功能
在线阅读
下载PDF
职称材料
基于LPV模型参考自适应飞行边界保护控制
被引量:
2
4
作者
高振兴
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2018年第6期796-801,共6页
进行有效的飞行边界保护控制有利于预防飞行失控。研究了一种基于线性参数变化(Linear parameter varing,LPV)模型参考自适应飞行边界保护控制方法。基于函数替换方法构建了仿射参数依赖LPV飞行动力学模型,通过调度变量的动态变化来减...
进行有效的飞行边界保护控制有利于预防飞行失控。研究了一种基于线性参数变化(Linear parameter varing,LPV)模型参考自适应飞行边界保护控制方法。基于函数替换方法构建了仿射参数依赖LPV飞行动力学模型,通过调度变量的动态变化来减小与全量非线性动力学模型的失配。将实时飞行边界保护转为有约束广义预测控制问题,设计了数值算法以实现对舵偏角控制量及其增量、飞行状态参数的边界保护。通过仿真分析表明,LPV模型能够较好地逼近全量模型,反映出瞬时飞行动态;通过有约束广义预测控制数值算法能够有效地实现飞行边界的保护控制。
展开更多
关键词
飞行边界保护
自适应控制
预测控制
线性参数变化
函数替换
在线阅读
下载PDF
职称材料
一种基于MPEG-4的帧间差分能量视频水印算法
被引量:
1
5
作者
王丽君
姚鸿勋
+1 位作者
刘绍辉
高文
《计算机工程与应用》
CSCD
北大核心
2005年第9期52-55,共4页
针对视频水印的盲检测特性和对时间轴上帧操作的鲁棒性,论文提出了一种基于相邻帧间相关性的视频水印算法,即在预测帧的编码过程中,根据编码器的运动估计和补偿模块提供的运动向量和宏块的编码模式,在残差中嵌入水印数据。在该算法中,...
针对视频水印的盲检测特性和对时间轴上帧操作的鲁棒性,论文提出了一种基于相邻帧间相关性的视频水印算法,即在预测帧的编码过程中,根据编码器的运动估计和补偿模块提供的运动向量和宏块的编码模式,在残差中嵌入水印数据。在该算法中,用能量替换函数保证嵌入数据不影响视频质量,用重同步策略来保证水印提取时的鲁棒性,并且在水印提取的过程中不需要任何附加信息,是一种盲检测算法。水印的嵌入和提取是在视频的编、解码过程中直接利用编码器提供的信息进行的,因此该算法具有计算复杂性低的特点。实验证明这种方法能够抵抗重编码操作,并且对于帧删除、帧插入和帧置换等攻击也有一定的鲁棒性,而且由于该算法是在预测帧的残差中进行,水印的隐藏效果比较好,生成码流的信噪比也较高。
展开更多
关键词
视频水印
视频编码
能量
替换
函数
重同步
在线阅读
下载PDF
职称材料
再论Excel在寿险精算中的应用
被引量:
2
6
作者
张运刚
《计算机工程与应用》
CSCD
北大核心
2005年第35期17-18,34,共3页
寿险精算中大量而繁杂的计算工作可通过Excel程序来完成,其实质是每一替换函数值用一单元格来代替。针对替换函数值与引用的单元格列行号不一致而必须先转换后才能计算的局限性,文章将探讨如何克服这一局限性而构建新替换函数表的方法,...
寿险精算中大量而繁杂的计算工作可通过Excel程序来完成,其实质是每一替换函数值用一单元格来代替。针对替换函数值与引用的单元格列行号不一致而必须先转换后才能计算的局限性,文章将探讨如何克服这一局限性而构建新替换函数表的方法,并通过示范举例达到进一步简化寿险精算中计算的目标:只需形式地输入替换函数表达式。
展开更多
关键词
寿险精算
EXCEL
人寿保险
替换
函数
在线阅读
下载PDF
职称材料
题名
采用函数替换方法建立导弹准线性化模型
被引量:
2
1
作者
于剑桥
胡国怀
别炎华
机构
北京理工大学宇航科学技术学院
出处
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2009年第5期390-393,共4页
文摘
为了建立导弹准线性化模型,将导弹动力学描述为状态空间形式;采用函数替换方法将导弹的非线性动力学描述为关于特定时变参数的函数的线性组合形式;以整个设计区间内模型参数变化范围最小为优化目标,采用线性规划优化算法确定了所选网格点上的模型参数.由于在模型生成过程中没有做线性化近似,所建立的准线性参数时变(准LPV)模型能够准确描述导弹系统的非线性动力学特性.所建立模型的正确性通过数学仿真得到了验证.
关键词
函数替换
准线性化
导弹动力学
线性规划
Keywords
function substitution
quasi linearization
missile dynamics
linear programming
分类号
TJ760.12 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
基于库函数动态替换的物联网设备固件仿真方案
2
作者
张光华
常继友
陈放
毛伯敏
王鹤
张建燕
机构
西安电子科技大学网络与信息安全学院
河北科技大学信息科学与工程学院
河北省智能物联网技术创新中心
西北工业大学太仓长三角研究院
出处
《信息网络安全》
北大核心
2025年第7期1053-1062,共10页
基金
国家自然科学基金[62072239,62372236]
苏州姑苏创新创业领军人才计划-青年创新领军人才项目[ZXL2022458]。
文摘
物联网设备资源有限,导致传统的漏洞检测技术难以有效应用。固件仿真技术为解决这一问题提供了可能,但现有方案存在硬件依赖性强、运行成本高和可移植性差等问题。针对这些问题,文章提出一种基于库函数动态替换的物联网设备固件仿真方案。首先,设计了基于人机协同的固件仿真方法,通过固件分析和固件托管构建仿真环境,并在固件文件获取过程中引入专家经验。然后,提出一种基于符号执行的库函数替换技术,通过提取上一阶段的关键信息,利用符号执行技术进行分析并指导库函数生成,最终通过将库函数编译为动态链接库完成库函数替换。实验结果表明,相较于FIRMADYNE,文章所提方案的仿真速度平均提升了80.50%,优化后的符号执行运行速度约为优化前的两倍。同时,通过漏洞复现和漏洞挖掘技术进行验证,实验结果表明,该方案的仿真保真度能够满足漏洞检测和漏洞挖掘的需求。
关键词
物联网
固件仿真
库
函数替换
交叉编译
漏洞挖掘
Keywords
Internet of things
firmware simulation
library function replacement
cross-compilation
vulnerability mining
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
dBASEⅢ宏替换函数&功能的妙用
3
作者
陶根苗
机构
安徽师范大学
出处
《实验室研究与探索》
CAS
1995年第1期34-36,共3页
文摘
dBASEⅢ宏替换函数&功能的妙用安徽师范大学陶根苗宏替换函数&是dBASEⅢ中功能极强、且颇具特色的重要函数。它以少代多,可把字符型数据转化为数值型数据,以满足只有同类数据时可进行运算的要求,不但增加了输入输出的灵活性,也提高了程序的通用性和灵活性...
关键词
宏
替换
函数
dBASEⅢ
三级子程序
字符串
内存变量
功能模块
基本功能
终止符
字符型
特殊功能
分类号
TP392 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于LPV模型参考自适应飞行边界保护控制
被引量:
2
4
作者
高振兴
机构
南京航空航天大学民航学院
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2018年第6期796-801,共6页
基金
国家自然科学基金(U1533120)资助项目
航空科学基金(20158052057)资助项目
中央高校基本科研业务费专项(NS2015066)资助项目
文摘
进行有效的飞行边界保护控制有利于预防飞行失控。研究了一种基于线性参数变化(Linear parameter varing,LPV)模型参考自适应飞行边界保护控制方法。基于函数替换方法构建了仿射参数依赖LPV飞行动力学模型,通过调度变量的动态变化来减小与全量非线性动力学模型的失配。将实时飞行边界保护转为有约束广义预测控制问题,设计了数值算法以实现对舵偏角控制量及其增量、飞行状态参数的边界保护。通过仿真分析表明,LPV模型能够较好地逼近全量模型,反映出瞬时飞行动态;通过有约束广义预测控制数值算法能够有效地实现飞行边界的保护控制。
关键词
飞行边界保护
自适应控制
预测控制
线性参数变化
函数替换
Keywords
flight boundary protection
adaptive control
predictive control
linear parameter varying
function substitution
分类号
V249.1 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
一种基于MPEG-4的帧间差分能量视频水印算法
被引量:
1
5
作者
王丽君
姚鸿勋
刘绍辉
高文
机构
哈尔滨工业大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2005年第9期52-55,共4页
文摘
针对视频水印的盲检测特性和对时间轴上帧操作的鲁棒性,论文提出了一种基于相邻帧间相关性的视频水印算法,即在预测帧的编码过程中,根据编码器的运动估计和补偿模块提供的运动向量和宏块的编码模式,在残差中嵌入水印数据。在该算法中,用能量替换函数保证嵌入数据不影响视频质量,用重同步策略来保证水印提取时的鲁棒性,并且在水印提取的过程中不需要任何附加信息,是一种盲检测算法。水印的嵌入和提取是在视频的编、解码过程中直接利用编码器提供的信息进行的,因此该算法具有计算复杂性低的特点。实验证明这种方法能够抵抗重编码操作,并且对于帧删除、帧插入和帧置换等攻击也有一定的鲁棒性,而且由于该算法是在预测帧的残差中进行,水印的隐藏效果比较好,生成码流的信噪比也较高。
关键词
视频水印
视频编码
能量
替换
函数
重同步
Keywords
video watermarking,video encoding,energy mapping function,re-synchronization
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
再论Excel在寿险精算中的应用
被引量:
2
6
作者
张运刚
机构
西南财经大学
出处
《计算机工程与应用》
CSCD
北大核心
2005年第35期17-18,34,共3页
基金
国家自然科学基金(编号:70203010)
西南财大"十五""211工程"保险精算课题资助
文摘
寿险精算中大量而繁杂的计算工作可通过Excel程序来完成,其实质是每一替换函数值用一单元格来代替。针对替换函数值与引用的单元格列行号不一致而必须先转换后才能计算的局限性,文章将探讨如何克服这一局限性而构建新替换函数表的方法,并通过示范举例达到进一步简化寿险精算中计算的目标:只需形式地输入替换函数表达式。
关键词
寿险精算
EXCEL
人寿保险
替换
函数
Keywords
actuarial science, Excel, life insurance, commutation function
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
采用函数替换方法建立导弹准线性化模型
于剑桥
胡国怀
别炎华
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
2
基于库函数动态替换的物联网设备固件仿真方案
张光华
常继友
陈放
毛伯敏
王鹤
张建燕
《信息网络安全》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
dBASEⅢ宏替换函数&功能的妙用
陶根苗
《实验室研究与探索》
CAS
1995
0
在线阅读
下载PDF
职称材料
4
基于LPV模型参考自适应飞行边界保护控制
高振兴
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2018
2
在线阅读
下载PDF
职称材料
5
一种基于MPEG-4的帧间差分能量视频水印算法
王丽君
姚鸿勋
刘绍辉
高文
《计算机工程与应用》
CSCD
北大核心
2005
1
在线阅读
下载PDF
职称材料
6
再论Excel在寿险精算中的应用
张运刚
《计算机工程与应用》
CSCD
北大核心
2005
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部