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

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

[实用新型]一种可信传感器-CN202321234012.1有效
发明人：夏西;何积丰;涂涛;申瑞琪;赵洋;孙铫;郭峥嵘 -专利权人：上海容昶智能科技有限公司
申请日： 2023-05-22 - 公布日： 2023-09-19 - 主分类号： G01D11/00 文献下载
摘要：本实用新型公开了一种可信传感器，包括传感器壳，所述传感器壳的上端面对称设置有两个探测头，所述探测头与传感器壳垂直固定连接，所述探测头上套设有防护组件，所述防护组件通过螺钉与传感器壳的上端面固定连接，所述探测头上还安装信号传输线，所述信号传输线的下端固定连接有插接头。本实用新型通过将传感器壳设计为顶壳和底壳相互扣合的结构，同时通过连接螺杆和螺母来进行锁定，方便更好地进行拆装操作，同时通过连接中板来将两端的防护壳固定在探测头上，实现对探测头下端以及与金属环连接部分进行防护，增加传感器使用过程中的安全性，具有易于安装和安全使用的优点。
一种可信传感器

[发明专利]一种可信智慧交通管理系统-CN202310566557.0在审
发明人：夏西;何积丰;涂涛;申瑞琪;赵洋;孙铫;郭峥嵘 -专利权人：上海容昶智能科技有限公司
申请日： 2023-05-19 - 公布日： 2023-08-11 - 主分类号： G08G1/0955 文献下载
摘要：本发明公开了一种可信智慧交通管理系统，包括：可信云计算平台、数据传输模块和移动指挥装置，所述移动指挥装置通过数据传输模块与可信云计算平台信息交互，且移动指挥装置包括移动座箱、定位架、升降架、多向路灯和智慧检测机构，所述定位架安装在移动座箱的下端，且定位架与移动座箱垂直滑动连接，所述移动座箱中安装有控制定位架升降的控制组件。本发明通过将移动指挥装置移动到相应的路口进行安装，然后通过内置的数据传输模块来与可信云计算平台进行信息交互，保证控制中心人员可以通过可信云计算平台来对移动指挥装置进行控制或者信息获取，易于操作人员可以根据不同方向的车流量来调控各个方向的红绿灯占比。
一种可信智慧交通管理系统

[发明专利]智能配电物联安全认证系统-CN202211673961.X在审
发明人：段祥骏;张琳;许媛媛;林奕夫;陈雪;朱俊伟;何锋;孙歆;吕磅;戴桦;孙昌华;汪溢镭;何积丰;汤晓冬;唐仁杰;徐梦宇;边珊 -专利权人：中国电力科学研究院有限公司;国家电网有限公司;国网福建省电力有限公司;国网福建省电力有限公司经济技术研究院;国网浙江省电力有限公司;上海华科智谷人工智能研究院;上海物盾信息科技有限公司
申请日： 2022-12-26 - 公布日： 2023-04-18 - 主分类号： H04L9/40 文献下载
摘要：本发明公开了一种智能配电物联安全认证系统，该系统包括安全管理系统、监控中心平台、安全事件监测响应系统。安全管理系统又包括身份认证模块、主动隔离模块、动态信息分析评估模块。身份认证模块包含的认证策略授权模块用于设置认证方式和认证强度；主动隔离模块包含的隔离策略模块用于配置隔离策略，包括是否开启进程隔离、文件隔离、网络隔离、容器隔离或应用隔离；动态信息分析评估模块包含的动态评估策略模块用于设置评估周期、评估指标参数。
智能配电安全认证系统

