朱惠彪
- 作品数:5 被引量:3H指数:1
- 供职机构:华东师范大学更多>>
- 发文基金:上海市自然科学基金基金委创新研究群体项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- ProMiner:系统性质驱动的双向一致性检验框架被引量:1
- 2016年
- 在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能和实现机制.传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了效率并增加了系统的潜在隐患.为此,对传统基于模型的测试方法的一致性检验进行了扩展,实现了一致性检验框架Pro Miner,通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分,并将其表示为可直接用于模型检测的线性时序逻辑(LTL)表达式,以支持软件模型和代码间双向的一致性检验.实验结果表明,Pro Miner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性,而且大大减少了人力开销.
- 葛徐骏王玲徐立华郭建朱惠彪
- 关键词:线性时序逻辑
- 确定性进程的单向模拟被引量:1
- 1993年
- 本文主要讨论了确定性进程单向模拟,与R.Milner的双向模拟相比,本文定义的模拟是单方向的。我们给出了确定性进程的转换规则,并证明了确定性进程单向模拟的正确性与完备性。同时也讨论了单向模拟的转换规律,并把单向模拟看作是一个特定函数的不动点。最后我们讨论了单向模拟的分层性,并且对单向模拟与双向模拟作了比较,证明了双向模拟可以由两个单向模拟组成。
- 朱惠彪
- 多元组份薄膜的特征X射线强度的蒙特卡罗模拟计算方法被引量:1
- 2000年
- 作者提出了入射电子在多元组份薄膜中所激发出的薄膜中各种元素的包括初次X射线和二次荧光在内的特征X射线强度的蒙特卡罗模拟计算方法。用这一方法模拟计算了多个薄膜样品的特征X射线强度比 ,得到了与电子探针显微分析仪器测定的实验数据相一致的模拟结果。
- 胡幼华潘荫荣朱惠彪
- 关键词:蒙特卡罗模拟
- 不确定性、非发散进程的单向模拟
- 1997年
- 本文主要讨论不确定性、非发散进程的单向模拟。与R.Milner的双向模拟不同的是,本文定义的模拟是单向的。我们给出了不确定性、非发散进程的转换规则,阐述了该类进程的失败(failure)语义,讨论了单向模拟的组合定律,证明了单向模拟的正确性,并论证了进程单向模拟的完备性是不存在的。
- 朱惠彪
- 关键词:不确定性
- 基片上二元组份薄膜的定量分析的Monte Carlo模拟计算方法
- 2001年
- 本文用Monte Carlo方法对入射电子在薄膜中的散射和特征X射线的发射进行数学模拟,提出了基片上 二元组份薄膜成份的模拟计算方法.用这一方法模拟计算了若干个二元组份薄膜的成份,得到了与实验测定值相一致的模拟计算结果.
- 潘荫荣胡幼华朱惠彪
- 关键词:MONTECARLO方法迭代算法模拟计算