DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为...DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。展开更多
Emerging pollutants,such as antibiotics and antibiotic-resistance genes,are becoming increasingly important sources of safety and health concerns.Drinking water safety,which is closely related to human health,should r...Emerging pollutants,such as antibiotics and antibiotic-resistance genes,are becoming increasingly important sources of safety and health concerns.Drinking water safety,which is closely related to human health,should receive more attention than natural water body safety.However,minimal research has been performed on the efficacy of existing treatment processes in water treatment plants for the removal of antibiotics and antibiotic resistance genes.To address this research gap,this study detected and analyzed six main antibiotics and nine antibiotic resistance genes in the treatment processes of two drinking water plants in Wuhan.Samples were collected over three months and then detected and analyzed using ultra-high-performance liquid chromatography-tandem mass spectrometry and fluorescence quantitation.The total concentrations of antibiotics and antibiotic resistance genes in the influent water of the two water plants were characterized as December>March>June.The precipitation and filtration processes of the Zou Maling Water Plant and Yu Shidun Water Plant successfully removed the antibiotics.The ozone-activated carbon process increased the removal rate of most antibiotics to 100%.However,a large amount of antibiotic resistance gene residues remained in the effluents of the two water plants.The experiments demonstrated that the existing ozone-activated carbon processes could not effectively remove antibiotic resistance genes.This study provides a reference for the optimization of drinking water treatment processes for antibiotics and antibiotic resistance gene removal.展开更多
文摘DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。
基金supported by the Wuhan Science and Technology Planning Project(No.2018060401011313).
文摘Emerging pollutants,such as antibiotics and antibiotic-resistance genes,are becoming increasingly important sources of safety and health concerns.Drinking water safety,which is closely related to human health,should receive more attention than natural water body safety.However,minimal research has been performed on the efficacy of existing treatment processes in water treatment plants for the removal of antibiotics and antibiotic resistance genes.To address this research gap,this study detected and analyzed six main antibiotics and nine antibiotic resistance genes in the treatment processes of two drinking water plants in Wuhan.Samples were collected over three months and then detected and analyzed using ultra-high-performance liquid chromatography-tandem mass spectrometry and fluorescence quantitation.The total concentrations of antibiotics and antibiotic resistance genes in the influent water of the two water plants were characterized as December>March>June.The precipitation and filtration processes of the Zou Maling Water Plant and Yu Shidun Water Plant successfully removed the antibiotics.The ozone-activated carbon process increased the removal rate of most antibiotics to 100%.However,a large amount of antibiotic resistance gene residues remained in the effluents of the two water plants.The experiments demonstrated that the existing ozone-activated carbon processes could not effectively remove antibiotic resistance genes.This study provides a reference for the optimization of drinking water treatment processes for antibiotics and antibiotic resistance gene removal.
