检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

-

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

2 篇 学位论文

馆藏范围

2 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2 篇 工学
- 1 篇 电子科学与技术（可...
- 1 篇 兵器科学与技术

主题

2 篇 软硬件协同计算
1 篇 信号预处理
1 篇 dpll算法
1 篇 布尔可满足性问题
1 篇 火力系统
1 篇 特征提取
1 篇 数据采集
1 篇 异步电路
1 篇 phm
1 篇 zynq平台

机构

1 篇 兰州大学
1 篇 南京理工大学

作者

1 篇 奚瑞
1 篇 杨硕

语言

2 篇 中文

检索条件"主题词=软硬件协同计算"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于软硬件协同计算的SAT求解器设计与实现

基于软硬件协同计算的SAT求解器设计与实现

引用

作者：奚瑞兰州大学

学位级别：硕士

布尔可满足性问题(Boolean Satisfiability Problem,SAT)是一个经典的判定问题,也是历史上首个被证实的NP问题。很多现实问题被证明可以转换为SAT问题去求解,例如人工智能中的轨迹规划和资源调度、集成电路中的模型检测和等价性验证等,... 详细信息

布尔可满足性问题(Boolean Satisfiability Problem,SAT)是一个经典的判定问题,也是历史上首个被证实的NP问题。很多现实问题被证明可以转换为SAT问题去求解,例如人工智能中的轨迹规划和资源调度、集成电路中的模型检测和等价性验证等,因此,SAT问题一直是理论计算机科学领域中的研究重点。随着求解SAT问题的技术不断提高,软件求解器的发展已经趋于成熟,并具有非常优越的性能,但依然难以有效求解某些类型的SAT实例。而集成电路技术的不断发展也促进了硬件求解器的进步,基于硬件的求解方式虽然在复杂算法的实现上具有一定的局限性,但是它可以充分利用硬件平台的特点和资源,对算法的部分模块进行并行化的处理,以此设计可重构硬件SAT求解器。针对两种求解器的特点,本文结合应用型求解方式进行SAT硬件求解器的设计。首先,在传统DPLL算法的基础上加入随机排序和随机赋值策略,以此提高平均求解速度。采用异步控制机制,设计高性能可重构双链电路,用于控制DPLL算法的前进和回溯。使用布尔约束传播技术来加速变量的推导过程,通过分析蕴含推理的原理,编写解析器自动生成不同SAT问题的蕴含公式,提高求解效率。其次,针对目前软硬件协同处理机制中主-协处理器同步困难、通信时间较长等问题,采用将处理器系统与现场可编程门阵列相结合的ZYNQ平台进行设计,将与具体SAT问题无关的模块放在硬件上并行加速,与具体SAT问题相关的模块放在软件上便于修改配置,CPU与FPGA之间通过AXI总线进行通信,最后设计实现了一个基于软硬件运行时协同计算的SAT求解器。由于本文设计的硬件部分是一个最多可求解200个变量的可重构计算架构,求解具体SAT问题时只需要在软件部分进行配置即可,从而避免了为每个SAT实例进行耗时的FPGA综合、布局布线等步骤。通过测试大量的SAT实例,并与软件求解器的求解结果进行对比,证明了该求解器的正确性。

关键词：布尔可满足性问题软硬件协同计算异步电路 DPLL算法 ZYNQ平台

来源：评论

学校读者我要写书评

暂无评论

某型火炮火力系统健康状态信息采集单元的设计与实现

某型火炮火力系统健康状态信息采集单元的设计与实现

引用

作者：杨硕南京理工大学

学位级别：硕士

火炮火力系统健康状态信息采集单元(以下简称健康状态信息采集单元)是火炮火力系统PHM(Prognostics and Health Management,装备故障预测与健康管理)系统(以下简称PHM系统)的信息参数获取窗口,对火炮的高效维护维修具有重要意义。本文... 详细信息

火炮火力系统健康状态信息采集单元(以下简称健康状态信息采集单元)是火炮火力系统PHM(Prognostics and Health Management,装备故障预测与健康管理)系统(以下简称PHM系统)的信息参数获取窗口,对火炮的高效维护维修具有重要意义。本文针对某型火炮火力系统特性,开展某型火炮火力系统健康状态信息采集单元研制工作,用于实时采集火力系统典型特征参数信号,提取并上传火炮火力系统重要部件的健康状态信息(特征参数),为PHM系统的研制奠定基础。具体的工作内容有:1)介绍了健康状态信息采集单元的研究背景和国内外研究现状,从PHM系统功能与指标需求出发,设计了健康状态信息采集单元的总体方案,并给出了健康状态信息采集单元的系统组成、系统原理和系统结构。2)根据给定的火炮火力系统健康状态信息采集单元功能与指标要求进行了系统关键元器件的选型分析。并完成了8路高速信号、16路低速信号的健康状态信息单元调理模拟板、数字底板的硬件电路研制工作。3)设计了PL(Programmable Logic,可编程逻辑)逻辑电路。基于AXI(Advanced e Xtensible Interface,高级可扩展接口)设计了准确变址预触发的24路数据采集存储逻辑电路,并针对其中多通道传输容易数据溢出的问题,设计了可参数配置的优先级轮询逻辑电路;基于AXI设计了可配置的软硬件协同计算单元,并基于流水线和近似计算设计了其内部的PE(Processing Element,处理元件)高速计算单元。完成了24路数据的采集存储电路及软硬件协同计算电路的研制工作。4)设计了PS软件。基于多阈值判别法研究设计了健康状态信息提取的算法及软件;基于AXI-Lite寄存器参数配置设计了PL采集功能封装、加速功能封装的裸机软件;基于LWIP(Light Weight IP,轻量级网络协议)设计了以太网通信软件。完成了健康状态信息采集单元信号采集、信息提取、信息上传的软件研制工作。最后,测试与验证了健康状态信息采集单元的功能指标,同时给出了测试结果。模拟实验测试结果表明,该型火炮火力系统健康状态信息采集单元可满足PHM系统对健康状态信息高速采集、提取和上传的需求。

关键词： PHM 火力系统数据采集软硬件协同计算信号预处理特征提取

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：