“高金梁”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果32个，建议您升级VIP下载更多相关专利

[发明专利]一种基于仿真的复杂软件系统可靠性指标确定方法-CN202110303948.4有效
发明人：高玉峰;高金梁;闫陈静;张伟;薛琼;牟迪;蔡诗冉 -专利权人：中国航天系统科学与工程研究院
申请日： 2021-03-22 - 公布日： 2023-09-29 - 主分类号： G06F11/34 文献下载
摘要：本发明提供一种基于仿真的复杂软件系统可靠性指标确定方法，属于软件系统可靠性研究技术领域。该方法步骤包括：首先根据软件系统任务需求，划分并构建软件任务阶段模型；然后根据软件系统任务需求及任务阶段模型，构造软件任务剖面集合；接着设置仿真控制参数后，随机抽取软件任务剖面执行仿真，采集各个任务阶段的失效信息；最后根据仿真过程中采集的数据，计算并输出软件系统可靠性指标值。本发明通过对复杂软件系统的任务剖面进行建模与仿真，采集与软件可靠性指标相关的统计量值，最后合理地确定软件可靠性指标。本发明可有效解决常规解析方法难以建立精确的可靠性数学模型或模型太复杂而不便应用的问题。
一种基于仿真复杂软件系统可靠性指标确定方法

[发明专利]一种智能集成装备平台系统贝雷架可周转安装架-CN202310440012.5在审
发明人：骆发江;许广兴;栗世伟;孟召虎;汉光昭;李艳;高金梁;柳满庆;蒋学智;王燕云;张立冬;李隆甫;叶雷 -专利权人：中建三局集团有限公司
申请日： 2023-04-21 - 公布日： 2023-07-21 - 主分类号： E04G3/00 文献下载
摘要：本发明涉及钢平台贝雷架安装技术领域，具体为一种智能集成装备平台系统贝雷架可周转安装架。解决了现有技术中存在的安装贝雷片人工操作难度大和安全性能差的问题。安装架包括吊杆和防护栏杆组成；吊杆包括吊杆主体、吊钩和承托横梁，在吊杆主体的一端设置吊钩，另一端设置承托横梁；所述防护栏杆的底面焊接有平台走道板。所述平台走道板固定于若干吊杆的承托横梁上。本发明提供了一种智能集成装备平台系统贝雷架可周转安装架，具有操作方便、安全便捷、可节省架料费用，人工费用，加快了施工进度，避免部分的安全隐患等优点。
一种智能集成装备平台系统贝雷架可周转安装

[发明专利]一种复杂软件系统安全性分析方法-CN202211716742.5在审
发明人：闫陈静;张伟;薛琼;董子铭;高金梁;赵迪 -专利权人：中国航天系统科学与工程研究院
申请日： 2022-12-29 - 公布日： 2023-05-23 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种复杂软件系统安全性分析方法，利用自顶向下、从系统到配置项的分级研究方法开展复杂软件系统安全性分析，包括软件系统事故产生机理分析、系统级安全性分析和配置项级安全性分析。在系统级安全性分析阶段，通过确定系统危险、构建软件系统控制结构模型、识别不安全控制行为及控制器约束、识别致因场景，得到系统级安全性需求及系统危险事件；在配置项级安全性分析阶段，利用信息流传递技术与故障树分析技术将系统级输出的安全需求与危险事件转化为配置项级的安全性需求与危险事件，结合系统级安全性分析结果，利用双向安全性分析和软件故障树分析进行软件系统配置项级安全性分析，得到较为正确完备的复杂软件系统安全性需求。
一种复杂软件系统安全性分析方法

[发明专利]一种基于AHP和BPNN的软件测试机构综合评估方法及系统-CN202211538600.4在审
发明人：刘文红;高金梁;董冠涛;赵迪;孟小娟;沈玥;闫陈静;付志伟;王叶茵;薛琼;郭栋;张伟 -专利权人：中国人民解放军63921部队;中国航天系统科学与工程研究院
申请日： 2022-12-01 - 公布日： 2023-04-07 - 主分类号： G06Q10/0639 文献下载
摘要：本申请涉及一种基于AHP和BPNN的软件测试机构综合评估方法及系统，其中，该方法包括：基于一测试机构评估指标及一测试项目评估指标分别构建测试机构评估指标体系、测试项目评估指标体系；基于测试机构评估指标利用层次分析法建立一测试机构基础评估模型；基于测试项目评估指标利用层次分析法及BPNN建立并训练一测试项目基础评估模型；利用层次分析法将测试机构基础评估模型和预选数量的测试项目平均评估模型进行综合得到综合评估模型；采集测试机构评估指标、测试项目评估指标输入至综合评估模型，计算得到评估结果。通过本申请，实现了综合、快速评估软件测试机构，为评估任务下达方的任务分配决策提供数据支持。
一种基于 ahp bpnn 软件测试机构综合评估方法系统

