排序方式： 共有4条查询结果，搜索用时 0 毫秒
1
1.
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。 相似文献
2.
针对在低快拍以及导向矢量存在误差等情况下自适应波束形成鲁棒性下降的问题,该文提出一种基于压缩感知(CS)的单通道鲁棒波束形成算法。首先提出一种新的单通道阵列体制,建立阵列信号压缩感知模型,并验证其感知矩阵满足约束等容(RIP)条件,在此基础上,采用快速的鲁棒平滑L0(RSL0)算法重构信号干扰矩阵,最后以表征阵列鲁棒性的阵列灵敏度作为目标函数,以干扰矩阵作为约束条件,形成有效波束。计算机仿真表明算法只需一个射频通道,即可在低快拍下有效抑制相干、非相干干扰信号,并可避免因通道间不一致造成的鲁棒性问题,验证了算法的有效性和优越性。 相似文献
3.
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. 相似文献
4.
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具. 相似文献
1