您的位置: 专家智库 > >

侯刚

作品数:69 被引量:147H指数:7
供职机构:大连理工大学更多>>
发文基金:国家自然科学基金中央高校基本科研业务费专项资金辽宁省普通高等教育本科教学改革研究项目更多>>
相关领域:自动化与计算机技术文化科学交通运输工程电子电信更多>>

文献类型

  • 36篇期刊文章
  • 20篇专利
  • 10篇会议论文
  • 3篇学位论文

领域

  • 42篇自动化与计算...
  • 15篇文化科学
  • 2篇电子电信
  • 2篇交通运输工程
  • 1篇经济管理
  • 1篇天文地球
  • 1篇理学

主题

  • 13篇网络
  • 11篇教学
  • 9篇课程
  • 8篇计算机
  • 6篇电路
  • 6篇嵌入式
  • 5篇形式化
  • 5篇工控
  • 5篇仿真
  • 4篇代码
  • 4篇正则
  • 4篇正则表达式
  • 4篇拓扑
  • 4篇工控网
  • 4篇工控网络
  • 4篇分布式
  • 4篇编程
  • 3篇形式化验证
  • 3篇硬件
  • 3篇语法

机构

  • 69篇大连理工大学
  • 1篇清华大学
  • 1篇梧州学院
  • 1篇中汽数据有限...

作者

  • 69篇侯刚
  • 41篇王洁
  • 33篇周宽久
  • 13篇迟宗正
  • 11篇赖晓晨
  • 6篇王小龙
  • 6篇任志磊
  • 5篇任龙涛
  • 5篇林驰
  • 5篇金乃高
  • 5篇陈志超
  • 4篇惠煌
  • 4篇李大奎
  • 4篇曹雪
  • 4篇李鹏飞
  • 3篇邱铁
  • 2篇李明楚
  • 2篇勇嘉伟
  • 2篇常诚
  • 2篇黄文博

传媒

  • 9篇实验室科学
  • 6篇实验室研究与...
  • 6篇计算机科学
  • 4篇计算机工程与...
  • 3篇实验技术与管...
  • 2篇软件学报
  • 2篇电气电子教学...
  • 1篇清华大学学报...
  • 1篇计算机工程与...
  • 1篇现代计算机
  • 1篇计算机技术与...
  • 1篇第22届全国...
  • 1篇第五届信息安...
  • 1篇2012全国...
  • 1篇2013全国...
  • 1篇2013年全...
  • 1篇第六届信息安...
  • 1篇第七届信息安...
  • 1篇2010年通...

年份

  • 4篇2024
  • 7篇2023
  • 4篇2022
  • 3篇2021
  • 3篇2020
  • 2篇2019
  • 4篇2018
  • 4篇2017
  • 12篇2016
  • 4篇2015
  • 6篇2014
  • 5篇2013
  • 3篇2012
  • 1篇2011
  • 3篇2010
  • 1篇2009
  • 1篇2008
  • 2篇2007
