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

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

[发明专利]一种电子设备控制系统的仿真方法、装置、设备及存储介质-CN202310514199.9在审
发明人： 史建琦;黄滟鸿;肖思慧 -专利权人：上海丰蕾信息科技有限公司
申请日： 2023-05-08 - 公布日： 2023-09-08 - 主分类号： G06F9/455 文献下载
摘要：本申请提供了一种电子设备控制系统的仿真方法、装置、设备及存储介质，所述方法包括：对目标电子设备控制系统进行分析，确定目标电子设备控制系统的运行要素；基于所述目标电子设备控制系统的运行要素，构建目标电子设备控制系统SysML模型；根据预设的模型转换方法，将目标电子设备控制系统SysML模型转换为目标电子设备控制系统Simulink模型；基于所述目标电子设备控制系统Simulink模型对所述目标电子设备控制系统进行仿真。本申请中，通过确定SysML模型与Simulink模型的运行元素映射的方式，将目标系统SysML模型转换为目标系统Simulink模型，从而使得SysML模型可以复用Simulink工具，达到更佳的电子设备控制系统仿真效果和分析效果。
一种电子设备控制系统仿真方法装置设备存储介质

[发明专利]决策树模型公平性度量的获取方法、装置、电子设备及存储介质-CN202211088261.4在审
发明人： 史建琦;黄滟鸿;王艳 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-09-07 - 公布日： 2023-06-23 - 主分类号： G06N5/01 文献下载
摘要：本申请公开了一种决策树模型公平性度量的获取方法、装置、电子设备及存储介质。所述方法包括：根据预定义复合敏感群体解析决策树模型；计算决策树模型的各决策节点在敏感群体条件下的概率分布；为所述决策树模型构建PCSP#模型；对所述PCSP#模型进行概率模型检查，得到当前敏感群体阳性预测值；遍历所有所述敏感群体，通过不同公平性定义计算得到公平性度量。该方法基于概率模型检查对决策树模型进行公平性验证，为模型公平性提供了形式化保证；考虑了复合敏感属性的情况，能够处理除了布尔值以外的属性，提供了更丰富的公平性维度；提供了灵活的公平性定义，从不同的公平性角度进行验证。
决策树模型公平性度量获取方法装置电子设备存储介质

[发明专利]一种针对PLC程序的自动测试方法、装置、设备及介质-CN202211415354.3在审
发明人：黄滟鸿;史建琦;路则雨 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-11-11 - 公布日： 2023-04-04 - 主分类号： G06F11/36 文献下载
摘要：本申请涉及程序产品测试技术领域，更为具体来说，本申请涉及一种针对PLC程序的自动测试方法、装置、设备及介质。所述方法包括：获取待进行自动测试的PLC程序，并对PLC程序进行静态分析，得到PLC程序的语句的输入输出关系；根据语句的输入输出关系对PLC程序进行插桩，并将插桩后的PLC程序作为目标程序；为目标程序生成测试用例，根据测试用例自动测试执行目标程序，并在自动测试执行目标程序的同时从执行轨迹中挖掘目标程序的不变性；将挖掘出的目标程序的不变性作为待检测不变性，并根据预设规范检测待检测不变性。本申请不仅能检查PLC程序的设计缺陷，且能发现源程序的具体实现错误，进而提升了测试效率。
一种针对 plc 程序自动测试方法装置设备介质

