-
公开(公告)号：CN103092759A
公开(公告)日：2013-05-08
申请号：CN201310031568.5
申请日：2013-01-28
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式环境下的代码动态性能剖析器，包括对目标函数进行运行时性能跟踪的桩代码模块、用于截取目标函数的控制权使控制流转移到桩代码模块中的桩代码上并保存和恢复寄存器上下文的胶水代码模块、生成用于剖析的可执行文件的前期数据处理子模块、对采集到的数据进行整理统计的后期处理子模块；实现目机标与主机的IDE通信，以此实现主机与目标机之间的数据传送的守护程序和结果显示模块。本发明可以分析嵌入式下用户函数及库函数的执行时间和被调用次数，通过分析比较，该方法比现有工具统计速度更快、准确度更高。
-
-
公开(公告)号：CN110135498A
公开(公告)日：2019-08-16
申请号：CN201910410375.8
申请日：2019-05-17
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于深度进化神经网络的图像识别方法，属于深度学习、进化算法等领域。本发明在处理图像识别问题时，首先将初始化多个最小神经网络结构作为初始种群，并且通过环境适应度函数对种群中的所有个体进行环境适应度评判；其次利用父代选择算法对个体进行选择；然后对选定的个体进行变异操作，从而产生新一代的种群；最后重复上述步骤多次，直至多代间环境适应度最高的个体结构不再变化，即可将这个个体作为最终的分类模型结构。本发明将进化算法与神经网络相结合，产生出深度进化神经网络算法，并将其应用到图像识别领域中，解决了神经网络模型结构难以选择、超参数难以确定等问题，并且提高了模型搭建的效率。
-
公开(公告)号：CN104965788B
公开(公告)日：2017-07-28
申请号：CN201510390576.8
申请日：2015-07-03
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种代码静态检测方法，具体涉及一种基于LLVM IR的符号执行算法——利用给予程序变量符号初值技术领域，解决现在技术中的静态检测方法支持语言单一、不能较好的处理指针和别名问题，探测潜在的程序漏洞等问题。本发明的步骤：(1)获取源代码，并将源代码进行预处理转换为LLVM汇编程序；(2)将转换得到的LLVM汇编程序，运用符号执行算法模拟解释执行LLVM汇编程序，并记录各个变量在不同路径上的符号值和各条路径的约束条件；(3)根据记录各个变量在不同路径上的符号值和各条路径的约束条件，调用SMT求解器Z3检查变量的符号值是否满足路径约束和漏洞约束，判断程序是否存在潜在漏洞。本发明应用于源代码中的数组越界，除零错误和空指针引用。
-
Patent Agency Ranking
公开(公告)号：CN106095443A
公开(公告)日：2016-11-09
申请号：CN201610412437.5
申请日：2016-06-14
Applicant: 电子科技大学
IPC: G06F9/44
CPC classification number: G06F8/30
Abstract: 没本发明公开了一种基于C/C++代码库的API调用模式挖掘方法。本方法的输入是C/C++代码库，首先通过开源的基于LLVM的clang编译器对输入代码库进行编译，利用clang提供的相关扩展接口完成API序列信息的提取；然后对API序列进行预处理，将相同的API序列合并成一条序列及将嵌套使用的序列进行关联处理；然后将预处理好的API序列存储到数据库中；然后计算数据库中API序列间的距离，得到距离矩阵；然后根据API序列间的距离矩阵，使用DBScan聚类算法对API序列进行聚类处理，将聚类结果存储到数据库中；最后用户输入函数片段信息，利用数据库查询技术将符合要求的API序列及对应的使用代码片段返回给用户。
-
公开(公告)号：CN103678948B
公开(公告)日：2016-10-26
申请号：CN201410009791.4
申请日：2014-01-09
Applicant: 电子科技大学
Abstract: 本发明公开了一种CCHP系统三联供多目标优化方法，包括年能源消耗模型、年运营费用模型、污染排放模型的数学模型建立，由上述三个数学模型组成多目标优化函数并将其作为算法的适应值，利用随机鱼群算法进行求解得出设备容量数据，根据各个设备容量数据设计CCHP系统的设备购置方案。本发明体现了帕累托最优原则，将CCHP系统三联供的各个目标达到最优的资源配置，给决策者提供多样化的设备购置方案。
-
公开(公告)号：CN103678948A
公开(公告)日：2014-03-26
申请号：CN201410009791.4
申请日：2014-01-09
Applicant: 电子科技大学
IPC: G06F19/00
Abstract: 本发明公开了一种CCHP系统三联供多目标优化方法，包括年能源消耗模型、年运营费用模型、污染排放模型的数学模型建立，由上述三个数学模型组成多目标优化函数并将其作为算法的适应值，利用随机鱼群算法进行求解得出设备容量数据，根据各个设备容量数据设计CCHP系统的设备购置方案。本发明体现了帕累托最优原则，将CCHP系统三联供的各个目标达到最优的资源配置，给决策者提供多样化的设备购置方案。
-
公开(公告)号：CN103067412A
公开(公告)日：2013-04-24
申请号：CN201310031570.2
申请日：2013-01-28
Applicant: 电子科技大学
IPC: H04L29/06
Abstract: 本发明公开了一种GIOP到RapidIO的RIO-IOP协议，包括硬件层、RapidIO总线层、RCS协议栈层、RIO-IOP协议层、GIOP层、应用层；所述RCS协议栈层运行在RapidIO的网络中的各个非交换节点上，RCS协议栈为对RapidIO的第一次封装，所述RIO-IOP协议层为对RapidIO进行的第二次封装，即把RCS封装成RIO-IOP协议。本发明将基于高速总线RapidIO的协议栈RCS无缝衔接到CORBA的传输层，把抽象协议GIOP映射为具体的RapidIO，从理论和实践上提出并实现了全新的RIO-IOP协议，完成经由RIO-IOP协议的CORBA基本调用。
-
-
-
-
-
-
-
Search Results
19
records
(took 0.021 seconds)
