-
公开(公告)号:CN119248236A
公开(公告)日:2025-01-03
申请号:CN202411403266.0
申请日:2024-10-09
Applicant: 哈尔滨工业大学(深圳)(哈尔滨工业大学深圳科技创新研究院)
Abstract: 一种融合多编程语言的Julia函数库及其构建方法,属于计算机软件技术领域。包括采用模块化解耦的数据层业务逻辑层以及接口层。方法如下:设计Julia函数库的分层架构,自下至上依次为数据层、业务逻辑层和接口层;实现Julia函数库的数据层;实现Julia函数库的业务逻辑层;实现Julia函数的接口层。本发明提升了系统的灵活性和功能性,并为后续的科学计算任务提供了便捷支持;采用分层设计,明确了数据层、业务逻辑层和接口层之间的职责划分,使系统具有高度的可扩展性,能够轻松适应未来的功能扩展和技术升级。
-
公开(公告)号:CN118094863A
公开(公告)日:2024-05-28
申请号:CN202311751211.4
申请日:2023-12-19
Applicant: 哈尔滨工业大学
IPC: G06F30/20 , G06F30/12 , G06F3/0486
Abstract: 本发明公开了一种基于Modelica模型的AUTOSAR工具箱,该工具箱以Modelica语言为基础表示AUTOSAR标准电子架构模型,并在此基础上提供一系列AUTOSAR功能的支持,包括AUTOSAR模型配置、AUTOSAR元素映射、ARXML文件转换、符合AUTOSAR标准的C语言代码自动生成、模型仿真和通过Julia函数库创建、配置和使用AUTOSAR模型。本发明实现了将MBSE方法论引入到AUTOSAR模型的建模过程中,能够帮助用户快速、准确地表达AUTOSAR模型的信息,有效地降低了AUTOSAR模型的建模难度和复杂性,确保系统的质量和遵循标准,促进模块化和复用。
-
公开(公告)号:CN119806870A
公开(公告)日:2025-04-11
申请号:CN202510009919.5
申请日:2025-01-03
Applicant: 哈尔滨工业大学
IPC: G06F9/54 , G06F8/10 , G06F8/20 , G06F8/70 , G06F8/71 , G06F16/28 , G06F16/22 , G06F16/2455 , G06F16/2458 , G06F16/248
Abstract: 本发明公开了一种基于OSLC标准的需求追溯方法,所述方法包括如下步骤:步骤S1、开发需求软件适配器;步骤S2、开发建模软件适配器;步骤S3、设计客户端应用获取并展示数据;步骤S4、建立需求与模型间的追溯关系;步骤S5、实现追溯关系的查询与可视化展示;步骤S6、实现需求变更影响分析。本发明充分利用OSLC标准,通过对需求软件与建模软件的数据标准化,无需大规模改造即可实现异构工具的无缝集成,大幅提升了工具之间的通用性与互操作性,有效降低实施成本,提供了需求与模型之间的双向追溯能力,确保需求完整性和模型一致性,显著提升了系统开发过程中的质量管理能力。
-
公开(公告)号:CN115730310A
公开(公告)日:2023-03-03
申请号:CN202211468462.7
申请日:2022-11-22
Applicant: 哈尔滨工业大学
IPC: G06F21/56 , G06F18/214 , G06F18/24
Abstract: 本发明公开了一种基于多特征融合深度学习的安卓恶意软件检测与分类方法,所述方法是通过获取待测Apk样本、将待测Apk样本送入训练好的模型并得到检测结果完成的。本发明通过深度学习从静态污点路径中捕获不同类型恶意软件的数据流模式,将污点路径作为一组特征,进行安卓恶意软件的检测与分类,并使用Wide&Deep模型进行特征融合,其中Wide部分处理敏感API调用和危险权限两类特征,Deep部分处理静态污点路径,融合后的特征,增加了静态污点路径带有的语义信息,可以学习到不同恶意软件的行为模式,提升了模型的准确率和鲁棒性。
-
公开(公告)号:CN116483705B
公开(公告)日:2024-10-11
申请号:CN202310411559.2
申请日:2023-04-17
Applicant: 哈尔滨工业大学
Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法,属于计算机软件技术领域。所述方法为:通过解析和挖掘适航标准文本,构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据,构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考,扩展SysML语义,基于扩展的SysML建模机载软件系统需求。解析软件需求,利用机载软件分析知识图谱推荐适用的失效模式分析准则,依据不同失效模式类别,遍历需求模型,进行失效影响分析。本发明通过知识库构建与迭代学习,不断扩充知识库,失效模式的完备性显著得到提升,最大限度地挖掘潜在失效,提高软件质量,降低软件开发成本。
-
公开(公告)号:CN116756005A
公开(公告)日:2023-09-15
申请号:CN202310627771.2
申请日:2023-05-30
Applicant: 哈尔滨工业大学
Abstract: 一种考虑模型间和标准一致性的SysML模型校验方法,涉及一种SysML模型校验方法。获取表达各个元素之间关系的SysML树状结构;扩展标准一致性规则,满足模型间一致性校验的先验校验;构建多个筛选类,以解析后的树状结构的根节点为入口进行搜索剪枝,筛选出符合对应条件的元素列表;构建多个带有对应判断逻辑的规则校验类,对元素是否满足标准一致性进行校验判断;将已有的筛选类与对应的规则校验类进行一对多关联绑定,实现标准一致性校验;将不同元素对应的筛选类之间进行相互关联,实现模型间一致性校验。有效帮助发现冲突和不一致性、确保模型与实际系统的一致性、促进跨团队协作和沟通,提高模型的可维护性和可重用性。
-
公开(公告)号:CN116610294A
公开(公告)日:2023-08-18
申请号:CN202310448889.9
申请日:2023-04-24
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于Modelica语言的Autosar模型库构建方法,所述方法包括如下步骤:一、根据Autosar规范,将Autosar系统模型库进行设计分解;二、基于Modelica语言对Autosar中数据类型进行构建;三、基于Modelica语言构建Autosar基本建模元素,以面向对象的思想处理Autosar中各元素定义信息以及各元素之间静态结构关系;四、基于Modelica语言对Autosar建模元素进行图形化表示;五、通过Modelica语言支持Autosar模型各元素的动态行为交互;六、基于Modelica语言支持Autosar系统模型参数值、变量类型动态修改与数据标定。本发明可有效地降低Autosar模型开发难度,准确地表示Autosar模型信息,提升模型动态设计能力,提高设计效率。
-
公开(公告)号:CN117971179A
公开(公告)日:2024-05-03
申请号:CN202410043159.5
申请日:2024-01-11
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种符合AUTOSAR标准的C语言代码自动生成方法,所述方法如下:S1、编写支持Modelica模型信息获取的程序代码;S2、编写支持AUTOSAR项目信息解析的程序代码;S3、编写与C代码生成选项有关的JSON配置文件;S4、编写C代码生成模板;S5、更新映射信息。本发明考虑到Modelica语言具有多领域建模的全面性、基于方程的系统描述、可重用和层次化建模等特点,挖掘了Modelica语言在AUTOSAR系统中建模的潜力,并在Modelica语言表示AUTOSAR模型的基础上生成符合AUTOSAR标准的C语言代码,填补了Modelica模型生成AUTOSAR标准C代码的空白。
-
公开(公告)号:CN117891438A
公开(公告)日:2024-04-16
申请号:CN202410031121.6
申请日:2024-01-09
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种AUTOSAR工具箱函数库的实现方法,所述方法包括如下步骤:步骤S1、编写Modelica模型处理程序代码;步骤S2、编写AUTOSAR工具配置文件处理程序代码;步骤S3、将待实现的函数库进行拆分,包括顶层功能和底层功能;步骤S4、在高级程序语言中实现拆分得到的底层功能,封装为底层功能模块,同时提供清晰的接口,以便顶层功能调用;步骤S5、在Julia中实现函数库的顶层代码,调用底层功能模块,对其进行包装,以完成AUTOSAR工具箱函数库的实现。该方法支持批量的处理AUTOSAR模型,提升了汽车电子电气架构的设计效率,降低了汽车软件的开发成本,具有广阔的应用前景。
-
公开(公告)号:CN117785269A
公开(公告)日:2024-03-29
申请号:CN202311822887.8
申请日:2023-12-27
Applicant: 哈尔滨工业大学
IPC: G06F8/71 , G06F8/20 , G06F8/34 , G06F40/151 , G06F8/76
Abstract: 本发明公开了一种基于XML文件的AUTOSAR项目配置和实现方法,所述方法包括如下步骤:S1、设计自定义的XML文件结构内容,以存储AUTOSAR项目的配置信息;S2、在程序源代码中将XML文件结构内容进行表示;S3、对XML文件中的内容进行读取并显示;S4、用户对AUTOSAR项目配置信息进行修改,AUTOSAR工具将结果写回到AUTOSAR配置文件中。本发明综合了手动配置和可视化建模配置的优点,能够处理复杂的AUTOSAR模型建模配置任务,提升汽车电子架构设计的效率和质量,以通用的XML文件存储配置信息,能够促进AUTOSAR更好的标准化和工具间协同发展,具有广阔的应用前景。
-
-
-
-
-
-
-
-
-