沈震维 张立敏 何红波 袁勇福 兰秋军 李实英 龙军 李津 李谢华 黄园媛 李勇 谭煌 丁一坚

改进的认证测试 FoxPro数据库 神经网络 谈判协商模型 工作流管理系统 建模工具 Web服务 模态逻辑 长时间事务 直方图均衡化 工作流模型 多步预测 条件直方图均衡 UnsharpMasking 模型验证 医学影象 活动网络图 移动进程 集群渲染 数字图象增强 评估 业务流程执行语言 离散时间Ambient演算 Neuman-Stubblebine协议 NSL协议 安全协议 过程定义 异步PI演算 电子商务 多媒体

湖南师范大学理学院计算机系 湖南师范大学数学与计算机科学学院 湖南大学计算机与通信学院 410081国防科技大学计算机学院