[发明专利]一种针对PLC程序的回归测试方法、装置及计算机设备-CN202211326552.2在审
发明人： 史建琦;黄滟鸿;路则雨 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-10-25 - 公布日： 2023-03-28 - 主分类号： G06F11/36 文献下载
摘要：本申请涉及程序产品测试技术领域，更为具体来说，本申请涉及一种一种针对PLC程序的回归测试方法、装置及计算机设备。所述方法包括：获取待进行回归测试的PLC程序，并将待进行回归测试的PLC程序作为目标程序；基于控制依赖关系和数据依赖关系构建所述目标程序的程序切片，其中，所述程序切片包含有目标程序中修改后的语句和切片标准；为所述程序切片生成测试用例，并根据所述测试用例测试执行所述程序切片；根据所述程序切片的测试执行轨迹中的输入输出对挖掘所述目标程序中事件发生的时间不变性。本申请能确保PLC程序修改后的部分满足新规范，使修改后的PLC程序得以高效测试，并在测试后能精准地挖掘出事件的时间不变性，进而提升了测试效率。
一种针对 plc 程序回归测试方法装置计算机设备

[发明专利]基于SysML的智能驾驶系统建模方法、装置、设备及介质-CN202211330200.4在审
发明人：黄滟鸿;史建琦;肖思慧 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-10-27 - 公布日： 2023-03-21 - 主分类号： G05B19/042 文献下载
摘要：本申请公开了一种基于SysML的智能驾驶系统建模方法、装置、设备及介质，所述方法包括：对智能驾驶系统的功能需求进行分析，得到所述智能驾驶系统的运行要素；采用自然语言描述所述智能驾驶系统的运行要素；根据自然语言描述的智能驾驶系统的运行要素，以及SysML建模语言，构建所述智能驾驶系统模型。根据本申请实施例提供的基于SysML的智能驾驶系统建模方法，应用MBSE结合SysML建模语言标准进行智能驾驶系统设计，可以实现以模型驱动代替文档设计的方法，可以对系统的架构、功能和性能描述更加清晰明了。能够提高系统管理效率，提高模型的复用率，指导智能驾驶系统的开发工作。
基于 sysml 智能驾驶系统建模方法装置设备介质

[外观设计]交换机设备-CN202230386041.4有效
发明人：王俊岭;史建琦;黄滟鸿 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-06-22 - 公布日： 2023-03-14 - 主分类号： 14-03 文献下载
摘要：1.本外观设计产品的名称：交换机设备。2.本外观设计产品的用途：本外观设计产品用于网络的传输。3.本外观设计产品的设计要点：在于形状与图案的结合。4.最能表明设计要点的图片或照片：立体图。5.本外观设计产品的后视图为使用时不容易看到或看不到的部位，省略后视图。
交换机设备

[发明专利]队列车辆驾驶控制模型的生成方法、装置、设备及介质-CN202211282371.4在审
发明人： 史建琦;黄滟鸿;许靖雯 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-10-19 - 公布日： 2023-02-03 - 主分类号： G06Q10/067 文献下载
摘要：本申请公开了一种队列车辆驾驶控制模型的生成方法、装置、设备及介质。该生成方法包括：对队列车辆驾驶场景信息进行抽象，得到用于描述场景特征的抽象模型；基于所述抽象模型设置基本空间逻辑，得到驾驶场景空间约束；基于所述驾驶场景空间约束扩展多智能体空间逻辑，得到驾驶场景的多智能体空间约束；基于所述多智能体空间约束，结合时间自动机模型，生成队列车辆驾驶控制模型。本申请实施例提供的一种队列车辆驾驶控制模型的生成方法，能够生成队列车辆驾驶控制模型，以模拟队列车辆之间的各种驾驶行为，从而为研发人员提供数据参考。
队列车辆驾驶控制模型生成方法装置设备介质

[发明专利]抽取需求数据中时态逻辑的方法及系统-CN202211288970.7在审
发明人： 史建琦;黄滟鸿;田苗 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-10-20 - 公布日： 2023-01-17 - 主分类号： G06F8/10 文献下载
摘要：本申请公开了一种抽取需求数据中时态逻辑的方法及系统。通过应用本申请的技术方案，可以实现一种完整的对自然语言技术的需求数据进行关键字段提取以及逻辑性质自动挖掘的技术方案。进而达到无需人工阅读和理解大量的自然语言需求数据的目的。本申请借助自然语言处理技术和形式化方法，完全自动化的对需求数据中的性质进行挖掘和分析，可以快速发现自然语言需求数据中的错误和不一致性，提升需求数据的质量，很大程度上保证后续业务处理的及时性。
抽取需求数据时态逻辑方法系统

