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

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

[发明专利]基于代理的传感器设备跨总线跨协议接入DDS网络系统-CN202310120466.4在审
发明人：赵铁辉;康介祥;李虎;崔杰;王震;张涛;张丽;张志涛;孙帷胜;陈玲玲 -专利权人：中国航空无线电电子研究所
申请日： 2023-02-15 - 公布日： 2023-05-16 - 主分类号： H04L67/51 文献下载
摘要：本发明公开了一种基于代理的传感器设备跨总线跨协议接入DDS网络系统，传感器设备上的客户端模块以消息的方式提出实体创建请求、数据发布请求和数据订阅请求后通过传输插件从传感器总线发送给DDS代理网络设备，并由数据序列化/反序列化模块完成发布数据和订阅数据的序列化和反序列化；DDS代理网络设备上的传输插件在接收到实体创建请求、数据发布请求和数据订阅请求后递交给代理模块；代理模块根据实体创建请求完成各级实体的创建，根据数据发布请求和数据订阅请求将传感器设备的发布数据通过DDS‑RTPS协议发布到DDS网络，以及将从DDS‑RTPS协议上接收到的订阅数据通过传输插件从传感器总线发送给传感器设备。
基于代理传感器设备总线协议接入 dds 网络系统

[发明专利]一种全数字综合模块化航电系统-CN202211252574.9在审
发明人：崔杰;康介祥;洪沛;王辉 -专利权人：中国航空无线电电子研究所
申请日： 2022-10-13 - 公布日： 2023-04-04 - 主分类号： G05B19/042 文献下载
摘要：本发明公开了一种全数字综合模块化航电系统，包含主处理板模型、AFDX终端模型、远程数据集中器模型、ARINC664驱动中间件和ARINC429Windows中间件，主处理板模型为航电软件提供了计算运行环境；AFDX终端模型和远程数据集中器模型用于实现航电软件与真实航电设备上的ARINC429接口进行通信的功能；ARINC664驱动中间件用于实现AFDX终端模型接口API与商业网卡驱动之间的映射；ARINC429Windows中间件用于实现远程数据集中器模型对真实ARINC429板卡的驱动。本发明使航电软件如同在真实目标机环境中一样运行，提高了软件研发的效率。
一种数字综合模块化系统

[发明专利]支持多图源多比例尺的地理要素配图系统-CN202110569872.X有效
发明人：潘倩兮;胡志雄;李鹏飞;丰伟;魏金标;康介祥 -专利权人：中国航空无线电电子研究所
申请日： 2021-05-25 - 公布日： 2022-09-06 - 主分类号： G09B29/00 文献下载
摘要：本发明公开了一种支持多图源多比例尺的地理要素配图系统，包含：源数据批量导入模块，将用户在指定数据包下导入的一个以上的地图源数据转换成统一的数据包、图块、图层、要素的数据结构后显示每个数据包中各个图块的源数据详细图层列表和每个数据包的源数据汇总图层列表；图层筛选及样式配置模块，根据用户输入的筛选条件生成预览图层，将用户在预览图层上配置的样式传递给预览图层下的各个要素，记录用户设置的数据包、图块、图层的优先级；配图实时渲染模块，根据用户设置的优先级，组织要素的渲染顺序,然后读取要素的样式进行地图绘制，向用户显示渲染后的地图。本发明可实现多源地理要素的融合配图效果，同时支持样式批量保存、导入、导出。
支持多图源多比例尺地理要素系统

[发明专利]一种面向需求表格模型的形式化语义分析与检查方法-CN202210421720.X在审
发明人： 康介祥;王辉;崔杰;高忠杰;尹伟 -专利权人：中国航空无线电电子研究所
申请日： 2022-04-21 - 公布日： 2022-07-12 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种面向需求表格模型的形式化语义分析与检查方法，将机载安全关键软件的需求映射为基于命题逻辑与关系理论的数学模型，对其语义进行严格数学定义，然后设计一系列自动化算法来对需求的多层语义约束进行验证。
一种面向需求表格模型形式化语义分析检查方法

[发明专利]基于有穷状态机的网络数据协议描述结构及解析方法-CN202010386884.4有效
发明人：王冠;康介祥;李虎;高忠杰;盛春玲;崔杰;洪沛 -专利权人：中国航空无线电电子研究所
申请日： 2020-05-09 - 公布日： 2022-05-20 - 主分类号： H04L69/08 文献下载
摘要：本发明属于计算机网络数据分析技术领域，公开了一种基于有穷状态机的网络数据协议描述结构及解析方法，通过预先定义网络数据协议，在收到网络数据后，根据协议中描述的数据格式进行匹配，从无意义的网络数据流中解析为有意义的数据，但网络数据协议的表达和解析都仅能够支持连续的块状网络数据。以一种更好的网络数据协议表示方法，及基于该网络数据协议表示方法的网络数据解析方法，不仅能够支持连续的块状网络数据的表达和解析，也能够满足包含迭代数据块的网络数据的表达和解析，实现了通用的数据解析，效果良好。
基于有穷状态机网络数据协议描述结构解析方法

