-
公开(公告)号：CN102063369A
公开(公告)日：2011-05-18
申请号：CN201010610279.7
申请日：2010-12-23
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动机的验证工具，对AADL模型模态转换的正确性及时间属性进行验证。本发明方法能够在嵌入式软件设计早期阶段对模型实施测试，尽早发现软件模型的正确性和实时性是否满足设计需求，及时修订设计方案，从而缩短了嵌入式实时系统开发的周期并节约了开发成本。
-
公开(公告)号：CN102053910A
公开(公告)日：2011-05-11
申请号：CN201010554273.2
申请日：2010-11-18
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于AADL模态蜕变关系的嵌入式软件测试方法，技术特征在于：基于AADL架构模型文件中的模态信息，构造模态迁移图，根据改进的深度优先遍历算法将该图转换成蜕变测试需要的模态关系树。通过遍历该模态关系树，构造出模态蜕变关系中的源测试用例，然后借助由AADL模型中的模态蜕变关系生成后续测试用例，验证模态蜕变关系，得出蜕变测试的结论。解决了嵌入式软件测试中存在的“Oracle问题”，方便用户在软件设计的早期对嵌入式软件进行测试，在系统的架构级别保证软件的可靠性，如果模型架构不能满足相应的要求，可以在开发的早期修改软件的架构，这样不仅节约了开发成本，同时也可以缩短开发周期。
-
公开(公告)号：CN101986268A
公开(公告)日：2011-03-16
申请号：CN201010554285.5
申请日：2010-11-18
Applicant: 西北工业大学
IPC: G06F9/44
Abstract: 本发明涉及一种基于AADL描述的可靠性模型向GSPN模型的转换方法，其特征在于：将基本错误模型元素转换为GSPN模型中的基本元素；对描述构件向外传播错误的Out-propagation规则进行转换，以及对描述构件接收错误传播的In-propagation规则进行转换；根据错误模型中定义的基本依赖关系元素的交互，对高级依赖关系元素进行转换，向系统的GSPN模型中添加弧基本元素，得到具有高级依赖关系的系统的GSPN模型；将Out-propagation规则转换得到的位置中的标识清空，得到优化的系统的GSPN模型。本发明细化了基于GSPN模型元素建立AADL可靠性计算模型的方法和机制，实现了AADL模型元素转换到GSPN可靠性模型元素之间的一一对应关系。
-
公开(公告)号：CN115892445B
公开(公告)日：2025-04-18
申请号：CN202310006209.8
申请日：2023-01-04
Applicant: 西北工业大学
Abstract: 本发明公开一种可变形机翼，包括多组变形机构，变形机构包括前缘机翼、主体部分和后缘机翼，在蒙皮和气囊的共同作用下，变形机构能够产生连续变形，当变形机构变形到预设角度时，位于蒙皮与气囊之间的第一静电吸附变刚度元件通电，能够使变形机构稳定在此预设的变形角度。气囊的两侧面均设置有第二静电吸附变刚度元件，以实现相邻变形机构的主体部分的吸附连接，相邻变形机构的后缘机翼利用第三静电吸附变刚度元件实现吸附连接，在独立控制每一个变形机构实现其对应变形量的同时，通过控制第二静电吸附变刚度元件和第三静电吸附变刚度元件，能够控制多组变形机构实现连续变形。本发明还提供一种飞行器，包含上述的可变形机翼。
-
公开(公告)号：CN108827279B
公开(公告)日：2021-10-26
申请号：CN201810322954.2
申请日：2018-04-11
Applicant: 西北工业大学
Abstract: 本发明提供了一种基于地球反照的模拟式太阳敏感器抗干扰方法，涉及属于敏感器抗干扰领域，本发明建立地球反照率模型，计算太阳敏感器接收的辐照度，并由此得到辐照度统计特性，通过获取太阳光与地球反照光判别函数，即可作为太阳敏感器对地球反照的抗干扰依据，进行太阳光和地球反照光的区分。本发明针对基于地球反照的太阳敏感器抗干扰问题，不仅分析了地球反照情况下辐照度与入射角之间的关系，而且设计线性分类器，确定太阳光与地球反照光之间的线性判别函数，能够充分利用测量信息提高抗干扰的正确率，本发明的分析结果表明该抗干扰方法的合理性，能为太阳敏感器测量量的正确使用提供参考依据。
-
Patent Agency Ranking
公开(公告)号：CN103699743B
公开(公告)日：2017-01-25
申请号：CN201310723208.1
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型的形式化定义HPM，并在满足模型转换一致性的前提下建立CPS-ADL模型元素与HP模型元素之间的转换规则；基于这些转换规则，将具体CPS的模型描述代码自动转换为混合程序；按照定理证明器KeYmaera的输入格式，由混合程序和以动态微分逻辑描述的系统属性公式生成KeYmaera的输入文件；在KeYmaera中打开输入文件，进行推理验证。本发明细化了基于CPS-ADL模型向HP转换的方法和机制，实现了CPS-ADL模型元素向HP模型元素转换的规则。
-
公开(公告)号：CN104008149A
公开(公告)日：2014-08-27
申请号：CN201410212448.X
申请日：2014-05-16
Applicant: 西北工业大学
IPC: G06F17/30
Abstract: 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息；定义扩展信息集，定义CPS事件可能携带的各种类型的属性信息；将基本事件模型到扩展信息集进行映射和扩展；获取事件的时空信息；对基于时空信息的事件条件进行判定，判定捕获者接收到的CPS事件是否满足某种约束条件决定是否产生CPS响应动作。上述方案可有效解决CPS应用中事件的时空数据语义多样化，上层应用软件难以直接应用的问题。
-
公开(公告)号：CN103699743A
公开(公告)日：2014-04-02
申请号：CN201310723208.1
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型的形式化定义HPM，并在满足模型转换一致性的前提下建立CPS-ADL模型元素与HP模型元素之间的转换规则；基于这些转换规则，将具体CPS的模型描述代码自动转换为混合程序；按照定理证明器KeYmaera的输入格式，由混合程序和以动态微分逻辑描述的系统属性公式生成KeYmaera的输入文件；在KeYmaera中打开输入文件，进行推理验证。本发明细化了基于CPS-ADL模型向HP转换的方法和机制，实现了CPS-ADL模型元素向HP模型元素转换的规则。
-
公开(公告)号：CN102073585B
公开(公告)日：2013-08-14
申请号：CN201010564678.4
申请日：2010-11-25
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将AADL模型中的流转换为C++描述的测试模型，在系统实例仿真执行的过程中完成对AADL流延时属性的测试，并对测试结果进行分析与评估。能够在模型的设计阶段动态测试AADL模型的流延时属性，并根据测试结果迭代构造和精化设计模型，以便尽早发现设计模型中存在的问题，提高AADL模型设计初期的开发效率。
-
公开(公告)号：CN101853159A
公开(公告)日：2010-10-06
申请号：CN201010178818.4
申请日：2010-05-20
Applicant: 西北工业大学
IPC: G06F9/44
Abstract: 一种对嵌入式软件架构进行重构的方法。该方法从现有的软件架构中查检出软件架构的子构件，并在软件系统的源程序中找到对应的代码模块，向代码模块中植入侦测软件运行情况的程序语句，形成可实时侦测的软件系统。将可实时侦测的软件系统在PC主机的Tornado平台下生成新的系统镜像，将镜像下载到PC目标机的Vxworks系统环境下运行，侦测子构件的运行状况，运行结果返回主机端，与运行前的结果相比较，确定出软件架构的重构方案，实现对软件架构的重构。
-
-
-
-
-
-
-
-
-
Search Results
35
records
(took 0.022 seconds)
