Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Panqing Zhang"'
Adsorption and Removal of Cr6+, Cu2+, Pb2+, and Zn2+ from Aqueous Solution by Magnetic Nano-Chitosan
Publikováno v:
Molecules, Vol 28, Iss 6, p 2607 (2023)
Magnetic nano-chitosan (MNC) was prepared and characterized. The kinetics, thermodynamics, and influencing factors of the adsorption of Cr6+, Cu2+, Pb2+, and Zn2+, as well as their competitive adsorption onto MNC in aqueous solution, were studied. Th
Externí odkaz:
https://doaj.org/article/55c7d02cdea241c181e44f4ac52ef154
Publikováno v:
Applied Sciences, Vol 10, Iss 7, p 2594 (2020)
Model checking is a formal automatic verification technology for complex concurrent systems. It is used widely in the verification and analysis of computer software and hardware systems, communication protocols, security protocols, etc. The generaliz
Externí odkaz:
https://doaj.org/article/43b1ae9e02c04b72bdcc24e034a7e2ac
Autor:
Ziqi Li, Ao Shen, Xiaohui Hao, Mengwen Li, Yongwei Zhao, Lala Hou, Ruochen Duan, Panqing Zhang, Man Du, Xuebing Wang, Xue Li, Xiuqing Zhao, Yunxu Yang
Publikováno v:
Dyes and Pigments. 217:111386
Autor:
Xiaohui Hao, Ao Shen, Mengwen Li, Ruochen Duan, Lala Hou, Xiuqing Zhao, Ziqi Li, Yongwei Zhao, Panqing Zhang, Xuebing Wang, Xue Li, Yunxu Yang
Publikováno v:
Analytica Chimica Acta. 1263:341280
Autor:
Bo Xiao, Wendong Tao, Panqing Zhang, Xiaoping Li, Shengwei Zhang, Lijun Wang, Shuzhen Dong, Mengmei Liu
Publikováno v:
Atmospheric Research. 229:60-73
Atmospheric particulate matter (PM2.5 and PM10) samples were collected at urban and suburban sites in Xi'an City from December 2016 to November 2017. Sixteen priority polycyclic aromatic hydrocarbons (PAHs) associated with PM2.5 and PM10 were analyze
Autor:
Lijun Wang, Xiaoping Li, Xinwei Lu, Wenjuan Zhang, Panqing Zhang, Xiaoyun Li, Xingmin Shi, Li Wang
Publikováno v:
Archives of Environmental Contamination and Toxicology. 75:351-366
Polycyclic aromatic hydrocarbons (PAHs) are ubiquitous in the environment. This study collected a total of 62 urban soil samples from the typical semi-arid city of Xi’an in Northwest. They were analyzed for the composition, distribution, and source
Publikováno v:
DASC/PiCom/DataCom/CyberSciTech
Model checking is an effective technique for automatically verifying the correctness of software and hardware systems. In order to formalize verification of nondeterministic systems, based on the possibility measure theory, lattice theory and fuzzy l
Autor:
Bianbian, Ma, Lijun, Wang, Wendong, Tao, Mengmei, Liu, Panqing, Zhang, Shengwei, Zhang, Xiaoping, Li, Xinwei, Lu
Publikováno v:
Chemosphere. 242
PM
Autor:
Panqing Zhang, Bianbian Ma, Wendong Tao, Xiaoping Li, Shengwei Zhang, Lijun Wang, Xinwei Lu, Mengmei Liu
Publikováno v:
Chemosphere. 242:125226
PM2.5 and PM10 samples were collected in the semi-arid city of Xi’an in Northwest China from November 2016 to November 2017 and analyzed to assess pollution characteristics, sources, health risks, and influencing factors of 6 priority phthalate est
Publikováno v:
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
This paper mainly analyzes NuSMV's symbolic model checking techniques and methods. First, it briefly introduces the syntax and semantics of the computational tree logic and fixed-point logic formula used in this paper and gives an example to analyze