切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Weighted Automaton and Varieties of Formal Power Series
Weighted Automaton and Varieties of Formal Power Series
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:zjhzjhzjh111
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
WANG Yongbing
LI Yongming
【机 构】
:
College of Computer Science, Shaanxi Normal University, Xi’an 710062, China“,”College of Mathematics
【出 处】
:
城市道桥与防洪
【发表日期】
:
2017年2期
【关键词】
:
Formal power series
Weighted automa-ton
Regular series
Quotient
Syntactic monoid
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
咪达普利和安体舒通对心肌纤维化大鼠肾素血管紧张素醛固酮系统的干预研究
期刊
骨髓基质细胞体外培养成骨能力的实验研究
期刊
骨髓基质细胞
细胞体外培养
成骨能力
增殖活性
原位杂交
细胞培养
成骨性能
成骨表型
移植
筛选
基础
方法
睡觉也能提升性能力
睡姿是很重要的,不仅影响到我们的睡眠质量,更是影响到我们的身体健康.比如,睡姿不正确会降低人们的性能力.那么,人们该如何选择正确的睡姿呢?rn提升性能力最佳睡姿rn仰卧是
期刊
培养心肌细胞缺氧复氧性损伤机制及ICAM-1MAb的干预研究
期刊
A Provably Secure General Construction for Key Exchange Protocols Using Smart Card and Password
Key exchange protocols using both smart card and password are widely used nowadays since they provide greater convenience and stronger security than protocols u
期刊
General construction
Provable secure
Smart card
Password
Key exchange protocol
Towards Verified Software: Mirror Theory of Programming
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Operation expression
Semantic axiom
Programming logic
Theory of programming
Veri
High-Performance FP Divider with Sharing Multipliers Based on Goldschmidt Algorithm
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
FP divider
Goldschmidt algorithm
Bi-partite reciprocal look-up tables
DSP.
Personalized Privacy-Preserving Trajectory Data Publishing
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
Personalization
Trajectory data
Privacy-preserving data publishing
工业射线照相技术的未来-数字化检测
介绍几种目前还应用在医用领域或刚刚开始应用到工业领域的数字化射线照相方法,展望了将来可能广泛应用到工业领域中的数字化射线照相检测新技术;并探讨了实现过程中的一些需
期刊
工业射线照相
数字化
检测
孕妈妈们怎么防妊娠高血压
武警广东省总队医院妇产科主任王彩霞介绍说,妊高征的典型症状就是在怀孕20周以后出现的高血压、水肿和蛋白尿,严重者会出现头痛、眼花、恶心、呕吐,甚至昏迷、抽搐,伴有全身
期刊
与本文相关的学术论文