CORC

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

限定条件    
已选(0)清除 条数/页:   排序方式:
An Empirical Study of Open Source Flight Control Software Program Model Checking 会议论文
19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2019, Sofia, Bulgaria, 2019-07-22
作者:  Cao, Zhiqin;  Yin, Jinyu;  Wang, Yichen;  Li, Yu;  Zhang, Jintao
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/30
Aviation Ad hoc Network Multipath Routing Protocol of Path Segmentation Based 会议论文
3rd International Conference on Engineering Design and Optimization (ICEDO 2012), Ningbo Univ, Shaoxing, PEOPLES R CHINA, 2012-01-01
作者:  Yu, Geng;  Wang, Jintao;  Qian, Songyan;  Yang, Tianyu
收藏  |  浏览/下载:3/0  |  提交时间:2020/01/06
A genetic algorithm for finding minimal multi-homogeneous Bezout number 会议论文
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, 2008-01-01
作者:  Yan, Dongshu;  Zhang, Jintao;  Yu, Bo;  Luo, Changtong;  Zhang, Shaoliang
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/27
A sensing signal time-division multiplexing interrogation method of fiber brag grating sensor arrays 会议论文
Harbin, China, January 15, 2007 - January 18, 2007
作者:  Liu, Shengchun[1];  Yu, Youlong[2,3];  Zhang, Jintao[1]
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/13
Multi-channel output of time division multiplexed fiber Bragg grating sensing network based on a cascade electrical switches array 会议论文
Gwangju, SOUTH KOREA, SEP 05-07, 2006
作者:  Liu, Shengchun[1];  Zhang, Jintao[1];  Yu, Youlong[1,2]
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/13


©版权所有 ©2017 CSpace - Powered by CSpace