聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 移动自组网中的最长生命期路径
出处:软件学报 2006年第3期 498-508,共11页
摘要:动态拓扑是移动自组网区别于其他形式网络的本质特征,对其进行研究具有很大的理论价值和工业应用背景.提... 显示全部
关键词: 连通性 移动自组网 路径持续时间 重路由
在线阅读 下载全文
期刊文章 Eiffel语言的语义
出处:软件学报 1995年第1期 17-25,共9页
摘要:本文采用类VDM的指称语言技术为Eiffel(1988)语言建立了形式语义模型,该模型首先为Eif... 显示全部
关键词: 语言 形式语义 面向对象语言
期刊文章 基于模糊命题模态逻辑的形式推理系统
出处:软件学报 2005年第8期 1359-1365,共7页
摘要:探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态... 显示全部
关键词: 命题模态逻辑 模糊推理 形式系统
期刊文章 用擂台赛法则构造多目标Pareto最优解集的方法
出处:软件学报 2007年第6期 1287-1297,共11页
摘要:针对多目标进化的特点,提出了用擂台赛法则(arena’s principle,简称AP)构造多目标Pareto最优解集的方法... 显示全部
关键词: 多目标进化 擂台赛法则 非支配集构造方法 最优解集 运行效率
在线阅读 下载全文
期刊文章 一种基于Petri网化简的工作流过程语义验证方法
出处:软件学报 2005年第7期 1242-1251,共10页
摘要:过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲... 显示全部
关键词: 工作流 过程 语义验证 化简
期刊文章 子共代数与共同余共关系
出处:软件学报 2006年第4期 713-719,共7页
摘要:共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方... 显示全部
关键词: 共代数 子共代数 范畴理论 共同余共关系
在线阅读 下载全文
期刊文章 反射对象的概念,结构和实现
出处:软件学报 1994年第2期 22-28,共7页
摘要:本文较系统地介绍了面向对象数据库语言ROL中对象的计算反射的思想和实现方法,反射对象的引入是为了解... 显示全部
关键词: 计算反射 面向对象 数据库 语言
期刊文章 一种有效的数据共享环境多数据源选择算法
出处:软件学报 2008年第2期 314-322,共9页
摘要:针对数据共享环境多数据源选择MDSS(multiple data sources selection)问题,基于Pareto最优理论提出了MD... 显示全部
关键词: 数据共享环境 多数据源 服务质量 多目标优化
在线阅读 下载全文
期刊文章 基于未知扰动的冲突证据合成方法
出处:软件学报 2004年第8期 1150-1156,共7页
摘要:自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚... 显示全部
关键词: 不确定推理 理论 冲突证据合成
期刊文章 随机算法异步并行化的效率分析
出处:软件学报 2003年第5期 871-876,共6页
摘要:随机算法的执行时间具有不确定性,这种不确定性为随机算法的异步并行提供了良好的基础,已有许多计算实验表... 显示全部
关键词: 随机算法 异步并行化 效率分析 完全问题
在线阅读 下载全文
找到176条结果
`