期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于改进连续时间动态系统的模拟SAT求解器 被引量:2
1
作者 赵海军 陈华月 崔梦天 《计算机应用研究》 CSCD 北大核心 2024年第1期200-205,共6页
针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的... 针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。 展开更多
关键词 布尔可满足性问题 连续时间动态系统 模拟设计 辅助变量 数字验证 加速性能
在线阅读 下载PDF
动态非线性连续时间系统的小波神经网络辨识 被引量:3
2
作者 张兆宁 喻文焕 郁惟镛 《控制理论与应用》 EI CAS CSCD 北大核心 2002年第5期709-712,共4页
将小波神经网络应用于动态非线性连续时间系统的辨识 ,同时为了使神经网络的训练达到全局最优和加速小波神经网络训练的收敛速度 ,提出了信赖域算法 ,并研究了信赖域算法的收敛性 .随后进行了算例仿真 ,证明了所提辨识方法的有效性 .
关键词 动态非线性连续时间系统 小波 神经网络 辨识 非参数辨识 系统辨识
在线阅读 下载PDF
CONSENSUS DESIGN FOR CONTINUOUS-TIME MULTI-AGENT SYSTEMS WITH COMMUNICATION DELAY 被引量:4
3
作者 WANG Zhenhua YOU Keyou +1 位作者 XU Juanjuan ZHANG Huanshui 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2014年第4期701-711,共11页
This paper investigates a consensus design problem for continuous-time first-order multiagent systems with uniform constant communication delay.Provided that the agent dynamic is unstable and the diagraph is undirecte... This paper investigates a consensus design problem for continuous-time first-order multiagent systems with uniform constant communication delay.Provided that the agent dynamic is unstable and the diagraph is undirected,sufficient conditions are derived to guarantee consensus.The key technique is the adoption of historical input information in the protocol.Especially,when agent's own historical input information is used in the protocol design,the consensus condition is constructed in terms of agent dynamic,communication delay,and the eigenratio of the network topology.Simulation result is presented to validate the effectiveness of the theoretical result. 展开更多
关键词 Communication delay consensus protocol eigenratio historical input information multi-agent systems.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部