[发明专利]基于双流图的Safaty_SysML错误模型分析方法-CN202111673818.6在审
发明人：孙海英;刘明;尹伟;康介祥;刘静;王辉;高忠杰;陈小红 -专利权人：华东师范大学
申请日： 2021-12-31 - 公布日： 2022-04-15 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种基于双流图的Safaty_SysML错误模型分析方法，主要包括以下步骤：建立Safaty_SysML流模型；将建立的Safaty_SysML流模型转换为Safaty_SysML流模型XML文件；将Safaty_SysML流模型XML转化为Safaty_SysML双流图错误传播模型图；对所述Safaty_SysML双流图错误传播模型图进行系统错误分析，生成系统可靠性及稳定性仿真结果。本发明的技术方案能对Safaty_SysML流模型的建模结果进行Safaty_SysML双流图错误传播模型分析，为安全攸关系统的可靠性验证提供支持。
基于双流 safaty_sysml 错误模型分析方法

[发明专利]一种S2-CN202110527960.3在审
发明人：刘静;丁郭欢;孙海英;康介祥;尹伟;高杰;王辉;吴志伟;杨琛琛 -专利权人：华东师范大学
申请日： 2021-05-14 - 公布日： 2021-10-19 - 主分类号： H04L12/24 文献下载
摘要：本发明公开了一种S2ML流的建模与验证方法，其特点是采用S2ML流模型的分析框架对实时系统进行时延分析和验证，具体包括：S2ML流的图形化建模、S2ML流模型保存为文本格式、S2ML流模型映射为AADL模型和对S2ML流模型进行时延分析，以验证其时延属性是否满足系统设计需求。本发明与现有技术相比具有对实时系统中的流进行建模，并验证其时延属性，方法简便，成本低廉且安全可靠，较好的解决了实时系统时延建模与验证问题，为安全攸关系统的验证奠定了基础。
一种 base sup

[发明专利]一种基于S2-CN202110523473.X在审
发明人：孙海英;杨琛琛;刘静;康介祥;尹伟;高杰;王辉;吴志伟;丁郭欢 -专利权人：华东师范大学
申请日： 2021-05-13 - 公布日： 2021-08-03 - 主分类号： G06F9/455 文献下载
摘要：本发明公开了一种基于S2ML的安全攸关系统建模方法，其特点是采用安全自动机与SysML状态机结合的Safety_SysML建模语言，使得SysML语言支持对安全攸关系统的建模与分析，具体包括：状态属性配置、迁移属性配置和生成格式数据文件等步骤。本发明与现有技术相比具有自动分析用户构建的安全自动机，输出结构化数据，使得SysML语言支持对安全攸关系统的建模与分析，为安全攸关系统的验证奠定了基础，大大满足了来源众多且不一致，需求复杂程度高的安全攸关系统，以及安全关键软件发展的需求。
一种基于 base sup

[发明专利]一种基于S2-CN202011524084.0在审
发明人：刘静;杨琛琛;孙海英;康介祥;尹伟;高忠杰;王辉;吴志伟;丁郭欢 -专利权人：华东师范大学
申请日： 2020-12-22 - 公布日： 2021-03-26 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于S2ML的安全攸关系统分析与验证方法，其特点是采用Z3约束求解器对生成的数据文件进行性质验证的方法，具体包括：读取格式文件、抽取每个状态之间迁移的条件、转换成约束求解的格式和性质分析等步骤。本发明与现有技术相比具有较高的求解效率，极大的提高系统的可靠性与安全性，较好的解决了SysML的状态机图不支持自动检测系统的安全性的问题，方法简便，成本低廉且安全可靠。
一种基于 base sup

[发明专利]一种用于航电核心系统的容错管理系统其及容错管理方法-CN201410234322.2在审
发明人：程春姬;康介祥;洪沛;崔杰;朱剑锋;盛春玲;饶俊文 -专利权人：中国航空无线电电子研究所
申请日： 2014-05-29 - 公布日： 2014-08-27 - 主分类号： G06Q10/06 文献下载
摘要：本发明公开了一种用于航电核心系统的容错管理系统，包含系统容错管理软件、重构配置库生成验证系统，通过对航电核心系统资源和可能发生故障的预先分析，通过事先配置确定故障的处理策略，在系统运行时根据系统资源和故障的实际情况动态的进行分层故障处理，完成了系统的容错管理。本发明通过对航电系统资源整合管理的容错管理方法可在控制成本的情况下最大限度的提高系统的可靠性。
一种用于核心系统容错管理方法

[发明专利]通用座舱显示管理系统及相应的显示控制系统的开发方法-CN201110404435.9有效
发明人：缪万胜;康介祥;高忠杰 -专利权人：中国航空无线电电子研究所
申请日： 2011-12-07 - 公布日： 2012-06-27 - 主分类号： G06F3/14 文献下载
摘要：本发明公开了一种通用座舱显示管理系统，系统包括运行以下程序模块的计算机通用计算模块：文件转换模块、定义文件解析模块、运行时命令处理模块、交互事件管理模块、图符管理模块、内置图符库模块、扩展图符库模块、系统配置信息管理模块、异常管理模块、扩展图符管理模块、硬件接口层和OpenGL图符显示库，是支持ARINC 661标准、支持用户自定义图符扩展、支持民用和军用各型飞机显示应用的通用显示系统。本发明解决了国内现有的机载显示软件重用性较低、不易扩展、认证成本高昂等问题，提高了机载显示软件的重用性和扩展性，有效地降低了系统的验证开发成本。
通用座舱显示管理系统相应控制系统开发方法

1
共 11 条