国家重点基础研究发展计划(2007CB316502)
- 作品数：44 被引量：123H指数：6
- 相关作者：曾国荪陈波王伟钮俊鲍宇更多>>
- 相关机构：同济大学国家高性能计算机工程技术研究中心教育部更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信经济管理自然科学总论更多>>
- 一种面向方面软件体系结构模型被引量：3
- 2010年
- 为了分离软件系统中的核心关注点和横切关注点,通过引入面向方面软件开发的思想设计了一种面向方面软件体系结构模型,并详细分析了该模型的三个基本构成单元,即构件、连接件和方面构件。最后通过一个网上支付实例验证了该模型具有一定的理论意义和实用价值。
- 朱春国曾国荪
- 关键词：面向方面软件体系结构横切关注点连接件
- 基于动态阈值的陌生网络实体间信任建立方法
- 2010年
- 不完全信息的自动信任协商中存在如披露最少证书获得对方最大信任、协商效率等优化问题.利用博弈分析信任协商过程中的协商方的收益,给出权衡资源比重方法,量化了信任协商的计算过程,提出基于动态阈值的信任协商建立方法.动态阈值具有随证书披露与信息完整而进行自主变化的能力,可以减少协商过程的隐私披露.样例分析和仿真试验表明:使用动态阈值方法可以限制证书披露的数量,提高不完全信息下信任建立的效率.
- 鲍宇曾国荪陈波夏冬梅
- 关键词：信任协商协商策略信任建立动态阈值
- 属性委托授权逻辑系统中的主观信任控制被引量：1
- 2008年
- 扩展了现有的属性委托授权机制的二值信任为主观区间信任,提出了可信角色和信任约束概念的定义,建立了依据角色信任评估的角色委托控制策略,建立了依据实体信任评估的授权控制规则,给出了委托策略中实体信任度递减的计算方法,将这些策略和规则用逻辑的语法形式表示,并进一步对逻辑程序赋予计算推导的语义,在属性委托授权机制的逻辑语义基础上实现了委托和授权的主观信任控制。
- 陈波曾国荪李莉
- 关键词：主观信任
- 基于神经网络的独立程序在单机上运行功耗的预测被引量：1
- 2012年
- 程序运行能耗分析是目前绿色计算、高效能计算的研究热点。由于应用程序自身的复杂性、硬件平台的异构性、环境因素对功耗影响的不确定性,导致很难直接给出程序运行功耗的预测公式,因此提出一种基于神经网络的程序运行功耗预测方法。通过构造一个BP神经网络,以影响程序运行功耗的软件、硬件和环境因素为神经网络的输入,以程序运行功耗和执行时间为神经网络的输出,并选取多个应用领域的典型实用程序来提取相应特征参数,且将其作为训练样本来训练神经网络,从而得到程序功耗预测模型。重复实验表明,提出的功耗预测方法具有合理性和可行性。
- 谭一鸣曾国荪
- 关键词：功耗分析神经网络可执行程序
- 基于动态贝叶斯网络的社交圈归属匹配模型被引量：3
- 2008年
- 为了帮助社交网中新成员寻找与之最为合适的社交圈,尝试采用动态贝叶斯网(DBN)理论解决社交网分析应用中成员(节点)与社交圈(集合)的匹配问题。将圈内成员个人的多项兴趣爱好程度作为描述社交圈基本属性的特征向量,对每一类圈子建立了带有辅助信息形式的DBN模型,求解最大输出概率即为最佳匹配对象。结果表明,在客观测试和主观评价两方面,该模型都收到了较为满意的结果。
- 吴俊伟何良华方钰
- 关键词：社交网络社交圈动态贝叶斯网络统计模型辅助信息
- 基于标签树的自动信任协商策略分析被引量：1
- 2009年
- 网络实体间的信任建立是彼此进行安全交互的前提,自动信任协商为分布式环境下陌生实体的信任建立提供了方法。但现有的信任协商默认协商中访问控制策略正确,而策略本身很可能存在某些问题,导致协商失败。重点分析协商策略的性质,首先针对可能存在的冲突策略、平凡策略等策略不一致问题,构建了一种基于标签树的逻辑证明方法,进行策略一致性的检测,并证明了此证明方法的可靠性、完备性;其次,通过对策略树进行化简以求得最小证书集,并对其进行一次性披露和匹配,尽快达成成功协商,从而避免策略环问题,提高协商效率及成功率。
- 夏冬梅曾国荪陈波鲍宇
- 关键词：自动信任协商一致性
- 基于模型检测的时间空间性能验证方法被引量：6
- 2010年
- 对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Markov Reward Process,CTMRP)作为时间或空间性能验证模型;用正则式表示路径约束,扩展连续随机回报逻辑CSRL(Continuous Stochastic Reward Logic)的时态路径算子,用以刻画更加广泛的基于状态或路径的时间或空间性能验证属性;提出并证明CTMRP在确定性策略下空间时间可达概率的对偶性质,将带有约束的空间性能验证最终转化为时间性能的可达分析,给出验证算法.文中的结论和算法为复杂系统的性能分析提供了新的思路和方法.
- 钮俊曾国荪王伟
- 关键词：不确定性对偶
- 绿色评价模型的互模拟等价及逻辑保持被引量：4
- 2013年
- 绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段.
- 钮俊曾国荪王伟
- 关键词：评价指标互模拟
- 基于Pi-演算的信任网络形式化建模被引量：3
- 2008年
- 网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求。
- 袁禄来曾国荪王伟
- 关键词：网格安全信任网络形式化建模PI-演算进程代数
- 随机模型检测连续时间Markov过程被引量：2
- 2011年
- 功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision process)能够统一刻画复杂系统的概率选择、随机时间及不确定性等重要特征。提出用CT-MDP作为系统定性验证和定量分析模型,将复杂系统的功能验证和性能分析转化为CTMDP中的可达概率求解,并证明验证过程的正确性,最终借助模型检测器MRMC(Markov Reward Model Checker)实现模型检测。理论分析表明,提出的针对CTMDP模型的验证需求是必要的,验证思路和方法具有可行性。
- 钮俊曾国荪吕新荣徐畅
- 关键词：功能性能
