-
公开(公告)号：CN101807147A
公开(公告)日：2010-08-18
申请号：CN201010147146.0
申请日：2010-04-15
Applicant: 西北工业大学
Abstract: 一种从嵌入式软件代码中自动抽象软件架构的方法，技术特征在于：自动查检嵌入式软件系统的源代码，将源代码中的字分为数据定义类、运算符号类、控制语句类和函数创建类。查检结束后，该方法根据数据定义类和函数创建类的特征定义相应的DTD文档，用XML语言描述查检结果，并对描述的结果进行解析。该方法根据解析结果，在AADL模型空间中得到对应的模型构件，用AADL文本描述模型构件，形成软件源代码的架构模型。解决了遗产代码的架构抽象和构件间交互关系的描述，有利于系统非功能属性的分析，提高了遗产代码的重用性和软件系统的质量。
-
公开(公告)号：CN102880548B
公开(公告)日：2015-07-15
申请号：CN201210345740.X
申请日：2012-09-18
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生成，则可以保证可靠性模型的准确性和全面性。因此，本发明在深入研究AADL架构模型、错误模型和行为模型的基础上，提出在构件层实现错误模型的自动化生成。本发明能够保证错误模型间交互的准确性和全面性，时的系统可靠性模型的完整性，保证可靠性评估的准确性。
-
公开(公告)号：CN101853159B
公开(公告)日：2012-10-31
申请号：CN201010178818.4
申请日：2010-05-20
Applicant: 西北工业大学
IPC: G06F9/44
Abstract: 一种对嵌入式软件架构进行重构的方法。该方法从现有的软件架构中查检出软件架构的子构件，并在软件系统的源程序中找到对应的代码模块，向代码模块中植入侦测软件运行情况的程序语句，形成可实时侦测的软件系统。将可实时侦测的软件系统在PC主机的Tornado平台下生成新的系统镜像，将镜像下载到PC目标机的Vxworks系统环境下运行，侦测子构件的运行状况，运行结果返回主机端，与运行前的结果相比较，确定出软件架构的重构方案，实现对软件架构的重构。
-
公开(公告)号：CN102033494A
公开(公告)日：2011-04-27
申请号：CN201010588623.7
申请日：2010-12-14
Applicant: 西北工业大学
IPC: G05B17/02
Abstract: 本发明涉及一种面向飞行控制仿真的信号调理装置，其特征在于：信号检测板将接收目标系统发出的信号转接信号调理电路，同时所有经过转接的信号均被联接到信号检测板面板上的检测孔；AI信号调理电路的输出联接信号采集与处理工控机中的AD电路的输入端，信号采集与处理工控机中的DA电路的输出端与AO信号调理电路的输入端联接，DIO-O信号调理电路和DIO-I信号调理电路与信号采集与处理工控机中的DIO电路联接。本发明提高了飞行器仿真系统的模块化、标准化、通用化，具有性价比高、操作简单等优点。
-
公开(公告)号：CN101901186A
公开(公告)日：2010-12-01
申请号：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
公开(公告)号：CN117030175A
公开(公告)日：2023-11-10
申请号：CN202310784678.2
申请日：2023-06-29
Applicant: 西北工业大学
Abstract: 本公开提供一种双摆锤式双半正弦波冲击台，属于冲击试验装置技术领域。一种双摆锤式双半正弦波冲击台，包括加载机构、承重机构以及冲击台机构；所述冲击台机构具有能够上下运动的冲击台，所述冲击台能够固定待测试样；所述加载机构包括第一摆锤和第二摆锤；所述第一摆锤能够向所述冲击台加载向上的冲击载荷；所述第二摆锤能够向所述冲击台加载向下的冲击载荷；所述第一摆锤与所述承重机构连接；所述第二摆锤与所述承重机构连接；所述承重机构用于支撑所述加载机构和所述冲击台机构。该双摆锤式双半正弦波冲击台能提供连续的双半正弦冲击载荷。
-
公开(公告)号：CN116992710A
公开(公告)日：2023-11-03
申请号：CN202310802189.5
申请日：2023-06-30
Applicant: 西北工业大学
IPC: G06F30/23 , G06F119/02
Abstract: 本公开涉及可靠性分析技术领域，具体涉及一种可变线程样本计算的高效可靠性分析方法、系统、电子设备，以及存储介质。所述方法包括：调用第一程序对待处理样本生成目标文件，以获取对应的有限元样本；并创建第一指令文本；第二程序响应所述指令文本，读取所述有限元样本，将所述有限元样本的样本名写入待处理列表；第二程序根据所述待处理列表中的样本名数量与处理器核心数量的数量比对结果，结合所述有限元样本的预设处理方式，确定所述有限元样本的可变线程样本计算的高效可靠性分析方式。本方案能够提高数据分析效率。
-
公开(公告)号：CN116956665A
公开(公告)日：2023-10-27
申请号：CN202310787131.8
申请日：2023-06-29
Applicant: 西北工业大学
IPC: G06F30/23 , G06F30/17 , G06F119/14
Abstract: 本公开实施例是关于一种模拟隔振器的等效单元分析方法及装置、电子和介质，涉及振动控制技术领域，该模拟隔振器的等效单元分析方法包括：建立隔振器等效单元对应的原节点、运动节点以及方向节点；基于原节点、运动节点及方向节点确定法向方向和横向方向；确定原节点、运动节点及方向节点对应的质量，得到隔振器对应的隔振器等效单元；对隔振器等效单元进行迭代操作并进行等效分析，根据隔振器等效单元在法向方向和横向方向的变形量确定隔振器等效单元的变形力和变形能。本公开实施例中的技术方案，能够提高隔振器的等效分析的效率和准确性。
-
公开(公告)号：CN112949389A
公开(公告)日：2021-06-11
申请号：CN202110115251.4
申请日：2021-01-28
Applicant: 西北工业大学
Abstract: 本发明公开了一种基于改进目标检测网络的雾霾图像目标检测方法，首先采用一种基于优化对比度增强的快速去雾算法，能够实时有效地去除雾霾，增强图像的对比度信息；然将去雾后的图像送入改进后的YOLOV4目标检测网络进行检测，输出雾霾天气条件下的目标信息；同时为了提升YOLOV4网络的特征提取能力，本发明将YOLOV4主干网络中的残差块替换为密集链接块，相比于残差块，密集链接块使网络能够提升特征表达能力，提高网络的特征提取能力。最后，实验证明利用本发明可以提高在雾霾天气条件下的目标检测能力。
-
公开(公告)号：CN102063369B
公开(公告)日：2014-03-12
申请号：CN201010610279.7
申请日：2010-12-23
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动机的验证工具，对AADL模型模态转换的正确性及时间属性进行验证。本发明方法能够在嵌入式软件设计早期阶段对模型实施测试，尽早发现软件模型的正确性和实时性是否满足设计需求，及时修订设计方案，从而缩短了嵌入式实时系统开发的周期并节约了开发成本。
-
-
-
-
-
-
-
-
-
Search Results
35
records
(took 0.025 seconds)
