排序方式： 共有3条查询结果，搜索用时 156 毫秒
1
1.
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。 相似文献
2.
Enhancing outcoupling efficiency and stabilizing emission spectra are of high technical importance in realizing high quality white transparent organic light emitting diodes (TOLEDs). In this work, we demonstrate a random nano-scattering layer (RSL) as a structure which can effectively address those tasks. The RSL contributes to bottom and top emissions by scattering and reflection, respectively. With the use of RSL, we achieved remarkable total efficiency enhancement of 101%. Also, a viewing angle independent stable white spectrum with a color rendering index of 79 was achieved. With its straight forward processing, our RSL can be readily applied to deal with various photonic applications to enhance both efficiency and emission spectra. 相似文献
3.
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具. 相似文献
1