搜索筛选:
搜索耗时0.9690秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：Chen Vunmin,Wang Changjing,
来源：固体力学学报：英文版 年份：2006
由介绍与一根 Timoshenko 横梁交往的有弹性的一半空间的相等的僵硬，在有弹性的 half-spacesubjected 上休息到动人的负担的横梁的排水量答案被介绍。基于thehalf空间和横梁的...
[期刊论文] 作者：Chen Yunmin,Wang Changjing,
来源：固体力学学报（英文版） 年份：2004
By introducing the equivalent stiffness of an elastic half-space interacting with a Timoshenko beam, the displacement solution of the beam resting on an elastic...
[期刊论文] 作者：ZUO Zhengkang,SU Wei,LIANG Zanyang,HUANG Qing,WANG Yuan,WANG Changjing,
来源：武汉大学自然科学学报（英文版） 年份：2021
The development of algebraic and numerical algo-rithms is a kind of complicated creative work and it is difficult to guarantee the correctness of the algorithms...
[期刊论文] 作者：WANG Changjing,JIANG Huiwen,ZENG Jingshan,YU Min,HUANG Qing,ZUO Zhengkang,
来源：武汉大学自然科学学报（英文版） 年份：2021
The development of blockchain is at a nascent stage.Current research on blockchain mainly focuses on a single tech-nology,failing to reflect the correlation between the integrated technologies due to a lack of application in the real world.......
[期刊论文] 作者：WANG Changjing,DING Xilong,HE Jiangfei,CHEN Xi,HUANG Qing,LUO Haimei,ZUO Zhengkang,
来源：武汉大学自然科学学报（英文版） 年份：2021
We propose a systematic method to deduce and syn-thesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to ......
相关搜索：