[发明专利]一种面向双线汇合线路的虚拟编组列车编队结构决策方法-CN202211383972.4在审
发明人：欧冬秀;宁正;张雷;张肇鑫;何积丰;汪小勇 -专利权人：同济大学
申请日： 2022-11-07 - 公布日： 2023-03-07 - 主分类号： B61L27/16 文献下载
摘要：本发明属于轨道交通列车调度决策领域，本发明方法技术方案适用于双线汇合线路场景。一种面向双线汇合线路的虚拟编组列车编队结构决策方法，其特征在于，及时响应运输计划要求和系统安全约束。设计以领航车为核心的组耦合协调策略，以筛选所有满足系统限制的编队结构，通过计算每种编队结构下的系统效用函数值，通过设计偏好规则对比不同编队结构优劣性作为编队结构更新的依据，在所有可行编队结构上进行遍历更新，直到遍历完所有可行编队结构，输出使系统效率最优的编队结构，充分发挥虚拟编组技术在工程实践中的优势。
一种面向双线汇合线路虚拟编组列车编队结构决策方法

[发明专利]基于边界模型检测技术的微内核操作系统接口的形式化验证方法-CN202010315705.8有效
发明人：郭建;周城程;蒲戈光;何积丰 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2020-04-21 - 公布日： 2022-07-26 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于边界模型检测技术的微内核操作系统接口的形式化验证方法。首先从微内核操作系统规范中提取微内核API的性质，把性质抽象为一阶逻辑公式；并将程序要满足的基本性质从通用基本性质库提取其一阶逻辑公式；微内核操作系统待验证的API从源代码中提取出来，包括相关的数据结构和内部调用的函数；将提取的微内核API分别和微内核API性质、通用性质进行合并获得含有API性质的微内核API、含有通用性质的微内核API；分别对两个API程序进行抽象建模，获得一阶逻辑公式；最后应用SMT求解器验证，如果验证失败，则根据验证公式给出的错误提示修改微内核API代码并重新验证，直到验证通过，说明该接口程序满足性质。
基于边界模型检测技术内核操作系统接口形式化验证方法

[发明专利]一种多维度数据的可视化展示方法及系统-CN201710580109.0有效
发明人：陈刚;何积丰 -专利权人：中云开源数据技术（上海）有限公司
申请日： 2017-07-17 - 公布日： 2020-11-06 - 主分类号： G06F16/248 文献下载
摘要：本发明涉及一种多维度数据的可视化展示方法及系统，该方法包括如下步骤：(1)确定平面二维坐标系；(2)选取多维度数据中的2个特征维度，根据2个特征维度对应的数据值确定多维度数据在平面二维坐标系中的位置并用可视化点表示，可视化点的位置作为多维度数据的其中2个维度的展示；(3)将可视化点依次连线，将可视化连线作为多维度数据的第3维度的展示；(4)获取各可视化点所对应的多维度数据的所有维度的信息并在光标或者笔触经过该可视化点时，显示与该可视化点对应的相关信息。与现有技术相比，本发明展示方法简单方便，且展示结果清晰，可视性强。
一种多维度数可视化展示方法系统

[发明专利]一种基于区块链的能源网联智能装置及系统-CN201810337908.X有效
发明人：毛侠;何积丰;史建琦;黄滟鸿;朱罡 -专利权人：华东师范大学;上海控摩信息科技有限公司
申请日： 2018-04-16 - 公布日： 2020-10-02 - 主分类号： H02J13/00 文献下载
摘要：本发明公开了一种基于区块链的能源网联智能装置及系统，属于智慧城市和智慧能源技术领域。所述装置包括：实时数据采集模块，用于实时采集能源计量仪器中的监测数据并给智能处理模块，并将接收的处理结果上传至远程服务器；智能处理模块，用于根据预设处理方式对接收的监测数据进行处理，或者发送数据获取请求给区块链控制模块，根据获取的数据及预设处理方式对接收到的监测数据进行处理，将处理结果返回给实时数据采集模块，并将敏感数据发送给区块链控制模块；区块链控制模块，用于根据接收的数据获取请求，获取区块链中相应的数据并返回给智能处理模块，并将接收的敏感数据写入区块链。本发明中的装置具有高安全性、可靠性及先进性。
一种基于区块能源智能装置系统

