丁金宏 刘志强 陆涛 王进元 李友仁 杨蓓 宓伟杰 毛之远 何济洲 王远飞 许乐 刘乃成 康国权

形式语义模型 篡改定位 性能分析 离散小波变换 人口普查 量子简并性 语义规范 生态学优化判据 COBOL 语言 中间件 半脆弱水印 数据仓库 软件体系结构 辐射换热规律 牛顿传热规律 GPS 内不可逆性 人口统计指标 总线 VDM 方法 热漏 GPS监控系统 Braysson循环 地理信息系统构件 篡改检测 GIS 离散余玄变换 部件 布雷逊热机 线性唯象传热规律

昆明理工大学信息工程与自动化学院 南昌大学机电工程学院 云南昆明 华东师范大学城市与环境动态过程重点实验室 江西南昌 昆明工学院计算机及自动化系 烟台南山学院科技处 华东师范大学地理信息科学教育部重点实验室