[发明专利]一种智能施工装备集成平台的吊挂架先装法施工方法-CN202211619347.5在审
发明人：骆发江;许广兴;栗世伟;余自强;孟召虎;汉光昭;李艳;刘恒;高金梁;柳满庆;蒋学智;王燕云;张立冬;李隆甫;叶雷;李劲;刘凯 -专利权人：中建三局集团有限公司
申请日： 2022-12-14 - 公布日： 2023-03-14 - 主分类号： E04G3/28 文献下载
摘要：本发明涉及建筑吊挂架施工领域，具体为一种智能施工装备集成平台的吊挂架先装法施工方法。包括：首层结构施工时，预拼装两步由内吊杆和外吊杆组成的挂架吊杆；挂架吊杆吊装到位后搭设抛撑；搭设内吊杆和外吊杆与墙体连接的连墙件；主体施工至二层时，挂架吊杆向上延接，并搭设横梁和走道板，后安装立面防护网片；三层结构浇筑完毕后，挂架吊杆、横梁及走道板持续向上搭设直至贝雷架高度，预拼装贝雷架，调整位置与挂架吊杆相连；完成后拆除连墙件。本申请通过对吊挂架系统的设计优化，在首层施工时采用先装法安装“造楼机”吊挂架系统，减免传统落地式脚手架，在很大程度上加快了工期，节约了人工，节省了材料。
一种智能施工装备集成平台吊挂架先装法方法

[发明专利]一种基于索引融合和伪反馈的语音检索方法-CN202211145235.0在审
发明人：王叶茵;朱盛录;周保平;邱自成;高金梁;薛琼;邬欢欢;吴刚;韩天红 -专利权人：中国航天系统科学与工程研究院
申请日： 2022-09-20 - 公布日： 2022-12-09 - 主分类号： G06F16/31 文献下载
摘要：本发明提供了一种基于索引融合和伪反馈的语音检索方法，包括以下步骤：由不同语音识别系统对待检索语音文档进行识别生成Lattice；将Lattice转换为混淆网络；基于各系统混淆网络分别建立倒排索引表；利用索引融合对各索引表相同索引项的置信度进行更新，形成新的索引表；接收用户输入的检索关键词进行检索排序，得到初次候选结果集合；利用候选结果与伪相关音频集、伪不相关音频集的声学特征相似度作为伪反馈，重新计算初次候选结果的相关度得分；依据新的相关度得分对检索结果进行重排序，输出满足要求的语音文档。与现有技术相比，本发明能够减少重复检索，提高语音识别结果置信度的可靠性以及检索结果排序准确性。
一种基于索引融合反馈语音检索方法

[发明专利]一种轮式混凝土布料机-CN202210839237.3在审
发明人：骆发江;栗世伟;雷宏祥;孟召虎;谷煜科;汉光昭;杨荣;李艳;李文阳;李明金;高金梁;万超;苟晓刚;高路;柳满庆;姜龙;王克明;叶雷;高宇霞;李隆甫;蒋学智;李世甲 -专利权人：中建三局集团有限公司
申请日： 2022-07-18 - 公布日： 2022-09-30 - 主分类号： E04G21/04 文献下载
摘要：本发明属于混凝土工程机械设备的制造领域，具体涉及一种用于将混凝土输送到待浇筑位置的轮式混凝土布料机。其包括轨道，移动机构，布料管道，支架，回旋机构，后壁架，悬架总成，所述回旋机构的底部与支架铰接，支架的底部可拆卸的与移动机构连接，使用时移动机构与轨道配合用于驱动整个布料机，移动机构的底部设有清扫机构，清扫机构用于清扫轨道上的杂物；所述布料管道的底部与支架固定；所述回旋机构与支架可拆卸连接；所述后壁架安装在回旋机构的左侧，悬架总成安装在回旋机构的右侧；所述轨道的起始位置和末端设有机械限位挡座，机械限位挡座作为最后一道保护装置。本发明是一种安全等级高、灵活高操作方便的轮式混凝土布料机。
一种轮式混凝土布料

