曾致远 郑义忠 朱晓锋 郭亚宁 陈一民 蔡延光 俞波 陈泽楠 郗方 宋立斌 许进 赵东明 宋丽梅 陈养彬 刘向荣

实时传输 粒子群算法 可达树 TCPIP协议 多媒体 NP问题 智能算法 智能大厦 着色Petri网 中断服务 视频会议 楼宇自控单元 支持向量机 管理信息库 可抢占模型 移动Agent 根节点 ArcIMS 形式化描述 最早底线优先实时性 生物计算 网络故障管理 TCP协议 分子自动机 叶节点 体内 J2EE WebGIS 接触器 联盟运输调度问题

上海大学计算机工程与科学学院 阜新高等专科学校 北京大学信息科学技术学院 北京大学信息科学技术学院高可信软件技术教... 北京大学高可信软件技术教育部重点实验室 空军装备研究院