CSpace

浏览/检索结果: 共5条,第1-5条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
On ranking functions for single-path linear-constraint loops 期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:  Li, Yi;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载:85/0  |  提交时间:2020/08/24
Software reliability  Program termination  Linear ranking functions  Farkas' lemma  
Characterization of lead-containing atmospheric particles in a typical basin city of China: Seasonal variations, potential source areas, and responses to fireworks 期刊论文
SCIENCE OF THE TOTAL ENVIRONMENT, 2019, 卷号: 661, 页码: 354-363
作者:  Zhang, Junke;  Huang, Xiaojuan;  Chen, Yang;  Luo, Bin;  Luo, Jinqi;  Zhang, Wei;  Rao, Zhihan;  Yang, Fumo
Adobe PDF(2682Kb)  |  收藏  |  浏览/下载:298/0  |  提交时间:2019/03/25
Pb-containing particles  Seasonal variations  Weighted potential source contribution function  Fireworks  Single particle aerosol mass spectrometer  
Recycling of orange waste for single cell protein production and the synergistic and antagonistic effects on production quality 期刊论文
JOURNAL OF CLEANER PRODUCTION, 2019, 卷号: 213, 页码: 384-392
作者:  Zhou, Yue-Ming;  Chen, You-Peng;  Guo, Jin-Song;  Shen, Yu;  Yan, Peng;  Yang, Ji-Xiang
Adobe PDF(2702Kb)  |  收藏  |  浏览/下载:281/0  |  提交时间:2019/04/18
Orange waste recycling  Single cell protein  Synergistic  Antagonistic  Large-scale fermentation  Economic analysis  
Effects of soil amendments applied on cadmium availability, soil enzyme activity, and plant uptake in contaminated purple soil 期刊论文
SCIENCE OF THE TOTAL ENVIRONMENT, 2019, 卷号: 654, 页码: 1364-1371
作者:  He, Dongyi;  Cui, Jian;  Gao, Min;  Wang, Wenqiang;  Zhou, Jing;  Yang, John;  Wang, Jingjing;  Li, Yong;  Jiang, Changsheng;  Peng, Yi
Adobe PDF(908Kb)  |  收藏  |  浏览/下载:195/0  |  提交时间:2019/03/25
Cd availability  Cd uptake  Soil pollution  Soil amendments  Purple soil  
Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5, 2019 - November 9, 2019
作者:  Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun
收藏  |  浏览/下载:282/0  |  提交时间:2020/02/18