代数模型

作品数：127被引量：419H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王全九孙晶赵会群刘小雄章卫国更多>>
相关机构：上海交通大学清华大学西安理工大学北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
复杂事件模式检测与CEP测试数据生成算法研究被引量：6
《计算机学报》2017年第1期256-272,共17页赵会群 孙晶 杨岩坤 毛立志 
国家自然科学基金(61370051)资助~~
随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件...
关键词：复杂事件处理 事件模式检测 测试数据生成 大数据 代数模型 
面向服务的可信软件体系结构代数模型被引量：21
《计算机学报》2010年第5期890-899,共10页赵会群 孙晶 
国家"八六三"高技术研究发展计划项目基金(2007AA010302);北京市属高等学校人才强教深化计划学术创新团队建设计划;北京市教委科研计划项目基金(KM200710009009)资助~~
针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定...
关键词：服务 服务组合 服务体系结构 抽象代数 进程代数 
异步电路验证算法被引量：4
《计算机学报》2004年第1期66-78,共13页茅剑锋 赵千川 
国家自然科学基金 (60 0 740 12 ;60 2 740 11);国家攀登计划预研项目(970 2 110 17);教育部留学人员回国启动基金;清华大学"九八五"基础研究基金(985信息 0 7 基金 0 7)资助
异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数...
关键词：异步电路 计算机辅助电路设计 验证算法 数学模型 逻辑模型 代数模型 符号模型 数值模型 几何模型 
分布式状态机的代数模型及其模型检验算法
《计算机学报》2002年第4期381-391,共11页刘键 
分布式状态机 (DSM)是一个分布式计算模型 ,特别适用于反应系统 ,有广泛的用途 .但一般其正确性证明与模型检验的复杂性却很高 ,不易实用 .作者曾提出了一个 DSM的代数模型及其模型检验算法 ,复杂性较低 ,但模型推导过程有点问题 .该文...
关键词：分布式状态机 模型检验 异步收敛定理 代数模型 算法 程序设计方法 
多Agent系统分布式问题求解的代数模型方法(Ⅰ):社会行为、社会局势和社会动力学被引量：10
《计算机学报》2002年第2期130-137,共8页帅典勋 顾静 
国家自然科学基金重点项目 (60 13 5 0 10 );国家"九七三"重点基础研究发展规划项目(G19990 3 2 70 7);国家自然科学基金项目 (60 0 73 0 0 8);清华大学智能技术和系统国家重点实验室开放课题基金;高校重点实验室访问学者基金的资助和支持
该组论文提出一种新的代数模型方法 ,用于多 Agent系统超分布超并行社会智能问题求解 ,该方法通过社会动力学和社会智能 ,统一地处理各种复杂的并行的社会行为 ,用于求解用常规方法难以处理的许多社会交互问题 .本文是组合论文中第一篇 ...
关键词：多AGENT系统 分布式人工智能 分布式问题求解 社会行为 代数模型 社会局势 社会动力学 
多Agent系统分布式问题求解的代数模型方法(Ⅱ):群体智能和社会动力学被引量：3
《计算机学报》2002年第2期138-147,共10页帅典勋 顾静 
国家自然科学基金重点项目 (60 13 5 0 10 );国家"九七三"重点基础研究发展规划项目(G19990 3 2 70 7);国家自然科学基金项目 (60 0 73 0 0 8);清华大学智能技术和系统国家重点实验室开放课题基金;高校重点实验室访问学者基金的资助和支持
该文是组合论文中第二篇 ,讨论多 Agent系统分布式问题求解的代数模型中的特性层和动力学层 ,即不同粒度 Agent群体的宏观群体智能的形式化代数模型以及宏观社会智能与 Agent个体间微观社会行为之间的社会动力学模型 .提出了基于这种新...
关键词：多AGENT系统 分布式人工智能 分布式问题求解 代数模型 群体智能 社会动力学 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部