Genotoxicity in wastewater and reclaimed water now is gaining increased attention because of genotoxins＇ potential damage to the ecosystem and human health. The effect of ozonation on genotoxicity in reclaimed water ...Genotoxicity in wastewater and reclaimed water now is gaining increased attention because of genotoxins＇ potential damage to the ecosystem and human health. The effect of ozonation on genotoxicity in reclaimed water was investigated. It was found that ozonation decreased the genotoxicy dramatically in three tertiary treatment plants. In the further batch ozonation experiment in laboratory, secondary effluent sample used exhibited the genotoxicity of （41.1 ± 4.1） μg 4NQO/L. Ozonation with a dose of 10 mg O3/L completely removed the genotoxicity in secondary effluent. However, after ozonation, the dissolved organic carbonvalue of the sample didn＇t change much but the specific ultraviolet absorbance （SUVA） value dropped sharply. With the help of Fourier transform infrared spectroscopy, ozonation was found to change chemical aliphatic carbon and C-O of the dissolved arganic matter, which might be the reason of the significant decreases of SUVA and genotoxicity.展开更多
We propose a systematic method to deduce and synthesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transfo...We propose a systematic method to deduce and synthesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to perform equivalent transformation.Furthermore,Dafny program is synthesized through the obtained recursive relationship and loop invariants.Finally,the functional correctness of Dafny program is automatically verified by Dafny verifier or online tool.Through this method,we deduce and synthesize Dafny programs for many typical problems such as the cube sum problem,the minimum(or maximum)contiguous subarray problems,several searching problems,several sorting problems,and so on.Due to space limitation,we only illustrate the development process of Dafny programs for two typical problems:the minimum contiguous subarray problem and the new local bubble sorting problem.It proves that our method can effectively improve the correctness and reliability of Dafny program developed.What’s more,we demonstrate the potential of the deductive synthesis method by developing a new local bubble Sorting program.展开更多
基金supported by the National Natural Science Foundation of China (No. 51138006)the National HighTech Research and Development Program (863) of China (No. SS2013AA061805)+1 种基金the Ministry of Environmental Protection of China (No. 201109015)the Collaborative Innovation Center for Regional Environmental Quality
文摘Genotoxicity in wastewater and reclaimed water now is gaining increased attention because of genotoxins＇ potential damage to the ecosystem and human health. The effect of ozonation on genotoxicity in reclaimed water was investigated. It was found that ozonation decreased the genotoxicy dramatically in three tertiary treatment plants. In the further batch ozonation experiment in laboratory, secondary effluent sample used exhibited the genotoxicity of （41.1 ± 4.1） μg 4NQO/L. Ozonation with a dose of 10 mg O3/L completely removed the genotoxicity in secondary effluent. However, after ozonation, the dissolved organic carbonvalue of the sample didn＇t change much but the specific ultraviolet absorbance （SUVA） value dropped sharply. With the help of Fourier transform infrared spectroscopy, ozonation was found to change chemical aliphatic carbon and C-O of the dissolved arganic matter, which might be the reason of the significant decreases of SUVA and genotoxicity.
基金Supported by the National Natural Science Foundation of China(61762049,61862033,61902162,11804133)Natural Science Foundation of Jiangxi Province(20202BABL202025,20202BABL202026,20202BAB202015)。
文摘We propose a systematic method to deduce and synthesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to perform equivalent transformation.Furthermore,Dafny program is synthesized through the obtained recursive relationship and loop invariants.Finally,the functional correctness of Dafny program is automatically verified by Dafny verifier or online tool.Through this method,we deduce and synthesize Dafny programs for many typical problems such as the cube sum problem,the minimum(or maximum)contiguous subarray problems,several searching problems,several sorting problems,and so on.Due to space limitation,we only illustrate the development process of Dafny programs for two typical problems:the minimum contiguous subarray problem and the new local bubble sorting problem.It proves that our method can effectively improve the correctness and reliability of Dafny program developed.What’s more,we demonstrate the potential of the deductive synthesis method by developing a new local bubble Sorting program.
