您的位置： 专家智库 > >

孙涛

作品数：22 被引量：26H指数：3
供职机构：内蒙古大学计算机学院更多>>
发文基金：国家自然科学基金内蒙古自治区自然科学基金内蒙古自治区科技厅科技攻关项目更多>>
相关领域：自动化与计算机技术文化科学电子电信历史地理更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 5篇学位论文
  • 3篇会议论文
  • 2篇科技成果
  • 1篇专利

领域

  • 15篇自动化与计算...
  • 2篇电子电信
  • 2篇文化科学
  • 1篇经济管理
  • 1篇政治法律
  • 1篇语言文字
  • 1篇艺术
  • 1篇历史地理

主题

  • 4篇网络
  • 3篇着色PETR...
  • 3篇列生成
  • 3篇SDN
  • 3篇CPN
  • 2篇序列生成方法
  • 2篇化简
  • 2篇PCO
  • 2篇TTCN
  • 2篇CP-NET...
  • 2篇DRIVER
  • 2篇并发模型
  • 1篇电子银行
  • 1篇电子银行产品
  • 1篇淀粉
  • 1篇动态阈值
  • 1篇信访
  • 1篇信访机构
  • 1篇形式化
  • 1篇形式化方法

机构

  • 22篇内蒙古大学
  • 3篇内蒙古科技大...
  • 2篇中国科学院

作者

  • 22篇孙涛
  • 9篇叶新铭
  • 3篇张俊星
  • 3篇李华
  • 3篇孙涛
  • 2篇王显荣
  • 2篇邢熠
  • 2篇刘靖
  • 2篇李茹
  • 1篇温国华
  • 1篇敖腾河
  • 1篇戴海滨
  • 1篇吴承勇
  • 1篇白翔宇
  • 1篇周建涛
  • 1篇刘广华
  • 1篇刘玉林
  • 1篇王燕
  • 1篇丁雪莲
  • 1篇张君

传媒

  • 4篇内蒙古大学学...
  • 3篇计算机科学
  • 1篇计算机应用
  • 1篇解放军理工大...
  • 1篇重庆邮电大学...
  • 1篇内蒙古教育（...
  • 1篇第十四届全国...

年份

  • 1篇2023
  • 1篇2022
  • 1篇2019
  • 2篇2018
  • 1篇2017
  • 3篇2016
  • 2篇2014
  • 3篇2013
  • 2篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2007
  • 1篇2006
  • 1篇2005
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
下一代网络协议的互操作性测试建模与测试方法研究
李华叶新铭吴承勇李茹周建涛王显荣邢熠敖腾河张君刘玉林孙涛戴海滨
该项目是在国家自然基金项目、内蒙古自治区自然基金重点项目等系列项目的支持下，针对下一代网络的核心协议完成的互操作性测试研究，并以BGP4+、OSPFv3、RIPng为例进行了理论方法的实验。(1)基于自己建立的Rip协议...
关键词：
关键词：网络协议
基于CP-nets模型的并行软件测试方法研究
在软件产业高速发展的今天，并行软件系统已经成为一类主流的软件系统，在社会生产和生活中发挥着重要的作用。例如，网络软件系统，包括基于云计算的软件系统和基于物联网的软件系统，大都具有并行性特点。　　对并行软件进行测试的难度非...
孙涛
SDN环境下基于动态阈值的DDoS攻击检测方法研究被引量：8
2022年
软件定义网络SDN技术改变了传统网络中数控结合的局面,简化了网络管理。然而,SDN面对分布式拒绝服务DDoS攻击时也显得捉襟见肘。探讨了SDN环境下基于动态阈值的DDoS攻击检测问题。通过SDN网络的特点,提出了一种由触发检测和深度检测相结合的DDoS检测机制。该机制先根据收集到的流量状态计算网络环境的熵,并根据网络条件推导出一个动态阈值来进行粗粒度的异常预警。深度检测在预警信息后启动,通过基于机器学习的分类算法进行判断环境是否遭受到DDoS攻击。最后通过仿真环境实验表明,该机制可以有效的检测出环境是否遭受攻击,具有较高的检测率和较低的误检率。
孙涛孙涛郭政杰张俊星
关键词：分布式拒绝服务动态阈值
C++程序设计课程的教学改革思考
2013年
针对计算机、软件工程等专业C++程序设计课程的教学现状,在对课程体系结构和教学中存在问题分析的基础上,从突出实践动手能力出发,制定以实际任务为考核要求的教学规划,分别从调整教学内容、丰富教学手段、深化实验训练和教学队伍建设等方面,结合目前教学的实践情况,进行了教学改革的探索。
白翔宇孙涛
关键词：程序设计课程教学改革
一种针对CP-nets并发模型的验证方法
状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难.提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,模型状态空间规模得到显著降低,...
孙涛叶新铭
关键词：并发系统形式化方法
文献传递
一种基于CPN的协议测试序列生成方法被引量：6
2012年
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。
孙涛叶新铭刘靖杨蒙
关键词：着色PETRI网PCO
工商银行呼和浩特分行电子银行产品整合研究
近日来，由于信息技术发展迅速，所以人们的工作生活、人际交往、衣食住行等方方面面日趋移动化、信息化、智能化，社会各个层面的运行方式和思维逻辑都在发生翻天覆地的变化。大数据、区块链、人工智能、生物识别、云计算等新兴技术兴起并...
孙涛
关键词：商业银行电子银行业务管理
包头市政府信访局执法现状调研报告
信访是法律赋予每个公民的权利,畅通信访渠道是加强党和政府同人民群众联系,及时了解社情民意并迅速化解社会矛盾的重要手段。2005年国务院颁布了新修订的《信访条例》,对原有的在工作原则、信访渠道的畅通及信访机构职权的加强等方...
孙涛
关键词：信访机构社会矛盾
文献传递
关于专业学位研究生基地实践培养质量提升对策的思考
发展专业学位研究生教育是经济社会进入高质量发展阶段的必然选择，随着专业学位研究生招生规模的不断扩大，研究生的培养需求和压力也不断增大。以我院电子信息专业研究生培养为例，虽然学院已与多家企业建立了专业实践联合培养基地，形成...
王燕孙涛孙一宁
关键词：专业学位实践管理
测试目的覆盖的基于Petri网模型的并发软件测试方法研究
刘靖孙涛叶新铭
该项目属于计算机科学与技术学科中软件测试技术领域。主要研究内容及发现点：运行在网络环境下的并发软件存在更为复杂、高并发及不确定的交互协同行为，软件运行变得更加不可控。软件测试技术是应用最为广泛的、不可或缺的软件正确性分析...
关键词：
关键词：复杂软件系统
全选 清除 导出
共3页<123>
聚类工具0