SCR方法相关论文
安全关键系统是指那些系统失效会造成人员伤亡,环境和财产等的重大损失的软件系统。航空电子系统作为飞机上的核心系统,是典型的安......
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式......
分析了小波、脊波和曲线小波等方法用于含噪图像中类线像素恢复的不足。针对它们的缺点,提出了一种用于各向异性检测的方向算子集......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
