袁崇义 段富 石纯一 洪展志 何风华 王一川 李春芝 王生原 杨萍 吴国生 杨良怀 祝智庭 徐长醒 吴会松 陆维明 刘云生 齐鑫 许贵平

C语言 面向对象 航班优化编排 写作工具 有限状态机 可修性 多线程程序设计 面向对象的并发程序设计语言 一致性 实时性 故障恢复 事务 渐增式继承 继承反常 锁 Petri网 Multiobject 性能 范畴论 设计与实现 并发模拟 Microsoft SQL Server 安全性 责任链 动态数据交换 系统设计 嵌套事务模型 Agent模型 嵌入式系统 热链接