切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Accelerating an FPGA-Based SAT Solver by Software and Hardware Co-design
Accelerating an FPGA-Based SAT Solver by Software and Hardware Co-design
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:zzzzzz1234566666
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
MA Kefan
XIAO Liquan
ZHANG Jianmin
LI Tiejun
【机 构】
:
College of Computer, National University of Defense Technology, Changsha 410073, China
【出 处】
:
城市道桥与防洪
【发表日期】
:
2019年5期
【关键词】
:
FPGA
SAT
Preprocessing
Enhanced constraint
Incomplete algorithm
Co-design.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
住房和城乡建设部建筑节能检查情况通报——北方既有建筑节能改造检查
住房和城乡建设部近日发出《关于2010年全国住房城乡建设领域节能减排专项监督检查》。其中在建筑节能主要成效、存在的问题、下一步工作思路三部分内容中都讲到了北方采暖地
期刊
住房
城乡
建设部
建筑节能改造
监督检查
情况通报
area
northern
China
inspection
building
北方采暖地区
居住建筑
节
出师未捷身先死——诸葛亮五次北伐中的军事失误
诸葛亮,字孔明,三国时期曾任蜀国军帅、丞相,受封为武乡侯,207年,27岁的诸葛亮经司马徽和徐庶的推荐,又经刘备“三顺茅庐”的一番“隆中对策”后,被恳请出山,投身于错综复杂
期刊
诸葛亮
政治家
三国时期
隆中对策
军事斗争
司马徽
军事家
中国
武乡
蜀国
刘备
历史
孔明
丞相
是战场弃儿?还是地面精锐?全新打造中的当代步兵
“陆地勇士”系统正式装备部队美军实战检验“数字化步兵”rn2006年早些时候,美国陆军向驻扎在华盛顿州刘易斯堡的“斯特赖克”第4快速作战旅第9步兵团第4营配备了“陆地勇士
期刊
战场
地面
步兵
作战
装备系统
装备部队
数字通信
陆地
技术应用
华盛顿州
数字化
模块化
刘易斯
士兵
实战
配备
美军
美国
陆军
方位
张文学 开滦微利扩张
糟糕的数据,让前几年“煤飞色舞”的企业黯然了许多。据中国煤炭工业协会提供的数据显示,目前中国煤炭产能已达40亿吨/年,而实际需求量至多35亿吨,每年均有5亿-7亿吨的过剩产
期刊
张文学
煤化工发展
开滦集团
企业合作
神华
煤炭运销
煤田面积
过剩产能
山西焦煤集团
晋煤集团
武涌在第七届国际绿色建筑与建筑节能大会发表演讲——北方既有建筑节能改造回顾与展望
本刊讯(记者钱泽)在3月29日举行的第七届国际绿色建筑与建筑节能大会“既有建筑节能改造技术及工程实践”分论坛中,住房和城乡建设部建筑节能与科技司巡视员武涌作了题为的演
期刊
绿色建筑
建筑节能改造
演讲报告
area
northern
China
Building
Green
International
既有建筑
节能改造技术
工程
Differentiating Malicious and Benign Android App Operations Using Second-Step Behavior Features
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Android malware
Security-sensitive operations
Static program analysis
Classifica
积木催生出斯通纳枪族
1966年,在美国举行的一次武器展览会上,有一种新型武器的首次面世引起了轰动,这种武器就是积木式组合枪.在这次展览会上,两个年轻人以很快的速度把一支自动步枪拆卸开来,然后
期刊
积木式组合
展览会
武器
年轻人
冲锋枪
组装
运用
美国
零件
拆卸
步枪
解读俄罗斯空降兵
自前苏联空降兵组建以来,这支素有“军队的精英,民族的骄傲”的奇兵劲旅,在数百次战斗中屡建奇功.30年前,苏联空降兵极具创新精神和牺牲精神的“半人马”人——车伞空投试验,
期刊
解读
俄罗斯
空降兵
前苏联
战斗力
牺牲精神
空投试验
创新精神
民族
军队
精英
政党变革视阈下意大利重建共产党的理论嬗变和政策调整研究
变革是推动政党发展的源动力,政党发展史即是政党变革的历史。政党若想长期存在且不断发展壮大,就必须随着外部环境和政党内部需求的改变做出相应的变革,政党变革对于政党的
学位
政党变革
意大利重建共产党
意大利共产党
理论嬗变
政策调整
我国当代思想政治教育研究的现状研究——基于2002—2009年我国思想政治教育研究的文献计量分析
思想政治教育作为着眼于人们的精神生活、政治思想的一种社会教育实践活动,随着现代社会的不断发展而日益丰富多彩,其研究领域、基础理论和实践方式也不断拓展与深化。而对该学
学位
思想政治教育
文献计量
社会教育实践
知识资源总库
与本文相关的学术论文