王洪光 李娜 蔡鹤琴 王律 郑喜莲 吴盘龙 姜福先 薄煜明 朱梧槚

组合导航系统 泛逻辑 地下水 微惯性测量单元 制导炸弹 概括原则 航空定向 同位素示踪 空地制导弹药 传递对准 跑车试验 地下水流向 不可数无穷值逻辑 悖论 1553B总线 仿真系统

南京大学现代逻辑与逻辑应用研究所 南京航空航天大学计算机科学与工程系