-
公开(公告)号：CN116894441A
公开(公告)日：2023-10-17
申请号：CN202310929605.8
申请日：2023-07-26
Applicant: 哈尔滨工业大学
IPC: G06F40/30 , G06F40/177
Abstract: 本发明公开了一种SysML语言的表数据语义和数据流审核方法，所述方法通过分析基于流的敏捷分析流程，创建相应的数据流追溯流程，在该流程中生成与各个图相对应的数据表。在生成的数据表的基础上，生成数据矩阵，并对其进行数据流审核，以检验模型中图与图之间数据的一致性。根据数据流的审核结果，对模型进行迭代更新。对系统需求进行更新，在这个过程中，本发明通过增加基于表的数据描述语义，构建全局的结构化数据表，存储需求分析与建模过程中生成的数据项与数据结构，以有效支持数据流分析，进行数据一致性审核。
-
公开(公告)号：CN116483348A
公开(公告)日：2023-07-25
申请号：CN202310467547.1
申请日：2023-04-26
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种SysML模型生成与推荐方法，所述方法通过学习已有项目需求和SysML模型，构建SysML需求图自动生成器，实现根据自然语言表达的系统需求自动化地生成SysML需求图，并通过SysML模型的需求追溯关系推荐模型，支持模型驱动的系统工程中智能化的模型复用。本发明可以根据自然语言需求，自动化地生成SysML需求图模型，并支持可视化的需求确认和变更，进而利用SysML模型的可追溯性，自动化地推荐模块图、活动图等其他SysML图模型，辅助软件系统建模和开发，提高软件系统的开发效率和质量。本发明也适用于UML模型的生成和推荐，还可以进一步应用于其他低代码开发过程中的模型生成和推荐。
-
公开(公告)号：CN109408114B
公开(公告)日：2021-06-22
申请号：CN201810950683.5
申请日：2018-08-20
Applicant: 哈尔滨工业大学
Abstract: 本发明提供了一种程序错误自动修正方法、装置、电子设备及存储介质，包括：S1根据待进行修正的学生程序从预先设定的多个模板程序获取与学生程序最为匹配的模板程序作为示例程序；S2根据学生程序以及示例程序进行语法树匹配，获取两个程序中语法结构相似节点和语法结构不同节点；S3获取两个程序相同功能变量的映射表；S4生成第一代变异体种群；S5根据测试通过次数以及和示例程序的相似度计算变异体的适应度；S6采用交叉和变异操作生成新一代变异体种群；S7循环执行S5和S6直到有变异体可以通过所有规定的测试用例或达到预设迭代次数，将适应度最高的变异体作为学生程序的修正程序以及其对应的编辑序列的操作作为修正方案输出。
-
公开(公告)号：CN111951975A
公开(公告)日：2020-11-17
申请号：CN202010839209.2
申请日：2020-08-19
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于深度学习模型GPT-2的脓毒症早期预警方法，在选定的时间跨度内提取ICU内病患的特征变量，组成一个高维度、随时间变化的序列，并将该序列经过数据预处理后输入到基于改进的GPT-2模型中以结合病患的近期临床表现提取到与ICU病患目前病情最接近的一种有效表示，将得到的该表示输入到一个全连接前馈网络层预测患者在接下来的时间内患有脓毒症的概率。本发明可以最大程度利用ICU内的病患常规指标，并可以根据时间的变化来预测病患面临的风险，类似于重症监护医生每日查房期间反复分析和更新重症监护病房的患者管理，该方法结合病患前几天的临床表现，根据大量可用数据做出预测结果，具有时效性，准确度更高。
-
公开(公告)号：CN116909544A
公开(公告)日：2023-10-20
申请号：CN202310902130.3
申请日：2023-07-21
Applicant: 哈尔滨工业大学
Abstract: 一种基于SysML模型的代码自动生成方法，属于计算机技术领域，所述方法包括如下步骤：一、根据SysML规范，对建立的SysML模型进行多层次模型校验，确保SysML模型是合法有效的；二、依据所建立的模型内容文件，结合模型内的多种视图，对SysML模型进行转换与解析；三、进行组件定义与管理；四、规格化代码映射模板构建；五、进行层次化代码自动生成，生成最终的目标语言代码。本发明可将MBSE和MDA方法进行统一协作，为SysML模型的实现提供了具体的手段，有效降低模型设计开发难度，提升了在MBSE方法中模SysML模型的设计开发能力，保障了系统模型开发实现的效率和质量。
-
Patent Agency Ranking
公开(公告)号：CN116597984A
公开(公告)日：2023-08-15
申请号：CN202310578508.9
申请日：2023-05-22
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于知识图谱的感染性休克诊疗推荐方法，所述方法包括如下步骤：S1：对感染性休克知识图谱相关信息进行定义；S2：引入对称关系、逆关系、组合关系，采用RotatE模型对知识图谱进行表示；S3：采用word2vec和RotatE模型，根据患者症状完成诊疗方法的推荐。本发明依靠按照5种实体、7种关系构建知识图谱，引入对称关系、逆关系、组合关系，采用RotatE模型对感染性休克知识图谱进行表示；考虑到现实情况中，可能查询的某些患者症状在知识图谱中并不存在，重训练word2vec模型，实现对知识图谱中不存在的症状，进行诊疗方法推荐，辅助医生进行临床诊疗决策，以达到最佳的治疗效果。
-
公开(公告)号：CN116483705A
公开(公告)日：2023-07-25
申请号：CN202310411559.2
申请日：2023-04-17
Applicant: 哈尔滨工业大学
Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法，属于计算机软件技术领域。所述方法为：通过解析和挖掘适航标准文本，构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据，构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考，扩展SysML语义，基于扩展的SysML建模机载软件系统需求。解析软件需求，利用机载软件分析知识图谱推荐适用的失效模式分析准则，依据不同失效模式类别，遍历需求模型，进行失效影响分析。本发明通过知识库构建与迭代学习，不断扩充知识库，失效模式的完备性显著得到提升，最大限度地挖掘潜在失效，提高软件质量，降低软件开发成本。
-
公开(公告)号：CN103020494B
公开(公告)日：2015-06-24
申请号：CN201210508663.5
申请日：2012-12-03
Applicant: 哈尔滨工业大学
IPC: G06F21/12
Abstract: 一种利用程序代码编程模式著作权归属检测模型检测著作权归属的方法，它涉及一种编程模式的程序代码著作权归属检测方法。本发明的目的是要解决现在的程序代码雷同检测方法和工具存在不能有效提取大规模程序集合中的编程模式，以及不考虑每个作者的历史数据，无法判定程序代码的著作权归属的问题。著作权归属检测方法：以待确认著作权归属的程序代码作为程序代码的编程模式的查询程序代码输入，即可得到著作权归属度列表。本发明主要提供一种著作权归属的检测方法。
-
公开(公告)号：CN119166205A
公开(公告)日：2024-12-20
申请号：CN202411308447.5
申请日：2024-09-19
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种安卓框架演变场景下的权限与API表示方法，所述方法如下：收集各版本安卓权限描述和各版本安卓框架代码库；从各版本安卓权限描述中获取所有被弃用的权限及相应的替换权限；为被弃用的权限各自构造一个集合，每个集合包含一个被弃用的权限及其相应的替换权限，把具有公共元素的集合进行合并，得到安卓框架演变场景下权限的表示形式；从各版本安卓框架代码库中获取所有被弃用的API及相应的替换API；为被弃用的API各自构造一个集合，每个集合包含一个被弃用的API及其相应的替换API，把具有公共元素的集合进行合并，得到安卓框架演变场景下API的表示形式。本发明可以提高对安卓程序功能性建模的准确性。
-
公开(公告)号：CN117608525A
公开(公告)日：2024-02-27
申请号：CN202311583577.5
申请日：2023-11-24
Applicant: 哈尔滨工业大学
Abstract: 一种基于大模型的SysML状态机图形式化需求验证方法，属于计算机软件开发技术领域。方法如下：收集SysML状态机图数据集，追溯对应需求文本，而后对SysML状态机图以及需求文本进行翻译并进行验证；对SysML状态机图以及需求文本进行处理；为大模型设置提示模板，对两组大规模数据集进行批量训练；获取SysML状态机图和需求文本的翻译结果并以NuSMV可识别的语言的形式进行表示；对所得代码进行相应修改；将得到的目标代码输入NuSMV进行形式化验证。本发明提高了验证的效率，使验证方法更具普适性，减轻了在不同领域中应用形式验证方法时的繁琐工作，能够适应多种需求验证场景。
-
-
-
-
-
-
-
-
-
Search Results
24
records
(took 0.021 seconds)
