傅松

作品数:2被引量:1H指数:1
导出分析报告
供职机构:南京大学计算机科学与技术系更多>>
发文主题:AMT动态规划软件体系结构多AGENT系统程序语言更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机学报》《南京大学学报(自然科学版)》更多>>
所获基金:国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
多Agent系统开发方法AMT及其应用被引量:1
《南京大学学报(自然科学版)》1997年第2期215-222,共8页傅松 陆剑锋 许满武 张宏 刘凤玉 
国家自然科学基金;国家高科技研究与发展计划资助
良好的软件体系结构有利于系统的开发,可有效地提高软件的质量;多Agent系统是解决传统智能系统脆弱性的有效方法。据此,本文提出了基于软件体系结构的多Agent系统开发方法AMT,其核心是在开发过程中建立、精化和改进系...
关键词:软件体系结构 多AGENT系统 动态规划 AMT 
NUMLS中的多态类型检测
《计算机学报》1996年第7期548-553,共6页许满武 陆剑锋 戴劲雯 曾凡聪 傅松 杨冬 
国家自然科学基金;国家高技术研究与发展计划资助
本文从NUML函数式部分实现中遇到的类型检测问题着手,讨论类型检测问题到半合一问题的转化,给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理.
关键词:类型检测 NUMLS语言 程序语言 
检索报告 对象比较 聚类工具 使用帮助 返回顶部