国家重点基础研究发展计划(2003CB317005)

作品数：33被引量：121H指数：6
导出分析报告
相关作者：高济蒋祖华周尤明彭艳斌郭航更多>>
相关机构：上海交通大学浙江大学浙江科技学院苏州科技学院更多>>
相关期刊：《计算机研究与发展》《计算机工程》《计算机仿真》《计算机工程与设计》更多>>
相关主题：安全协议本体形式化分析OWLAGENT更多>>
相关领域：自动化与计算机技术机械工程电子电信社会学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于服务的规范多Agent系统动态模型被引量：1
《江苏大学学报（自然科学版）》2012年第6期663-670,共8页周尤明 高济 
国家"973"重点基础研究发展规划项目(2003CB317005);国家"863"计划项目(2007AA01Z187);国家自然科学基金资助项目(60773177)
为了描述规范多Agent服务协同的动态语义并解决服务描述规范ebXML存在的缺陷问题,扩展ebXML并借鉴SOC和SOA的优秀成果,提出了一种基于服务的规范多Agent系统动态模型.新模型包含服务规范语言SBNL(及其扩展规范)和联合二方协同主从闭包...
关键词：服务规范 多AGENT系统 服务协同 状态转换 动态模型 EBXML 
基于相关向量机的协商决策模型被引量：5
《南京理工大学学报》2012年第4期600-605,共6页彭艳斌 艾解清 
国家“973”计划资助项目(2003CB317005);国家自然科学基金(61175058);浙江省自然科学基金(Y1100036);浙江省教育厅科研计划基金项目(Y201016929)
为了进一步提高电子商务中对手协商偏好估计的精度,该文提出了一种基于相关向量机(Relevance vector machine,RVM)算法的对手协商偏好(Preference)学习方法。在该方法中,将协商过程看作是协商议题的报价序列,把报价序列映射到新的特征空...
关键词：电子商务 协商 相关向量机 偏好估计 优化 
基于谱聚类波段选择的高光谱图像分类被引量：8
《光电工程》2012年第2期63-67,共5页彭艳斌 艾解清 
国家"973"计划资助项目(2003CB317005);国家自然科学基金(61175058&61070069);浙江省自然科学基金(Y1100036);浙江省教育厅科研计划基金项目(Y201016929)
高光谱图像在地物观测领域得到了广泛的应用。由于高光谱图像具有数据量大、波段间相关度高等特性,波段选择技术成为降低地物识别计算复杂度的重要方法。根据不同波段数据之间的非线性关系,提出了基于谱聚类(SC)的波段选择技术。该方法...
关键词：高光谱 分类 波段选择 谱聚类 
ATCL:基于承诺的agent组织描述工具
《浙江大学学报（工学版）》2011年第4期627-636,共10页傅朝阳 高济 周尤明 
国家"973"重点基础研究发展规划资助项目(2003CB317005);国家"863"高技术研究发展计划资助项目(2007AA01Z187);国家自然科学基金资助项目(60775029);浙江省自然科学基金资助项目(Y1090734)
针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题,提出带有截止期限承诺语义的交互时态承诺逻辑,用于描述基于信任的协作.通过引入承诺,将ATL的合作算子《》扩展为《C:ξ:ω:Θ》,表示:组织C承诺当条...
关键词：承诺 AGENT组织 交互时态逻辑 交互时态承诺逻辑 
最小碰集问题的精确快速算法
《计算机工程与设计》2010年第19期4225-4227,4264,共4页石磊 蔡烜 
国家973重点基础研究发展计划基金项目(2003CB317005);国家自然科学基金项目(60703033)
为了有效解决最小碰集问题,基于分支约减技术提出了一个相对简单的递归算法。同时使用新近提出的一种称为度量与分治的方法,通过对问题实例规模进行加权,建立非标准的度量,对算法进行了分析,并与标准的分析方法做了比较。在分析过程中,...
关键词：精确算法 最小碰集 度量与分治 拟凸规划 算法分析 
引入任务情景的服务发现方法被引量：1
《计算机工程》2010年第17期10-12,共3页彭艳斌 高济 余洪刚 
国家"973"计划基金资助项目(2003CB317005);国家"863"计划基金资助项目(2007AA01Z187);国家自然科学基金资助项目(60773177);浙江省自然科学基金资助项目(Y1080366)
如何准确地发现目标服务是服务计算研究的关键问题。传统的服务发现方法由于没有考虑服务任务情景的适用性,查询精度仍有较大上升空间。基于此,提出包含任务情景的服务发现方法,以自定义本体论为基础,引入结构化概念实例模式来描述任务...
关键词：面向服务的计算 服务发现 本体论 任务情景 
词法多重散列与包容语义相结合的服务查找
《浙江大学学报（工学版）》2010年第12期2274-2283,共10页傅朝阳 高济 周尤明 
国家"973"重点基础研究发展规划资助项目(2003CB317005);国家"863"高技术研究发展计划资助项目(2007AA01Z187);国家自然科学基金资助项目(60775029);浙江省自然科学基金资助项目(Y1090734)
为进一步提升服务组合性能,提出将词法多重散列与包容语义相结合的快速服务查找法.该方法有如下特点:将服务描述模型分解为不同粒度的词法和语义子块,同时将服务查找过程转换为按词法子块粒度递增的多重散列过程,利用子块间的包容语义...
关键词：词法散列 服务查找 快速匹配 语义包容关系 有向带环加权多图 
基于散列的语义服务匹配算法被引量：1
《南京理工大学学报》2010年第4期475-481,共7页傅朝阳 高济 郭航 周尤明 
国家"973"计划资助项目(2003CB317005);国家"863"计划资助项目(2007AA01Z187)
为提升服务匹配算法的性能,提出在散列过程中进行语义匹配。设计了基于框架的本体描述模型和支持多属性的服务描述模型。针对不同粒度模型子块的"约束结构"或"定义结构"设计散列函数,在按子块粒度递增的多重散列过程中完成服务匹配;设...
关键词：服务匹配 多重散列 包容语义 本体 语义匹配 效率 
基于本体和规则推理的GUI软件测试用例生成被引量：7
《计算机应用研究》2010年第1期120-123,共4页张丽颖 蒋祖华 
国家"973"计划资助项目(2003CB317005);上海市曙光计划资助项目(05SG15)
为了提高GUI软件测试用例的生成效率和可维护性,提出了一种基于本体和规则推理的GUI软件测试用例生成方法。首先建立一个通用的GUI软件测试用例本体模型,通过对其继承和实例化可获得具体被测软件的测试用例本体模型,同时开发反映测试数...
关键词：测试用例生成 本体 规则推理 OWL SWRL JESS 
发送者非否认协议的UC形式化分析
《计算机工程》2009年第20期128-130,共3页杨杰 
国家"973"计划基金资助项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033)
UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列...
关键词：非否认协议 发送者非否认性 形式化分析 UCSA框架 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部