马懿 冉婕 闫学为 解仑 丁静 熊前兴 张惠 马晓岩 李昀照 杨捷 吴国新 张彦龙 李国徽 蔡国强 杜海峰 刘升 丁正己 邱金燕 赵光宙 李英杰 陈新度 范长征 田乃硕 张其善 毛善国 童朝南 马文萍 王孙安 毕经平 朱家元

距离 差分分析 软件可靠性 逻辑行为 饱和吞吐量 矩阵求逆 电子农务 排队论 情感模型 软件体系结构 随机稳定 情感能量 随机动态规划 分布式 后继状态转移概率 软件可靠性模型 排队网络 最优组合 安全性证明 马尔可夫链模型 相关性量化矩阵 预送性能 测试覆盖 会话聚集 自动机 线性矩阵不等式 权重因子 多种群模型 生产能力分析 计算机仿真