[发明专利]一种软件体系结构建模和仿真系统-CN201611137739.2有效
发明人：黄滟鸿;施健;史建琦;方徽星;李昂;李新;何积丰 -专利权人：华东师范大学
申请日： 2016-12-12 - 公布日： 2020-10-02 - 主分类号： G06F9/455 文献下载
摘要：本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MAS的软件体系结构建模与仿真系统在传统多agent软件体系上新增了层次化的设计模式，以功能为目标将软件功能与外部环境模块于统一架构内，完成了集分布式与集中式控制于一体的可应对动态环境变化的多层次MAS的自适应软件体系结构。
一种软件体系结构建模仿真系统

[发明专利]一种软件体系结构建模与仿真方法-CN201611137729.9有效
发明人：黄滟鸿;施健;史建琦;方徽星;李昂;李新;何积丰 -专利权人：华东师范大学
申请日： 2016-12-12 - 公布日： 2020-10-02 - 主分类号： G06F8/20 文献下载
摘要：本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MAS的软件体系结构建模与仿真方法在传统多agent软件体系上新增了层次化的设计模式，以功能为目标将软件功能与外部环境模块于统一架构内，完成了集分布式与集中式控制于一体的可应对动态环境变化的多层次MAS的自适应软件体系结构。
一种软件体系结构建模仿真方法

[发明专利]一种基于中间语言的PLC程序验证系统-CN201810667143.6有效
发明人：史建琦;黄滟鸿;何积丰;李昂;蔡方达 -专利权人：华东师范大学;上海丰蕾信息科技有限公司
申请日： 2018-06-26 - 公布日： 2020-08-25 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于中间语言的PLC程序验证系统，包括：中间语言转换模块、迁移系统构造模块、性质验证模块以及验证结果处理模块。其中，所述中间语言转换模块可用于对梯形图语言、功能块图语言或顺序功能图语言等图形类PLC语言的中间语言转换，结构化文本语言或指令表语言等文本类PLC语言的中间语言转换，以及PLC程序运行环境配置的中间语言转换，并获得统一的中间语言程序。本发明实现了通过统一的中间语言程序,对因在不同运行环境下而具有一种或多种编程语言的PLC程序以及PLC运行环境配置的性质验证工作，在提供了一个完整的PLC程序验证系统的同时，大大提高了PLC程序的验证效率。
一种基于中间语言 plc 程序验证系统

[发明专利]物联网场景下提升多分支预测单模型鲁棒性的训练方法-CN202010142625.7在审
发明人：陈铭松;韦璠;邵明莉;何积丰;曹鹗;张健宁;夏珺 -专利权人：华东师范大学
申请日： 2020-03-04 - 公布日： 2020-07-14 - 主分类号： G06K9/62 文献下载
摘要：本发明公开了一种物联网场景下提升多分支预测单模型鲁棒性的训练方法，在云终端的结构下，将训练数据分割并分配给终端，形成一个有数据多样性的环境，同时为每个终端设定不同的优化目标增强结构多样性的优势。每个终端依赖自己的训练数据和优化目标对云端下发的权重进行更新，接着云端收回各终端的权重进行聚合，最后经过多次这样的循环完成训练，存储最优的多分支预测单模型权重。本发明成功将多分支预测单模型的结构多样性和物联网场景下的数据多样性结合，使多分支预测单模型的鲁棒性进一步提高，以提高对对抗样本的分类能力，使多分支预测单模型能安全可靠的完成分类任务。
联网场景提升分支预测模型鲁棒性训练方法

