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

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

[发明专利]虚拟1553B总线设备的实现方法-CN202010009224.4有效
发明人：魏冬冬;尹龙雯;于清华;苏金梅;金臻;陈恩耀 -专利权人：上海航天计算机技术研究所
申请日： 2020-01-02 - 公布日： 2023-08-29 - 主分类号： G06F11/26 文献下载
摘要：本发明提供了一种虚拟1553B总线设备的实现方法，包括：按照真实1553B板卡，设置供应用程序调用的API接口；通过虚拟1553B总线对本机的通用寄存器进行虚拟化，以及对虚拟1553B总线数据传输时的控制逻辑和响应状态进行仿真；编写网络调用程序，向虚拟1553B设备提供网络接入服务；通过网络调用程序，设置模拟的总线控制器和远程终端，并通过总线控制器和远程终端执行对总线指令字、数据字、状态字的计算；设置故障数据的格式和注入机制，并对虚拟1553B总线设备的通讯过程进行虚拟。本发明提供1553B常用数据传输机制的模拟，实现1553B总线的软件虚拟和故障注入能力，能够降低搭建测试环境的成本。
虚拟 1553 总线设备实现方法

[发明专利]一种基于定制规则的嵌入式软件中断缺陷分析方法-CN202310165397.9在审
发明人：魏冬冬;尹龙雯;薛漭潮;高赛军;张风玲 -专利权人：上海航天计算机技术研究所
申请日： 2023-02-24 - 公布日： 2023-07-25 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于定制规则的嵌入式软件中断缺陷分析方法，包括步骤S1：建立嵌入式软件中断缺陷分析的规则知识库，包括可配置的中断源信息识别规则和中断缺陷识别规则；步骤S2：通过嵌入式软件源代码及相关配置文件生成程序语法分析树并根据程序语法分析树进行嵌入式软件的模块和结构分析；步骤S3：根据步骤S1的中断源信息识别规则和步骤S2的软件模块和结构信息，进行中断源信息识别和提取；步骤S4：用户根据识别出的中断源信息和业务需要，从规则知识库中选择待应用的中断缺陷分析规则，结合中断源信息定制新的符合场景需要的中断缺陷识别规则；步骤S5，结合步骤S2～S4的识别信息和规则信息，进行嵌入式软件中断缺陷分析并生成分析报表。
一种基于定制规则嵌入式软件中断缺陷分析方法

[发明专利]一种分布式测试资源调度方法-CN202310471506.X在审
发明人：胡逸琳;马海燕;于清华;尹龙雯;刘涛 -专利权人：上海航天计算机技术研究所
申请日： 2023-04-27 - 公布日： 2023-07-18 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种分布式测试资源调度方法，包括如下步骤：接收至少一个任务节点发送的测试任务请求信息；S2：根据接收的测试任务请求信息得到测试任务所需的资源类型，获取满足资源类型条件的至少一个资源节点的工作状态队列信息；S3：根据测试任务请求信息和工作状态队列信息执行资源调度，以任务节点中待处理的每个测试任务依序完成且总时间最短生成调度结果，依据调度结果分配资源节点；向任务节点发送调度结果，向依据调度结果分配的资源节点发送至少一个工作请求。本发明通过优先级调度使得任务队列较长时，依旧可以稳定的运行各项任务，有效保证了长串任务和短任务交替执行时，测试系统的执行效率。
一种分布式测试资源调度方法

[发明专利]基于知识库特征匹配的代码规则检查方法及系统-CN202111201800.6在审
发明人： 尹龙雯;施小敏;魏冬冬;张伟欣;宋力立;欧阳昭 -专利权人：上海航天计算机技术研究所
申请日： 2021-10-15 - 公布日： 2021-12-28 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种基于知识库特征匹配的代码规则检查方法及系统，包括如下步骤：建立以缺陷代码规则为基础的代码知识库，所述代码知识库中的每一条缺陷代码规则具有规则描述和对应的规则特征值；分析待检测源代码，生成源代码的语法分析树，所述语法分析树用于所述源代码的代码语法结构分析以及对应规则特征值的提取和匹配；根据所述代码知识库中的规则特征值与所述语法分析树提出的规则特征值进行匹配，获取对应的缺陷代码规则，以实现所述源代码的缺陷检测。本发明采用语法分析树转化为规则特征值匹配代码规则的方法，具有误判率小，准确性高等优点，同时使用知识库的方式进行代码规则的匹配无需在新增或修改规则时对软件进行修改或重构。
基于知识库特征匹配代码规则检查方法系统

