您的位置： 专家智库 > >

邢金亮

作品数：13 被引量：1H指数：1
供职机构：天津大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 12篇专利
  • 1篇学位论文

领域

  • 5篇自动化与计算...

主题

  • 4篇软件质量
  • 4篇数据库
  • 4篇汽车
  • 3篇形式化
  • 3篇软件产品
  • 3篇软件工程
  • 2篇导航方法
  • 2篇地图
  • 2篇有效信息
  • 2篇语言
  • 2篇知识库
  • 2篇软件开发
  • 2篇软件开发过程
  • 2篇软件模型
  • 2篇软件系统
  • 2篇数据服务
  • 2篇数据库模型
  • 2篇平面地图
  • 2篇汽车零件
  • 2篇汽车装配

机构

  • 13篇天津大学

作者

  • 13篇邢金亮
  • 8篇李晓红
  • 3篇曹燕
  • 3篇丁刚刚
  • 3篇刘然
  • 3篇许光全
  • 2篇胡昌
  • 2篇宋金瓯
  • 2篇曹飞
  • 2篇李志军
  • 2篇刘丰煦
  • 2篇王建刚
  • 2篇孟国柱
  • 2篇杜洪伟
  • 2篇王斌
  • 2篇余小飞
  • 1篇曹坤宇
  • 1篇陈世展
  • 1篇饶国政

年份

  • 2篇2024
  • 2篇2023
  • 1篇2013
  • 1篇2012
  • 3篇2011
  • 3篇2010
  • 1篇2009
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种软件系统安全缺陷检测方法
本发明属于软件安全领域，涉及一种软件系统安全缺陷检测方法，通过对大量安全缺陷的研究，抽象出安全缺陷的基本结构并对其进行形式化；然后，基于形式化之后的安全缺陷构建了一个可用于验证的安全缺陷数据库；接着，用扩展了的Z语言对软...
李晓红王建刚曹燕邢金亮杜洪伟
文献传递
一种基于形式化及统一软件模型的软件可信工程方法
本发明公开了一种基于形式化及统一软件模型的软件可信工程方法，属于软件可信领域，所述方法包括以下步骤：基于形式化语言、传统UML视图，构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型；根据软件可信工程技术...
李晓红曹坤宇陈世展饶国政邢金亮曹燕
文献传递
基于形式化方法的统一软件模型及其应用
随着计算机应用的不断发展,在信息社会中发挥着至关重要的作用。但是软件的生产现状不能令人满意,软件安全事故、软件质量问题、软件扩展问题已经带来了巨大的损失。国内外专家及行业巨头已经将软件的可信性作为软件的一个重要属性,然而...
邢金亮
关键词：软件工程形式化方法
文献传递
用于汽车智能制造的智能立体库管理系统
本发明提供了用于汽车智能制造的智能立体库管理系统，其与汽车装配工位相互配合，以汽车装配工位的实时装配进度为基准，对立体库存放的零件进行准确的定位和抓取，保证快速准确地抓取得到合适的零件，和对抓取得到的零件进行备案记录，提...
曹飞李志军邢金亮
用于汽车智能制造的智能立体库管理系统
本发明提供了用于汽车智能制造的智能立体库管理系统，其与汽车装配工位相互配合，以汽车装配工位的实时装配进度为基准，对立体库存放的零件进行准确的定位和抓取，保证快速准确地抓取得到合适的零件，和对抓取得到的零件进行备案记录，提...
曹飞李志军邢金亮
基于攻击模式的软件安全缺陷库系统及其管理方法
本发明公开了一种基于攻击模式的软件安全缺陷数据库系统，包括安全缺陷数据库的构建单元和管理单元以及安全缺陷本体，其特征在于，所述安全缺陷数据库的构建单元包括建立从攻击模式到软件缺陷结构的映射；建立从攻击模式与安全缺陷的映射...
李晓红许光全刘然丁刚刚邢金亮
文献传递
用于汽车智能制造的SLAM导航方法
本发明提供了用于汽车智能制造的SLAM导航方法，其对汽车组装车间内部原始环境进行SLAM处理，得到内部环境平面地图，并通过零件运送机器人和组装机械手自带的传感设备进行相应环境状态的检测，以此对内部环境平面地图更新，保证内...
王斌宋金瓯邢金亮
加入攻击路径形式化分析的威胁建模方法
本发明公开了一种加入攻击路径形式化分析的威胁建模方法，在软件设计阶段通过UML活动图分解应用程序或系统，提取软件缺陷信息，进行威胁建模，该方法包括以下步骤：创建用例建模；创建应用程序或系统的概图；使用活动图分解应用程序或...
李晓红邢金亮许光全刘然丁刚刚
文献传递
基于攻击模式的软件安全缺陷库系统及其管理方法
本发明公开了一种基于攻击模式的软件安全缺陷数据库系统，包括安全缺陷数据库的构建单元和管理单元以及安全缺陷本体，其特征在于，所述安全缺陷数据库的构建单元包括建立从攻击模式到软件缺陷结构的映射；建立从攻击模式与安全缺陷的映射...
李晓红许光全刘然丁刚刚邢金亮
文献传递
用于汽车智能制造的SLAM导航方法
本发明提供了用于汽车智能制造的SLAM导航方法，其对汽车组装车间内部原始环境进行SLAM处理，得到内部环境平面地图，并通过零件运送机器人和组装机械手自带的传感设备进行相应环境状态的检测，以此对内部环境平面地图更新，保证内...
王斌宋金瓯邢金亮
全选 清除 导出
共2页<12>
聚类工具0