69 条 记 录,以下是 1-10
排序方式:
基于时间STM的软件形式化建模与验证方法被引量:6
2015年
状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性.
侯刚周宽久常军旺王洁李明楚
关键词:实时嵌入式软件
输送带防撕裂监测系统
本发明公开了一种输送带防撕裂监测系统,包括单片机、存储单元、电流电压转换单元、继电器、电机供电单元和电机,单片机分别与存储单元、电流电压转换单元和继电器信号连接,电流电压转换单元与电机供电单元电连接,继电器与电机信号连接...
侯刚常诚王天武王洁
文献传递
软件动态执行网络建模及其级联故障分析
随着人们对软件功能需求的不断增加,软件系统的结构和规模越来越复杂.如何对复杂软件系统的拓扑结构及其质量进行有效分析和评估是软件工程中亟待解决的难题.采用复杂网络理论对软件系统进行建模和求解,将软件源代码中的函数作为节点,...
王小龙侯刚任龙涛周宽久常军旺王竹
关键词:拓扑结构耦合映像格子级联故障
文献传递
面向工业控制网络协议的可信性建模与验证方法
本发明公开了面向工业控制网络协议的可信性建模与验证方法,包括:步骤1:获取工控网络协议的详细描述;步骤2:按照表格状态机的方法构建出协议的表格化模型;步骤3:检查所述表格化模型的基本错误与异常;步骤4:提取所述事件、协议...
王洁高昊宇李鹏飞吴鑫涛陈志超高骜侯刚孔维强
文献传递
基于Zynq的演化硬件电路设计与实现
2018年
针对复杂度日益递增的电子系统,以人工设计电路的方式无法满足大规模复杂电路设计,提出基于Zynq的演化硬件电路设计方案。该设计通过在Zynq的PS部分利用自适应遗传算法对电路染色体进行快速演化迭代,在PL部分实现虚拟可重构电路加速染色体适应度评估,通过软硬件协同合作,快速收敛得到所需目标电路的配置信息。实验结果表明该设计方案能够高效快速得到满足设计要求的目标电路,对电子电路设计具有一定实用价值。
王洁康俊杰侯刚
关键词:演化硬件遗传算法
一种基于多模型数据增强的工控流量异常检测方法及系统
本发明公开了一种基于多模型数据增强的工控流量异常检测方法,包括:获取实际工控场景中来自上位交换机镜像而出的网络层流量即PCAP包;将所述PCAP包输入至数据增强模块,对数据进行清洗降噪、升维,生成平衡数据;所述平衡数据传...
王洁范搏栋黄文博孔维强侯刚
面向工业控制网络协议的模型构建及代码生成方法
本发明公开了一种面向工业控制网络协议的模型构建和代码生成方法,包括:步骤1:获取至少一种工控网络协议的通信规范,对所述工控网络协议进行刨析;步骤2:刨析后根据所述工控网络协议的通信规范生成模型;步骤3:检测所述模型是否存...
王洁高昊宇陈志超吴鑫涛高骜李鹏飞侯刚
基于MapReduce的Web标签SOINN聚类算法被引量:3
2014年
Web标签有助于用户根据自己特定的兴趣完成信息资源的分类、组织和检索。然而,正是由于协同标记系统特有的公开性、自由化的特点,采用其对信息资源进行描述、组织、分类和检索,存在着信息描述不精确、标签组织混乱和标签语意模糊等问题。在此背景下提出了3种基于特征向量表示法(FVR)的Web标签SOINN聚类算法:基于资源的特征向量表示法、基于其他共现标签的特征向量表示法和基于全集共现标签的特征向量表示法。同时应用MapReduce框架将SOINN算法进行并行化。实验表明,当类中心数量超过2000时,3种分布式聚类FVR算法的召回率和准确度优于原始算法,可获得很好的加速比。从而证明此分布式聚类算法具有很好的可扩展性,可以用于更为海量的Web日志聚类分析系统。
王洁于颜硕周宽久侯刚
关键词:MAPREDUCE
曲折前进模式下战时军事运输方案分析与规划
2016年
战时军事运输需面临更多现实性因素,运输轨迹常常具备回退、迂回等曲折式前进特征,运输时间常常超出预期。针对战时军事运输的运输时间不确定性特征,分析敌方打击破坏以及公路阻抗对运输方案的波动性干扰,使用迂回时延以及路阻时延对运行程间不确定性特征建模,讨论分组运输对运输风险的规避作用,建立以最小运量阻抗为目标的战时分组运输均衡模型,通过K优路径算法以及MSA迭代法求解流量分配方案,最后在改动Nguyen&&Dupuis网络中仿真测试,实验表明该模型对战时军事分组运输方案决策具有积极的指导作用。
郭铖周宽久周勇郝佳亮侯刚
关键词:曲折前进
一种面向硬件逻辑设计的需求建模与验证方法
本发明公开了一种面向硬件逻辑设计的需求建模与验证方法,包括步骤1:获取需求分析阶段划分的功能模块,并将所述功能模块代码填入对应样式的表格中;步骤2:分析填充的、以多样式描述不同功能Verilog HDL语句的表格,记录同...
王洁曹雪邓双敏周宽久侯刚
文献传递
共7页<1234567>
聚类工具0