SCR方法相关论文
采用化学处理、溶胶-凝胶法,制备了金属多孔催化载体材料.并通过浸渍方法在载体表面负载了催化剂活性组分V2O5,研究了金属多孔催化......
会议
安全关键系统是指那些系统失效会造成人员伤亡,环境和财产等的重大损失的软件系统。航空电子系统作为飞机上的核心系统,是典型的安......
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式......
分析了小波、脊波和曲线小波等方法用于含噪图像中类线像素恢复的不足。针对它们的缺点,提出了一种用于各向异性检测的方向算子集......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
近年来,基于模型的系统需求分析是实时嵌入式安全关键系统工程领域中的一个重要研究方向,得到了工程师的广泛关注。其基本思想是在设......