-
公开(公告)号：CN109408114A
公开(公告)日：2019-03-01
申请号：CN201810950683.5
申请日：2018-08-20
Applicant: 哈尔滨工业大学
Abstract: 本发明提供了一种程序错误自动修正方法、装置、电子设备及存储介质，方法包括：S1、根据待进行修正的学生程序从预先设定的多个模板程序获取与学生程序最为匹配的模板程序作为示例程序；S2、根据学生程序以及示例程序进行语法树匹配，获取两个程序中语法结构相似节点和语法结构不同节点；S3、获取两个程序相同功能变量的映射表；S4、生成第一代变异体种群；S5、根据测试通过次数以及和示例程序的相似度计算变异体的适应度；S6、采用交叉和变异操作生成新一代变异体种群；S7、循环执行S5和S6直到有变异体可以通过所有规定的测试用例或达到预设迭代次数，将适应度最高的变异体作为学生程序的修正程序以及其对应的编辑序列的操作作为修正方案输出。
-
公开(公告)号：CN116483705B
公开(公告)日：2024-10-11
申请号：CN202310411559.2
申请日：2023-04-17
Applicant: 哈尔滨工业大学
Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法，属于计算机软件技术领域。所述方法为：通过解析和挖掘适航标准文本，构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据，构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考，扩展SysML语义，基于扩展的SysML建模机载软件系统需求。解析软件需求，利用机载软件分析知识图谱推荐适用的失效模式分析准则，依据不同失效模式类别，遍历需求模型，进行失效影响分析。本发明通过知识库构建与迭代学习，不断扩充知识库，失效模式的完备性显著得到提升，最大限度地挖掘潜在失效，提高软件质量，降低软件开发成本。
-
公开(公告)号：CN114816431B
公开(公告)日：2024-07-09
申请号：CN202210569302.5
申请日：2022-05-24
Applicant: 哈尔滨工业大学
IPC: G06F8/41
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模型信息，提升模型动态设计能力，提高设计效率。
-
Patent Agency Ranking
公开(公告)号：CN111951975B
公开(公告)日：2022-03-25
申请号：CN202010839209.2
申请日：2020-08-19
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于深度学习模型GPT‑2的脓毒症早期预警方法，在选定的时间跨度内提取ICU内病患的特征变量，组成一个高维度、随时间变化的序列，并将该序列经过数据预处理后输入到基于改进的GPT‑2模型中以结合病患的近期临床表现提取到与ICU病患目前病情最接近的一种有效表示，将得到的该表示输入到一个全连接前馈网络层预测患者在接下来的时间内患有脓毒症的概率。本发明可以最大程度利用ICU内的病患常规指标，并可以根据时间的变化来预测病患面临的风险，类似于重症监护医生每日查房期间反复分析和更新重症监护病房的患者管理，该方法结合病患前几天的临床表现，根据大量可用数据做出预测结果，具有时效性，准确度更高。
-
公开(公告)号：CN109144882B
公开(公告)日：2021-07-06
申请号：CN201811096080.X
申请日：2018-09-19
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 本发明公开了一种程序不变量的软件故障定位方法及装置。该方法包括：针对目标软件源代码进行语句、值和逻辑表达式级的插桩，采用预设的测试用例集合执行插桩后的源代码，获得执行信息；对预设失败测试用例集合进行聚类，并对每个聚类，选择有助于区分缺陷语句的成功测试用例集合；学习优选成功测试用例集合的执行信息，获得程序不变量集合，包括集合型、真值表型和浮点型范围不变量；根据失败测试用例集合的执行信息和程序不变量集合检测不变量违背，获得可疑语句集合。采用依赖分析过滤掉因故障传播导致的不变量违背误检，统计分析各语句处的不变量违背，计算语句可疑度。本发明提高了软件故障定位的准确性，克服了逻辑表达式缺陷定位漏检问题。
-
公开(公告)号：CN116610294B
公开(公告)日：2024-12-06
申请号：CN202310448889.9
申请日：2023-04-24
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于Modelica语言的Autosar模型库构建方法，所述方法包括如下步骤：一、根据Autosar规范，将Autosar系统模型库进行设计分解；二、基于Modelica语言对Autosar中数据类型进行构建；三、基于Modelica语言构建Autosar基本建模元素，以面向对象的思想处理Autosar中各元素定义信息以及各元素之间静态结构关系；四、基于Modelica语言对Autosar建模元素进行图形化表示；五、通过Modelica语言支持Autosar模型各元素的动态行为交互；六、基于Modelica语言支持Autosar系统模型参数值、变量类型动态修改与数据标定。本发明可有效地降低Autosar模型开发难度，准确地表示Autosar模型信息，提升模型动态设计能力，提高设计效率。
-
公开(公告)号：CN116483348B
公开(公告)日：2024-10-11
申请号：CN202310467547.1
申请日：2023-04-26
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种SysML模型生成与推荐方法，所述方法通过学习已有项目需求和SysML模型，构建SysML需求图自动生成器，实现根据自然语言表达的系统需求自动化地生成SysML需求图，并通过SysML模型的需求追溯关系推荐模型，支持模型驱动的系统工程中智能化的模型复用。本发明可以根据自然语言需求，自动化地生成SysML需求图模型，并支持可视化的需求确认和变更，进而利用SysML模型的可追溯性，自动化地推荐模块图、活动图等其他SysML图模型，辅助软件系统建模和开发，提高软件系统的开发效率和质量。本发明也适用于UML模型的生成和推荐，还可以进一步应用于其他低代码开发过程中的模型生成和推荐。
-
公开(公告)号：CN117472331A
公开(公告)日：2024-01-30
申请号：CN202311209385.8
申请日：2023-09-19
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于敏捷系统工程的故障预测和健康管理方法，所述方法基于SysML建模，将PHM系统需求、功能、逻辑、物理架构建模分析的概念融合到PHM架构设计方法中，建立了各模型间的追溯关系，当PHM系统需求发生变更时，则可以根据追溯关系，分析需求变更的影响范围，从系统工程角度以递归和迭代方式更新系统模型，支持PHM系统快速迭代升级。本发明支持PHM系统的架构引领、基于模型、数据驱动的敏捷开发模式，形成适合于PHM敏捷系统工程的标准化支撑环境，支持PHM系统的快速迭代升级，为装备的使用和维修保障提供技术手段，对保障装备系统可靠性、可用性、安全性、可维护性，促进装备系统的创新发展有着重要的意义。
-
-
-
-
-
-
-
-
-
Search Results
24
records
(took 0.021 seconds)
