搜索筛选:
搜索耗时2.5777秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：YIN Chongyuan,LUO Guiming,
来源：清华大学学报（英文版） 年份：2004
The construction of B(u)chi automata from linear temporal logic is a significant step in model checking.This paper presents a depth-first construction algorithm...
[期刊论文] 作者：SUN Junbo,LUO Guiming,
来源：清华大学学报（英文版） 年份：2004
An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the...
[期刊论文] 作者：JIN Ya,LUO Guiming,
来源：黑龙江科技学院学报 年份：2007
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：JIANG Rui,LUO Guiming,
来源：黑龙江科技学院学报 年份：2007
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：ZANG Zhiyuan,LUO Guiming,YIN C,
来源：清华大学学报（英文版） 年份：2004
In networks,the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable.With the rapid develop...
相关搜索：
