公开(公告)号：CN117289901A

公开(公告)日：2023-12-26

申请号：CN202311214372.X

申请日：2023-09-20

Applicant: 西北工业大学

Inventor： 朱怡安 ,  张煊翊 ,  李联

IPC: G06F8/10 ,  G06F8/20

Abstract: 本发明涉及一种基于UML‑PROMELA的嵌入式实时系统建模与时序分析方法，涉及计算机技术领域。首先用UML类图构建嵌入式实时系统的任务模型，UML状态图构建嵌入式实时系统任务调度模型，UML顺序图构建嵌入式实时系统依赖关系模型；然后构建的UML模型三种视图分别到PROMELA模型转换方法，将UML模型转换为具有连续时钟集合的PROMELA模型；最后将PROMELA模型导入SPIN模型检测工具并建立LTL公式对系统模型进行时序分析。本发明兼顾了建模便捷性与验证准确性两方面的需求。

公开(公告)号：CN118689749A

公开(公告)日：2024-09-24

申请号：CN202410696537.X

申请日：2024-05-31

Applicant: 西北工业大学

Inventor： 朱怡安 ,  张煊翊 ,  李联

IPC: G06F11/34 ,  G06N5/04 ,  G06N7/02 ,  G06F17/16

Abstract: 一种基于博弈论的CRITIC模糊嵌入式计算机综合性能评价方法，输入评价指标测试数据得到测试结果，根据评价指标和测试结果构建决策矩阵，根据评价指标重要性关系构建模糊互补判断矩阵，通过对模糊判断互补矩阵进行一致性处理并将矩阵数据按行加权获得主观权重，利用改进的z‑score方法规范化测试数据矩阵，使用标准差系数计算指标变异系数，使用皮尔逊相关系数计算指标冲突性，通过融合变异系数和冲突性获得客观权重，最后用博弈论计算主观权重和客观权重的离差值最小的分配，获得组合权重，利用组合权重乘以规范化后的测试数据矩阵获得嵌入式计算机综合性能评价结果；解决了主观赋权法以及主客观权重分配随意性大问题。

公开(公告)号：CN118536067A

公开(公告)日：2024-08-23

申请号：CN202410692570.5

申请日：2024-05-31

Applicant: 西北工业大学

Inventor： 朱怡安 ,  张煊翊 ,  李联

IPC: G06F18/25 ,  G06F18/22 ,  G06F11/34

Abstract: 本发明公开了一种确定计算机系统性能评价指标的方法。其中，该方法包括：获取每一用户对计算机系统的第一性能评价指标的初始评价数据，其中，初始评价数据包括：初始可取概率、初始不可取概率、初始不确定是否可取概率；响应于每两个用户的初始评价数据，确定每两个用户的初始评价数据的之间的皮尔逊相关系数。本发明解决了通过多名专家对指标进行评估过程中，由于每个专家对指标的评估结果不同，导致不能给出有效的评估结果的技术问题。