检索结果-维普期刊中文期刊服务平台

基于交通预测信息的电动汽车充电路径规划被引量：1: 1; 作者师泽宇陈阳舟安树科《北京工业大学学报》 CAS CSCD 北大核心 2024年第8期974-984,共11页; 针对电动汽车充电路径规划问题,以行程时间为优化目标,以荷电状态作为硬性约束,基于预测交通状态标定的动态异构交通网及车辆动力学模型,构建最优控制问题。为了在线求解,基于模型预测控制和强化学习方法,构建混合学习优化算法(hybrid l... 展开更多; 关键词智能交通系统车辆路径规划电动汽车充电路径规划强化学习在线寻优混合学习优化算法; 在线阅读下载PDF 职称材料

基于改进遗传算法的DBN结构自适应学习算法被引量：2: 2; 作者孙美婷刘彬《计量学报》 CSCD 北大核心 2021年第1期91-99,共9页; 针对动态贝叶斯网络(dynamic bayesian network,DBN)是NP困难问题,提出基于改进遗传算法的DBN结构自适应学习算法。该算法计算最大互信息和时序互信息完成DBN结构搜索空间的初始化。在此基础上设计改进遗传算法,引入评分标准差构建交叉... 展开更多; 关键词计量学动态贝叶斯网络时序互信息得分标准差自适应学习; 在线阅读下载PDF 职称材料

城市生活垃圾热值的特征变量选择方法及预测建模被引量：6: 3; 作者丁晨曦严爱军《北京工业大学学报》 CAS CSCD 北大核心 2021年第8期874-885,共12页; 在垃圾焚烧的过程中,垃圾热值的波动会影响垃圾焚烧的稳定性.为了实现城市生活垃圾热值的实时在线预测以及变化趋势预测,采用模糊神经网络软测量方法,利用焚烧发电厂在线运行数据作为输入,实现垃圾热值的实时预测功能.首先采用互信息方... 展开更多; 关键词城市生活垃圾热值特征选择互信息模糊神经网络实时预测; 在线阅读下载PDF 职称材料

城市生活垃圾焚烧过程监控半实物仿真平台研发被引量：5: 4; 作者严爱军夏恒刘溪芷《系统仿真学报》 CAS CSCD 北大核心 2021年第6期1427-1435,共9页; 为了城市生活垃圾焚烧过程建模、控制、优化等方法的研究测试,将实物控制系统与虚拟对象结合起来研发了一种具有三层结构的半实物仿真平台。该平台的实物控制系统由智能控制优化层和基础控制层组成;虚拟对象层包括软件模拟的仪表、执行... 展开更多; 关键词城市生活垃圾焚烧过程监控半实物仿真; 在线阅读下载PDF 职称材料

基于Safe-PPO算法的安全优先路径规划方法被引量：1: 5; 作者别桐朱晓庆 +3 位作者付煜李晓理阮晓钢王全民《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第8期2108-2118,共11页; 现有的路径规划算法对路径规划过程中的路径安全性问题考虑较少,并且传统的近端策略优化(PPO)算法存在一定的方差适应性问题。为解决这些问题,提出一种融合进化策略思想和安全奖励函数的安全近端策略优化(Safe-PPO)算法,所提算法以安全... 展开更多; 关键词机器人导航路径规划深度强化学习近端策略优化安全路径选择; 在线阅读下载PDF 职称材料

基于进程代数的Otway-Rees协议的形式化验证: 6; 作者蔡雨桐王勇 +2 位作者王然然姜正涛代桂平《计算机科学》 CSCD 北大核心 2021年第S01期477-480,共4页; Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥。该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性。此协议允许通过一个网络的个别通信认证... 展开更多; 关键词 Otway-Rees 安全协议协议验证形式化进程代数; 在线阅读下载PDF 职称材料

基于进程代数的Yahalom协议正确性的形式化验证: 7; 作者王然然王勇 +2 位作者蔡雨桐姜正涛代桂平《计算机科学》 CSCD 北大核心 2021年第S01期481-484,共4页; 通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密钥加密对话内容保证双方对话的安全。Yahalom协议的形式化验证具... 展开更多; 关键词 Yahalom协议进程代数形式化的验证可信第三方 ACP公理系统; 在线阅读下载PDF 职称材料

题名基于交通预测信息的电动汽车充电路径规划被引量：1: 1; 作者师泽宇陈阳舟安树科; 机构北京工业大学交通工程北京市重点实验室北京工业大学信息学部人工智能与自动化学院云南警官学院治安管理学院; 出处《北京工业大学学报》 CAS CSCD 北大核心 2024年第8期974-984,共11页; 基金国家自然科学基金资助项目(61573030) 云南省教育厅科学研究基金资助项目(2022J0587)。; 文摘针对电动汽车充电路径规划问题,以行程时间为优化目标,以荷电状态作为硬性约束,基于预测交通状态标定的动态异构交通网及车辆动力学模型,构建最优控制问题。为了在线求解,基于模型预测控制和强化学习方法,构建混合学习优化算法(hybrid learning optimization algorithm, HLOA),依托竞争深度Q网络(Dueling deep Q-networks, Dueling DQN),设计离线、在线模块,来实现参数的混合多步训练,并结合预测交通状态、网络拓扑及车辆动力学模型,输出在线行驶策略。采用某市局部路网构建交通仿真实验,分析预测交通信息的价值、HLOA算法可行性及结构必要性。结果表明,预测信息存在价值,HLOA在线结果可拟合最优策略且较其他算法精度提高33.65%。该研究可协助电动汽车用户导航,为自动驾驶电动汽车提供技术支撑。; 关键词智能交通系统车辆路径规划电动汽车充电路径规划强化学习在线寻优混合学习优化算法; Keywords intelligent transportation system vehicle routing planning electric vehicle charging routing planning reinforcement learning online optimization hybrid learning optimization algorithm(HLOA); 分类号 U492.2 [交通运输工程—交通运输规划与管理]; 在线阅读下载PDF 职称材料

题名基于改进遗传算法的DBN结构自适应学习算法被引量：2: 2; 作者孙美婷刘彬; 机构北京工业大学信息学部人工智能与自动化学院燕山大学信息科学与工程学院; 出处《计量学报》 CSCD 北大核心 2021年第1期91-99,共9页; 文摘针对动态贝叶斯网络(dynamic bayesian network,DBN)是NP困难问题,提出基于改进遗传算法的DBN结构自适应学习算法。该算法计算最大互信息和时序互信息完成DBN结构搜索空间的初始化。在此基础上设计改进遗传算法,引入评分标准差构建交叉概率和变异概率的自适应调节函数,以降低结构学习过程陷入局部最优解的概率。仿真结果表明,该算法在无先验知识的情况下,相比其他优化算法,汉明距离和运行时长平均减少了30%,37.3%,评分值平均增大了18.0%。; 关键词计量学动态贝叶斯网络时序互信息得分标准差自适应学习; Keywords metrology dynamic bayesian network timing mutual information scoring standard deviation adaptive learning; 分类号 TB973 [机械工程—测试计量技术及仪器]; 在线阅读下载PDF 职称材料

题名城市生活垃圾热值的特征变量选择方法及预测建模被引量：6: 3; 作者丁晨曦严爱军; 机构北京工业大学信息学部人工智能与自动化学院数字社区教育部工程研究中心城市轨道交通北京实验室; 出处《北京工业大学学报》 CAS CSCD 北大核心 2021年第8期874-885,共12页; 基金国家自然科学基金资助项目(61873009) 北京市自然科学基金资助项目(4192009)。; 文摘在垃圾焚烧的过程中,垃圾热值的波动会影响垃圾焚烧的稳定性.为了实现城市生活垃圾热值的实时在线预测以及变化趋势预测,采用模糊神经网络软测量方法,利用焚烧发电厂在线运行数据作为输入,实现垃圾热值的实时预测功能.首先采用互信息方法从若干特征变量中剔除部分无关变量;然后将模糊神经网络和粒子群优化算法结合起来从上述选择出的特征变量中进一步剔除冗余变量,从而确定预测垃圾热值的输入变量,并从中训练出垃圾热值的模糊神经网络预测模型;最后通过采集的样本数据进行性能测试.结果表明该方法有较好的预测准确率和实时性,适用于垃圾热值的在线预测.; 关键词城市生活垃圾热值特征选择互信息模糊神经网络实时预测; Keywords municipal solid waste heat value characteristic selection mutual information(MI) fuzzy neural network real-time prediction; 分类号 U461 [机械工程—车辆工程] TP308 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名城市生活垃圾焚烧过程监控半实物仿真平台研发被引量：5: 4; 作者严爱军夏恒刘溪芷; 机构北京工业大学信息学部人工智能与自动化学院数字社区教育部工程研究中心城市轨道交通北京实验室; 出处《系统仿真学报》 CAS CSCD 北大核心 2021年第6期1427-1435,共9页; 基金国家自然科学基金(61873009) 北京市自然科学基金(4192009)。; 文摘为了城市生活垃圾焚烧过程建模、控制、优化等方法的研究测试,将实物控制系统与虚拟对象结合起来研发了一种具有三层结构的半实物仿真平台。该平台的实物控制系统由智能控制优化层和基础控制层组成;虚拟对象层包括软件模拟的仪表、执行机构装置和焚烧过程模型。开发了人机界面、设备与参数的监控、焚烧过程模型以及OPC通讯等软件。测试了智能控制优化层和基础控制层的各项功能,结果表明:该平台的软、硬件部分运行稳定而可靠,能够有效而正确反映焚烧过程的变化。; 关键词城市生活垃圾焚烧过程监控半实物仿真; Keywords Municipal Solid Waste(MSW) incineration process monitoring semi-physical simulation; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于Safe-PPO算法的安全优先路径规划方法被引量：1: 5; 作者别桐朱晓庆付煜李晓理阮晓钢王全民; 机构北京工业大学信息学部人工智能与自动化学院北京工业大学计算智能与智能系统北京市重点实验室北京工业大学信息学部计算机学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第8期2108-2118,共11页; 基金国家自然科学基金(61773027,62103009) 北京市自然科学基金(4202005)。; 文摘现有的路径规划算法对路径规划过程中的路径安全性问题考虑较少,并且传统的近端策略优化(PPO)算法存在一定的方差适应性问题。为解决这些问题,提出一种融合进化策略思想和安全奖励函数的安全近端策略优化(Safe-PPO)算法,所提算法以安全优先进行路径规划。采用协方差自适应调整的进化策略(CMA-ES)的思想对PPO算法进行改进,并引入危险系数与动作因子来评估路径的安全性。使用二维栅格地图进行仿真实验,采用传统的PPO算法和Safe-PPO算法进行对比;采用六足机器人在搭建的场景中进行实物实验。仿真实验结果表明:所提算法在安全优先导向的路径规划方面具有合理性与可行性:在训练时Safe-PPO算法相比传统的PPO算法收敛速度提升了18%,获得的奖励提升了5.3%;在测试时采用融合危险系数与动作因子的方案能使机器人学会选择更加安全的道路而非直观上最快速的道路。实物实验结果表明:机器人可以在现实环境中选择更加安全的路径到达目标点。; 关键词机器人导航路径规划深度强化学习近端策略优化安全路径选择; Keywords robot navigation path planning deep reinforcement learning proximal policy optimization safe path selection; 分类号 TP242.6 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于进程代数的Otway-Rees协议的形式化验证: 6; 作者蔡雨桐王勇王然然姜正涛代桂平; 机构北京工业大学信息学部计算机学院中国传媒大学计算机与网络空间安全学院北京工业大学信息学部人工智能与自动化学院; 出处《计算机科学》 CSCD 北大核心 2021年第S01期477-480,共4页; 基金广西密码学与信息安全重点实验室研究课题(GCIS201808)。; 文摘 Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥。该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性。此协议允许通过一个网络的个别通信认证自己的身份,还可以阻止重放攻击和窃听,允许修改检测。对安全协议的分析是信息时代无法回避的关键问题,事实证明,形式化方法是安全协议分析更为可靠和有效的途径。此协议的形式化验证对于工程实施具有重要意义。对Otway-Rees协议进行抽象处理,得到抽象模型,在此基础上给出基于进程代数的形式化描述,并进行形式化验证。验证结果表明,此协议形式的并行系统展现出了期望的外部行为。; 关键词 Otway-Rees 安全协议协议验证形式化进程代数; Keywords Otway-Rees Security protoco Protocol verification Formalization Process algebra; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于进程代数的Yahalom协议正确性的形式化验证: 7; 作者王然然王勇蔡雨桐姜正涛代桂平; 机构北京工业大学信息学部计算机学院中国传媒大学计算机与网络空间安全学院北京工业大学信息学部人工智能与自动化学院; 出处《计算机科学》 CSCD 北大核心 2021年第S01期481-484,共4页; 基金广西密码学与信息安全重点实验室研究课题(GCIS201808)。; 文摘通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密钥加密对话内容保证双方对话的安全。Yahalom协议的形式化验证具有很重要的意义。为了使可信第三方在通信双方之间安全地分配会话密钥,文中对通信过程进行理论化形式的验证。文中基于可信平台的随机会话密钥分配过程进行了抽象化的处理,给出了抽象模型中各个实体状态及状态变迁的操作语义描述,建立了Yahalom协议结构化的操作语义并发计算模型,主要通过ACP公理系统对Yahalom协议的状态变迁系统进行了形式化的验证,验证结果表明Yahalom协议系统地展示了期望的外部行为,从理论上证明了基于进程代数的Yahalom协议是可行的。; 关键词 Yahalom协议进程代数形式化的验证可信第三方 ACP公理系统; Keywords Yahalom protocol Algebra process Formal verification Trusted third party ACP axiom system; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于交通预测信息的电动汽车充电路径规划	师泽宇陈阳舟安树科	《北京工业大学学报》 CAS CSCD 北大核心	2024	1	在线阅读下载PDF 职称材料
2	基于改进遗传算法的DBN结构自适应学习算法	孙美婷刘彬	《计量学报》 CSCD 北大核心	2021	2	在线阅读下载PDF 职称材料
3	城市生活垃圾热值的特征变量选择方法及预测建模	丁晨曦严爱军	《北京工业大学学报》 CAS CSCD 北大核心	2021	6	在线阅读下载PDF 职称材料
4	城市生活垃圾焚烧过程监控半实物仿真平台研发	严爱军夏恒刘溪芷	《系统仿真学报》 CAS CSCD 北大核心	2021	5	在线阅读下载PDF 职称材料
5	基于Safe-PPO算法的安全优先路径规划方法	别桐朱晓庆付煜李晓理阮晓钢王全民	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2023	1	在线阅读下载PDF 职称材料
6	基于进程代数的Otway-Rees协议的形式化验证	蔡雨桐王勇王然然姜正涛代桂平	《计算机科学》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
7	基于进程代数的Yahalom协议正确性的形式化验证	王然然王勇蔡雨桐姜正涛代桂平	《计算机科学》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料