搜索筛选:
搜索耗时2.0205秒,为你在为你在102,285,761篇论文里面共找到 159 篇相符的论文内容
发布年度:
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
[会议论文] 作者：Sun Tianyu,
来源：2017中国智能物联系统会议 年份：2017
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axiomatic set theory.The axiomatic set theory used in this paper refers to Kelleys axi...
[会议论文] 作者：Tianyu Shu,Huizhen Wu,
来源：第十二届全国分子束外延学术会议 年份：2017
...
[会议论文] 作者：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...
[会议论文] 作者：Qin LU,
来源：2017年灾难与创伤急救西湖国际论坛 年份：2017
...
[会议论文] 作者：Qin Shi,
来源：第十三届全国量子化学会议 年份：2017
The intermolecular interaction determines the rate of electron transfer in Organic semiconducting materials,and the calculation of intermolecular interactio...
[会议论文] 作者：Qin Zhen,
来源：2017年世界交通运输大会 年份：2017
In this study,main types and distribution laws are attained based on field survey and statistical analysis from a plenty of multiple-arch tunnels in Yunnan province.Main influencing factors of lining...
Solid polymer electrolyte prepared from polyethylene glycol based polymers cross-linked by inorganic
[会议论文] 作者：Tianyu Zhou,Baohua Guo,Jun Xu,
来源：2017年锂硫电池前沿学术研讨会 年份：2017
...
[会议论文] 作者：Weixing Yang,Tianyu Liu,Qiang Fu,Feng Chen,
来源：中国化学会2017全国高分子学术论文报告会 年份：2017
本次工作中我们通过利用TEMPO 氧化法制备得到的纳米纤维素来帮助石墨烯在水中稳定的分散，采用短时间的超声处理，成功制备得到了稳定且均匀的石墨烯/纳米纤维素稳定分散液。然后我们通过快速且简单的真空抽滤成功制备得到了制备得到了具备优异力学性能，导电性能和......
[会议论文] 作者：Guofang Nan,Lin Chen,Tianyu Wang,Mingqiang Li,
来源：信息系统协会中国分会第七届学术年会 年份：2017
In this paper,we propose an optimal dynamic pricing strategy for a monopolistic online platform provider to achieve revenue maximization in a planning horizon.We use Pontryagins maximum principle to s...
[会议论文] 作者：Liang Xiao,Li Hui,Yu Tianyu,Zhou Haonan,
来源：2017年世界交通运输大会 年份：2017
Porous cement concrete pavement is a pavement structure,which has certain water purification function,in addition,it can supply groundwater,recycle excess rain.The problem of road surface runoff purif...
[会议论文] 作者：Jiawang DING,Wei QIN,
来源：第十六届国际电分析化学国际会议 年份：2017
With the rapid progress in the field of paper-based devices,potentiometricion sensing and biosensing platforms have also been explored by our group and other re...
[会议论文] 作者：Si-Yong Qin,Ai-Qing Zhang,
来源：中部四省化学化工学会2017年学术年会 年份：2017
Oligopeptidehydrogels consisting of few amino acid residesalways exhibit weak mechanical strength and single function,[1] which limit the applications in th...
[会议论文] 作者：Aimiao Qin,Yuanzhou Liu,
来源：第二届中国(国际)能源材料化学研讨会 年份：2017
...
[会议论文] 作者：Yanhong Qin,Guangxing Wei,
来源：华人学者营销协会,对外经济贸易大学 年份：2017
Under the wholesale price contract,we analyze the influence of the retailers fairness-concern information on the wholesale price,order quantity,the profit of each party and the supply chain in SI(Symm...
[会议论文] 作者：Huan ZHANG,Wei QIN,
来源：第十六届国际电分析化学国际会议 年份：2017
In recent years,molecularly imprinted polymers(MIPs) havegained wide acceptance as new artificial recognition receptors inchemical sensors since they have high affinities and excellent selectivity sim...
Screen-Printed Potentiometric Sensor Based on Molecularly Imprinted Polymers for Determination of 2-
[会议论文] 作者：Pengjuan LI,Wei QIN,
来源：第十六届国际电分析化学国际会议 年份：2017
2-Naphthoic acid has been used as an organic synthesis intermediate and a plant growth regulator.In addition,it is the first-grade decomposition product of naphthalene....
Analysis of non-linear flapwise vibration of a rotating composite thin-walled beam subjected to hygr
[会议论文] 作者：Qin Ying,Li Ying-hui,
来源：第十六届全国非线性振动暨第十三届全国非线性动力学和运动稳定性学术会议 年份：2017
The dynamic response of non-linear flapwise vibration of a rotating composite thin-walled beam subject to hygrothermal environment and aerodynamic force is solved by using the perturbation method.The...
[会议论文] 作者：Fei Qin,Xiang Wu,Dongzhou Zhang,Shan Qin,Steven D.Jacobsen,
来源：第26届国际高压科学技术大会、第8届亚洲高压科技学术会议暨第19届中国高压科学技术会议(The 26th Interna 年份：2017
The natural occurrence of clinohumite in metabasalts and hydrothermally altered peridotites provides a source of water-rich minerals in subducted slabs,making knowledge of their phase relations and cr...
Assembles of achiral phthalocyanine with water-soluble polymers can discriminate enantiomers of biom
[会议论文] 作者：Yuying Jiang,Chenxi Liu,Xiqian Wang,Tianyu Wang,Jianzhuang Jiang,
来源：中国化学会第四届卟啉与酞菁学术研讨会 年份：2017
The air/water interfacial assembly of achiral phthalocyanine containing four crown ether substituents can form not only H-aggregates with supramolecular chi...
Ⅱ-Ⅵ/Ⅳ-Ⅵ Semiconductor Heterojunctions Grown by MBE and Two-Dimensional Electron Gas at Polar Interfa
[会议论文] 作者：Huizhen Wu,Zhneyu Ye,Songsong Ma,Tianyu Shu,Bingpo Zhang,
来源：第十二届全国分子束外延学术会议 年份：2017
...
相关搜索：
