周建涛
- 作品数：56 被引量：289H指数：8
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：国家自然科学基金内蒙古自治区自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- 下一代网络协议的互操作性测试建模与测试方法研究
- 李华叶新铭吴承勇李茹周建涛王显荣邢熠敖腾河张君刘玉林孙涛戴海滨
- 该项目是在国家自然基金项目、内蒙古自治区自然基金重点项目等系列项目的支持下，针对下一代网络的核心协议完成的互操作性测试研究，并以BGP4+、OSPFv3、RIPng为例进行了理论方法的实验。(1)基于自己建立的Rip协议...
- 关键词：
- 关键词：网络协议
- 一种利润感知的分布式数据中心负载管理方法
- 本发明公布了一种利润感知的分布式数据中心负载管理方法，该方法基于前端代理服务器、全局分派器和局部管理器的体系结构，以最大化分布式数据中心运营商的运营利润为目标，综合考虑不同时间和不同地点的电价差异、数据中心的能效差异以及...
- 高永强周建涛
- 文献传递
- 基于组件级化简的语义验证方法在电子商务过程中的应用被引量：1
- 2006年
- 工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.
- 周建涛叶新铭
- 关键词：工作流过程语义验证化简电子商务
- 基于Petri网的构件行为适配模型
- 2008年
- 基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署到新系统之前,有必要先检查构件接口行为的兼容性并进行适配,使不同构件之间能够正常交互。提出一种基于Petri网的构件行为的适配算法,该方法用接口Petri网描述构件的接口行为,以用例为单位,利用同步向量检查构件接口交互行为的兼容性,建立基于Petri网的构件行为适配模型,最后验证此模型中行为的兼容性。
- 刘玉林周建涛
- 关键词：接口PETRI网
- 基于CEEMDAN-ConvLSTM组合模型的云计算负载预测方法被引量：1
- 2023年
- 随着云计算技术的快速发展,越来越多的用户选择使用云服务。负载请求与资源供应的不匹配问题日益凸显,使得用户请求无法得到及时响应,极大地影响云服务质量,实时预测负载请求,将有助于及时供应资源。针对云计算环境中的负载预测方法性能低的问题,提出了一种基于自适应噪声的完备经验模态分解和卷积长时序神经网络组合模型(CEEMDAN-ConvLSTM)的云计算负载预测方法。首先运用自适应噪声的完备经验模态(CEEMDAN)分解技术对数据序列进行分解操作,将其转换为若干个易于分析和建模的子序列;然后运用卷积长时序神经网络(ConvLSTM)预测模型对这一系列子序列进行建模预测,并采用基于多进程并行计算的研究思路,实现多序列并行预测及贝叶斯优化调参;最后将预测值综合叠加以获得整个模型的预测输出,从而实现对原始复杂序列数据进行高精度预测的目标。使用Google集群工作负载数据集进行实验验证,实验结果表明,CEEMDAN-ConvLSTM组合模型具有良好的预测效果,相比自回归差分移动平均模型(ARIMA)、长短期记忆网络(LSTM)和卷积长时序神经网络(ConvLSTM),所提模型预测均方根误差(RMSE)指标分别提升了30.9%,30.1%和22.5%。
- 赵鹏周建涛赵大明
- 关键词：云计算
- 协同工作平台ECCS的异常处理
- 本文通过分析实际应用中异常的表现形式,以人工交互为主要处理方式,通过提供有利的监控工具,在可预测的异常和不可预测的异常处理中分别给出了解决方法,使得系统具有灵活的异常处理方式.
- 孙瑞志史美林周建涛
- 关键词：协同工作工作流管理系统异常处理
- 文献传递
- 复杂网络软件的着色Petri网层次建模及模型集成确认方法被引量：2
- 2013年
- 为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层次化建模及模型集成确认方法。给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关键技术,以及功能单元覆盖划分、模型等价抽象等模型集成确认关键技术的解决方案,并以典型网络软件系统为例分析了上述方法的可用性和有效性。从目前鲜有对特定形式模型论述模型正确性确认方法的现状看,这种融合多种CP-net模型分析技术的模型集成确认方法能够有效确保层次模型正确描述网络软件多交互、高并发的复杂功能行为,为软件验证、一致性测试等重要软件分析过程的高效实施提供描述准确且规模可控的基础形式模型。
- 刘靖叶新铭周建涛
- 关键词：网络软件并发控制
- 表格单元格分类的端到端不完全监督方法
- 2023年
- 大数据时代下,爆炸式增长的非结构化数据中蕴含着大量有价值的信息,对其进行识别和提取变得越发重要。表格是典型的高价值密度非结构化数据,为了识别表格的功能结构,并提高模型的通用性和结果的易用性,针对表格单元格分类提出一个端到端不完全监督方法。设计了基于视觉可见的特征选取方案来提高通用性,提出基于规则的自动修正算法用于改善单元格分类的效果,让用户对结果进行再次修正并将结果作为额外的训练数据参与模型训练来提高模型不同场景下的适应性。最后将方法实现为端到端工具,在提高便捷性的同时使得修正后的数据可直接导出用于下游任务。实验结果表明,提出的方法在多个指标上对比基线方法均有提升,同时在一定程度上提高了结果的易用性。
- 郝昕毓周建涛王昊
- 关键词：非结构化数据表格数据
- 网格工作流及其关键技术研究综述被引量：7
- 2008年
- 网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结其中的关键技术.接着,分析网格工作流的起因,概述其概念,并提出其区别于传统工作流的特点.最后,综述网格工作流的研究现状,分析并提出其中的关键技术及发展方向,力图为网格工作流在描述、实现和应用方面的技术创新提供基础和依据.
- 周建涛叶新铭
- 关键词：网格工作流网格工作流工作流过程网格服务
- WF-net模型到PNML的转换方法研究与实现被引量：5
- 2010年
- Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。
- 周建涛海晓军
- 关键词：元模型WF-NETPNML
