检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种SOA软件系统可信性评价方法研究

计算机学报 2010年第11期33卷 2202-2210页

作者：赵会群孙晶北方工业大学计算机系北京100144

结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义... 详细信息

结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.

关键词：面向服务的体系结构软件可信性评价半Markov模型

在线全文

学校读者我要写书评

暂无评论

一种基于代数方法的路由振荡检测算法研究

计算机学报 2007年第10期30卷 1763-1769页

作者：赵会群孙晶北方工业大学信息工程学院北京100041

基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关... 详细信息

基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关.在此基础上,提出了O(H×L+N2)时间级的路由振荡检测算法.为了支持文中提出的算法,设计实现了一个路由振荡检测程序,通过对多个真实的路由表检测,进一步说明了上述算法的可行性.

关键词：路由振荡路由网络代数协议测试边界网关协议

在线全文

学校读者我要写书评

暂无评论

面向服务的可信软件体系结构代数模型

计算机学报 2010年第5期33卷 890-899页

作者：赵会群孙晶北方工业大学计算机系北京100144

针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定... 详细信息

针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.

关键词：服务服务组合服务体系结构抽象代数进程代数

在线全文

学校读者我要写书评

暂无评论

Internet异构路由建模与冲突分析

北京邮电大学学报 2007年第2期30卷 46-49页

作者：赵会群孙晶北方工业大学信息工程学院

针对不同路由协议之间的冲突问题,提出一种新的异构路由建模和冲突分析方法.该方法使用时序说明语言(LOTOS)作为路由系统描述语言;通过定义适合于路由系统分析的路由常量和运算规则,建立路由系统的数学模型;通过求解数学模型有效地发现... 详细信息

针对不同路由协议之间的冲突问题,提出一种新的异构路由建模和冲突分析方法.该方法使用时序说明语言(LOTOS)作为路由系统描述语言;通过定义适合于路由系统分析的路由常量和运算规则,建立路由系统的数学模型;通过求解数学模型有效地发现冲突路由.为了支持上述观点,使用可扩展的网络仿真工具(SSFNet)对边界网关协议(BGP4)和最短路径优先协议(OSPF)进行仿真,实验结果表明了提出的分析方法与实际情况的一致性.

关键词：协议一致性测试边界网关协议最短路径优先协议时序说明语言

在线全文

学校读者我要写书评

暂无评论

路由网络代数

计算机学报 2004年第7期27卷 888-896页

作者：赵会群孙晶王国仁高远北方工业大学信息工程学院东北大学信息工程学院沈阳100061 东北大学信息工程学院

基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同... 详细信息

基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算 ,并在此基础提出更适合于描述Internet路由系统行为的选择运算“ ”、协同并行“ ”以及路由网络常量 ,如m×n(路由转发 )、∧ m(分支 )、∨ m(合并 )、⊥ m(下沉 )和┬ m(亚元 ) .通过分析由上述代数运算和路由网络常量构成的路由网络代数模型 ,可以分析路由系统中死锁 (deadlock)和活锁(alivelock)等行为 .为了检验路由网络代数的有效性 ,完成了BGP路由稳定性的实验分析工作 .

关键词：网络代数 LOTOS 路由网络代数路由稳定性边界网关协议

在线全文

学校读者我要写书评

暂无评论

基于组件的软件可靠性模型

小型微型计算机系统 2002年第8期23卷 950-954页

作者：赵会群孙晶王国仁高远北方工业大学计算机系北京100041 东北大学计算机科学与工程系辽宁沈阳110006

首先对不同的软件体系结构描述语言 (ADL )进行分析 ,找出软件体系结构的共性 .用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述 ,探讨不同连接形式下的软件体系结构 ,给出基于组件的软件可靠性模... 详细信息

首先对不同的软件体系结构描述语言 (ADL )进行分析 ,找出软件体系结构的共性 .用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述 ,探讨不同连接形式下的软件体系结构 ,给出基于组件的软件可靠性模型 .在此模型基础上 ,对基于组件的软件系统的可靠性计算模型进行研究 ,提出一种半 Markov模型 ,并在理论上证明该模型的可用性 .最后通过 CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用 .

关键词：组件软件可靠性模型软件体系结构 CORBA 软件重用软件工程

复杂事件模式检测与CEP测试数据生成算法研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2017年第1期40卷 256-272页

作者：赵会群孙晶杨岩坤毛立志北方工业大学计算机学院北京100144

随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件... 详细信息

随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件处理(Complex Event Processing,CEP)技术被认为是一种有希望征服大数据挑战的技术之一.然而,当事件流成为大数据时,目前的CEP模型、事件模式检测和CEP系统测试数据生成的方法和技术都存在很多不足.文章针对这一问题讨论了复杂事件建模、模式检测与测试数据的生成方法.提出一种CEP代数模型,用多种事件算子来表达事件之间的关系和事件流模型.在这里,一个创新的思想是把CEP代数模型表达式解释成算术文法产生式,从而可以用词法分析技术解决复杂事件模式检测问题.为了有效地测试复杂事件模式检测的算法,基于CEP代数模型,提出了一个用于支持上述CEP模式检测的大数据事件集的生成算法.并由此生成了不同量级的测试数据,测试了一个RFID物联网中CEP模式检测引擎.实验结果表明了提出的事件模式检测算法和CEP系统测试大数据事件集生成算法的有效性.

关键词：复杂事件处理事件模式检测测试数据生成大数据代数模型

在线全文

学校读者我要写书评

暂无评论

基于AS关系的BGP路由策略冲突检测研究

计算机研究与发展 2002年第9期39卷 1025-1030页

作者：赵会群张春宏刘冰玉高远北方工业大学计算机科学系北京100041 东北大学计算机科学与工程系沈阳110006

对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也... 详细信息

对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也可用于动态的路由策略冲突检测 .

关键词： AS关系 BGP路由策略网络管理边界网关协议自治系统策略冲突检测 Internet 计算机网络

基于随机进程代数的软件体系结构建模与性能评价

在线全文

学校读者我要写书评

暂无评论

东北大学学报（自然科学版） 2002年第1期23卷 16-19页

作者：赵会群徐凌宇王国仁高远东北大学信息科学与工程学院辽宁沈阳110004

软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相... 详细信息

软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。

关键词：软件体系结构随机进程代数性能评价 Markov过程回报结构软件设计建模机制