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

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

[发明专利]一种最坏执行时间确定方法及装置-CN202310280881.6在审
发明人：申峰宇;黄君龙;武方杰;杜乔瑞;赵振;首云旭;王晓燕;周小波;李幼媛;张俊清 -专利权人：北京广利核系统工程有限公司
申请日： 2023-03-21 - 公布日： 2023-09-05 - 主分类号： G06F11/36 文献下载
摘要：本申请公开了一种最坏执行时间确定方法及装置，可应用于计算机技术领域。该方法包括：获取待测汇编程序中各函数的起始位置；根据所述起始位置建立函数调用关系树；根据函数调用关系树为建立函数调用点阵图，得到函数调用关系树中的所有可能的函数调用方式；通过比对所有函数调用方式对应的运行时间，得到最坏执行时间。可见，本申请利用汇编程序中函数起始位置构建调用关系树，进一步建立函数调用点阵图，即可遍历得到函数中所有可能的调用方式，与现有技术中单独的静态分析技术和动态分析技术相比，同时具有了高精确度和低复杂度。
一种最坏执行时间确定方法装置

[发明专利]一种核电站实时操作系统的验证信息的处理方法及装置-CN202310209950.4在审
发明人： 李幼媛;黄君龙;武方杰;杜乔瑞;程建明;白春娜;王晓燕;首云旭 -专利权人：北京广利核系统工程有限公司
申请日： 2023-03-07 - 公布日： 2023-05-09 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置，该方法为：确定核电站实时操作系统的标准接口，以及获取核电站实时操作系统的信号量变化详情；针对标准接口，识别标准接口的指定参数情况；基于指定参数情况和预设的接口测试需求，生成用于对核电站实时操作系统进行接口测试的接口测试设计信息；针对信号量变化详情，基于信号量变化详情构建模型；从所构建的模型中提取路径节点序列；基于路径节点序列，生成用于对核电站实时操作系统进行功能测试的功能测试设计信息，从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。
一种核电站实时操作系统验证信息处理方法装置

[发明专利]一种应用于软件设计的可靠性指标确定方法及装置-CN202211605659.0在审
发明人：李明利;李刚;周飞;李萌;马忠刚;莫昌瑜;王晓伟;石桂连;张智慧;李幼媛;首云旭;窦维维;王纪坤;刘建刚;张晓冬;马建新;况德军;杨晶 -专利权人：广东核电合营有限公司;北京广利核系统工程有限公司
申请日： 2022-12-14 - 公布日： 2023-04-04 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了一种应用于软件设计的可靠性指标确定方法及装置，包括：对软件设计阶段的设计特征进行分析，获得与所述设计特征对应的故障类型；基于所述故障类型，确定待生成的每一软件设计阶段的可靠性指标对应的涵盖设计缺陷信息以及指导设计措施信息；基于所述涵盖设计缺陷信息以及所述指导设计措施信息，生成软件设计阶段的可靠性指标。本发明能够对软件设计阶段的特征进行充分分析，基于可靠性指标指导软件设计及时定位和修正设计过程中的错误，降低了软件的设计风险，进而提升了整个软件的可靠性。
一种应用于软件设计可靠性指标确定方法装置

[发明专利]一种核电仪控系统的实时操作系统的评估方法和装置-CN202110104003.X在审
发明人：李萌;高超;窦维维;孙星星;李幼媛;王晓燕;石秦;石桂连;张智慧 -专利权人：北京广利核系统工程有限公司
申请日： 2021-01-26 - 公布日： 2022-07-26 - 主分类号： G06Q10/06 文献下载
摘要：本申请公开了一种核电仪控系统的实时操作系统的评估方法和装置，具体为确定待评估实时操作系统所应用于的仪控系统所执行功能的安全等级；根据安全等级确定待评估实时操作系统的适用标准；根据设计需求确定待评估实时操作系统的功能要求与性能要求；根据适用标准、功能要求和性能要求确定所使用的评估模型；对待评估实时操作系统进行分析计算，得到分析结果；利用评估模型对分析结果进行量化评估，得到待评估实时操作系统的量化评价结果。通过评估可以不经试用得到相应实时操作系统的效果，尽早发现其是否适用，从而避免对核电仪控系统的研发进度和成本造成损失。
一种核电系统实时操作系统评估方法装置

[发明专利]一种实时操作系统的生成方法及装置-CN202210005759.3在审
发明人：李萌;马忠刚;窦维维;王晓伟;范丽辰;石桂连;张智慧;李幼媛;首云旭;程建明;杨晶;况德军 -专利权人：北京广利核系统工程有限公司;广东核电合营有限公司
申请日： 2022-01-04 - 公布日： 2022-04-12 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种实时操作系统的生成方法及装置，确定核电领域对实时操作系统的功能需求，基于功能需求对实时操作系统进行整体架构设计得到初始实时操作系统，对初始实时操作系统进行对应编码得到中间实时操作系统，对中间实时操作系统进行集成调试，对通过集成调试的中间实时操作系统进行功能需求确认测试，并将通过功能需求确认测试的中间实时操作系统确定为适用核电领域的目标实时操作系统。由此可以看出，本发明公开的目标实时操作系统是针对核电领域设计的，因此，核电仪控系统使用本发明生成的目标实时操作系统，无需再进行测试、验证和商业级调查活动，从而大大节省了人力和物力，降低了核电厂的建设成本。
一种实时操作系统生成方法装置