[发明专利]一种物资推荐决策系统及推荐决策方法-CN202110059305.X在审
发明人： 尹龙雯;于清华;魏文超;张歆旎;胡逸琳 -专利权人：上海航天计算机技术研究所
申请日： 2021-01-15 - 公布日： 2021-05-11 - 主分类号： G06Q10/08 文献下载
摘要：一种物资推荐决策系统及推荐决策方法，其中，推荐决策系统包括：人机交互界面，用于人机交互；物资信息录入单元，用于录入物资信息；模型管理单元，用于匹配模型领域型号，并基于模型领域型号获取匹配的决策模型；数据库，用于存储物资信息；物资决策模型单元，用于存储决策模型；物资信息统计单元，用于匹配模型领域型号，并根据模型领域型号所需的特征信息对数据库中的物资信息进行统计、分析，获得决策模型的统计分析结果；模型评价单元，用于根据决策模型和统计分析结果对物资决策进行评价。使得物资推荐决策能够更加全面、便捷、直观的呈现给决策者，通过科学的决策可以提高物资采购评价的全面性和客观性，提高采购物资的合格率，进一步提高生产效率。
一种物资推荐决策系统方法

[发明专利]一种供应商可靠度分析系统及分析方法-CN202110059557.2在审
发明人： 尹龙雯;于清华;吴虹鹊;胡逸琳;云颖 -专利权人：上海航天计算机技术研究所
申请日： 2021-01-15 - 公布日： 2021-05-04 - 主分类号： G06Q10/06 文献下载
摘要：一种供应商可靠度分析系统及分析方法，其中，分析系统包括：人机交互界面，用于人机交互；物资信息录入单元，用于录入物资信息；供应商信息录入单元，用于录入供应商信息；数据库，用于存储物资信息和供应商信息；特征提取单元，用于根据所述物资信息和供应商信息提取供应商的特征信息；可靠度决策模型单元，用于根据所述特征信息匹配相应的可靠度决策模型；可靠度计算单元，用于根据匹配的可靠度决策模型及所述特征信息计算供应商的可靠度。使得供应商可靠度评估能够更加全面、便捷、直观的呈现给决策者。通过科学的决策可以提高供应商可靠度评价的全面性和客观性，进一步提高生产效率。
一种供应商可靠分析系统方法

[发明专利]基于多系统协作的合同生成方法和系统-CN202011106751.3在审
发明人： 尹龙雯;魏冬冬;于清华;高赛军;祝周荣 -专利权人：上海航天计算机技术研究所
申请日： 2020-10-15 - 公布日： 2021-01-05 - 主分类号： G06Q50/18 文献下载
摘要：本发明提供了一种基于多系统协作的合同生成方法和系统，该方法包括：根据合同类型，从合同管理系统中确定合同模板；根据合同模板，匹配生成对应的合同模板界面，合同模板界面中包括至少一项合同要素；从科研生产管理系统、价格管理系统、供应商管理系统中获取与合同要素相关联的目标内容；将目标内容分别填充至合同模板界面对应的合同要素中，生成预设格式的合同文本。本发明通过提取合同要素，将合同简化为一个标准化的模板，通过关联合同要素与其它实时交互系统实现合同文本的快速填写，同时规避了由于人工输入而导致的各种错误，为合同制作人员提供了一种快速、便捷、安全的合同生成方法。
基于系统协作合同生成方法

[发明专利]一种软件设计与实现的语义一致性验证方法-CN201811427489.5在审
发明人：侯正平;宋力立;薛垒;周楷林;刘国斌;尹龙雯 -专利权人：上海航天电子通讯设备研究所
申请日： 2018-11-27 - 公布日： 2019-04-02 - 主分类号： G06F8/41 文献下载
摘要：一种软件设计与实现的语义一致性验证方法，包括步骤：以设计文档为依据进行形式化建模，通过形式化建模语言将设计文档中的信息重新组织为符合形式化验证需求的需求模型；以工程实现为依据进行形式化建模，通过形式化建模语言将工程代码中的信息重新组织为符合形式化验证需求的实现模型；对需求模型和实现模型进行形式化语义一致性验证，依据一致性验证结果判定软件设计与实现的一致性。通过对设计文档和工程代码分别进行形式化建模，再进行精化检验的方法，提供了软件设计和实现之间的一致性验证手段。以数学上的严格证明为保障，为测试人员确认软件安全性提供了有力的可用工具。
软件设计语义一致性建模文档形式化验证一致性验证工程代码建模语言需求模型重新组织验证安全性提供工程实现结果判定确认软件可用测试数学检验

1
共 8 条