高飞 肖刚 姜婷 张元鸣 王培君 张薇

自适应性 进程代数 优化 启发式算法 构件检索 动态树视图 装箱树 软构件 反射 多维数据 构件组装 异步通信 正向推理 元对象协议 集装箱 策略因子 逻辑推理 自组织分类

浙江工业大学信息工程学院 浙江工业大学软件学院 浙江杭州