[发明专利]一种利用图同构验证编译器的方法-CN201310512437.9有效
发明人：冯素梅;刘建龙;李幼媛;袁劲涛;杨晓豫;赵云飞 -专利权人：北京广利核系统工程有限公司;中国广核集团有限公司
申请日： 2013-10-25 - 公布日： 2014-02-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种利用图同构验证编译器的方法，包括待处理的源程序和将源程序生成目标程序的编译器，在选定环境下建立一个反编译器，通过反编译器将目标程序反编译成对比程序，验证对比程序和源程序之间的语义一致性，并在此基础上，分别建立源程序和对比程序的控制流图相关结点信息后进行同构判定，从而得到编译器是否安全的结论。本发明通过判断对比程序与源程序的控制流图是否同构，来验证编译器的安全性。该方法直接将反编译后的代码与源代码进行语义比较，避免了验证过程中由于源代码信息丢失导致验证不全面的问题，该算法不需要再次遍历控制流图，使得图同构判断算法简单，易于实现。
一种利用图同构验证编译器方法

[发明专利]一种系统测试确认装置及方法-CN201010178954.3有效
发明人：陆珊琳;李幼媛;高玉斌;张亚栋;尹宝娟;朱毅明 -专利权人：北京广利核系统工程有限公司;中国广东核电集团有限公司
申请日： 2010-05-21 - 公布日： 2010-09-29 - 主分类号： G06F11/267 文献下载
摘要：一种系统测试确认装置及方法，包括测试系统和被测系统，测试系统包括一计算机模块，PLC模块组；所述的计算机模块是用于发布测试指令，显示收集被测系统处理后的信息并与测试指令进行校验，验证被测系统的安全性和正常运行；所述的PLC模块包括一中央处理器、至少两个I/O模块，多路分配模块和多路复用模块；PLC模块的中央处理器分别与测试系统的计算机和I/O模块连接，多路分配模块和多路复用模块分别与PLC模块连接和被测系统上的硬接线连接。通过采用本发明的多路复用和多路分配模块，在不影响测试效果的前提下有效降低了PLC模块中的I/O模块数量，降低了测试系统的成本。
一种系统测试确认装置方法

[实用新型]一种用于反应堆保护系统过程仪表测试的新型试验装置-CN200820177025.9有效
发明人：尹宝娟;孙娜;李幼媛;池立勇;左新;白涛 -专利权人：北京广利核系统工程有限公司
申请日： 2008-11-07 - 公布日： 2009-10-28 - 主分类号： G21C17/00 文献下载
摘要：本实用新型涉及反应堆保护系统过程仪表测试的试验装置。机柜内底部前方的机架上设置有打印机盒，内放置有一台激光打印机，后侧底部设置有一外接交流电源与隔离变压器，交流电源通过空气开关与外界连接，隔离变压器输出三路电源，隔离变压器与机柜顶部中间的线性电源模块连接，机柜顶部后侧设置有信号调理板，机柜中部后侧有自检、定期校验接口板，这两块板卡与线性电源间有电源线缆连接，信号调理板与机柜背面的试验用插座连接，自件、定期校验接口板与机柜背面的自检用插座、定期校验插座、定期校验用对外连接测孔相连接，试验电缆用于连接现场被测设备。打印机上方的机架上固定有一体化输入输出设备，一体化输入输出设备的上方通过机架固定有工控机，一体化输入输出设备使用电缆连接到工控机的视频输出与键盘鼠标端口上。该装置提供一种满足移动要求、功能强大，维护方便的试验装置。
一种用于反应堆保护系统过程仪表测试新型试验装置

[实用新型]铁路信号ZPW－2000设备发送器自动检测装置-CN200620167538.2无效
发明人：杨世武;陈建怿;黄赞武;梁皖贵;马沧海;李幼媛 -专利权人：北京交通大学
申请日： 2006-12-18 - 公布日： 2007-12-05 - 主分类号： G01R31/28 文献下载
摘要：本实用新型公开了一种铁路信号ZPW－2000设备发送器自动检测装置，用于对该系列无绝缘移频自动闭塞设备的发送器进行自动检测和相应的数据处理。该装置由接口板电路和虚拟仪器采集卡、I/O卡构成；接口板电路主要包括继电器阵列和信号调理电路。装置基于NI公司PCI接口卡和LabVIEW软件环境组成虚拟检测平台，操作界面友好，不同的检测项目由继电器阵列自动切换，无需人工干预，显著缩短了测量和记录时间，基本实现自动化；可通过网络实现远程操作；接口电路采用符合工业标准的模块化结构；动态显示检测过程中的时域和频域波形，自动生成检测结果的数据报表，便于数据管理，检测效率和精度高、有利于检测数据的信息化。
铁路信号 zpw 2000 设备发送自动检测装置

1
共 9 条