张思博 刘杰 马满福 罗江琴 吴耀华 廖莉 阳小华 汪贤裕 田巍 蔡建湖 王丽萍 刘树锟 冯允成 孙国华 贺健强 姚李刚 陈鑫 姚军 肖玉明 周根贵

供应链 行为保持 Eclipse插件 博弈 断言 属性 协调 面向方面编程 精化 虚拟物流整合商 工具 Stackelberg博弈模型 契约式设计 程序不变量 优化 资源投入 组合 程序动态分析 高层体系结构 语义 可靠性 网格资源 中间组织 重构 验证 创新投入 联邦开发 网格计算经济 协调仿真 随机产量

供应链