张凌浩 宋巍 余萍 王振宇 姚振兴 刘旭东 薛小平 吴朝晖 万灿军 司文婷 贲可荣 吴健 邢立新 乔俊飞 陈建平 孙海龙 邓婷 李申莉 厉青 陶先平 赵文耘 李莹 王映辉 许军强 李长云 方木云 刘瑜 郭迎春 王功文 王立福

现有系统 高压输电选线 卫星遥感技术 一致性 实例级迁移 遥感 进程代数 动态更新 行为监控 动态AOP 服务 Petri网 文档对象模型 北京 元模型 远程对象引用 构件 因特网 软件构件 CCS XML查询 理论与方法 Web服务 反射 邻接矩阵 可迁移性标准 可信软件 行为可信 组合服务 浸润