徐立云 陈泽忠 徐琪 李爱平 李立峰 马希荣 赵宇 张建科 徐福缘 林洁刁

完备性定理 协同过程 BOM遍历 网络安全 Web环境 企业供需网 操作系统 Γ约简 RTOS 多Agent 高碘酸钾 访问 信息系统 数据过滤服务 流动注射 ADO Web 数据结构 液滴荧光法 嵌入式Internet 多目标优化与决策 ASP 物料清单 拥塞控制 数据库 ■ukasiewicz命题逻辑 形式背景 嵌入式系统 移动Agent:入侵检测系统 叶酸

宁夏大学数学与计算机学院 宁夏银川 宁夏大学数学计算机学院 陕西西安 上海理工大学管理学院 西安中兴通讯研究所