检索结果-维普期刊中文期刊服务平台

基于主流云计算技术的集群三元空间提取方法: 1; 作者许春玲张广泉《电信科学》北大核心 2010年第10期35-40,共6页; 本文对目前代表性的云计算技术进行了回顾,选择其中的HDFS提取主要组成元素分析整理,抽象出若干对象集和关系集,进而提出集群三元空间。从抽象层面回归到具体实现,HDFS对集群三元空间的实现采用了集中式结构,形成了系统性能的瓶颈以及... 展开更多; 关键词 HDFS 集群三元空间 GFS Sector/Sphere; 在线阅读下载PDF 职称材料

基于XYZ/ADL的Web服务组合描述与验证被引量：6: 2; 作者张广泉戎玫 +2 位作者朱雪阳何亚丽石慧娟《电子学报》 EI CAS CSCD 北大核心 2011年第A03期86-93,共8页; Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证... 展开更多; 关键词 WEB服务组合 XYZ/ADL XYZ/RE 时间自动机精化检验模型检测; 在线阅读下载PDF 职称材料

面向城市交通网络的一种新型动态路径寻优方法被引量：13: 3; 作者曹政才韩丁富王永吉《电子学报》 EI CAS CSCD 北大核心 2012年第10期2062-2067,共6页; 针对静态路径寻优方法中没有考虑到交通流随时间变化的问题,本文提出一种基于交通流量预测的路径寻优方法.首先,从实际交通路网本身的特点和人类对路网的认识出发,构建以"道路"为基本元素的新型路网模型;其次,采用基于单变量... 展开更多; 关键词交通流预测路径搜索算法路网模型; 在线阅读下载PDF 职称材料

时间感知Web服务交互行为建模与失配检测方法研究被引量：6: 4; 作者张广泉戎玫王昇《电子学报》 EI CAS CSCD 北大核心 2011年第11期2568-2575,共8页; 针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知We... 展开更多; 关键词时间感知Web服务时间服务协议时间服务交互模型检测失配检测; 在线阅读下载PDF 职称材料

基于模糊Petri网推理的半导体生产线投料控制策略被引量：5: 5; 作者曹政才赵会丹王永吉《电子学报》 EI CAS CSCD 北大核心 2011年第7期1545-1550,共6页; 半导体生产线存在大量随机不确定因素,各种不确定扰动的发生,往往使已获得优化调度方案在执行过程中失去优良性,鉴于模糊Petri网在知识表达和逻辑推理方面的优势,本文研究将该思想用于半导体生产线投料控制,构建投料模糊Petri网推理模型... 展开更多; 关键词半导体生产线投料策略模糊PETRI网; 在线阅读下载PDF 职称材料

基于OFBiz与J2EE的水利水电应用系统的设计被引量：3: 6; 作者张杰杜玉越《山东科技大学学报（自然科学版）》 CAS 2009年第1期83-88,共6页; 在J2EE架构下,封装OFBiz工作流引擎的基础之上,采用表示层、业务逻辑层与持久层分离的设计模式,大大降低了模块之间以及模块内部的耦合度,同时使系统具备良好的扩展性与可维护性。从总体上给出了水利水电应用系统的设计与实现方法。; 关键词工作流工作流系统 OFBIZ J2EE架构; 在线阅读下载PDF 职称材料

