This paper presents the specification language NUJSL and its supporting system.NUJSL is a modularspecification language......

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......

应用量子化学密度泛函理论B3PW91方法,研究了CO2分子对碳基表面吸附单质铅的影响机理.建立了碳基表面模型,优化得到了包含CO2分子......