[发明专利]一种自助陪练语音提示器及控制方法-CN202111624941.9在审
发明人： 高金梁 -专利权人： 高金梁
申请日： 2021-12-28 - 公布日： 2022-04-26 - 主分类号： B60W50/14 文献下载
摘要：本发明提出了一种自助陪练语音提示器及控制方法，涉及汽车陪练技术领域。其包括踏板组件，踏板组件包括油门脚踏板、刹车脚踏板和离合脚踏板；感应组件包括多个压力传感器，多个压力传感器分别设置于油门脚踏板、刹车脚踏板和离合脚踏板上，且分别被设置用于得到油门压力信号、刹车压力信号和离合压力信号；控制组件包括处理模块和语音模块，处理模块被设置用于处理油门压力信号、刹车压力信号和离合压力信号，并得到与其相互匹配的传感信号，并将传感信号传递到语音模块中，语音模块被设置用于根据传感信号发出相匹配的语音指令。该提示器具有能够起到指挥用户合理操作汽车的油门脚踏板、刹车脚踏板和离合脚踏板的作用，减少人力成本。
一种自助陪练语音提示控制方法

[发明专利]一种基于可靠性框图的软件可靠性指标分配方法、介质及设备-CN202110321730.1在审
发明人： 高金梁;高玉峰;闫陈静;孟小娟;张伟;陈漠 -专利权人：中国航天系统科学与工程研究院
申请日： 2021-03-25 - 公布日： 2021-08-06 - 主分类号： G06F11/34 文献下载
摘要：本发明提供一种基于可靠性框图的软件可靠性指标分配方法、介质及设备，属于软件可靠性研究技术领域。该方法步骤包括：首先，划分软件模块并定义各个模块可靠性提升困难度信息；其次，根据软件任务需求，由软件模块构造软件可靠性框图模型；然后，根据可靠性框图模型得到软件可靠性数学模型；接着，根据软件可靠性数学模型及可靠性困难度信息，将软件可靠性指标要求向下迭代进行可靠性指标分配；最后，输出软件可靠性指标分配结果。本发明可有效解决常规的等分配、再分配法因不考虑软件模块差异而导致分配结果不够合理的问题。
一种基于可靠性框图软件指标分配方法介质设备

[发明专利]一种面向软件生命周期的装备软件测试性设计方法-CN202110484004.1在审
发明人：孟小娟;高玉峰;高金梁;陈漠;闫陈静;马亮;薛琼;牟迪 -专利权人：中国航天系统科学与工程研究院
申请日： 2021-04-30 - 公布日： 2021-08-03 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种面向软件生命周期的装备软件测试性设计方法，属于软件测试性研究技术领域。该方法步骤包括：首先根据软件生命周期各个阶段的研制任务以及软件开发设计的实际需求，制定软件测试性设计准则的分类方案；然后按照分类方案，考虑软件测试性的影响因素，设计出装备软件测试性通用设计准则；结合层次分析法，构建软件测试性度量框架；采用模糊综合评价方法度量应用设计准则后的软件测试性；本发明可以提升软件的测试效率和有效性，使软件开发活动和过程更加规范化、程序化和标准化，确保软件质量最终满足要求。
一种面向软件生命周期装备测试设计方法

[发明专利]一种基于故障树的待验属性提取方法、介质及设备-CN201911056677.6在审
发明人：张伟;曲以堃;陈漠;闫陈静;高金梁;梦小娟;薛琼 -专利权人：中国航天系统科学与工程研究院
申请日： 2019-10-31 - 公布日： 2020-05-08 - 主分类号： G06F11/36 文献下载
摘要：一种基于故障树的待验属性提取方法、介质及设备，属于故障树分析技术领域。本发明的步骤包括，首先，通过对传统故障树中引入的时序逻辑关系对应的逻辑门来描述嵌入式软件的动态行为，对嵌入式软件组件故障之间的时序关系进行时序故障树建模；然后，定义基于时序故障树的约简策略，在保障顶事件对应故障不被消除的前提下，不断消除冗余故障；最后，通过属性求解算法得到包含顶事件故障的待验属性。本发明通过在传统故障树中引入时序算子来提取待验属性，能够有效提高软件验证领域待验属性提取效率，解决了传统软件安全性验证领域中待验属性提取困难的问题。
一种基于故障属性提取方法介质设备