题名基于主流云计算技术的集群三元空间提取方法: 1; 作者许春玲张广泉; 机构苏州大学计算机科学与技术学院中国科学院计算机科学国家重点实验室; 出处《电信科学》北大核心 2010年第10期35-40,共6页; 基金国家自然科学基金资助项目(No.60873047) 中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908) 江苏省高校自然科学研究项目(No.08KJB520010); 文摘本文对目前代表性的云计算技术进行了回顾,选择其中的HDFS提取主要组成元素分析整理,抽象出若干对象集和关系集,进而提出集群三元空间。从抽象层面回归到具体实现,HDFS对集群三元空间的实现采用了集中式结构,形成了系统性能的瓶颈以及集群扩展的滞点。集群三元空间从抽象层面,剔除具体实现因素之后,给出了系统分析与问题定义的背景。; 关键词 HDFS 集群三元空间 GFS Sector/Sphere; Keywords HDFS triplet-space GFS Sector/Sphere; 分类号 TN929.5 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于XYZ/ADL的Web服务组合描述与验证被引量：6: 2; 作者张广泉戎玫朱雪阳何亚丽石慧娟; 机构苏州大学计算机科学与技术学院中国科学院计算机科学国家重点实验室暨南大学深圳旅游学院; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第A03期86-93,共8页; 基金国家自然科学基金(No.60973149) 中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908) 江苏省高校自然科学研究项目(No.08KJB520010); 文摘 Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.; 关键词 WEB服务组合 XYZ/ADL XYZ/RE 时间自动机精化检验模型检测; Keywords Web services composition XYZ/ADL XYZ/RE timed automata refinement checking model checking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向城市交通网络的一种新型动态路径寻优方法被引量：13: 3; 作者曹政才韩丁富王永吉; 机构北京化工大学信息科学与技术学院中国科学院计算机科学国家重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2012年第10期2062-2067,共6页; 基金北京市优秀人才培养课题(No.2010D009016000001); 文摘针对静态路径寻优方法中没有考虑到交通流随时间变化的问题,本文提出一种基于交通流量预测的路径寻优方法.首先,从实际交通路网本身的特点和人类对路网的认识出发,构建以"道路"为基本元素的新型路网模型;其次,采用基于单变量时间序列的预测方法对路网上各路段未来一段时间内的道路交通流量进行预测,并根据预测结果估计出行者在未来时段各路段上的交通代价;再次,通过估计的交通代价把车辆从起点到该路段时间内的道路交通变化状况融入改进A*算法的路径搜索过程,从而建立一种高效的动态改进A*路径搜索算法;最后,实例表明预测交通流量与实际交通流量具有很好的拟合度,路径搜索结果能够对出行者起到诱导作用,提高出行者行驶效率.; 关键词交通流预测路径搜索算法路网模型; Keywords traffic flow prediction path searching algorithm mad network model; 分类号 TP302.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名时间感知Web服务交互行为建模与失配检测方法研究被引量：6: 4; 作者张广泉戎玫王昇; 机构苏州大学计算机科学与技术学院中国科学院计算机科学国家重点实验室暨南大学深圳旅游学院; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第11期2568-2575,共8页; 基金国家自然科学基金(No.60973149) 中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908) 江苏省自然科学基金(No.BK2011281); 文摘针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性.; 关键词时间感知Web服务时间服务协议时间服务交互模型检测失配检测; Keywords time-aware web services limed service protocol timed service interaction model checking mismatch checking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于模糊Petri网推理的半导体生产线投料控制策略被引量：5: 5; 作者曹政才赵会丹王永吉; 机构北京化工大学信息科学与技术学院中国科学院计算机科学国家重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第7期1545-1550,共6页; 基金教育部博士点基金新教师课题(No.20090010120011) 中央高校基本科研业务费项目(No.ZZ0914) +2 种基金计算机软件新技术国家重点实验室开放课题(No.KFKT2010B11); 文摘半导体生产线存在大量随机不确定因素,各种不确定扰动的发生,往往使已获得优化调度方案在执行过程中失去优良性,鉴于模糊Petri网在知识表达和逻辑推理方面的优势,本文研究将该思想用于半导体生产线投料控制,构建投料模糊Petri网推理模型,建立完整的在线投料机制,以生产线实时信息为依据,决定系统采取的投料控制行为,以便尽可能发挥系统的生产能力,优化系统制造性能.最后,以某半导体生产线为例进行投料控制实验,结果表明,该策略是可行有效的.; 关键词半导体生产线投料策略模糊PETRI网; Keywords semiconductor wafer fabrication releasing strategy fuzzy Petri nets; 分类号 TP373 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于OFBiz与J2EE的水利水电应用系统的设计被引量：3: 6; 作者张杰杜玉越; 机构山东科技大学信息科学与工程学院中国科学院计算机科学国家重点实验室; 出处《山东科技大学学报（自然科学版）》 CAS 2009年第1期83-88,共6页; 基金国家自然科学基金项目(60773034) 国家重点基础研究发展计划(“973”计划)项目(2004CB318001-03) +2 种基金山东省科学技术发展计划项目(2008GG30001024); 文摘在J2EE架构下,封装OFBiz工作流引擎的基础之上,采用表示层、业务逻辑层与持久层分离的设计模式,大大降低了模块之间以及模块内部的耦合度,同时使系统具备良好的扩展性与可维护性。从总体上给出了水利水电应用系统的设计与实现方法。; 关键词工作流工作流系统 OFBIZ J2EE架构; Keywords workflow workflow system OFBiz J2EE framework; 分类号 TP393.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于主流云计算技术的集群三元空间提取方法	许春玲张广泉	《电信科学》北大核心	2010	0	在线阅读下载PDF 职称材料
2	基于XYZ/ADL的Web服务组合描述与验证	张广泉戎玫朱雪阳何亚丽石慧娟	《电子学报》 EI CAS CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
3	面向城市交通网络的一种新型动态路径寻优方法	曹政才韩丁富王永吉	《电子学报》 EI CAS CSCD 北大核心	2012	13	在线阅读下载PDF 职称材料
4	时间感知Web服务交互行为建模与失配检测方法研究	张广泉戎玫王昇	《电子学报》 EI CAS CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
5	基于模糊Petri网推理的半导体生产线投料控制策略	曹政才赵会丹王永吉	《电子学报》 EI CAS CSCD 北大核心	2011	5	在线阅读下载PDF 职称材料
6	基于OFBiz与J2EE的水利水电应用系统的设计	张杰杜玉越	《山东科技大学学报（自然科学版）》 CAS	2009	3	在线阅读下载PDF 职称材料