期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于改进连续时间动态系统的模拟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
职称材料
题名
基于改进连续时间动态系统的模拟SAT求解器
被引量：
2
1
作者
赵海军
陈华月
崔梦天
机构
西华师范大学计算机学院
西南民族大学计算机科学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2024年第1期200-205,共6页
基金
四川省自然科学基金资助项目(2022NSFSC0536)
国家自然科学基金资助项目(12050410248)。
文摘
针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。
关键词
布尔可满足性问题
连续时间动态系统
模拟设计
辅助变量
数字验证
加速性能
Keywords
Boolean satisfiability problem
continuous-time dynamical system
analog design
auxiliary variables
digital verification
speedup performance
分类号
TP331 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
动态非线性连续时间系统的小波神经网络辨识
被引量：
3
2
作者
张兆宁
喻文焕
郁惟镛
机构
上海交通大学电力工程系
天津大学数学系
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2002年第5期709-712,共4页
基金
国家自然科学基金 ( 6 97740 12 )资助项目
文摘
将小波神经网络应用于动态非线性连续时间系统的辨识 ,同时为了使神经网络的训练达到全局最优和加速小波神经网络训练的收敛速度 ,提出了信赖域算法 ,并研究了信赖域算法的收敛性 .随后进行了算例仿真 ,证明了所提辨识方法的有效性 .
关键词
动态
非线性
连续
时间
系统
小波
神经网络
辨识
非参数辨识
系统
辨识
Keywords
wavelets
neural networks
nonlinear continuous time system
identification
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于改进连续时间动态系统的模拟SAT求解器
赵海军
陈华月
崔梦天
《计算机应用研究》
CSCD
北大核心
2024
2
在线阅读
下载PDF
职称材料
2
动态非线性连续时间系统的小波神经网络辨识
张兆宁
喻文焕
郁惟镛
《控制理论与应用》
EI
CAS
CSCD
北大核心
2002
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