[发明专利]一种网络安全度量指标体系区分度评价模型-CN201910271736.5在审
发明人：马锐;葛慧;顾升高;王克克;靳骁;张伟;高金梁 -专利权人：中国航天系统科学与工程研究院
申请日： 2019-04-04 - 公布日： 2019-07-26 - 主分类号： H04L12/24 文献下载
摘要：本发明公开了一种网络安全度量指标体系区分度评价模型，假设待评价对象度量指标体系有N级，N大于等于2，则从N‑1级指标区分度开始计算，然后计算N‑2级指标区分度，……，直至二级指标区分度、一级指标区分度，从而计算得出指标体系整体区分度。本发明具体给出了每一级区分度的计算方法。本发明为客观评价对象建立指标评价矩阵，基于评价因素构建数学模型，并将指标重要程度作为合理性影响因子对指标区分度进行修正，从而实现指标体系性能评价，体现了主观和客观的有机融合。
区分度度量指标体系评价模型网络安全指标体系主观和客观矩阵对象建立二级指标客观评价评价对象数学模型性能评价一级指标影响因子有机融合指标评价每一级构建合理性修正

[发明专利]一种Spacewire网络延时测试及优化系统-CN201510993565.9有效
发明人：巴峰;陈湘陇;经小川;王华茂;梁学俊;孙波;闫金栋;聂英杰;雷沃宁;佟轶;高金梁;詹海潭;费晰 -专利权人：北京信息控制研究所;北京空间飞行器总体设计部;江苏省产品质量监督检验研究院
申请日： 2015-12-25 - 公布日： 2018-11-23 - 主分类号： H04L12/26 文献下载
摘要：一种Spacewire网络延时测试及优化系统，包括人机交互接口、中央处理单元、基于PCI总线的双向通讯控制链路和专用Spacewire节点控制器；中央处理单元根据用户通过人机交互接口输入的配置参数生成数据包，通过基于PCI总线的双向通讯控制链路发送给专用Spacewire节点控制器，专用Spacewire节点控制器实时计算每个数据包在Spacewire网络中的时延参数，中央处理单元根据时延参数对Spacewire网络进行全局优化，得到优化结果提供给人机交互接口。本发明实现了对Spacewire网络的延时测试，测得的时延参数准确，可靠性高，实时性强，同时对被测Spacewire网络进行了优化，用户根据优化结果对Spacewire网络进行优化，能够有效提高Spacewire网络的效率。
一种 spacewire 网络延时测试优化系统

[发明专利]一种软件运行时故障定位方法-CN201611102015.4有效
发明人：薛惠锋;闫陈静;张伟;葛慧;经小川;高金梁;傅艳;张博;吕宏宇 -专利权人：中国航天系统科学与工程研究院
申请日： 2016-12-02 - 公布日： 2018-08-31 - 主分类号： G06F11/30 文献下载
摘要：本发明提供了一种软件运行时故障定位方法，该方法包括静态准备阶段、动态运行阶段和故障定位阶段；其中：在静态准备阶段，即在软件系统运行之前，根据软件系统的高层需求描述，确定性质规约，然后根据该性质规约在软件系统中插装代码、部署探针，并构造运行时监控器；在动态运行阶段，即在软件运行的过程中，插装代码采集软件系统运行时设定监控变量的变化信息，监控器根据该变化信息，对软件系统执行情况进行是否符合性质规约的验证，探针记录软件系统的执行路径。在故障定位阶段，根据软件执行路径和监控器验证结果，进行统计分析实现软件系统故障定位。
一种软件运行故障定位方法

[发明专利]一种基于遗传算法的软件代码混淆操作选择方法-CN201710179465.1有效
发明人：薛惠锋;王潇茵;巴峰;张伟;葛慧;李宁;高金梁 -专利权人：中国航天系统科学与工程研究院
申请日： 2017-03-23 - 公布日： 2018-08-31 - 主分类号： G06F21/14 文献下载
摘要：一种基于遗传算法的软件代码混淆操作选择方法，首先建立混淆操作模块库；然后对待混淆的可执行程序进行反汇编，从代码入口处开始寻找代码中的CALL、JUMP和XOR代码段，作为混淆操作的加入位置；从混淆操作模块库中随机选取多个混淆操作，并组合，形成N种混淆操作分配方式；最后采用遗传算法，对形成的N种混淆操作分配方式进行优化筛选，筛选出最优混淆操作分配方式。本发明方法能够综合考虑程序响应时间和代码混淆程度两个因素，对可执行程序的代码混淆操作进行筛选，在对软件代码进行有效充分混淆的前提下，尽量提高程序响应时间，极大的减少程序混淆对于程序执行效率的影响。
一种基于遗传算法软件代码混淆操作选择方法

1
2
3
下一页»
尾页
共 32 条