云南高校图书馆联盟文献共享服务平台- 广西壮族自治区自然科学基金(0728089)

广西壮族自治区自然科学基金(0728089): 作品数：15被引量：118H指数：3; 导出分析报告; 相关作者：蔡国永覃小锋周府生胡贵昂隋新更多>>; 相关机构：桂林电子科技大学广西区域地质调查研究院中国地质科学院中国科学院更多>>; 相关期刊：《Wuhan University Journal of Natural Sciences》《计算机应用研究》《岩石矿物学杂志》《微电子学与计算机》更多>>; 相关主题：地球化学电子机构构造环境地球化学特征多AGENT更多>>; 相关领域：自动化与计算机技术天文地球更多>>

多Agent系统中基于狄利克雷分布的信任模型被引量：1: 《计算机工程》2011年第14期128-130,133,共4页陈广福蔡国永林航王瑞丽刘国宾; 广西自然科学基金资助项目(0728089);广西研究生教育创新计划基金资助项目(2009105950812M18); 提出一种多Agent系统中基于狄利克雷分布的信任模型。该模型利用狄利克雷分布解决二元评价的局限性,使信任模型可以按等级来评价信誉。提出层次过滤算法,以解决推荐信息中存在的各类恶意Agent问题。仿真实验结果表明,该信任模型能有效...; 关键词：狄利克雷分布多AGENT系统信任过滤算法

电子机构的信息流控制研究: 《计算机工程》2011年第2期120-122,125,共4页史磊蔡国永隋新; 广西自然科学基金资助项目(0728089); 电子机构是解决自治主体间业务可信协同的一种开发框架,但其缺乏对信息流进行灵活控制的安全机制,可能会造成对机密信息的威胁。为此,在扩充电子机构语义的前提下,设计一种动态检测信息传递的安全模型。该模型根据强制访问控制的特点,...; 关键词：电子机构访问控制信息流

基于可信联盟的多Agent协作模型研究及应用被引量：2: 《桂林电子科技大学学报》2011年第1期21-25,共5页罗柏发林航董凤娇; 广西自然科学基金(0728089);广西研究生教育创新计划项目(2009105950812M18); 传统多Agent系统间协作过分注重个体效率,忽视了实体间协作的管理,使问题求解变得复杂。可信联盟机制动态分析了复杂问题分解协作过程,改进了传统分布式MAS系统结构,引进了信任管理机制,使实体间协作分工有序、明确,并进一步提高协作效...; 关键词：多智能体可信联盟协作模型信任机制

多Agent合作中的信任模型研究被引量：2: 《计算机工程》2010年第24期116-118,共3页隋新蔡国永史磊罗柏发; 广西自然科学基金资助项目(0728089);广西研究生教育创新计划基金资助项目(2009105950812M18); 传统的信任模型研究通常建立在具有完全历史合作信息的基础上,难以满足动态演化环境中的合作需求。针对缺乏直接合作历史信息的情况,借鉴现代电子商务中第三方管理思想,分析基于第三方的间接信任模式,结合贝叶斯信任模型,提出DRI信任模...; 关键词：多AGENT 合作信任模型第三方

道义Petri网及其在协同组织社交建模分析中的应用: 《计算机科学》2009年第11期131-135,共5页蔡国永董荣胜古天龙; 国家自然科学基金(60663005);广西自然科学基金(0728089)资助; 在开放动态的、充满异质服务的网络环境下,构建服务协同虚拟组织的一个重要挑战是自治服务代理间的协同交互问题。提出一种扩展的引用网:道义Petri网(DPN)。DPN结合了动态组织建模中的角色规范概念,并采纳了引用网的网中网和同步通道。...; 关键词：协同交互 PETRI网建模道义规范

电子机构的信息流安全分析: 《微电子学与计算机》2009年第8期196-200,共5页史磊蔡国永隋新; 广西自然科学基金项目(0728089); 电子机构为自治主体间可信业务协同分析提供了一种框架,但现有的电子机构模型对其中存在的各种信息流还缺乏有效地分析和规范.文中以分析角色之间信息流的传递为前提,提出了用来发现电子机构中潜在非法信息流的算法,并给出了解决非法信...; 关键词：电子机构访问控制模型信息流控制策略

电子机构的安全性分析研究被引量：2: 《计算机系统应用》2008年第8期46-50,共5页李红霞蔡国永; 广西自然科学基金(NO.0728089); 电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念,提出了电子机构基于角...; 关键词：电子机构安全角色访问控制

Abstract Model Checking for Web Services: 《Wuhan University Journal of Natural Sciences》2008年第4期466-470,共5页QIAN Junyan CAI Guoyong GU Tianlong ZHAO Lingzhong; the National Natural Science Foundation of China (60663005, 60563005);the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089); Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...; 关键词：Web-services model checking predicate abstraction hypertext preprocessor

一种新的程序变体测试方法: 《计算机应用研究》2008年第5期1393-1395,1399,共4页蔡国永钱俊彦; 广西自然科学基金资助项目(0728089); 在对程序分片技术研究的基础上,提出一种新的片变体测试方法。通过实例说明,该方法能更有效地提高变体测试的准确性及测试效率。; 关键词：变体测试程序分片片变体测试测试指标

阿尔金南缘构造带西段辉绿岩墙群的地球化学特征及构造环境被引量：18: 《岩石矿物学杂志》2008年第1期14-22,共9页覃小锋夏斌李江陆济璞许华周府生胡贵昂李乾; 广西自然科学基金资助项目(桂科自0728089);中国地质调查局地质大调查项目资助(19991300008091); 对阿尔金南缘构造带西段辉绿岩墙群的岩石学和地球化学的详细研究表明，该区辉绿岩墙群为拉斑系列岩石，其主量元素以中等TiO2（1．19％～1．59％）、高MgO（5．51％～7．88％）、贫K2O（0．04％～0．84％）和P2O5（0．10％～0．20％）...; 关键词：辉绿岩墙群地球化学构造环境阿尔金南缘构造带西段

广西壮族自治区自然科学基金(0728089)