期刊文献+
共找到31篇文章
< 1 2 >
每页显示 20 50 100
嵌入式固件脆弱哈希函数自动识别与破解方法 被引量:8
1
作者 张国栋 应欢 +2 位作者 杨寿国 石志强 李霁远 《北京邮电大学学报》 EI CAS CSCD 北大核心 2020年第1期46-53,共8页
针对现有固件脆弱哈希函数识别误报率高、定位不准确、破解难度大等问题,提出一种嵌入式固件脆弱哈希函数自动识别与破解方法,基于机器学习模型和结构化匹配的脆弱哈希函数识别与定位技术以及基于VEX中间表达式(VEX IR)符号执行的Z3约... 针对现有固件脆弱哈希函数识别误报率高、定位不准确、破解难度大等问题,提出一种嵌入式固件脆弱哈希函数自动识别与破解方法,基于机器学习模型和结构化匹配的脆弱哈希函数识别与定位技术以及基于VEX中间表达式(VEX IR)符号执行的Z3约束求解器(Z3 SMT)的求解方法,构建了从固件二进制文件的脆弱哈希函数的识别与定位到破解的完整自动化分析流程.实验结果表明,所提方法对多种架构和不同编译优化选项下编译的二进制文件的脆弱哈希函数的识别与定位的准确率高达98%,对类似于BKDR哈希函数(BKDRHash)结构的脆弱哈希函数能够准确定位,并快速破解出多个碰撞值. 展开更多
关键词 嵌入式设备固件 特征提取 机器学习 脆弱哈希函数识别与破解 约束求解
原文传递
冲模CAD系统中典型结构动态设计方法的研究 被引量:3
2
作者 蒙凡胜 温建勇 +1 位作者 李建军 肖祥芷 《模具工业》 2000年第4期3-6,共4页
研究了冲模CAD系统中模具典型结构的动态设计方法 ,在约束关系树装配模型的基础上 ,利用面向对象的方法进行装配建模 。
关键词 冲模 CAD 动态设计 约束求解 结构设计
下载PDF
一种新的约束识别与求解算法 被引量:1
3
作者 汪俊 周来水 +1 位作者 安鲁陵 谭昌柏 《机械科学与技术》 CSCD 北大核心 2007年第4期505-510,514,共7页
约束拟合是逆向工程中模型重建的重要一环。其中约束的识别与求解是约束拟合的关键。本文提出了一种新的二维约束识别求解算法,实现了约束识别求解器。首先给出了二维基本图元的规范化表示及其常见约束关系;然后根据约束识别准则,自动... 约束拟合是逆向工程中模型重建的重要一环。其中约束的识别与求解是约束拟合的关键。本文提出了一种新的二维约束识别求解算法,实现了约束识别求解器。首先给出了二维基本图元的规范化表示及其常见约束关系;然后根据约束识别准则,自动识别出基本图元之间的潜在约束关系,并交互地对其进行确认和编辑;最后根据这些约束关系,采用合适的约束表达策略以及有效的优化算法,进行整体的约束求解,实现基本图元之间的同步拟合。大量实验证明了该算法的稳定性和有效性。 展开更多
关键词 基本图元 约束关系 约束识别 约束求解
下载PDF
具有欠约束求解能力的图结构求解方法
4
作者 李海龙 董金祥 唐敏 《计算机研究与发展》 EI CSCD 北大核心 1997年第S1期227-231,共5页
针对约束求解的效率问题及可靠性问题,文中提出了一种基于有向图结构的约束求解方法,它利用图的形式来表示几何元素之间的约束关系,大大降低了计算复杂度,提高了求解的可靠性,并且能十分有效地处理约束不足及约束过载问题.
关键词 几何约束 约束求解 有向图
下载PDF
基于相容和搜索结合的并行约束求解方法 被引量:1
5
作者 曹琰 王清贤 +1 位作者 魏强 尹中旭 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第S2期268-272,共5页
针对多核硬件结构出现后时间耗费型的约束求解问题具有并行求解能力的问题,分析回溯搜索算法和相容技术,提出并行相容和并行搜索结合的约束求解方法。在并行相容技术上,提出基于集中式存储的全局约束并行相容模型,以高效压缩搜索空间,... 针对多核硬件结构出现后时间耗费型的约束求解问题具有并行求解能力的问题,分析回溯搜索算法和相容技术,提出并行相容和并行搜索结合的约束求解方法。在并行相容技术上,提出基于集中式存储的全局约束并行相容模型,以高效压缩搜索空间,优化搜索过程;研究搜索空间分裂方法,通过对搜索空间划分与调度确保并行搜索的不相交和完整性。实验验证方法的可行性并能够获得更高的加速比。 展开更多
关键词 约束求解 并行化 搜索 相容
下载PDF
一种基于几何推理约束求解参数化设计方法
6
作者 贾振华 林建平 《河北工业大学学报》 CAS 1997年第3期29-32,共4页
提出了一种基于几何推理,约束求解的参数化设计方法.它综合了代数法与人工智能方法,通过确定几何约束与拓扑约束生成约束模型,以普通算法实现推理过程,避免了求解繁琐的约束方程,解决了图形的参数化问题.
关键词 几何推理 约束求解 计算机图形学 参数化设计
下载PDF
三维几何约束的球面几何求解 被引量:4
7
作者 王小刚 陈立平 +1 位作者 赵建军 王波兴 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第11期2433-2440,共8页
研究了球面几何学在三维几何约束求解中的应用,提出了球面求解法.该方法建立在姿态约束与位置约束解耦的基础上,并以求解关键的姿态约束为主,一旦姿态约束被解出,则位置约束很容易求解;同时将表征刚体姿态的矢量映射到球平面上的点,将... 研究了球面几何学在三维几何约束求解中的应用,提出了球面求解法.该方法建立在姿态约束与位置约束解耦的基础上,并以求解关键的姿态约束为主,一旦姿态约束被解出,则位置约束很容易求解;同时将表征刚体姿态的矢量映射到球平面上的点,将姿态约束映射为球平面上两点的距离,借助球面几何的知识,能够高效、直观地推理出多数情况下姿态约束的解析解,而特殊的情况则结合数值法求解,并很好地解决了数值法的初值问题. 展开更多
关键词 几何约束求解 球面求解法 球面几何学
下载PDF
基于加速度二阶导数最小化的移动机器人轨迹规划
8
作者 徐永胜 郑天江 《机械制造》 2024年第7期18-27,共10页
智能工厂对移动机器人的应用需求越来越多,轨迹规划是移动机器人的研究内容之一,对移动机器人的运动平稳性、连续性具有重要意义。现有的轨迹规划算法通常采用多段轨迹拼接的方法实现,在多段轨迹起始点和目标点拼接时容易导致整条轨迹... 智能工厂对移动机器人的应用需求越来越多,轨迹规划是移动机器人的研究内容之一,对移动机器人的运动平稳性、连续性具有重要意义。现有的轨迹规划算法通常采用多段轨迹拼接的方法实现,在多段轨迹起始点和目标点拼接时容易导致整条轨迹速度和加速度曲线不光滑连续,尤其是在障碍物比较多的情况下,会产生速度、加速度、加加速度突变,导致移动机器人运动不平稳。通过建立优化系统模型,提出一种以加速度二阶导数最小化为优化目标,增加安全区域约束的多段轨迹拼接方法。仿真结果表明,通过这一方法可以获得一条满足高阶动力学约束的光滑连续轨迹,适用于移动机器人轨迹规划。 展开更多
关键词 移动机器人 轨迹规划 自主导航 多约束求解
下载PDF
基于实数遗传算法的几何约束求解 被引量:3
9
作者 丁有和 《现代制造工程》 CSCD 北大核心 2003年第9期13-15,共3页
提出一种用于几何约束求解改进的实数编码遗传算法 ,它在一般实数编码遗传算法基础上 ,增加基因初始种群的人工选择以及对交叉、变异算子的改进 ,并通过添加外循环的过程 ,大大提高遗传算法的求解能力 ,最后通过变量区间的二分和组合 。
关键词 约束求解 遗传算法 实数编码 多解处理 几何约束
下载PDF
SDCORS网高精度数据处理中的基准约束研究 被引量:2
10
作者 张清华 郭金运 +1 位作者 刘智敏 张海平 《中国科技论文》 北大核心 2017年第9期984-989,998,共7页
为客观研究主要的基准约束类型即自由网解算、约束参考站、固定参考站和最小约束解算对CORS网平差结果精度的影响,使用Bernese软件对2012年1月1日—2012年1月5日SDCORS的84个测站和5个IGS观测站的数据进行处理。结果表明:自由网解算的... 为客观研究主要的基准约束类型即自由网解算、约束参考站、固定参考站和最小约束解算对CORS网平差结果精度的影响,使用Bernese软件对2012年1月1日—2012年1月5日SDCORS的84个测站和5个IGS观测站的数据进行处理。结果表明:自由网解算的精度最低,最小约束解算的精度最高,在一定范围内,约束参考站的解算精度会随着给定的约束减小而变高。所以,测站点坐标应使用最小约束解算。 展开更多
关键词 GPS 基准约束 自由网解算 约束参考站 固定参考站 最小约束解
下载PDF
一类多变量线性矩阵方程异类约束解的迭代算法 被引量:2
11
作者 张郁柳 蔡静 《湖州师范学院学报》 2018年第4期1-7,共7页
研究一类多变量线性矩阵方程的异类约束解.基于异类约束解的结构特点,通过修改共轭梯度法的下降系数建立相应的迭代算法.该算法在不计舍入误差的前提下,可通过有限步迭代求得一组异类约束解,并可获得测试矩阵的最佳逼近矩阵.实验算例表... 研究一类多变量线性矩阵方程的异类约束解.基于异类约束解的结构特点,通过修改共轭梯度法的下降系数建立相应的迭代算法.该算法在不计舍入误差的前提下,可通过有限步迭代求得一组异类约束解,并可获得测试矩阵的最佳逼近矩阵.实验算例表明,该算法实际可行. 展开更多
关键词 异类约束解 迭代算法 多变量线性矩阵方程 最佳逼近解
下载PDF
基于混合输入的环境交互问题研究 被引量:2
12
作者 曹琰 欧阳永基 +1 位作者 魏强 王清贤 《计算机应用研究》 CSCD 北大核心 2013年第11期3353-3357,共5页
针对软件安全测试中静态符号执行技术难以处理环境交互的问题,提出了一种基于混合输入的符号执行方法。首先,定义了程序执行的一致性模型,系统化地分析了符号执行与实际执行的逼近问题;接着,提出了符号执行与具体执行的转换方法及维护... 针对软件安全测试中静态符号执行技术难以处理环境交互的问题,提出了一种基于混合输入的符号执行方法。首先,定义了程序执行的一致性模型,系统化地分析了符号执行与实际执行的逼近问题;接着,提出了符号执行与具体执行的转换方法及维护一致性的启发式策略;最后,通过区分可求解约束和复杂约束条件,提出了具体值和符号值混合代入法化简复杂约束的路径求解算法。实验结果表明该方法在处理环境交互问题上的可行性和有效性,扩展了静态符号执行的能力。 展开更多
关键词 符号执行 混合输入 环境交互 一致性模型 约束求解
下载PDF
不同基准下GPS网解算精度对比研究 被引量:1
13
作者 孔巧丽 郭金运 +1 位作者 韩李涛 孙玉 《工程勘察》 2014年第2期56-59,共4页
为了得到可靠、可信的处理结果,有必要深入研究各种基准类型对网平差结果的影响。GPS观测网解算主要基准类型包括自由网解算、最小约束、约束参考测站和固定参考测站。利用一周的观测数据进行分析,涉及测站点包括五个中国大陆IGS测站和... 为了得到可靠、可信的处理结果,有必要深入研究各种基准类型对网平差结果的影响。GPS观测网解算主要基准类型包括自由网解算、最小约束、约束参考测站和固定参考测站。利用一周的观测数据进行分析,涉及测站点包括五个中国大陆IGS测站和一个台湾IGS测站,即:BJFS,CHAN,KUNM,SHAO,WUHN和TWTF。采用四种基准对GPS观测网进行平差,客观地分析了各种基准对GPS观测网平差结果精度的影响。最后为选择一个合理的GPS观测网平差基准得出有益的结论。 展开更多
关键词 GPS网 自由网解算 最小约束解算 约束参考测站 固定参考测站
下载PDF
基于集中式存储的全局约束并行相容模型 被引量:1
14
作者 曹琰 魏强 +1 位作者 王清贤 丁文博 《计算机应用研究》 CSCD 北大核心 2013年第11期3314-3317,共4页
为了利用多处理平台的并行处理能力,提高约束求解中相容检查的效率,提出了一种新的基于集中式存储的全局约束并行相容模型。利用动态分配约束条件的方法解决负载均衡问题;通过对变量域的集中式管理,保证了冲突检测的及时性;利用变量域... 为了利用多处理平台的并行处理能力,提高约束求解中相容检查的效率,提出了一种新的基于集中式存储的全局约束并行相容模型。利用动态分配约束条件的方法解决负载均衡问题;通过对变量域的集中式管理,保证了冲突检测的及时性;利用变量域剪枝单调性的特点,实现了异步相容检查,提高了多节点间相容检查的并行程度。最后,通过实验验证并讨论了模型的优势和适用范围。 展开更多
关键词 约束求解 相容技术 并行化 全局约束
下载PDF
几何约束求解的去并拟合方法
15
作者 赵辰 林强 +1 位作者 吴娟 罗秋科 《工程图学学报》 CSCD 北大核心 2010年第3期40-46,共7页
依据有向图理论提出了去并拟合方法,由此导出了对于几何约束求解问题的去并拟合的并行处理及串行处理策略,进而得到了一套求解几何约束问题的完备算法。通过将该理论引入到参数化CAD的设计中,使得在算法复杂度增加不大的情况下,几何自... 依据有向图理论提出了去并拟合方法,由此导出了对于几何约束求解问题的去并拟合的并行处理及串行处理策略,进而得到了一套求解几何约束问题的完备算法。通过将该理论引入到参数化CAD的设计中,使得在算法复杂度增加不大的情况下,几何自动作图的范围大大拓宽。还将其应用于智能动态几何软件的设计中,取得了较好的结果。 展开更多
关键词 计算机应用 几何约束求解 去并拟合方法 参数化CAD 智能动态几何软件
下载PDF
浅谈高黎贡山生态旅游中的环境教育 被引量:3
16
作者 余新林 周应再 《科技创新导报》 2015年第28期157-158,共2页
随着世界生态旅游业的快速发展,高黎贡山生态旅游也越来越热,生态旅游带来正面效益的同时,或多或少也产生了一定的负面效应。环境教育与生态旅游有机结合、相辅相成是减少负面效应的最有效途径。结合生态旅游特性和环境教育目标,作者分... 随着世界生态旅游业的快速发展,高黎贡山生态旅游也越来越热,生态旅游带来正面效益的同时,或多或少也产生了一定的负面效应。环境教育与生态旅游有机结合、相辅相成是减少负面效应的最有效途径。结合生态旅游特性和环境教育目标,作者分析了高黎贡山生态旅游和环境教育现状,提出在高黎贡山生态旅游中开展环境教育的十项内容、多种参与方式和教育手段,指出了高黎贡山生态旅游中开展环境教育的制约因素及解决对策,对高黎贡山在生态旅游中实现环境教育功能具有理论指导意义和实践价值。 展开更多
关键词 高黎贡山自然保护区 生态旅游 环境教育 教育内容 制约因素及对策
下载PDF
求解带能力约束车辆路径优化问题的改进模拟退火算法 被引量:21
17
作者 尚正阳 顾寄南 王建平 《计算机集成制造系统》 EI CSCD 北大核心 2021年第8期2260-2269,共10页
为高效求解带能力约束的车辆路径优化问题,提出一种带有回火操作的改进模拟退火算法。解析多约束条件下的路径优化特点,构建了结构简单且功能模块相对独立的模拟退火框架,以便相关约束及其算法的耦合嵌套。在此基础上,改变较优解在迭代... 为高效求解带能力约束的车辆路径优化问题,提出一种带有回火操作的改进模拟退火算法。解析多约束条件下的路径优化特点,构建了结构简单且功能模块相对独立的模拟退火框架,以便相关约束及其算法的耦合嵌套。在此基础上,改变较优解在迭代过程中的接受规则,引入回火操作使全局搜索与局部搜索实现平衡;设计强制的随机邻域变换策略,以提高多约束条件下的新解生成质量。结合初始解生成方法,构建了整体算法。通过不同类型算例的对比实验表明,所提算法具有优越的求解性能,相应的求解框架与优化方法研究,能够为相关的多约束耦合求解提供参考。 展开更多
关键词 车辆路径优化问题 模拟退火算法 多约束耦合求解 邻域变换
下载PDF
Coordinate scheduling approach for EDS observation tasks and data transmission jobs 被引量:9
18
作者 Hao Chen Jiangjiang Wu +2 位作者 Wenyuan Shi Jun Li Zhinong Zhong 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2016年第4期822-835,共14页
Electromagnetic detection satellite(EDS) is a type of Earth observation satellite(EOS). Satellites observation and data down-link scheduling plays a significant role in improving the efficiency of satellite observ... Electromagnetic detection satellite(EDS) is a type of Earth observation satellite(EOS). Satellites observation and data down-link scheduling plays a significant role in improving the efficiency of satellite observation systems. However, the current works mainly focus on the scheduling of imaging satellites, little work focuses on the scheduling of EDSes for its specific requirements.And current works mainly schedule satellite resources and data down-link resources separately, not considering them in a globally optimal perspective. The EDSes and data down-link resources are scheduled in an integrated process and the scheduling result is searched globally. Considering the specific constraints of EDS, a coordinate scheduling model for EDS observation tasks and data transmission jobs is established and an algorithm based on the genetic algorithm is proposed. Furthermore, the convergence of our algorithm is proved. To deal with some specific constraints, a solution repairing algorithm of polynomial computing time is designed. Finally, some experiments are conducted to validate the correctness and practicability of our scheduling algorithms. 展开更多
关键词 electromagnetic detection satellites scheduling satellites and ground stations coordinate scheduling constraint handling solution repairing method genetic algorithm
下载PDF
一个基于变形映射的约束图有向化与求解方法 被引量:3
19
作者 金建国 谭建荣 mech.zju.edu.cn 《软件学报》 EI CSCD 北大核心 2000年第7期924-930,共7页
提出了变形映射和变形源的概念 ,给出一种基于变形映射的二维工程图约束图有向化与求解新方法 .同时 ,提出一种基于变形映射的约束图有向化新方法 ,并在约束图分解的基础上 ,给出了一个基于复合节点及虚拟约束的约束图变形求解新算法 .... 提出了变形映射和变形源的概念 ,给出一种基于变形映射的二维工程图约束图有向化与求解新方法 .同时 ,提出一种基于变形映射的约束图有向化新方法 ,并在约束图分解的基础上 ,给出了一个基于复合节点及虚拟约束的约束图变形求解新算法 .应用此方法 ,可提高约束图有向化的可靠性、降低计算复杂度 。 展开更多
关键词 变形映射 约束图求解 约束图有向化 CA
下载PDF
结构方程模型的约束最小二乘解与确定性算法 被引量:5
20
作者 童乔凌 刘天桢 童恒庆 《数值计算与计算机应用》 CSCD 北大核心 2009年第3期170-180,共11页
研究了结构方程模型(SEM)的约束最小二乘解(CLS),从分析SEM的观测方程组入手,发现了这个不定方程组的结构变量与观测变量必须满足的最小二乘关系,在对结构变量有固定模长参数约束的条件下,求出它的一组模长约束最小二乘解(MCLS),MCLS可... 研究了结构方程模型(SEM)的约束最小二乘解(CLS),从分析SEM的观测方程组入手,发现了这个不定方程组的结构变量与观测变量必须满足的最小二乘关系,在对结构变量有固定模长参数约束的条件下,求出它的一组模长约束最小二乘解(MCLS),MCLS可以作为求解结构方程组的偏最小二乘(PLS)迭代初值,在求得MCLS以后,在观测方程组中改变结构变量的模长,使得每个结构变量所对应的与观测变量的路径系数满足配方条件,是更为合理的约束,它可以保证结构变量与所辖的观测变量同质,尽管观测方程组是不定方程组,但是根据误差平方和最小以及对路径系数的配方约束,使得MCLS求解为合理的确定性算法,然后再对结构方程组直接求解,也是确定性算法,这就解决了结构方程模型求解的唯一性问题。 展开更多
关键词 结构方程模型 约束最小二乘解 配方条件 确定性算法
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部