[实用新型]壳体及交换机-CN202221575652.4有效
发明人：王俊岭;史建琦;黄滟鸿 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-06-22 - 公布日： 2022-12-16 - 主分类号： H04Q1/02 文献下载
摘要：本实用新型具体涉及一种壳体及交换机，该壳体包括主体、旋转件和限位组件。其中，旋转件可旋转的安装在主体上，旋转件具有接口、第一限位槽和第二限位槽。限位组件设于主体上，限位组件包括限位块，限位块可在第一限位槽和第二限位槽两者之间切换，旋转件旋转至接口面向第一朝向时，限位块与第一限位槽配合以限制旋转件转动；旋转件旋转至接口面向第二朝向时，限位块与第二限位槽配合以限制旋转件转动。本实用新型所述壳体通过将旋转件可旋转设在主体上，实现了接口的朝向可调。同时，限位块与第一限位槽和第二限位槽的匹配，限定了旋转件的转动，有效解决了现有技术中因安装空间不足而导致网络设备固定后，不易进行接线的问题。
壳体交换机

[发明专利]一种基于组件模型的软件开发方法、装置、设备及介质-CN202211085520.8在审
发明人：黄滟鸿;史建琦;王艳 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-09-06 - 公布日： 2022-12-02 - 主分类号： G06F8/36 文献下载
摘要：本公开涉及一种基于组件模型的软件开发方法、装置、设备及介质，所述方法包括：根据待开发软件的需求构建基于组件模型的第一开发组件；基于所述待开发软件的应用场景对所述第一开发组件进行封装和通信适配得到第二开发组件；将所述第二开发组件结合实际运行环境打包上传至云端组件库；根据所述待开发软件的架构从所述云端组件库中调取需要的所述第二开发组件以进行软件开发。本公开为基于组件开发的工业控制系统设计了软件架构并给出了实现方案。通过结合容器技术和发布订阅式中间件等技术手段，实现组件模型中赋予软件组件的灵活性和可扩展性，并提供有效的运行时支持和管理功能；贴合工业控制系统需求。
一种基于组件模型软件开发方法装置设备介质

[发明专利]一种时间触发网络框架的构建方法及应用其的网络框架-CN202210939839.6在审
发明人：黄滟鸿;史建琦;曹宗钰 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-08-05 - 公布日： 2022-11-29 - 主分类号： H04L41/14 文献下载
摘要：本申请涉及数据传输及通信技术领域，更为具体来说，本申请涉及一种时间触发网络框架的构建方法及应用其的网络框架。所述方法包括：基于数据流到达时间触发网络中任一组件节点的到达曲线构建数据模型；根据时间触发网络中任一组件节点的流量处理性能的服务曲线构建资源模型；针对时间触发网络中的单个组件节点，将接收数据流的到达曲线和服务曲线和传出数据流的到达曲线和服务曲线关联，形成组件模型；基于所述数据模型、所述资源模型和所述组件模型构建时间触发网络框架。本申请所述方法能实时演算时间触发网络的各项性能的硬上下界，包括传输过程中数据流量的延迟边界、内存边界和网络资源的利用率。
一种时间触发网络框架构建方法应用

