国家高技术研究发展计划(2006AA01Z162)

作品数:11被引量:33H指数:3
导出分析报告
相关作者:周兴社詹涛杨刚符宁杨志义更多>>
相关机构:西北工业大学中国人民解放军西安政治学院西北农林科技大学长安大学更多>>
相关期刊:《电子学报》《微电子学与计算机》《计算机应用研究》《小型微型计算机系统》更多>>
相关主题:可信计算信息集成QOS保障半环PI演算更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种能够描述可信特征的进程代数被引量:1
《计算机研究与发展》2011年第11期2120-2130,共11页符宁 周兴社 詹涛 
国家"八六三"高技术研究发展计划重大专项基金项目(2009AA010308);国家"八六三"高技术研究发展计划基金项目(2006AA01Z162);国家发展与改革委员会基金项目(20052139);国家"十一五"国防预研基金项目(06004089)
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系...
关键词:可信软件 进程代数 PI演算 Q代数 半环 
具有QoS保障的组合服务管理框架
《微电子学与计算机》2011年第7期102-105,109,共5页武和波 杨志义 隋玉磊 杨晓宁 杨刚 
国家"八六三"计划项目(2006AA01Z162);国家××预研基金项目(06004089);国家核高基项目(2009ZX01043)
在可信服务中间件架构的基础上设计了一种具有QoS保障的组合服务管理框架,在此框架下提出了QoS规划算法和服务选择算法.利用上层的重协商机制和下层的组合服务调度机制为服务提供双层的QoS保障,以最大化的满足用户的QoS需求.最后通过实...
关键词:QoS规划 QOS 组合服务 QOS保障 
基于受约束半环的服务可信性质评价方法被引量:3
《电子学报》2011年第4期928-933,共6页符宁 周兴社 詹涛 
国家863高技术研究发展计划重大专项(No.2009AA010308);国家863高技术研究发展计划(No.2006AA01Z162);"核高基"重大专项(No.2009ZX01043-002-001-NPU);国家发展与改革委员会项目(No.20052139);国家"十一五"国防预研基金(No.06004089)
引入受约束半环作为服务可信性质的描述域,提出原子服务可信特征的度量方法,依据结构化流程模型给出服务组合的可信性质计算方法.在可信特征归一化的问题上采用效用函数对不同维度可信性质进行归一化计算,并基于模糊矩阵确定将多维可信...
关键词:半环 服务 可信性 
一种可信的服务组合QoS保障机制被引量:7
《小型微型计算机系统》2011年第3期385-389,共5页詹涛 周兴社 杨刚 王凯博 
国家"八六三"高技术研究发展计划基金项目(2006AA01Z162)资助;西北工业大学校科技创新基金项目(2008KJ02030)资助
针对目前服务计算模型中对应用的可信性支持不足,提出并设计了一种基于虚拟服务的服务可信性保障机制.组合服务中的各个任务环节由虚拟原子服务完成,通过对应用的QoS规划、服务组合以及资源调度方法以满足虚拟原子服务可信需求,进而保...
关键词:组合服务 虚拟服务 可信计算 
服务协同环境中的业务过程建模与验证被引量:2
《西北工业大学学报》2010年第4期591-596,共6页符宁 周兴社 詹涛 
国家"863"高技术研究发展计划重大专项基金(2009AA010308);国家"863"高技术研究发展计划基金(2006AA01Z162);"核高基"重大专项基金;国家发展与改革委员会项目(20052139)资助
服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达...
关键词:服务协同环境 服务协同中间件 业务过程管理 PI演算 
TSSF:基于QoS分解的可信服务调度框架
《计算机科学》2010年第6期70-74,167,共6页隋玉磊 周兴社 符宁 詹涛 
863国家基金项目(2006AA01Z162)面向能力可信服务的自适应软件技术研究资助
网络计算环境的松散化、独立性和异构性的特点不断给服务计算发展带来新的挑战,与此同时用户对软件系统实时性、安全性、可靠性、可用性等非功能属性要求又在不断提高,如何保障服务计算系统的可信性是平台设计者和服务应用开发者所面临...
关键词:QoS分解 可信计算 组合服务 可信服务调度 
面向QoS保障的虚拟可信服务被引量:4
《计算机应用研究》2010年第5期1823-1825,1829,共4页杨晓宁 杨志义 隋玉磊 杨刚 
国家"863"计划资助项目(2006AA01Z162);国家××预研基金资助项目(06004089);西北工业大学校科技创新基金资助项目(2008KJ02030)
针对服务计算模型中对应用的可信特性支持不足问题,提出面向QoS保障的虚拟可信服务VTS,并依据VTS设计了一种基于反馈控制的自适应QoS保障机制。首先将VTS的QoS保障转换为反馈控制问题,给出一种自适应QoS保障框架,再在此框架下对VTS的Qo...
关键词:可信计算 QOS保障 虚拟可信服务 
一种面向服务的事件驱动架构信息集成平台构造方法被引量:13
《计算机研究与发展》2008年第10期1799-1806,共8页杨志义 杨刚 张海辉 
国家自然科学基金项目(60573161);国家发改委高新技术产业化基金项目(20052139);国家“八六三”高技术研究发展计划基金项目(2006AA01Z162)~~
信息集成方法研究对企业异构复杂应用集成具有重要的学术和应用价值.提出一种面向服务的事件驱动架构SOEDA,可构建灵活的分布式信息集成平台.采用以服务单元形式封装的适配器连接各种异构系统,通过分布式标准消息路由器作为底层平台实...
关键词:信息集成 面向服务 动态线程池 事件驱动 排队网络 
指令优化设计与指令缓存结构相互关系的研究
《小型微型计算机系统》2008年第9期1694-1697,共4页王宇英 周兴社 
国家高技术研究发展计划"八六三"项目(2006AA01Z162)资助
传统的指令优化方法通常不考虑调整指令高速缓存的硬件体系结构,只能得到局部优化结果.本文以实验的方法研究了指令优化设计和指令缓存配置之间的关系,通过实现程序指令优化并在不同指令缓存配置的平台上运行优化前后的程序,对比缓存缺...
关键词:指令优化设计 指令缓存缺失率 缓存结构 
信息集成数据模型研究被引量:3
《计算机应用研究》2008年第5期1285-1287,1294,共4页符宁 周兴社 詹涛 
国家"863"计划资助项目(2006AA01Z162);"十一五"国防预研资助项目(513150201);国家发展改革委员会资助项目(20052139)
信息集成是指将多个信息源进行整合,为用户提供一个统一访问这些信息的接口或数据视图。公共数据模型是设计信息集成系统的基本出发点,从分类的角度对信息集成公共数据模型进行研究。对各种数据模型的特点、描述能力、应用领域以及发展...
关键词:信息集成 数据模型 信息集成系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部