-
公开(公告)号：CN120066967A
公开(公告)日：2025-05-30
申请号：CN202510225407.2
申请日：2025-02-27
Applicant: 西北工业大学
IPC: G06F11/3668 , G06F8/30
Abstract: 本发明公开了一种面向同步反应式构件的软件架构模型正确性验证方法，涉及模型验证技术领域，在本发明中借助Dom4j包解析XML格式的源模型，提取并分类存储模型结点、迁移及全局变量信息。然后，设计从软件架构模型到PROMELA代码的映射规则，涵盖模型结构、数据及各类元素的转换。利用SPIN工具定义安全性和活性验证属性，通过控制变量与断言判断控制结点分支可达性。从开始节点起，将模型元素顺序转换为PROMELA的变量、通道和进程。最后，生成验证脚本，对转换后的模型进行语法检查与属性验证，解析验证报告获取结果，若需验证其他属性可重复操作。该方法为确保软件架构模型的正确性提供了系统、有效的手段。
-
公开(公告)号：CN112465145B
公开(公告)日：2024-04-05
申请号：CN202011390873.X
申请日：2020-12-02
Applicant: 西北工业大学
Abstract: 本发明提供一种基于逻辑推理与模糊综合的无人集群智能定性评价方法，所述方法包括以下步骤：步骤1:对逻辑推理层进行形式化描述；步骤2:构建群体智能评价指标体系；步骤3:建立基于模糊理论的模糊评估模型，进行模糊综合评价。本发明为各种无人机群体智能系统提供了统一的评价方法，便于群体智能系统之间的横向比较；无人机系统通用化的群体智能评价方法，具有良好的可区分性、可计算性和通用性，可以避免无人机系统群体智能描述上的模糊性，有效增强无人机群体智能系统研发的针对性和有效性。
-
公开(公告)号：CN116629136A
公开(公告)日：2023-08-22
申请号：CN202310669136.0
申请日：2023-06-07
Applicant: 西北工业大学
Abstract: 本申请公开一种数字孪生模型的更新方法、装置、设备及存储介质，涉及数字孪生技术领域，能够提高数字孪生模型更新效率。具体方案包括：获取数字孪生任务的传感数据和非传感数据，其中，数字孪生任务包括：对目标设备进行故障检测，传感数据包括：目标设备的裂缝数据、坑点数据和振动数据，非传感数据包括：目标设备的材料、目标设备的尺寸和目标设备的运行工况；利用传感数据并基于增量学习方法对预设的当前数字孪生模型进行训练，得到更新后的第一模型；利用非传感数据并基于增量学习方法对当前数字孪生模型进行训练，得到更新后的第二模型；将第一模型和第二模型缓存至预设的模型池中，并调用模型池中更新完成的最新模型执行数字孪生任务。
-
公开(公告)号：CN116629015A
公开(公告)日：2023-08-22
申请号：CN202310668270.9
申请日：2023-06-07
Applicant: 西北工业大学
Abstract: 本申请公开一种数字孪生任务的处理方法、装置、设备及存储介质，涉及数字孪生技术领域，能够解决不同应用场景下数字孪生体构建周期长，成本消耗大的缺点。具体方案包括：获取用于处理数字孪生任务的目标数字孪生体的功能；根据功能从预设的孪生模型库的根节点开始遍历，并匹配出功能对应的目标孪生模型，目标孪生模型中包括至少一个子孪生模型，每个子孪生模型包括对应的模型功能、模型标识、模型输入参数、模型输出参数、模型性能、模型孪生级别以及与其他子孪生模型之间的依赖关系；调用各子孪生模型，根据各子孪生模型之间的依赖关系将各子孪生模型组装为目标数字孪生体，并利用组装后的目标数字孪生体处理数字孪生任务。
-
Patent Agency Ranking
公开(公告)号：CN103714208B
公开(公告)日：2017-05-17
申请号：CN201310723207.7
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的一个子图；所得到的子图还原为CPS系统子结构图；在该结构模型基础上针对每一个实体构建动态行为模型，之后按照场景事件流图中事件的交互关系组合实体的行为模型；通过将结构模型与行为模型结合起来，通过场景驱动的方法先构建系统结构模型的一个视图，即针对该场景的一个子结构模型，之后构建该结构中实体之间的动态的交互行为模型，实现结构模型与行为模型的协同建模。
-
公开(公告)号：CN119611784A
公开(公告)日：2025-03-14
申请号：CN202411801846.5
申请日：2024-12-09
Applicant: 西北工业大学
IPC: B64F5/60 , G06F18/213 , G06F18/22
Abstract: 本发明公开了基于遥测数据的航天器动态测试执行方法，涉及数据调节技术领域。首先，采集各数据源的遥测数据并对其进行测试分析，并通过对航天器多个数据源的遥测数据进行实时基准对齐和数据判读，从而识别数据的有效性和准确性。最后，根据判读结果及遥测控制指令的平均时长，优化遥测数据的采集策略，确保数据采集过程的高效与精准，有助于确保航天器动态测试的精度与可靠性。借助低复杂度的时间性能保证了遥测数据的时序性。进而，利用被测软件遥测数据发送作为时序控制点，通过时序控制引擎对自动测试工具和测试目标机进行时序同步控制的方法，避免了测试时序不匹配导致的测试结果错误。
-
公开(公告)号：CN112464480A
公开(公告)日：2021-03-09
申请号：CN202011390872.5
申请日：2020-12-02
Applicant: 西北工业大学
IPC: G06F30/20
Abstract: 本发明提供一种基于场景驱动的无人集群鲁棒性评价方法，包括建立无人集群鲁棒性评价指标集；结合被评价无人集群系统的平台及所应对的场景，对各评价指标的参数进行实例化，确定意义及其计算公式；在仿真环境中设立各评价指标对应的影响因素；使被测无人集群系统分别在无干扰与有干扰的场景中执行任务；利用上一步获取到的数据，计算各评价指标值，综合计算得出综合评价。能够对不同系统在面对不同场景时的表现进行评分，最终便于使用者客观科学评价无人集群鲁棒性能力，也便于研发者针对性的做出改进。从而为无人集群政策，本身的设计和研发提供有力支持，帮助无人集群能够有效从实验室研究向实际应用平稳过渡。
-
公开(公告)号：CN119718892A
公开(公告)日：2025-03-28
申请号：CN202411922800.9
申请日：2024-12-25
Applicant: 西北工业大学
IPC: G06F11/3604 , G06F21/57 , G06F11/34
Abstract: 本发明公开了一种基于LTLf的程序运行时验证方法，涉及电数字数据处理技术领域。该基于LTLf的程序运行时验证方法，包括以下步骤：时效性评估；故障验证；数据解析；形式化验证。本发明通过网络数据获取运行时效性评估值并判断是否进行运行时效性调整，然后通过网络数据和满足时效性条件的运行时效性评估值获取故障验证安全评估值并判断是否进行故障安全性调整，接着通过对封装网络数据进行数据解析获取解析准确性评估值，最后基于解析准确性评估值判断是否进行准确性调整，并对LTLf约束数据进行形式化验证，达到了提高程序运行时验证时效性的效果，解决了现有技术中存在程序运行时验证时效性低的问题。
-
公开(公告)号：CN118552419A
公开(公告)日：2024-08-27
申请号：CN202410619124.1
申请日：2024-05-18
Applicant: 西北工业大学
IPC: G06T5/50 , G06T7/30 , G06V10/774 , G06V10/80 , G06V10/82 , G06N3/0464 , G06N3/08 , G06F17/16 , G06T5/60
Abstract: 本发明公开一种基于光照感知的无人机多模态图像融合方法，涉及计算机视觉技术领域；并且本发明包括两部分，第一部分为针对可见光图像中包含的光照信息设计的光照感知网络，第二部分为对已配准的可见光模态和红外模态图像对的融合图像网络；本发明使融合结果的细节信息更加丰富，显著信息更明显，采用VGG16骨干网络，通过使用两个3*3卷积核代替一个5*5卷积核，加深了网络的非线性层，减少了参数量，增加了网络深度，增强了网络的特征提取能力和表示能力，降低过拟合风险，从而提升模型性能，同时生成的融合图像包含更丰富的细节信息，具有较高的清晰度和对比度，整个模型更有利于后续的目标跟踪等计算机视觉任务。
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.022 seconds)
