搜索筛选:
搜索耗时2.4745秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：朱惠彪,
来源：计算机工程与科学 年份：1997
本文主要讨论不确定性、非发散进程的单向模拟。与Ｒ．Ｍｉｌｎｅｒ的双向模拟不同的是，本文定义的模拟是单向的。我们给出了不确定性、非发散进程的转换规则，阐述了该类进程的失败语义，讨论了单......
[期刊论文] 作者：朱惠彪,
来源：计算机工程与科学 年份：1993
本文主要讨论了确定性进程单向模拟,与R.Milner的双向模拟相比,本文定义的模拟是单方向的。我们给出了确定性进程的转换规则,并证明了确定性进程单向模拟的正确性与完备性。...
[期刊论文] 作者：朱惠彪,杨晓清,
来源：电脑技术 年份：1997
基本知识1．正确答案：D，解答；／P表示分屏显示；／W表示以紧缩形式显示文件清单。2．正确答案：B，解答：见教材P2）3o3‘正确答案：C，解答：见教材P．148中间的这张图。4．正确答案：B，解答：见教材P．互。5．正确答......
[期刊论文] 作者：潘荫荣,胡幼华,朱惠彪,
来源：应用概率统计 年份：2001
本文用Monte Carlo方法对入射电子在薄膜中的散射和特征X射线的发射进行数学模拟，提出了基片上元组份薄膜成份的模拟计算方法。用这一方法模拟计算了若干个二元组份薄膜的成份...
[期刊论文] 作者：胡幼华,潘荫荣,朱惠彪,,
来源：华东师范大学学报（自然科学版） 年份：2000
作者提出了入射电子在多元组份薄膜中所激发出的薄膜中各种元素的包括初次X射线和二次荧光在内的特征X射线强度的蒙特卡罗模拟计算方法.用这一方法模拟计算了多个薄膜样品的...
[期刊论文] 作者：葛徐骏,王玲,徐立华,郭建,朱惠彪,
来源：软件学报 年份：2016
在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越...
相关搜索：
