国家高技术研究发展计划(2007AA01Z425)
- 作品数：22 被引量：59H指数：4
- 相关作者：曾国荪陈波王伟袁禄来王伟更多>>
- 相关机构：同济大学国家高性能计算机工程技术研究中心教育部更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信自然科学总论更多>>
- Web数据挖掘中的可信数据来源被引量：2
- 2009年
- 从大量Web信息中获取有用的信息是Web数据挖掘的关键问题。如何评价Web信息是否可信,现在主要方法是通过BadRank算法进行内容评测,或是通过链接权重进行相关引用数计算。可信数据来源是数据挖掘的前提,在基于关键词的数据挖掘中,通过评价挖掘所涉及的不同数据域,以及数据域自身的可信性,对在不同域所获得的挖掘数据给以权重,从而对挖掘结果的序列产生影响,提高挖掘算法在获取可信结果方面的效率。并通过试验测试了可信域评价的效果。
- 鲍宇曾国荪管红杰
- 关键词：WEB数据挖掘数据挖掘
- P2P环境下文件共享的信任建立博弈模型及稳态分析被引量：3
- 2010年
- P2P环境下文件共享中节点的信任建立是彼此进行安全交互的前提,现有的信任关系的建立依赖于可信的第三方,但在P2P网络中没有中心服务器和可信第三方提供担保,这种节点信任关系的建立相当困难。为此,借助演化博弈理论提出了一种信任建立博弈模型,从而为P2P文件共享中陌生节点提供信任保障。运用复制动态原理对信任建立博弈模型进行了求解分析,并对P2P文件共享系统的稳态进行了分析,给出初步仿真实验结果。
- 项兴彬曾国荪夏冬梅
- 关键词：P2P文件共享信任建立演化稳定策略
- 基于标签树的自动信任协商策略分析被引量：1
- 2009年
- 网络实体间的信任建立是彼此进行安全交互的前提,自动信任协商为分布式环境下陌生实体的信任建立提供了方法。但现有的信任协商默认协商中访问控制策略正确,而策略本身很可能存在某些问题,导致协商失败。重点分析协商策略的性质,首先针对可能存在的冲突策略、平凡策略等策略不一致问题,构建了一种基于标签树的逻辑证明方法,进行策略一致性的检测,并证明了此证明方法的可靠性、完备性;其次,通过对策略树进行化简以求得最小证书集,并对其进行一次性披露和匹配,尽快达成成功协商,从而避免策略环问题,提高协商效率及成功率。
- 夏冬梅曾国荪陈波鲍宇
- 关键词：自动信任协商一致性
- 一种面向方面软件体系结构模型被引量：3
- 2010年
- 为了分离软件系统中的核心关注点和横切关注点,通过引入面向方面软件开发的思想设计了一种面向方面软件体系结构模型,并详细分析了该模型的三个基本构成单元,即构件、连接件和方面构件。最后通过一个网上支付实例验证了该模型具有一定的理论意义和实用价值。
- 朱春国曾国荪
- 关键词：面向方面软件体系结构横切关注点连接件
- 云计算中TSP问题求解服务的定价机制被引量：3
- 2011年
- 旅行商问题(TSP)是一个典型的路径优化问题,在城市交通规划、物流运输、通信网络设置等领域都存在类似的问题和应用。但是,TSP问题的求解是NP难的,当问题规模很大时,必须借助大规模并行计算环境,例如云计算平台,以较大的计算开销来获得可行解。以TSP问题为具体实例,研究云计算服务的定价机制。一般情况下,定价机制要满足公平、灵活、动态、自适应。从公平合理角度来看,影响计算服务定价的因素主要有两方面:一是求解问题的难度,包括计算时间复杂性、空间复杂性、输入输出数据规模等;二是求解服务质量,即服务契约,包括可以作为服务等级协定指标的求解精度、响应时间、资源要求等。由此,提出了一种新的云计算中的服务定价机制:CloudPricing。该机制给出了服务定价的一般和具体原则,并给出了相应的定价公式。针对TSP问题求解,进行了具体的定价实例分析,这对云计算中NP难问题求解服务的定价有参考意义。
- 曾栩鸿曾国荪
- 关键词：云计算TSP问题服务等级协定
- 基于应用驱动的异构体系结构模型
- 2013年
- 科学计算应用问题在计算模型、处理过程以及对处理器、存储器和通信的要求方面存在巨大的差异。同一种结构难以适应差异巨大的应用,造成效率低下。解决途径在于可变的体系结构,让体系结构去适应不同的应用,而不是让应用去适应单一的体系结构。不同的应用决定了不同的应用程序结构,对于不同的应用程序结构,采用最适合的体系结构去匹配,实现应用决定体系结构的模型。结果表明,基于应用驱动的异构体系结构异构模型能够达到使运算高效率、低能耗的目的。最后给出了从不同应用得到最适应体系结构的方法。
- 沈来信杨帆王伟
- 一种刻画功能和时间空间性能的统一验证模型atsFPM被引量：6
- 2009年
- 对复杂信息系统的功能、性能进行组合验证,进而评估系统是否安全、可信,是当前的研究热点,但目前缺乏增加空间约束的验证模型.文章扩展已有的功能、性能验证模型,在状态空间上定义空间要求函数,提出一种刻画功能、时间和空间性能的统一验证模型atsFPM.给出基于正则式的路径范式描述信息系统行为的功能属性,给出atsFPM模型的语法和语义,构造路径范式与系统模型的积自动机,证明积自动机与原始模型在功能刻画、时间和空间描述上的等价,提出针对atsFPM的功能性能组合模型验证算法.实例分析表明,atsFPM统一验证模型能够有效解决信息系统功能和性能的组合分析问题,确保系统正确、安全、可信.
- 钮俊曾国荪陈波
- 关键词：功能性能
- 基于改进的模糊C-均值聚类的信任文摘被引量：3
- 2008年
- 信息时代的到来和互联网的发展,使信息文本呈爆炸趋势生成和传播,虚假信息的大量存在,给人们高效地获取可信的、安全的信息带来了相当的困难.如何对互联网上的信息文本进行信任评估,是内容信任和网络安全急待解决的问题.借鉴传统的自动摘要技术,首先提出了信任文摘的概念,在文本的词、句子、篇章等各个层面上发掘信任信息,改进自动分词方法,选取信任中心句并运用改进的模糊C均值聚类算法对其聚类,然后为信任中心句选择信任支撑句,最后生成了信任文摘,为基于内容的信任评估提供了一个较好的手段.
- 张泉曾国荪王伟王伟孙明军
- 关键词：模糊C-均值聚类自动文摘
- 一种新的智能公交出行建模方法及其实现被引量：1
- 2008年
- 城市公共交通是城市交通网络的基础组成部分,为了给市民提供快捷、方便、经济地公交出行线路方案,智能交通系统中的公交出行系统的设计与实现显得非常重要。提出了一种新的智能公交出行模型,该模型采用由下而上三层结构,通过运用多标准评价的数学方法将公交多目标复杂因素包装成权值,同时给出了结合邻居结点查询技术的基础建模过程。最后经性能测试与项目测试实验证明这种方法具有较强的实用性。
- 常飞方钰张栋良
- 关键词：智能公交多目标
- 基于Pi-演算的信任网络形式化建模被引量：3
- 2008年
- 网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求。
- 袁禄来曾国荪王伟
- 关键词：网格安全信任网络形式化建模PI-演算进程代数
