期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
利用高斯伪谱法求解升力航天器最优再入轨迹 被引量:10
1
作者 周文雅 杨涤 李顺利 《南京理工大学学报》 EI CAS CSCD 北大核心 2010年第1期85-90,共6页
为了获得升力式航天器再入大气后的飞行轨迹,利用高斯伪谱法求解了同时满足路径约束和终端约束条件下的总吸热量最小再入轨迹。其中,路径约束包括驻点热流峰值约束和最大动压约束;终端约束为高度和位置。选取优化控制变量为迎角和倾斜... 为了获得升力式航天器再入大气后的飞行轨迹,利用高斯伪谱法求解了同时满足路径约束和终端约束条件下的总吸热量最小再入轨迹。其中,路径约束包括驻点热流峰值约束和最大动压约束;终端约束为高度和位置。选取优化控制变量为迎角和倾斜角。仿真结果表明,高斯伪谱法能够快速优化出满足以上优化性能指标和约束条件的再入轨迹。最后,通过对哈密尔顿函数的分析给出了最优性验证。 展开更多
关键词 高斯伪谱法 升力式航天器 路径约束 终端约束 总吸热量最小
下载PDF
基于符号执行的二进制代码漏洞发现 被引量:9
2
作者 牛伟纳 丁雪峰 +1 位作者 刘智 张小松 《计算机科学》 CSCD 北大核心 2013年第10期119-121,138,共4页
软件漏洞是安全问题的根源之一,fuzzing(模糊测试)是目前漏洞发现的关键技术,但是它通过随机改变输入无法有效地构造出测试用例,也无法消除测试用例的冗余性。为了克服传统fuzzing测试的缺点、有效生成测试输入且无需分析输入格式,针对... 软件漏洞是安全问题的根源之一,fuzzing(模糊测试)是目前漏洞发现的关键技术,但是它通过随机改变输入无法有效地构造出测试用例,也无法消除测试用例的冗余性。为了克服传统fuzzing测试的缺点、有效生成测试输入且无需分析输入格式,针对二进制程序设计并实现了基于符号执行的漏洞发现系统SEVE。将程序的输入符号化,利用动态插桩工具建立符号变量的传播关系;在分支语句处收集路径约束条件,最后用解析器求解之并将其作为新的测试用例。用mp3和pdf软件进行了实验,结果表明,该系统有效地提高了漏洞发现的效率与自动化程度。 展开更多
关键词 漏洞 二进制程序 符号执行 插桩 路径约束
下载PDF
基于改进RRT算法的狭长空间无人车辆路径规划 被引量:2
3
作者 张俊豪 潘树国 +3 位作者 高旺 郭芃 王萍 胡鹏 《全球定位系统》 CSCD 2023年第4期81-90,共10页
针对狭长空间无人车辆路径规划系统,提出一种基于改进的快速搜索随机树(rapidly-exploring random trees,RRT)路径规划算法,以解决传统RRT算法随机性较大、路径缺乏安全性的问题.该算法通过加入自适应目标概率采样策略、动态步长策略对... 针对狭长空间无人车辆路径规划系统,提出一种基于改进的快速搜索随机树(rapidly-exploring random trees,RRT)路径规划算法,以解决传统RRT算法随机性较大、路径缺乏安全性的问题.该算法通过加入自适应目标概率采样策略、动态步长策略对传统的RRT算法进行改进,同时考虑到实际情况中无人驾驶车辆的动力学约束,该算法加入车辆碰撞约束和路径转角约束,并针对转角约束会导致迭代次数激增的问题提出了一种限制区域内随机转向的策略,最终得到一条安全性较高的路径.采用计算机仿真对所提算法和现有算法的性能进行对比验证.所提算法在狭长空间相较于传统人工势场引导下的RRT算法迭代次数降低了33.09%,规划时间减少了6.44%,路径长度减少了0.06%,并且在简单环境和复杂障碍物环境下规划能力均有提升.所提算法规划效率更高、迭代次数更少. 展开更多
关键词 快速搜索随机树(RRT) 自适应目标概率采样 动态步长 路径约束 随机转向策略
下载PDF
处理动态优化问题中控制变量路径约束的方法 被引量:4
4
作者 胡云卿 刘兴高 《自动化学报》 EI CSCD 北大核心 2013年第4期440-449,共10页
目前国际上对动态优化问题中的状态变量路径约束已有一些研究,但专门处理控制变量路径约束的方法却鲜见报道.本文首先介绍两种分别基于三角函数变换、约束算子截断来处理控制变量路径约束的方法,然后提出一种基于光滑化的二次罚函数方法... 目前国际上对动态优化问题中的状态变量路径约束已有一些研究,但专门处理控制变量路径约束的方法却鲜见报道.本文首先介绍两种分别基于三角函数变换、约束算子截断来处理控制变量路径约束的方法,然后提出一种基于光滑化的二次罚函数方法.光滑化罚函数方法不仅能够处理控制变量路径约束,而且还能同时处理关于状态变量的路径约束.最后使用目前流行的控制变量参数化(Control variable parameterization,CVP)策略对最终获得的、不再含控制变量路径约束的动态优化问题求解.实例测试一展现了三种方法各自的特点;实例测试二表明了光滑罚函数方法的有效性和优越性. 展开更多
关键词 动态优化 路径约束 控制变量 控制变量参数化
下载PDF
路径约束条件下车辆行为的时空演化模型 被引量:4
5
作者 潘登 郑应平 《物理学报》 SCIE EI CAS CSCD 北大核心 2015年第7期408-413,共6页
复杂地理环境下车辆运行线路具有空间三维特征,它对车辆行为的约束是显然的,非一维空间和二维空间所能描述.将复杂地理环境下车辆运行线路抽象为空间曲线,引入微分几何理论,利用弧长、曲率和挠率等几何不变量参数建立沿空间曲线运动的Se... 复杂地理环境下车辆运行线路具有空间三维特征,它对车辆行为的约束是显然的,非一维空间和二维空间所能描述.将复杂地理环境下车辆运行线路抽象为空间曲线,引入微分几何理论,利用弧长、曲率和挠率等几何不变量参数建立沿空间曲线运动的Serret-Frenet活动标架;然后,对空间曲线上任意一点处Serret-Frenet标架具有时变属性的动态行为进行数学描述,进而建立路径约束条件下车辆行为的时空演化模型,并在数学上严格证明了所建时空演化模型适用于车辆(Serret-Frenet标架)直线运行和做匀速圆周运动的特殊情形.为后续复杂地理环境中交通线路上的车辆跟驰、变道等微观行为和交通流宏观行为研究,奠定了理论基础. 展开更多
关键词 车辆行为 时空演化 路径约束 Serret-Frenet活动标架
原文传递
高超声速飞行器再入多段导引方法研究 被引量:3
6
作者 刘冠南 周浩 陈万春 《飞行力学》 CSCD 北大核心 2012年第4期337-340,344,共5页
针对通用航空飞行器(CAV)的再入飞行问题,研究了一种滑翔式再入飞行器的三自由度轨迹快速生成方法。该方法将再入轨迹分为初始下降段、过渡段和占大部分飞行时间的拟平衡滑翔段,引入拟平衡滑翔条件(QEGC),将过程约束转换成倾侧角制导律... 针对通用航空飞行器(CAV)的再入飞行问题,研究了一种滑翔式再入飞行器的三自由度轨迹快速生成方法。该方法将再入轨迹分为初始下降段、过渡段和占大部分飞行时间的拟平衡滑翔段,引入拟平衡滑翔条件(QEGC),将过程约束转换成倾侧角制导律的上界。结合预测校正方法在线设计满足各种轨迹约束的倾侧角制导律,最后在计算机上进行制导仿真。仿真结果表明,该方法可快速地得到满足过程约束和目标要求的弹道。 展开更多
关键词 高超声速飞行器 预测校正 拟平衡滑翔 轨迹约束
原文传递
基于路径约束求解的多目标状态激励生成方法 被引量:3
7
作者 周艳红 王天成 +2 位作者 李华伟 吕涛 李晓维 《计算机学报》 EI CSCD 北大核心 2016年第9期1829-1842,共14页
该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态... 该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态. 展开更多
关键词 激励生成 难达状态 抽象引导模拟 路径约束求解
下载PDF
带约束的摄像机定标方法 被引量:2
8
作者 高俊鑫 华炜 +1 位作者 章国锋 秦学英 《中国图象图形学报》 CSCD 北大核心 2010年第3期536-540,共5页
由于积累误差和摄像机内部参数的校正误差,基于视觉的摄像机定标结果尽管在图像上的重投影误差很小,但是重建的空间结构往往存在一定程度的扭曲。提出了一种带约束的摄像机定标算法,将场景中存在几何条件(如摄像机路径在一条直线上)作... 由于积累误差和摄像机内部参数的校正误差,基于视觉的摄像机定标结果尽管在图像上的重投影误差很小,但是重建的空间结构往往存在一定程度的扭曲。提出了一种带约束的摄像机定标算法,将场景中存在几何条件(如摄像机路径在一条直线上)作为约束条件,对摄像机定标结果进行再优化,使得重建的空间与真实世界的欧氏空间更为一致。在优化过程中,将欧氏空间与图像空间的两种误差约束在同一范围,自动获取最佳的约束系数。实验结果证明了该算法的有效性。 展开更多
关键词 摄像机定标 路径约束 多视点
下载PDF
基于状态聚类的分布式模糊测试技术 被引量:2
9
作者 邓一杰 刘克胜 +2 位作者 赵军 常超 朱凯龙 《计算机工程与设计》 北大核心 2019年第9期2428-2434,2501,共8页
针对当前分布式模糊测试任务分配中,大量测试用例重复执行导致测试效率低的问题,提出基于状态聚类的分布式模糊测试任务分配策略。通过大量随机测试获得目标程序的初始状态空间;根据路径前缀将初始状态空间划分为相互独立的状态子空间,... 针对当前分布式模糊测试任务分配中,大量测试用例重复执行导致测试效率低的问题,提出基于状态聚类的分布式模糊测试任务分配策略。通过大量随机测试获得目标程序的初始状态空间;根据路径前缀将初始状态空间划分为相互独立的状态子空间,将其对应的任务分发到各测试节点;利用路径约束控制变异的方向,保证各测试节点探测的状态空间相互独立。根据该方法,设计实现一个高效的分布式模糊测试系统。分别在libtiff库和CGC测试集上进行实验,实验结果表明,该系统能够有效减少测试用例的重复执行次数,提高模糊测试效率,有机会发现更多crash。 展开更多
关键词 分布式 模糊测试 聚类 状态空间聚类 路径约束
下载PDF
基于路径约束的RFID漏读数据补全方法 被引量:1
10
作者 吴立辉 张金星 +1 位作者 张中伟 任俊飞 《计算机工程与设计》 北大核心 2021年第12期3438-3444,共7页
无线射频识别(radio frequency identification,RFID)技术是实现制造业智能化和制造资源互联的重要信息感知技术,然而柔性制造环境下RFID数据漏读问题严重影响了信息感知质量。通过从单阅读器内部分数据漏读和阅读器层级的整体数据漏读... 无线射频识别(radio frequency identification,RFID)技术是实现制造业智能化和制造资源互联的重要信息感知技术,然而柔性制造环境下RFID数据漏读问题严重影响了信息感知质量。通过从单阅读器内部分数据漏读和阅读器层级的整体数据漏读两个方面对RFID数据漏读问题进行分析,构建RFID数据漏读问题模型;考虑工件加工工艺路线和物料搬运路径信息约束,提出基于加工路径约束和固定滑动窗口算法集成(machining path constraint and fixed sliding window algorithm,MPC-FSWA)的漏读数据补全方法。实验研究表明,MPC-FSWA方法能对柔性制造环境下的RFID数据漏读进行有效补全。 展开更多
关键词 无线射频识别 数据漏读 柔性制造 路径约束 固定滑动窗口算法
下载PDF
自组织路径约束神经网络结构与算法 被引量:1
11
作者 刘天桢 童恒庆 熊丽 《武汉理工大学学报》 CAS CSCD 北大核心 2013年第2期147-152,共6页
将结构方程模型(SEM)改造成自组织神经网络,基于路径约束提出改进的偏最小二乘算法,它使用一个带单位向量约束的迭代初值,从而形成新型的自组织路径约束神经网络(SPCNN),进一步描述了SPCNN的拓扑结构和功能,给出了SPCNN的学习算法,包括... 将结构方程模型(SEM)改造成自组织神经网络,基于路径约束提出改进的偏最小二乘算法,它使用一个带单位向量约束的迭代初值,从而形成新型的自组织路径约束神经网络(SPCNN),进一步描述了SPCNN的拓扑结构和功能,给出了SPCNN的学习算法,包括常规算法和带有初始权值的算法。 展开更多
关键词 自组织神经网络 结构方程模型 偏最小二乘 路径约束
原文传递
路径约束下基于人工智能的智慧航空旅游动态寻径方法 被引量:1
12
作者 金永光 《自动化与仪器仪表》 2020年第2期59-61,65,共4页
为了提高智慧航空旅游动态寻优控制能力,提出一种基于人工智能的路径约束下智慧航空旅游动态寻径方法。采用多目标进化方法进行智慧航空旅游动态寻径的路径约束控制,结合粒子群方法进行智慧航空旅游动态寻径的路径优化选择,采用多目标Pa... 为了提高智慧航空旅游动态寻优控制能力,提出一种基于人工智能的路径约束下智慧航空旅游动态寻径方法。采用多目标进化方法进行智慧航空旅游动态寻径的路径约束控制,结合粒子群方法进行智慧航空旅游动态寻径的路径优化选择,采用多目标Pareto映射方法进行智慧航空旅游的路径规划设计,结合信息素导引方法进行智慧航空旅游动态寻径的自适应控制,构建智慧航空旅游动态寻径的蚁群滤波模型,根据蚁群路径约束寻优方法构建智慧航空旅游动态寻径的人工智能算法,实现智慧航空旅游动态寻径的人工智能控制和自适应寻优。仿真结果表明,采用该方法进行智慧航空旅游动态寻径的自适应性能较好,路径优化控制能力较强。 展开更多
关键词 路径约束 人工智能 智慧 航空旅游 动态寻径
原文传递
混合法求解考虑路径约束的持续推力快速机动轨道
13
作者 刘滔 赵育善 《宇航学报》 EI CAS CSCD 北大核心 2009年第4期1365-1370,共6页
近地空间航天器快速机动问题中一个必须考虑的现实约束就是机动轨迹不得低于大气层高度,为此给出考虑路径约束的持续推力快速机动问题的处理方法。通过在性能泛函中加入关于路径约束的惩罚项,使原本不再适用的最优控制理论仍然适用,进... 近地空间航天器快速机动问题中一个必须考虑的现实约束就是机动轨迹不得低于大气层高度,为此给出考虑路径约束的持续推力快速机动问题的处理方法。通过在性能泛函中加入关于路径约束的惩罚项,使原本不再适用的最优控制理论仍然适用,进而可通过混合法完成问题的求解;同时保证了新问题的最优解为原问题的满足路径约束的近似最优解。最后通过数值仿真的结果验证了方法的有效性。 展开更多
关键词 两点边值问题 路径约束 持续推力 快速机动
下载PDF
带路径约束的双端网络可靠性分析
14
作者 宋凤 钟发荣 +1 位作者 莫毓昌 潘竹生 《计算机与数字工程》 2014年第10期1798-1800,1812,共4页
针对带路径约束的双端网络可靠性分析问题,即一个数据包从S点发送到T点,必须经过中间若干个节点,并且经过这些节点的先后顺序具有一定约束,提出了基于BDD的可靠性分析算法。该算法基于边扩展图实现路径约束,即在边扩展过程中只保留符合... 针对带路径约束的双端网络可靠性分析问题,即一个数据包从S点发送到T点,必须经过中间若干个节点,并且经过这些节点的先后顺序具有一定约束,提出了基于BDD的可靠性分析算法。该算法基于边扩展图实现路径约束,即在边扩展过程中只保留符合条件的约束路径,然后构建BDD以及进行双端网络可靠性分析。实例分析结果验证了算法的可行性和有效性。 展开更多
关键词 路径约束 边扩展图 网络可靠性 双端网络
下载PDF
区间非线性路径约束的动态优化问题求解
15
作者 蒋峥 刘斌 方康玲 《微计算机信息》 北大核心 2006年第06X期277-278,共2页
本文研究路径约束中含有区间参数形式的动态优化问题,提出了一种新的非线性路径约束的确定化描述形式,和采用惩罚函数法的求解算法。对于转化后的极大极小优化命题,论文提出采用Lagrangian多项式加权和的方法得到有限维的确定性优化求... 本文研究路径约束中含有区间参数形式的动态优化问题,提出了一种新的非线性路径约束的确定化描述形式,和采用惩罚函数法的求解算法。对于转化后的极大极小优化命题,论文提出采用Lagrangian多项式加权和的方法得到有限维的确定性优化求解形式。该算法可有效地描述和求解不确定参数动态优化问题。 展开更多
关键词 路径约束 动态优化 区间非线性规划
下载PDF
航天器近距离视觉制导自主机动轨道优化
16
作者 刘涛 赵育善 +1 位作者 师鹏 李保军 《宇航学报》 EI CAS CSCD 北大核心 2012年第5期541-546,共6页
研究具有视觉导引路径约束的航天器近距离机动轨道优化数值计算问题。首先,给出了带路径约束的椭圆参考轨道航天器近距离轨道机动最优化问题数学模型。利用高斯伪谱法将上述最优化问题转化为非线性规划问题,优化参数为配点上的状态量和... 研究具有视觉导引路径约束的航天器近距离机动轨道优化数值计算问题。首先,给出了带路径约束的椭圆参考轨道航天器近距离轨道机动最优化问题数学模型。利用高斯伪谱法将上述最优化问题转化为非线性规划问题,优化参数为配点上的状态量和控制量。然后,利用MATLAB的SNOPT软件包对非线性规划问题进行求解。最后通过数值仿真验证了方法的有效性和鲁棒性。 展开更多
关键词 航天器近距离机动 路径约束 高斯伪谱法 非线性规划 轨道优化
下载PDF
基于预测校正方法的RLV再入制导律设计 被引量:24
17
作者 李惠峰 谢陵 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第11期1344-1348,共5页
针对高超声速可重复运载器RLV(Reusable Launch Vehicles)的再入飞行问题,利用数值预测校正方法与准平衡滑翔条QEGC(Quasi-Equilibrium Glide Condition)相结合的方法在线设计同时满足热流、法向过载和动压等轨迹约束与末端精度要求的... 针对高超声速可重复运载器RLV(Reusable Launch Vehicles)的再入飞行问题,利用数值预测校正方法与准平衡滑翔条QEGC(Quasi-Equilibrium Glide Condition)相结合的方法在线设计同时满足热流、法向过载和动压等轨迹约束与末端精度要求的倾侧角制导律.建立三自由度动力学方程,确定初始条件、末端精度要求和轨迹约束要求;然后详细阐述预测校正方法和准平衡滑翔条件的原理,再利用预测校正方法设计制导律,用QEGC把约束转换为对倾侧角制导律的上界,通过限制倾侧角的幅值来限制约束.最后在计算机上进行制导仿真,并考虑初始条件不确定性,进行蒙特卡洛仿真,通过分析仿真结果,证明利用预测校正方法结合准平衡滑翔条件可以快速的设计出满足末端精度要求和轨迹约束的制导律,并对初始条件不确定性有较好的鲁棒性. 展开更多
关键词 再入 预测校正 准平衡滑翔条件 轨迹约束 可重复运载器
下载PDF
DTW语音识别算法研究与分析 被引量:13
18
作者 朱淑琴 赵瑛 《微计算机信息》 2012年第5期150-151,163,共3页
研究动态时间规整(Dynamic Time Warping)语音识别算法问题,传统动态时间规整方法需要存储较大的矩阵,直接计算将会占据较大的空间,计算量也比较大,对系统硬件要求比较高。为了减小DTW算法的运算量,提高识别速度,对DTW语音识别算法进行... 研究动态时间规整(Dynamic Time Warping)语音识别算法问题,传统动态时间规整方法需要存储较大的矩阵,直接计算将会占据较大的空间,计算量也比较大,对系统硬件要求比较高。为了减小DTW算法的运算量,提高识别速度,对DTW语音识别算法进行优化改进。将局部路径约束和整体路径约束相结合,仅在一个规定的宽度内搜索动态规划路径,计算累积匹配距离。仿真实验结果表明该方法不仅可以降低运算负载,提高识别速度,而且能在一定程度上提高语音识别率。 展开更多
关键词 语音识别 动态时间规整算法 局部路径约束 区域限制 宽度限制
下载PDF
带不等式路径约束最优控制问题的惩罚函数法 被引量:12
19
作者 胡云卿 刘兴高 薛安克 《自动化学报》 EI CSCD 北大核心 2013年第12期1996-2001,共6页
控制变量参数化(Control variable parameterization,CVP)方法是目前求解流程工业中最优操作问题的主流数值方法,但如果问题中包含路径约束,特别是不等式路径约束时,CVP方法则需要考虑专门的处理手段.为了克服该缺点,本文提出一种基于L... 控制变量参数化(Control variable parameterization,CVP)方法是目前求解流程工业中最优操作问题的主流数值方法,但如果问题中包含路径约束,特别是不等式路径约束时,CVP方法则需要考虑专门的处理手段.为了克服该缺点,本文提出一种基于L1精确惩罚函数的方法,能够有效处理关于控制变量、状态变量、甚至控制变量/状态变量复杂耦合形式下的不等式路径约束.此外,为了能使用基于梯度的成熟优化算法,本文还引进了最新出现的光滑化技巧对非光滑的惩罚项进行磨光.最终得到了能高效处理不等式路径约束的改进型CVP架构,并给出相应数值算法.经典的带不等式路径约束最优控制问题上的测试结果及与国外文献报道的比较研究表明:本文所提出的改进型CVP架构及相应算法在精度和效率上兼有良好表现. 展开更多
关键词 流程工业 最优控制 控制变量参数化 不等式路径约束 惩罚函数
下载PDF
不确定条件下的车流径路问题及其树形径路约束机制研究
20
作者 方波 魏玉光 +2 位作者 马博文 李晨 夏阳 《铁道学报》 EI CAS CSCD 北大核心 2024年第8期10-20,共11页
针对既有车流径路研究中确定性建模参数的局限性以及对车流径路优化阶段是否应该考虑树形径路约束的争议,在确定性车流径路模型的基础上,引入模糊集理论和随机规划理论,分别采用三角模糊数和机会约束刻画车流量的波动和区间通过能力的弹... 针对既有车流径路研究中确定性建模参数的局限性以及对车流径路优化阶段是否应该考虑树形径路约束的争议,在确定性车流径路模型的基础上,引入模糊集理论和随机规划理论,分别采用三角模糊数和机会约束刻画车流量的波动和区间通过能力的弹性,为车流径路问题重构Hurwicz准则下的模糊机会约束规划模型,并将其转化为清晰等价形式。基于我国西南局部路网的案例研究树形径路约束对车流径路和编组计划的影响,对比分析确定性条件和不确定条件下车流径路的差别。实验结果表明,车流径路优化阶段强调树形结构径路会限制径路方案的灵活性并增加车流运输总成本;不确定条件下的车流径路模型在困难区段的识别方面更具优势。 展开更多
关键词 车流径路 树形径路约束 模糊机会约束规划 Hurwicz准则
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部