-
公开(公告)号：CN113033627A
公开(公告)日：2021-06-25
申请号：CN202110254197.1
申请日：2021-03-09
Applicant: 西北工业大学
Abstract: 本发明公开了一种基于深度图信息最大化的动态社团挖掘方法，属于人工智能与复杂网络技术领域；首先，构建网络中节点的相似度矩阵，利用节点的相似度，衡量邻居节点对于每个节点的重要性。然后，在单个时间步上使用图卷积神经网络，提取出每个时间步上的特征矩阵，在学习过程中，借助LSTM更新下一个时间步的特征矩阵的权重系数。在提取完所有时间步上的特征矩阵后，利用余弦相似度平滑相邻两个时间步的特征矩阵，保证相邻时间步的差距较小。通过结合相似聚合策略，在单个时间步上利用图卷积神经网络进行特征提取，在相邻时间步间使用余弦相似度进行平滑操作，高效地提取出动态网络的特征矩阵。最后，将得到的特征矩阵输入到k‑means算法中，得到社团划分。
-
公开(公告)号：CN104008149B
公开(公告)日：2017-10-10
申请号：CN201410212448.X
申请日：2014-05-16
Applicant: 西北工业大学
IPC: G06F17/30
Abstract: 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息；定义扩展信息集，定义CPS事件可能携带的各种类型的属性信息；将基本事件模型到扩展信息集进行映射和扩展；获取事件的时空信息；对基于时空信息的事件条件进行判定，判定捕获者接收到的CPS事件是否满足某种约束条件决定是否产生CPS响应动作。上述方案可有效解决CPS应用中事件的时空数据语义多样化，上层应用软件难以直接应用的问题。
-
公开(公告)号：CN102880548A
公开(公告)日：2013-01-16
申请号：CN201210345740.X
申请日：2012-09-18
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生成，则可以保证可靠性模型的准确性和全面性。因此，本发明在深入研究AADL架构模型、错误模型和行为模型的基础上，提出在构件层实现错误模型的自动化生成。本发明能够保证错误模型间交互的准确性和全面性，时的系统可靠性模型的完整性，保证可靠性评估的准确性。
-
公开(公告)号：CN102053910B
公开(公告)日：2013-01-16
申请号：CN201010554273.2
申请日：2010-11-18
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于AADL模态蜕变关系的嵌入式软件测试方法，技术特征在于：基于AADL架构模型文件中的模态信息，构造模态迁移图，根据改进的深度优先遍历算法将该图转换成蜕变测试需要的模态关系树。通过遍历该模态关系树，构造出模态蜕变关系中的源测试用例，然后借助由AADL模型中的模态蜕变关系生成后续测试用例，验证模态蜕变关系，得出蜕变测试的结论。解决了嵌入式软件测试中存在的“Oracle问题”，方便用户在软件设计的早期对嵌入式软件进行测试，在系统的架构级别保证软件的可靠性，如果模型架构不能满足相应的要求，可以在开发的早期修改软件的架构，这样不仅节约了开发成本，同时也可以缩短开发周期。
-
公开(公告)号：CN101901186B
公开(公告)日：2012-06-06
申请号：CN201010221813.5
申请日：2010-07-08
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochastic Petri Net，GSPN)可靠性模型，利用现有的GSPN可靠性评估方法，对AADL可靠性模型进行量化分析。本发明方便软件架构可靠性分析自动化，方便用户在软件设计的早期对嵌入式软件的可靠性进行分析评估，在架构级别对软件的可靠性进行评估，如果模型架构不能满足要求，那么就可以提前修改软件架构，这样不仅可以节约开发成本，而且可以缩短开发周期。
-
Patent Agency Ranking
公开(公告)号：CN102073585A
公开(公告)日：2011-05-25
申请号：CN201010564678.4
申请日：2010-11-25
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将AADL模型中的流转换为C++描述的测试模型，在系统实例仿真执行的过程中完成对AADL流延时属性的测试，并对测试结果进行分析与评估。能够在模型的设计阶段动态测试AADL模型的流延时属性，并根据测试结果迭代构造和精化设计模型，以便尽早发现设计模型中存在的问题，提高AADL模型设计初期的开发效率。
-
公开(公告)号：CN115892445A
公开(公告)日：2023-04-04
申请号：CN202310006209.8
申请日：2023-01-04
Applicant: 西北工业大学
Abstract: 本发明公开一种可变形机翼，包括多组变形机构，变形机构包括前缘机翼、主体部分和后缘机翼，在蒙皮和气囊的共同作用下，变形机构能够产生连续变形，当变形机构变形到预设角度时，位于蒙皮与气囊之间的第一静电吸附变刚度元件通电，能够使变形机构稳定在此预设的变形角度。气囊的两侧面均设置有第二静电吸附变刚度元件，以实现相邻变形机构的主体部分的吸附连接，相邻变形机构的后缘机翼利用第三静电吸附变刚度元件实现吸附连接，在独立控制每一个变形机构实现其对应变形量的同时，通过控制第二静电吸附变刚度元件和第三静电吸附变刚度元件，能够控制多组变形机构实现连续变形。本发明还提供一种飞行器，包含上述的可变形机翼。
-
公开(公告)号：CN113033687A
公开(公告)日：2021-06-25
申请号：CN202110365299.0
申请日：2021-04-02
Applicant: 西北工业大学
Abstract: 本发明公开了一种雨雪气候条件下的目标检测识别方法，首先获取包含目标的待检测的雨雪气候背景图像数据，并通过模糊过滤器构建对应雨雪天气条件下的训练数据集；优化雨雪层与背景层的分离模型，分别处理有雨和无雨区域，以削弱无雨雪区域的细节损失；搭建基于情景信息的上下文扩张去雨网络，以此来还原不同雨雪程度下的背景图像；搭建基于局部特征学习的卷积神经网络，提升目标识别率；将去雨雪后的图像作为优化后目标检测网络模型的输入，目标检测网络模型提取出图像数据中感兴趣的区域，并输出目标类别；本发明提出的去雨雪目标检测模型具有良好的泛化性和普适性，可广泛应用于不同雨雪程度下的多种目标高精度自动化识别检测以及其它实际场景。
-
公开(公告)号：CN108827279A
公开(公告)日：2018-11-16
申请号：CN201810322954.2
申请日：2018-04-11
Applicant: 西北工业大学
Abstract: 本发明提供了一种基于地球反照的模拟式太阳敏感器抗干扰方法，涉及属于敏感器抗干扰领域，本发明建立地球反照率模型，计算太阳敏感器接收的辐照度，并由此得到辐照度统计特性，通过获取太阳光与地球反照光判别函数，即可作为太阳敏感器对地球反照的抗干扰依据，进行太阳光和地球反照光的区分。本发明针对基于地球反照的太阳敏感器抗干扰问题，不仅分析了地球反照情况下辐照度与入射角之间的关系，而且设计线性分类器，确定太阳光与地球反照光之间的线性判别函数，能够充分利用测量信息提高抗干扰的正确率，本发明的分析结果表明该抗干扰方法的合理性，能为太阳敏感器测量量的正确使用提供参考依据。
-
公开(公告)号：CN101807147B
公开(公告)日：2012-11-28
申请号：CN201010147146.0
申请日：2010-04-15
Applicant: 西北工业大学
Abstract: 一种从嵌入式软件代码中自动抽象软件架构的方法，技术特征在于：自动查检嵌入式软件系统的源代码，将源代码中的字分为数据定义类、运算符号类、控制语句类和函数创建类。查检结束后，该方法根据数据定义类和函数创建类的特征定义相应的DTD文档，用XML语言描述查检结果，并对描述的结果进行解析。该方法根据解析结果，在AADL模型空间中得到对应的模型构件，用AADL文本描述模型构件，形成软件源代码的架构模型。解决了遗产代码的架构抽象和构件间交互关系的描述，有利于系统非功能属性的分析，提高了遗产代码的重用性和软件系统的质量。
-
-
-
-
-
-
-
-
-
Search Results
35
records
(took 0.026 seconds)
