-
公开(公告)号：CN115902927B
公开(公告)日：2024-04-19
申请号：CN202211347993.0
申请日：2022-10-31
Applicant: 天津大学
Abstract: 本发明提供了用于汽车智能制造的SLAM导航方法，其对汽车组装车间内部原始环境进行SLAM处理，得到内部环境平面地图，并通过零件运送机器人和组装机械手自带的传感设备进行相应环境状态的检测，以此对内部环境平面地图更新，保证内部环境平面地图能够实时反映汽车组装车间的环境变化情况，实现对零件运送机器人和组装机械手的稳定持续导航，提高汽车组装的精确性和可靠性。
-
公开(公告)号：CN102136047A
公开(公告)日：2011-07-27
申请号：CN201110046569.8
申请日：2011-02-25
Applicant: 天津大学
Abstract: 本发明公开了一种基于形式化及统一软件模型的软件可信工程方法，属于软件可信领域，所述方法包括以下步骤：基于形式化语言、传统UML视图，构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型；根据软件可信工程技术架构，进行所述统一软件模型的一致性和有效性验证，并自动生成单元测试实例；构建基于所述统一软件模型的软件安全缺陷知识库；基于所述软件安全缺陷知识库，通过形式化语言定理证明机，发现所述统一软件模型中潜在的软件安全缺陷；并根据所述潜在的软件安全缺陷给出相应的缓和方案。本方法有效的提高了软件质量、消除了设计缺陷、降低了开发成本和提高了可维护性等有益效果，解决了传统软件工程的不足。
-
-
公开(公告)号：CN101452469B
公开(公告)日：2011-03-23
申请号：CN200810154432.2
申请日：2008-12-24
Applicant: 天津大学
Abstract: 本发明公开了一种基于攻击模式的软件安全缺陷数据库系统，包括安全缺陷数据库的构建单元和管理单元以及安全缺陷本体，其特征在于，所述安全缺陷数据库的构建单元包括建立从攻击模式到软件缺陷结构的映射；建立从攻击模式与安全缺陷的映射还包括安全缺陷与对应缓和方案的映射，并将以上两个映射构建成统一的模型；安全缺陷数据库的管理单元包括安全缺陷信息收集、分类两个模块，信息收集基于WEB主题挖掘技术，缺陷分类基于本体技术；本发明同时结合外界的攻击模式分析以及面向安全软件开发周期来构建安全性缺陷数据库模型，以降低软件产品安全缺陷，提高软件质量，从而满足不同阶段对软件安全缺陷实例的不同需求，并且可用于支持安全性缺陷模型的数据服务。
-
公开(公告)号：CN101833505A
公开(公告)日：2010-09-15
申请号：CN201010160946.6
申请日：2010-04-30
Applicant: 天津大学
IPC: G06F11/36
Abstract: 本发明属于软件安全领域，涉及一种软件系统安全缺陷检测方法，通过对大量安全缺陷的研究，抽象出安全缺陷的基本结构并对其进行形式化；然后，基于形式化之后的安全缺陷构建了一个可用于验证的安全缺陷数据库；接着，用扩展了的Z语言对软件开发过程中的各种制品进行形式化，形成一份Z规格；最后，基于可验证的安全缺陷数据库对Z规格进行安全缺陷的自动检测。本发明能够实现在软件开发过程中对安全缺陷进行自动检测，进而提高软件的安全性。
-
Patent Agency Ranking
公开(公告)号：CN115902927A
公开(公告)日：2023-04-04
申请号：CN202211347993.0
申请日：2022-10-31
Applicant: 天津大学
Abstract: 本发明提供了用于汽车智能制造的SLAM导航方法，其对汽车组装车间内部原始环境进行SLAM处理，得到内部环境平面地图，并通过零件运送机器人和组装机械手自带的传感设备进行相应环境状态的检测，以此对内部环境平面地图更新，保证内部环境平面地图能够实时反映汽车组装车间的环境变化情况，实现对零件运送机器人和组装机械手的稳定持续导航，提高汽车组装的精确性和可靠性。
-
公开(公告)号：CN101833505B
公开(公告)日：2012-05-02
申请号：CN201010160946.6
申请日：2010-04-30
Applicant: 天津大学
IPC: G06F11/36
Abstract: 本发明属于软件安全领域，涉及一种软件系统安全缺陷检测方法，通过对大量安全缺陷的研究，抽象出安全缺陷的基本结构并对其进行形式化；然后，基于形式化之后的安全缺陷构建了一个可用于验证的安全缺陷数据库；接着，用扩展了的Z语言对软件开发过程中的各种制品进行形式化，形成一份Z规格；最后，基于可验证的安全缺陷数据库对Z规格进行安全缺陷的自动检测。本发明能够实现在软件开发过程中对安全缺陷进行自动检测，进而提高软件的安全性。
-
公开(公告)号：CN101452469A
公开(公告)日：2009-06-10
申请号：CN200810154432.2
申请日：2008-12-24
Applicant: 天津大学
Abstract: 本发明公开了一种基于攻击模式的软件安全缺陷数据库系统，包括安全缺陷数据库的构建单元和管理单元以及安全缺陷本体，其特征在于，所述安全缺陷数据库的构建单元包括建立从攻击模式到软件缺陷结构的映射；建立从攻击模式与安全缺陷的映射还包括安全缺陷与对应缓和方案的映射，并将以上两个映射构建成统一的模型；安全缺陷数据库的管理单元包括安全缺陷信息收集、分类两个模块，信息收集基于WEB主题挖掘技术，缺陷分类基于本体技术；本发明同时结合外界的攻击模式分析以及面向安全软件开发周期来构建安全性缺陷数据库模型，以降低软件产品安全缺陷，提高软件质量，从而满足不同阶段对软件安全缺陷实例的不同需求，并且可用于支持安全性缺陷模型的数据服务。
-
-
公开(公告)号：CN102104609B
公开(公告)日：2013-06-19
申请号：CN201110065063.1
申请日：2011-03-17
Applicant: 天津大学
IPC: H04L29/06
Abstract: 本发明公开了一种网络协议安全缺陷分析方法，涉及安全软件工程领域，本方法对网络协议进行了分析和总结，提取协议的资源、行为和危害，进行网络协议建模，形成了攻击规则图；根据攻击规则图，对攻击规则图中的节点和参数所有组合进行分析，发现至少一个潜在的攻击模型，采用推理的方式完善规则知识库，对完善后的规则知识库中的攻击模型形式化，建立和攻击模式相应的缓和方案，最终生成了网络协议攻击分析报告；本发明提供的方法更加智能，在协议建模方面，让计算机更加理解协议、抽取出有效信息，后台推理基于规则知识库，克服了现有技术中的不足，满足了实际应用中的需要。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.025 seconds)
