秦燚 蔡小斌 高立娥 刘卫东 闫效莺 艾浩军 刘凯 路尧 许明恒 同爱丽 胡飞 康凤举 刘幺和 蒋泽军 孙彪 曾敬

信号量 水下航行器 片上系统 数字信号处理器TMS320F2812 DSPBIOS 界面生成 时间片轮询 协同验证 软件平台 实时处理 μCOS-II 测控系统 时间Petri网 仿真 实时分布式系统 並发处理 微控制操作系统 实时监控 TSR技术 制导系统