[发明专利]一种面向安卓平台的测试用例自动化生成方法及生成系统-CN201911318530.X在审
发明人：李俊馨;苏亭;蒲戈光;何积丰 -专利权人：华东师范大学
申请日： 2019-12-19 - 公布日： 2020-05-12 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种面向安卓平台的测试用例自动化生成方法，利用安卓应用测试框架AndroidViewClient和安卓应用进行交互，录制安卓图形用户界面的事件序列，生成相应的录制测试脚本；通过程序分析方法，将录制测试脚本转换成为抽象语法树，提取树的结点信息生成基于自定义的领域特定语言的录制事件序列脚本；将录制事件序列脚本与带权重偏好的随机选择算法结合在一起，去自动和安卓应用程序进行交互，并生成相应的状态转换模型；将与安卓应用程序交互后得到的状态转换模型进行聚合，根据得到的聚合状态转换模型，生成待定测试用例，检查待定测试用例的有效性，无效则重新生成，有效则为测试用例。本发明能够提高安卓应用的健壮性和可靠性。
一种面向平台测试自动化生成方法系统

[发明专利]可编程逻辑控制器编程语言转换系统-CN201810609281.9有效
发明人：史建琦;黄滟鸿;何积丰;李昂;蔡方达 -专利权人：华东师范大学;上海丰蕾信息科技有限公司
申请日： 2018-06-13 - 公布日： 2020-05-12 - 主分类号： G05B19/05 文献下载
摘要：本发明提供一种可编程逻辑控制器编程语言转换系统，包括：抽象语法树转换模块、梯形图转换模块、功能块图转换模块、顺序功能表图转换模块、结构化文本转换模块、指令表转换模块、ICIL中间结构转换模块。本发明提出的可编程逻辑控制器编程语言转换系统能够实现IEC 61131‑3语言的统一转换，在不同厂商的PLC产品上进行开发和移植过程中，不必分别针对每种PLC语言编写相应的移植代码，且有利于后续深入开展基于该中间语言的形式化建模、分析及验证工作。
可编程逻辑控制器编程语言转换系统

[发明专利]一种基于中间语言的PLC程序验证方法-CN201810667508.5有效
发明人：史建琦;黄滟鸿;何积丰;李昂;蔡方达 -专利权人：华东师范大学;上海丰蕾信息科技有限公司
申请日： 2018-06-26 - 公布日： 2020-04-24 - 主分类号： G05B19/05 文献下载
摘要：本发明公开了一种基于中间语言的PLC程序验证方法，包括：中间语言转换、迁移系统构造、性质验证以及验证结果处理。其中，所述中间语言转换包括了对梯形图语言、功能块图语言或顺序功能图语言等图形类PLC语言的中间语言转换，结构化文本语言或指令表语言等文本类PLC语言的中间语言转换，以及PLC程序运行环境配置的中间语言转换，并获得统一的中间语言程序。本发明实现了通过统一的中间语言程序,对因在不同运行环境下而具有一种或多种编程语言的PLC程序及其PLC运行环境配置的多种性质验证工作，在提供了一个完整的PLC程序验证方案的同时，大大提高了对PLC程序的验证效率。
一种基于中间语言 plc 程序验证方法

[发明专利]带过去时态的线性时态逻辑性质的有界运行时验证系统-CN201710434655.3有效
发明人：黄滟鸿;熊家文;史建琦;何积丰;李昂 -专利权人：华东师范大学;上海丰蕾信息科技有限公司
申请日： 2017-06-09 - 公布日： 2020-02-18 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了带过去时态的线性时态逻辑性质的有界运行时验证系统，包括：性质挖掘子系统，用于在系统开发阶段，使用测试数据对系统进行仿真运行，以获取系统在实际运行中的事件信息并将其存储在事件日志中，并且用于从事件日志中自动地获取系统运行过程中具备的带过去时态的所有线性时态逻辑性质并将其存储于可筛选的性质规范集合中；性质验证子系统，用于在系统运行阶段，对系统事件进行监控，并且使用经筛选的性质规范集合对系统进行时态性质的检查验证。能够将设计阶段的验证规范运用于运行时验证阶段，方便非系统设计和开发人员能够通过自身解决以往解决不了从而必须依靠专业系统设计开发人员才能解决的问题，同时也避免了重新开发验证程序。
过去时态线性逻辑性质运行验证系统

1
2
3
4
5
下一页»
尾页
共 67 条