搜索筛选:
搜索耗时1.6918秒,为你在为你在102,285,761篇论文里面共找到 10 篇相符的论文内容
类      型:
[会议论文] 作者:Sun Tianyu,Yu Wensheng, 来源:2017中国智能物联系统会议 年份:2017
Under the axiomatic set theory frame,this paper implements the machine proving of the equivalence between the Axiom of Choice and Tukey lemma using Coq as an interactive theorem proving tool.The provi...
[期刊论文] 作者:Sheng Gao,Tianyu Yu,Jianming Z, 来源:中国通信:英文版 年份:2019
Blockchain with these characteristics of decentralized structure, transparent and credible, time-series and immutability, has been considering as a promising te...
[期刊论文] 作者:Biao Zhao,Tianyu Yu,Wenfeng Di, 来源:自然科学进展(英文版) 年份:2018
Open-porous Cu-Sn-Ti composites are fabricated by the space holder sintering technique using carbamide par-ticles as space-holder material. Generally, the mecha...
[会议论文] 作者:YAO Tianyu,YU Jianxiang,WU Guangming, 来源:2014年全国高分子材料科学与工程研讨会 年份:2014
[期刊论文] 作者:Tianyu YU,Mingjun CHEN,Zhuoru WU, 来源:中国航空学报(英文版) 年份:2022
Cold spray is an attractive and rapidly developing process for additive manufacturing with high efficiency and precision,repairing and coating,especially in aircraft and aerospace appli-cations.Cold spray additive manufacturing deposits mic......
[期刊论文] 作者:Biao ZHAO,Tianyu YU,Wenfeng DING,Xianying LI, 来源:城市道桥与防洪 年份:2017
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[期刊论文] 作者:Yue Jiang,Yao Qin,Tianyu Yu,Sijie Lin, 来源:中国化学快报:英文版 年份:2021
Maximizing adsorption and catalytic active sites and promoting the photo-excited charge separation are two key factors to achieve excellent photocatalytic performance.In this study,we report a sol-gel synthesis approach to obtain non-metal ......
[期刊论文] 作者:Sheng Gao,Tianyu Yu,Jianming Zhu,Wei Cai, 来源:中国通信(英文版) 年份:2019
Blockchain with these character-istics of decentralized structure, transparent and credible, time-series and immutability, has been considering as a promising t...
[期刊论文] 作者:Yue Jiang,Yao Qin,Tianyu Yu,Sijie Lin, 来源:中国化学快报(英文版) 年份:2004
Maximizing adsorption and catalytic active sites and promoting the photo-excited charge separation are two key factors to achieve excellent photocatalytic perfo...
[会议论文] 作者:Sijie Lin,Tianyu Yu,Haishan Zhao,Shuo Lin, 来源:中国微米纳米技术学会纳米科学技术分会第四届年会暨2016国际纳米生物与医学学术会议 年份:2016
Rare earth hydroxide(europium,Eu)nanoparticles were recently found to promote angiogenesis in human umbilical vein endothelial cells(HUVACs)after cell internalization.The exact mechanism of such biolo...
相关搜索: