-
1دورية أكاديمية
المؤلفون: Zhenjiang Qian, Gaofei Sun, Xiaoshuang Xing, Gaurav Dhiman
المصدر: Digital Communications and Networks, Vol 10, Iss 2, Pp 304-314 (2024)
مصطلحات موضوعية: Theorem proving, Isabelle/HOL, Formal verification, System modeling, Correctness verification, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Hongge Li, Xiangru Wang, Ning Qin, Daowu Hu, Yinhua Jia, Gaofei Sun, Liangrong He, Hengheng Zhang, Panhong Dai, Zhen Peng, Nianchang Pang, Zhaoe Pan, Xiaomeng Zhang, Qiang Dong, Baojun Chen, Huiping Gui, Baoyin Pang, Xiling Zhang, Shoupu He, Meizhen Song, Xiongming Du
المصدر: Journal of Advanced Research, Vol 58, Iss , Pp 31-43 (2024)
مصطلحات موضوعية: Gossypium hirsutum, Defoliation, Machine picking, Genomic loci, Environmental adaptability, Medicine (General), R5-920, Science (General), Q1-390
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia
المصدر: Digital Communications and Networks, Vol 9, Iss 5, Pp 1070-1079 (2023)
مصطلحات موضوعية: Assembly-level verification, Finite automaton, Hoare logic, Isabelle/HOL, Micro-kernel OS, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
4دورية أكاديميةA Compensation Method for Full-Field-of-View Energy Nonuniformity in Dark-and-Weak-Target Simulators
المؤلفون: Fenghuan Quan, Shi Liu, Gaofei Sun, Jian Zhang, Yu Zhang, Bin Zhao, Jierui Zhang
المصدر: Sensors, Vol 24, Iss 13, p 4147 (2024)
مصطلحات موضوعية: dark-and-weak-target simulation, adaptive compensation of response error, improvement of uniformity, Chemical technology, TP1-1185
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Zongyu Du, Gaofei Sun, Songzhou Yang, Jierui Zhang, Qiang Liu, Yao Meng, Guoyu Zhang
المصدر: iScience, Vol 27, Iss 2, Pp 108918- (2024)
مصطلحات موضوعية: Physics, Optics, Engineering, Science
وصف الملف: electronic resource
-
6دورية أكاديمية
المؤلفون: Yu Zhang, Yuegang Fu, Qiang Liu, Bin Zhao, Jian Zhang, Gaofei Sun, Shitong Liang, Li Wang, Jun Zhong
المصدر: IEEE Access, Vol 11, Pp 134318-134330 (2023)
مصطلحات موضوعية: Compound control, digital micromirror, fuzzy control, genetic algorithm, spectral simulation, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
7دورية أكاديمية
المؤلفون: Qiang Liu, Guoyu Zhang, Yu Zhang, Jian Zhang, Gaofei Sun, Wei Liang, Haodong Shi, Zongyu Du, Bin Zhao, Taiyang Ren, Xiaoxu Mo
المصدر: IEEE Access, Vol 11, Pp 108104-108116 (2023)
مصطلحات موضوعية: Spectral simulation, magnitude simulation, stellar simulator, astronomical spectral velocity measurement, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
8دورية أكاديمية
المؤلفون: Jiali Chen, Gaofei Sun, Shi Liu, Guoyu Zhang, Siwen Chen, Jierui Zhang, Qiang Liu
المصدر: IEEE Photonics Journal, Vol 15, Iss 1, Pp 1-7 (2023)
مصطلحات موضوعية: Solar simulation, integrating sphere, energy transmission efficiency, irradiation non-uniformity, large irradiation surface, Applied optics. Photonics, TA1501-1820, Optics. Light, QC350-467
وصف الملف: electronic resource
-
9دورية أكاديمية
المؤلفون: Tianyu Gao, Gaofei Sun, Guoyu Zhang, Zongyu Du, Qiang Liu, Qian Deng, Siwen Chen, Jierui Zhang
المصدر: Applied Sciences, Vol 14, Iss 5, p 1926 (2024)
مصطلحات موضوعية: large aperture single star simulator, optical system design, parabolic off-axis reflective, tolerance analysis, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
وصف الملف: electronic resource
-
10دورية أكاديمية
المؤلفون: Daowu HU, Shoupu HE, Gaofei SUN, Yinhua JIA, Xiaoli GENG, Liru WANG, Zhaoe PAN, Baojun CHEN, Hongge LI, Iqbal ZUBAIR, Xiaoyang WANG, Zibo ZHAO, Yuting GE, Baoyin PANG, Xiongming DU
المصدر: Journal of Cotton Research, Vol 5, Iss 1, Pp 1-10 (2022)
مصطلحات موضوعية: GWAS, Lateral root, Asian cotton, SNPs, Candidate genes, Plant culture, SB1-1110
وصف الملف: electronic resource
Relation: https://doaj.org/toc/2523-3254