[发明专利]交通信号时序逻辑验证方法、装置及电子设备-CN202210946016.6在审
发明人：黄滟鸿;史建琦;田苗 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-08-08 - 公布日： 2022-11-29 - 主分类号： G08G1/097 文献下载
摘要：本发明公开了一种交通信号时序逻辑验证方法、装置及电子设备。其中，上述方法包括：获取目标驱动组件对应的目标文件，所述目标驱动组件为基于可视化仿真工具构建的用于控制交通信号控制的驱动组件；将所述目标文件进行解析，并根据解析结果构建预设类型的规则集合；基于预设转换模式将所述预设类型的规则集合转换为参考时间自动机；根据预设的符号执行算法对所述参考时间自动机进行简化，得到目标时间自动机；基于所述目标时间自动机验证目标驱动组件中的交通信号时序逻辑是否满足标准模板库的规则。本发明解决了相关技术中难以有效判断通过Simulink开发的交通信号控制的嵌入式系统，是否支持处理连续时间上实值信号的变化情况的技术问题。
交通信号时序逻辑验证方法装置电子设备

[发明专利]一种驾驶模型确定方法和系统-CN202210784917.X在审
发明人： 史建琦;黄滟鸿;许婧雯 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-07-05 - 公布日： 2022-11-11 - 主分类号： G06F30/20 文献下载
摘要：本申请实施例公开了一种驾驶模型确定方法和系统，所述方法包括：根据驾驶场景中的全局地图信息、交通快照和观测区域信息构建驾驶场景模型；根据观测区域中的空间场景信息和空间方位指示算子确定目标车辆的驾驶约束条件；根据目标车辆的状态集合、守卫条件集合和动作集合构建目标车辆的驾驶模型；所述状态集合为所述驾驶场景模型中目标车辆的驾驶场景记录的状态表示的集合；所述守卫条件集合为基于目标车辆的驾驶约束条件定义的状态转移的判断条件的集合；所述动作集合为目标车辆基于当前场景的决策的集合。通过对驾驶场景抽象建模以及具体场景下的空间约束，将车辆的决策控制器建模为驾驶模型，科学进行驾驶决策的制定。
一种驾驶模型确定方法系统

[发明专利]一种车辆并道方法和系统-CN202210710458.0在审
发明人： 史建琦;黄滟鸿;许婧雯 -专利权人：上海丰蕾信息科技有限公司
申请日： 2022-06-22 - 公布日： 2022-11-04 - 主分类号： G08G1/0967 文献下载
摘要：本申请实施例公开了一种车辆并道方法和系统，所述方法包括：车队服务器接收待并道车辆的并道请求；所述并道请求携带所述待并道车辆的实时位置和预期位置；向所述车队的所有车辆发送待并道车辆监测消息，以获取所述车队中的每个车辆相对于所述待并道车辆的位置关系；根据所述车队中的每个车辆相对所述待并道车辆的位置关系和实时车速确定所述车队中的每个车辆的局部知识标签；根据所述车队的全局知识标签确定实时并道结果；所述车队的全局知识标签是根据所述车队中的每个车辆的局部知识标签确定的；将所述实时并道结果发送至所述待并道车辆和所述车队的每个车辆，以执行所述实时并道结果。高效进行并道决策，保障了车辆的安全。
一种车辆方法系统

[发明专利]结合自注意力机制的模糊测试漏洞挖掘方法-CN202210224290.2在审
发明人：郭欣;杨洋;史建琦;黄滟鸿;吕万友 -专利权人：华东师范大学
申请日： 2022-03-07 - 公布日： 2022-07-22 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘方法，包括数据捕获步骤，数据预处理步骤，模型搭建步骤，模型训练步骤，以及模糊测试数据生成步骤，通过上述方法对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的工控系统通信数据，将生成的数据发送到待测试的工控系统，并记录系统产生的异常行为进而来发现工控系统的漏洞，并且不需要利用协议规范，解决了传统的网络协议模糊测试方法严重依赖于协议规范的问题。提前发现潜在的威胁并进行修补，对保障国家基础设施安全，制造业安全，人民安全都具有重要现实意义。
结合注意力机制模糊测试漏洞挖掘方法

1
2
3
4
5
6
7
8
9
10
11
下一页»
尾页
共 163 条