搜索筛选:
搜索耗时0.0939秒,为你在为你在102,285,761篇论文里面共找到 9 篇相符的论文内容
发布年度:
Complete characterization of strictly positive real regions and robust strictly positive real synthe
[期刊论文] 作者：WANG Long,YU Wensheng,
来源：黑龙江科技学院学报 年份：2000
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
Mathematical Theorem Machine Proving System Based on Coq -Machine Proving of the Factorization Theor
[会议论文] 作者：SHU Rundong,YU Wensheng,
来源：2017中国智能物联系统会议 年份：2017
The complete machine proving of the Factorization Theorem of Principal Ideal Domain in the abstract algebra is given by using the interactive theorem proving tool Coq.The proof process is done by usin...
[会议论文] 作者：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...
Fast Determination of Phenanthrene in Soil by Gas Chromatography-Mass Spectrometry Using Chemometric
[期刊论文] 作者：Weiwei Yu,Wensheng Cai,Xueguan,
来源：黑龙江科技学院学报 年份：2013
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：LI Wang,WANG Long,YU Wensheng,
来源：黑龙江科技学院学报 年份：2016
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：Yu Wensheng,WANG Long,Jrgen Ac,
来源：中国科学F辑（英文版） 年份：2004
For any two n-th order polynomials a(s) and b(s), the Hurwitz stability of their convex combination is necessary and sufficient for the existence of a polynomia...
[期刊论文] 作者：Wang Zhizhen,WANG Long,Yu Wensheng,
来源：自然科学进展(英文版) 年份：2002
The robust D-stability of a class of multilinear interval polynomials is considered. Some sufficient conditions are given to judge the robust D-stability of the...
[会议论文] 作者：Jian Yang,Dinghua Yi,Jian Zuo,SHiqiang Yu,Wensheng Chen,Jincheng Liu,
来源：中华医学会第十次全国胸心血管外科学术会议暨第20届亚洲胸心血管外科医师协会年会(ATCSA 2010 BEIJING) 年份：2010
...
FGFBP1-mediated crosstalk between fibroblasts and pancreatic cancer cells via FGF22/FGFR2 promotes i
[期刊论文] 作者：Zheng Zhang,Yi Qin,Shunrong Ji,Wenyan Xu,Mengqi Liu,Qiangsheng Hu,Zeng Ye,Guixiong Fan,Xianjun Yu,Wensheng,
来源：生物化学与生物物理学报（英文版） 年份：2021
Fibroblast growth factor-binding protein 1 (FGFBP1) promotes fibroblast growth factor (FGF) activ-ity by releasing FGFs from extracellular matrix storage.We previously reported that the tumor suppressor F-box and WD repeat domain-containing......
相关搜索：
