-
Patent Agency Ranking
公开(公告)号：CN115964033A
公开(公告)日：2023-04-14
申请号：CN202310084136.4
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号：CN109491709B
公开(公告)日：2021-07-02
申请号：CN201811270187.1
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AHP与神经网络的软件代码可控度综合评价方法，涉及软件代码可控度评价技术领域。本发明给出了合理的软件代码可控性度量模型，并提出了用层次分析法获取权重作为神经网络输入的软件代码可控性综合评价模型，解决了复杂系统建模时,由于影响因素过多,把它们都作为神经网络的输入,会增加网络的复杂度,降低网络性能,影响计算准确度的问题。工程实例应用的结果表明，本发明针对复杂软件代码，采用层次分析和神经网络相结合的可控度评价结果是可信的、有效的。
-
公开(公告)号：CN110569629A
公开(公告)日：2019-12-13
申请号：CN201910853284.1
申请日：2019-09-10
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明提出了一种二进制代码文件溯源方法，该方法通过反汇编生成汇编代码，然后基于汇编指令生成二进制文件的Simhash特征值，最后结合倒排索引方法和Simhash汉明距离计算，实现二进制代码文件相似性比对，并最终完成二进制代码文件溯源。该方法具有较好的时间和空间复杂度，能够满足在海量代码库中进行二进制代码文件快速溯源分析的要求，具有较高的准确率和召回率。
-
公开(公告)号：CN109445834A
公开(公告)日：2019-03-08
申请号：CN201811273830.6
申请日：2018-10-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/70
Abstract: 本发明涉及一种基于抽象语法树的程序代码相似性快速比较方法，涉及代码复用技术领域。本发明的基于抽象语法树的程序代码相似性快速比较方法，该方法通过构造程序抽象语法树，然后基于抽象语法树提取程序代码特征，并将代码特征哈希化，最后通过计算代码特征哈希值的汉明距离进行代码相似性的判定。该方法以程序代码抽象语法树为比较对象，同时结合Simhash与倒排索引技术，将程序代码的相似性比较转化成代码特征哈希值的比较。在保证高准确率和召回率的前提下，这种方法不仅能够实现程序代码的快速相似性比较，而且还能够满足针对海量代码进行快速相似性比较的需要。该方法具有较好的时间和空间复杂度，能够适应针对海量代码的相似性比较应用场景，从而为软件代码复用及溯源提供支持手段。
-
公开(公告)号：CN108647030A
公开(公告)日：2018-10-12
申请号：CN201810275497.6
申请日：2018-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。
-
-
-
-
Search Results
65
records
(took 0.036 seconds)
