鲜明 王常青 胡定文 蒋泽军 黄海林 姚莉 姚泽勤 陈国强 牛秦洲 金毅 朱俊虎 陈志杰 吴灏 李泽学 金红 叶梅龙 蒋存波 戴国忠 李秉义 史美林 王永成 王旭仁 邓昌智 马建峰 逯鹏 贺龙涛 张东晓 罗艳春 张维明 王永杰

复杂度分析 Estelle。 智能网 时序逻辑综合 用户界面 组件 检测控制 活动序列 EDA技术 需求验证 消息序列图 模式匹配 确定的下推自动机 服务计算 服务组合 数据拷贝 XML 串匹配 HDL描述 带条件的有限状态自动机 LDM算法 场景 区间 基本呼叫状态模型 Lucene 信息流 嵌入式数据库 libnids库 嵌入式Linux FSMD