-
公开(公告)号：CN118277259A
公开(公告)日：2024-07-02
申请号：CN202410379879.9
申请日：2024-03-29
IPC: G06F11/36
Abstract: 本申请涉及一种测试程序自动化生成的方法、装置、设备和介质。所述方法包括：在集成开发环境中构建并展示用户界面，并根据用户页面的用户输入预先设置模板文件和模板工程；其中，用户界面中含有与模板文件对应的变量输入控件；通过响应用户基于接口测试用例对变量输入控件执行的输入操作，调用接口将变量输入控件对应的模板文件中的对应变量替换为用户输入，并根据替换变量后的模板文件替换预设的模板工程中的对应工程文件，生成新的模板工程；根据新的模板工程，调用编译器生成接口测试用例的测试程序。采用本方法能够简化测试程序的编写过程，基于用户输入自动生成对应的测试程序，使得测试人员能够灵活地进行不同测试用例的接口测试。
-
公开(公告)号：CN118278374A
公开(公告)日：2024-07-02
申请号：CN202410380029.0
申请日：2024-03-29
IPC: G06F40/186 , G06F16/242 , G06F16/248
Abstract: 本发明涉及一种自定义格式的通用软件报告文档的生成方法和系统。所述方法包括：基于目标系统构建内部数据组件；一个内部数据组件对应一个数据集的查询获取操作；由至少一个内部数据组件构建报告元素，对报告元素进行编排，生成报告模板；根据报告模板中的内部数据组件直接查询获取相应的数据集并进行展示，得到报告文档。采用本方法能够解决报告文档生成过程中的效率不高，人为操作可能发生错误的问题。
-
公开(公告)号：CN119578523A
公开(公告)日：2025-03-07
申请号：CN202411575409.6
申请日：2024-11-06
Applicant: 中国人民解放军国防科技大学
IPC: G06N5/022 , G06N20/00 , G06F18/214 , G16H70/40
Abstract: 本发明公开了基于负采样和加权的知识图谱嵌入方法，步骤包括：获取医药数据集；基于预训练得到的嵌入向量和设计的高质量候选负样本集构建策略，为所有正三元组采样高质量的候选负样本集；根据基于翻译的知识图谱嵌入模型，计算三元组及其对应的负三元组的评分函数值；统计出数据集中的相关频次数据，计算每个三元组的基于频次的权重；根据评分函数值以及权重，计算三元组集的损失L，得到训练框架最终的损失函数；采用随机梯度下降法来优化训练模型的损失函数；输出药物与疾病、症状之间的潜在关联关系。本申请提升模型的负采样质量，通过对损失函数进行加权缓解长尾实体、关系对模型训练造成的不良影响，提高模型训练性能。
-
公开(公告)号：CN116910263A
公开(公告)日：2023-10-20
申请号：CN202310595809.2
申请日：2023-05-25
Applicant: 中国人民解放军国防科技大学
IPC: G06F16/36 , G06F18/24 , G06F18/214 , G06N3/04 , G06N3/08
Abstract: 本发明公开了一种基于分类关系建模的知识图谱链接预测方法，包括以下步骤：将三元组集分为isA三元组集和关系三元组集；对于关系三元组采用RotatE模型进行建模；使用基于边际参数的损失函数作为优化目标进行训练，用训练后的模型对知识图谱链接进行预测，对于每一个测试三元组，将尾实体t用知识图谱中的每一个实体x来代替得到一组候选三元组，计算这一组候选三元组的距离函数的得分，对这组得分进行升序排序，得到测试三元组在所有候选三元组的排名。本发明相比其他基线方法学习出的向量表示性能更好。
-
公开(公告)号：CN119226576A
公开(公告)日：2024-12-31
申请号：CN202411765074.4
申请日：2024-12-04
Applicant: 中国人民解放军国防科技大学
IPC: G06F16/901 , G06F16/903
Abstract: 本申请涉及一种基于跳表索引文件的态势回放方法和装置。方法包括：遍历原始态势数据，以原始态势数据的时间信息为跳表键，指向原始态势数据文件地址为值，构建链表节点，按照时间顺序连接链表节点得到基础链表，若链表节点对应的事件信息在关键事件列表中，则将链表节点分别添加到一级索引和二级索引中，遍历下一帧原始态势数据，否则，查询链表节点对应的时间信息是否满足态势基础间隔，若满足，则将当前链表节点添加到一级索引中，遍历下一帧原始态势数据，遍历结束后，根据当前基础链表、一级索引和二级索引得到跳表索引文件，利用跳表索引文件进行态势回放。采用本方法能够在大规模数据回放场景中显著减少延迟、提高态势回放效率。
-
Patent Agency Ranking
公开(公告)号：CN118535450A
公开(公告)日：2024-08-23
申请号：CN202410389003.2
申请日：2024-04-01
Applicant: 中国人民解放军国防科技大学
IPC: G06F11/36
Abstract: 本申请涉及一种基于模型概念的仿真模型测试方法、装置、设备和介质。所述方法包括：获取实际运行的仿真模型测试系统的测试输入，并通过测试输入对待测模型在特定场景下的状态进行分析，获取待测模型的测试信息；根据测试信息并结合待测模型的模型概念说明，设计能够分别测试待测模型在不同情况下的行动处理的多个测试用例；在仿真模型测试系统中分别根据每个测试用例对待测模型进行测试，并获取测试结果进行评估分析，完成待测模型的测试流程。采用本方法能够将特定领域的模型概念说明与仿真模型测试相结合，可以确保测试方法能够更好地反映特定领域的需求和特点，从而可以提高仿真模型的精确性、实时性、可靠性和可适应性。
-
公开(公告)号：CN118295268A
公开(公告)日：2024-07-05
申请号：CN202410389026.3
申请日：2024-04-01
Applicant: 中国人民解放军国防科技大学
Abstract: 本申请涉及一种通用化模拟器仿真测试系统和方法。所述方法包括：应用层、业务层、服务层和基础数据层，应用层包括测试控制管理模块、模拟器接口测试模块和模拟器功能测试模块，测试控制管理模块接收测试任务，根据测试任务制定测试方案，将测试方案传输至测试管控模块；测试方案包括模拟器接口测试方案和模拟器仿真功能测试方案；测试管控模块根据待测模拟器在测试过程中的实体数据和交互数据以及测试用例数据进行比对测试，得到模拟器综合测试报告。采用本系统能够对异构环境下各半实物模拟器进行仿真测试，提高藩镇的真实性和可靠性。
-
公开(公告)号：CN118261049A
公开(公告)日：2024-06-28
申请号：CN202410389013.6
申请日：2024-04-01
Applicant: 中国人民解放军国防科技大学
IPC: G06F30/27 , G06F18/15 , G06F18/27 , G06F18/214 , G06F18/21 , G06F16/25 , H04L41/0803 , G06F111/02 , G06F111/10
Abstract: 本申请涉及一种基于仿真模型和仿真设备测试结果的动态分析方法及装置。所述方法包括：获取仿真模型与仿真设备的配置数据集。配置数据集通过预设的评估标准提取的特征数据集。构建动态评估模型。动态评估模型包括：定量分析模型与定性分析模型。将特征数据集作为样本训练数据集分别输入至定量分析模型与定性分析模型进行动态分析，得到待优化结果数据。根据待优化结果数据与实际测试结果训练动态评估模型，得到训练好的动态评估模型，将待优化结果数据输入至训练好的动态评估模型中，得到真实动态分析结果。采用本方法能够提高仿真数据的准确性，并且实现低成本、高效的纠察出仿真过程的误差。
-
公开(公告)号：CN119647570A
公开(公告)日：2025-03-18
申请号：CN202411575405.8
申请日：2024-11-06
Applicant: 中国人民解放军国防科技大学
IPC: G06N5/022 , G06N20/00 , G06F18/214 , G16H70/40
Abstract: 本发明公开了一种基于知识图谱的链路预测方法，步骤包括：获取医药数据集；基于预训练得到的嵌入向量和设计的高质量候选负样本集构建策略，为所有正三元组采样高质量的候选负样本集；根据不同的知识图谱嵌入模型，计算三元组及其对应的负三元组的评分函数值；统计出数据集中的相关频次数据，计算每个三元组的基于频次的权重；根据评分函数值以及权重，计算三元组集的损失L，得到训练框架最终的损失函数；采用随机梯度下降法来优化训练模型的损失函数；输出药物与疾病、症状之间的潜在关联关系。本申请提升模型的负采样质量，通过对损失函数进行加权缓解长尾实体、关系对模型训练造成的不良影响，提高模型训练性能。
-
公开(公告)号：CN119276762B
公开(公告)日：2025-03-11
申请号：CN202411796181.3
申请日：2024-12-09
Applicant: 中国人民解放军国防科技大学
Abstract: 本申请涉及一种基于约束求解的递归协议安全性验证方法、装置及设备。所述方法包括：获取递归协议的已知信息；建立敌手推导规则，根据敌手推导规则对已知消息进行推导，得到新消息；将敌手在递归协议执行的某个阶段构造的新消息符号化为变量，将安全协议无穷多条可能执行迹抽象为一组推导约束，敌手通过初始知识与协议交互中的推导约束构造约束系统；根据预先设置的简化规则对约束系统进行简化，得到简单约束系统；将要验证的安全属性建模为一阶公式，通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证。采用本方法能够对递归协议实现安全性验证。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.091 seconds)
