含噪图像中类线像素DWA和SCR恢复方法

分析了小波、脊波和曲线小波等方法用于含噪图像中类线像素恢复的不足。针对它们的缺点,提出了一种用于各向异性检测的方向算子集合的结构和统一规范。利用粗糙检测、淘汰和平均(DWA)方法,通过检测、淘汰和加权平均,实现了含噪图像中类线像素的恢复;利用收缩、选择和记载(SCR)方法,通过收缩、连接和记载操作,实现了含噪图像中类线像素的分割工作。仿真试验结果证明了提出算子的合理性和相关类线像素恢复及分割方法的准确性、有效性、局限性和一致性。

基于表格表达式的SCR需求模型转换

基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示系统需求的形式化需求规约方法。针对形式化需求的自动化测试和检验工具提高了需求分析的正确性和效率性,但目前工具缺少安全性质的自动验证,无法保证需求的安全性。因此,文中对基于SCR方法的T-VEC工具进行扩展,在语言解析器生成器antlr(ANother Tool for Language Recognition)的辅助下开发了模型转换工具T2N,设计了语言结构转换规则,将基于SCR的需求描述语言T-VEC转换为符号化模型检测语言XMV,以实现对提取的系统安全性质的自动化验证。最后,以需求工程中的典型案例——灯光控制系统为例进行实验分析,验证T2N工具的有效性和需求模型的安全性。

矿业污染土壤中还原态硫的测定方法探讨

铬粉还原法(SCr)常用于酸性硫酸盐土和河流底泥中还原态硫的测定,其能否应用于矿业污染土壤中还原态硫的测定还有待检验.选取矿渣污染土壤和未污染土壤,添加不同浓度的黄铁矿培养15 d后采用SCr法测定其消化时间和土壤预处理方法的回收率.研究表明:SCr法可应用于矿业酸化土壤中还原态硫的测定,消化时间达到20min时,不同含硫浓度的处理中还原态硫回收率在95% ～105%之间,说明消化20min即可满足SCr法测定还原态硫的要求.不同预处理方法的比较表明:采用80℃快速风干处理和真空冷冻干燥处理,土壤样品的还原态硫回收率均能达到满意的要求,而采用传统的自然风干处理会使土壤还原态硫的测定结果偏低.因此,测定矿山污染土壤的还原态硫时,可以采用真空冷冻干燥处理或80℃快速风干处理,消化时间为20 min即可.

基于四变量模型的系统需求建模方法研究

近年来,基于模型的系统需求分析是实时嵌入式安全关键系统工程领域中的一个重要研究方向,得到了工程师的广泛关注。其基本思想是在设计过程中对系统进行需求分析研究。笔者介绍的分析方法主要是基于四变量模型的系统需求分析方法。四变量模型是在系统需求层次上描述所需的系统行为及软件行为,通过指明系统需求以及系统的输入和输出硬件接口来限制软件需求,包括系统与外界的交互行为以及系统内部的状态、模式变化的行为特征描述等,再进行SCR方法形式化。

燃气隧道窑烟气治理改造实践

针对地方排放标准的要求,从燃气隧道窑烟气排放的实际出发,采用低温SCR方法对烟气进行治理,通过改造前后的对比,SCR设施脱硝效果良好,运行稳定,达到烟气超低排放的要求,在隧道窑烟气环保治理中具有一定的推广意义。

面向DO-178C的襟缝翼控制系统需求的形式化描述

DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。

一种求解非对称线性方程组的平稳的共轭残差平方法

CRS(共轭残差平方)方法是一种运用比较广泛的求解大型稀疏非对称系数矩阵线性方程组的迭代方法,然而,在很多情况下CRS方法却显示出不稳定的收敛行为.针对这个问题,提出了SCRS(平稳共轭残差平方)方法,并将SCRS方法与CGS(共轭梯度平方)方法和Bi CGSTAB(稳定的双共轭梯度)方法进行了比较.理论分析和数值实验结果显示,SCRS方法比CRS方法更为稳定,而且有着较CGS方法和Bi CGSTAB方法更好的收敛效果.

各显其能——欧洲各大公司攻克欧Ⅳ、欧Ⅴ难关

欧Ⅲ标准我国还未全面实施,而欧洲已将欧Ⅳ标准提上议程。如何才能最好地满足未来排放标准的要求,大多数欧洲货车厂家已经取得了共识,各种解决方案已经浮出水面。相比而言,我国的排放标准落后很多,多项技术还属于空白,如何尽快与世界排放标准接轨,是我们急需解决的问题。本刊希望关注国内发动机技术发展的有识之士及业内专家,能就我国发动机行业的现状、存在的问题及如何解决这些问题参与我们的讨论。