切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Knowledge Compilation Methods Based on the Clausal Relevance and Extension Rule
Knowledge Compilation Methods Based on the Clausal Relevance and Extension Rule
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:king269
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
NIU Dangdang
LIU Lei
LYU Shuai
【机 构】
:
College of Computer Science and Technology, Jilin University, Changchun 130012, China“,”Key Laborato
【出 处】
:
城市道桥与防洪
【发表日期】
:
2018年5期
【关键词】
:
Extension rule
Knowledge compilation
Clausal relevance
Heuristic strategy
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
基于石油工程项目风险管理问题及优化对策
针对石油工程项目风险管理的现存问题进行分析,其问题突出表现在风险管控意识薄弱,难以发现潜在隐患;缺乏风险评判标准,危急处理能力较差及污染现象比较严重,故障设备存在老
期刊
石油工程项目
风险管理
项目
A Self-Biased Low-Jitter Process-Insensitive Phase-Locked Loop for 1.25Gb/s-6.25Gb/s SerDes
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Phase-locked loop (PLL)
Self-biased
Low-jitter
Process-insensitive
Serializer-de
产销统计
1999年7月我国防织二二皿匕总产值、产量完成情况表1999角卜7月任忆国意扮月嗽口二皿匕月匕要岌会匀乍指标完成情况表__一_考杯…丫一撇-林与霎卿踱 一沈黔-舞臀碧-攀瞥半一
期刊
Mc4R基因附近rs12970134位点多态性与女性肥胖的关系
肥胖是多种慢性疾病发生发展的重要危险因素[1-4].遗传因素在肥胖的发生发展过程中发挥重要作用.Mc4R基因已被证实是与肥胖密切相关的基因之一[3.5-7],可以控制食欲和增加能量消耗,进而调节体重[7-9].Mc4R基因突变可以导致食欲增加和暴饮暴食,进而导致肥胖发生[10.11].Mc4R基因附近的rs12970134位点,是近来大家关注的一个与肥胖相关的基因位点,Chambers [3]、Z
期刊
肥胖
基因
多态性
Mc4R
rs12970134
早发2型糖尿病家系NeuroD1基因突变筛查与功能研究
目的 在中国人早发2型糖尿病家系先证者中筛查NeuroD1基因突变/变异,并研究其功能及携带者家系的临床表型和遗传特点.方法 用PCR-直接测序法检测85例早发、95例晚发2型糖尿病家系先证者和87名非糖尿病对照者NeuroD1基因突变/变异,比较筛查到的组间突变/变异的基因型及等位基因频率的差异.分别构建含小鼠NeuroD1(mND1)基因cDNA的野生型、突变型表达质粒载体和与人胰岛素基因启动
期刊
NeuroD1基因
糖尿病
2型
家系
运动也多彩
期刊
The Research of One Novel Cost-Sensitive Classification Algorithm
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Graph-based semi-supervised classifica-tion (GSSC)
Cost-sensitive
Rescale
Secure DRM Scheme Based on Blockchain with High Credibility
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Blockchain infrastructure
Digital rights management
Tamper-resistance
DRM trade
卫生体系模式之社会医疗保险
无论是公共政策部门,还是理论研究界,国内对社会医疗保险的认识多偏好将其作为资金筹集及风险分担机制,强调其医疗费用风险保障的作用。然而,从比较卫生体系(Comparative Hea
期刊
卫生体系
体系模式
疗保险
资金筹集
服务提供
制度设计
医疗费用
理论研究
管制
公共政策
风险保障
分担机制
特色
国内
优化小水电梯级开发的研究
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
优化
小水电
梯级
与本文相关的学术论文