-
公开(公告)号：CN108647648A
公开(公告)日：2018-10-12
申请号：CN201810454195.5
申请日：2018-05-14
Applicant: 电子科技大学
CPC classification number: G06K9/00624 , G06K9/342 , G06K9/6256 , G06K9/6267 , G06K2209/21
Abstract: 本发明涉及一种基于卷积神经网络的用于可见光条件下的舰船识别系统及方法，包含以下模块，其中图像预处理模块对图像中干扰信息进行去除，图像增广模块用来对已有的图像进行裁剪，分割，变换光照等手段扩充图片训练集合，舰船对象检测模型训练模块完成的工作是用对象检测模型框架训练出用来进行舰船检测的模型，去除虚警模块的作用是将识别的部分去除，舰船分类模型训练模块是用数据集对对象检测模型框架进行训练，区域缩放模块是对图片随机选取一块区域，用来扩大数据集，舰船分类模型的功能是分类检测到的舰船。目前，基于卷积神经网络的可见光条件下的舰船识别系统已经被证明在舰船识别领域比传统的舰船识别方法具有更高的精度。
-
公开(公告)号：CN104503788A
公开(公告)日：2015-04-08
申请号：CN201410784129.6
申请日：2014-12-16
Applicant: 电子科技大学
IPC: G06F9/445
Abstract: 本发明公开了一种缩短安卓操作系统启动时间的设置方法，属于操作系统快速启动技术领域。本发明包括启动安卓设备，执行引导程序，由引导程序装载Linux内核；再执行安卓用户空间资源加载、本地服务开启和用户分区扫描后，执行Zygote进程，在加载完安卓虚拟机所需的类与资源后，中断该进程并为其设置还原点文件，以及创建还原点文件检查进程，设置该进程在引导程序装载Linux内核后启动，用于判断是否存在所述还原点文件，若存在，则根据还原点文件对初始化安卓虚拟机进程进行还原；若不存在，则执行初始化安卓虚拟机进程。本发明用于安卓设备，能在保证用户体验的前提下显著缩短系统启动时间。
-
公开(公告)号：CN102207881A
公开(公告)日：2011-10-05
申请号：CN201110189973.0
申请日：2011-07-07
Applicant: 电子科技大学
IPC: G06F9/445
Abstract: 本发明公开一种基于Android的操作系统快速启动方法。包括备份过程和快速启动过程，所述备份过程包括步骤：进入Android操作系统的用户界面程序；用户将Android操作系统从普通运行模式切换到系统备份模式；生成快速启动的内存映像；将快速启动的内存映像按预先定义的快速启动映像格式的数据结构备份到外存中。所述快速启动过程包括步骤：由引导程序完成基本的硬件设备初始化后从外存中读取快速启动映像格式的数据结构；若进入快速启动模式，则由引导程序从外存中以内存页面为单位逐步的将快速启动的内存映像拷贝到内存中；由引导程序恢复上述步骤中快速启动的内存映像进入Android操作系统的用户界面程序。本发明的有益效果是：可以缩短Android操作系统启动时间。
-
公开(公告)号：CN117931193A
公开(公告)日：2024-04-26
申请号：CN202311471285.2
申请日：2023-11-07
Applicant: 电子科技大学
Abstract: 本发明一种自动形式化验证c语言高层属性的系统及方法，将将代码与高层属性导入生成抽象语法树，中间语言生成器将其进行关键提取与遍历，然后生成程序流图导入到属性与代码分析器，对于高层属性文档描述的高层属性进行提取，对函数进行变量提取，生成变量的依赖表，将函数输出到函数属性路径生成器，生成相应的逻辑公式，再将目标属性生成逻辑公式，再将其相关性进行合并，给符号求解器进行求解然后进行计算，如果都能计算成功，这说明这个属性在代码里被满足，如果有违反了属性则存在误报的可能将结果输出到抽象验证器中生成对应的抽象谓词域，通过不动点迭代生成抽象状态机，最后得到抽象状态图后可以验证目标属性通过任意可达路径是否正确。
-
公开(公告)号：CN113034120A
公开(公告)日：2021-06-25
申请号：CN202011446462.8
申请日：2020-12-09
Applicant: 电子科技大学
IPC: G06Q20/06 , G06Q40/04 , G06F16/9536
Abstract: 本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法，建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法，然后系统使用链上评价信息，采用机器学习等手段，过滤掉机器生成的批量无效评价，并调整评价权重，最终展示校正前后的综合评分和评价。此外系统还需要提供过滤和校正权重的算法以及合理性说明。本发明可以提供一种利用机器学习算法辅助提高系统评价可信度的方法。由于通过区块链，合约的状态和存在变得明显，这提供了永久的、公开的和不可更改的记录，用户能够完全的监督系统的校正工作，提高了系统和评论的可信度。
-
Patent Agency Ranking
公开(公告)号：CN107203428A
公开(公告)日：2017-09-26
申请号：CN201710377118.X
申请日：2017-05-25
Applicant: 电子科技大学
IPC: G06F9/48
Abstract: 本发明提供了一种基于Xen的VCPU多核实时调度算法，为运行于Xen平台之上的所有操作系统分配一个静态优先级，属于同一个操作系统的VCPU拥有相同的静态优先级，保证系统中静态优先级较高的VCPU优先响应；同时为每个VCPU实时维护一个中断标识，用来记录未完成中断的个数，保证亟需中断响应的VCPU优先响应，从而提高运行于Xen平台之上的实时操作系统对中断和任务切换的响应速度，达到实时性增强的目的。
-
公开(公告)号：CN105183551A
公开(公告)日：2015-12-23
申请号：CN201510569965.7
申请日：2015-09-10
Applicant: 电子科技大学
Abstract: 本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括：在Linux内核中创建至少两个容器，并启动容器中的系统；当调用容器的切换命令时，改变容器中的系统的使用状态；基于系统的使用状态，Frame Buffer驱动将图像输出到对应的地址。该方法通过实现显示设备的复用，支持多个Android同时运行，达到多个Android间的快速切换，提高用户体验。
-
公开(公告)号：CN104091135A
公开(公告)日：2014-10-08
申请号：CN201410061094.3
申请日：2014-02-24
Applicant: 电子科技大学
CPC classification number: G06F21/6245 , G06F21/78
Abstract: 本发明提供了一种智能终端安全系统及安全存储方法，包括提供需要两个子操作系统运作的特别的安全系统并执行对用户隐私数据的安全存储和读取。本发明智能终端设备使用该系统和方法提供对关键数据进行保护，用以解决当前密码及相关关键隐私数据的不能安全存储和读取的问题。本发明不仅可以提供对关键数据的保护，同时也可以根据该运作机理进行其它多种样式的安全功能操作。
-
公开(公告)号：CN103714459A
公开(公告)日：2014-04-09
申请号：CN201310729282.4
申请日：2013-12-26
Applicant: 电子科技大学
CPC classification number: G06Q20/425
Abstract: 本发明公开了一种智能终端安全支付系统及方法，利用具有空间隔离功能的处理器，在安全以及不安全的两个时空中各自运行一个操作系统。包括以下特定：A.普通应用发起支付请求，支付程序检验其合法性，根据检验结果切换到监视器；B.监视器检验该请求的合法性，根据检验结果保存不安全操作系统上下文，恢复安全操作系统上下文；C.安全操作系统运行，进行安全支付处理，处理完成后通过监视器切换回不安全时空；D.不安全操作系统获取当前处理结果，完成后续处理。此方法的安全系数非常高，极大地避免了任一安全信息泄漏，同时也降低了硬件成本以及工作量。
-
公开(公告)号：CN102207881B
公开(公告)日：2014-01-22
申请号：CN201110189973.0
申请日：2011-07-07
Applicant: 电子科技大学
IPC: G06F9/445
Abstract: 本发明公开一种基于Android的操作系统快速启动方法。包括备份过程和快速启动过程，所述备份过程包括步骤：进入Android操作系统的用户界面程序；用户将Android操作系统从普通运行模式切换到系统备份模式；生成快速启动的内存映像；将快速启动的内存映像按预先定义的快速启动映像格式的数据结构备份到外存中。所述快速启动过程包括步骤：由引导程序完成基本的硬件设备初始化后从外存中读取快速启动映像格式的数据结构；若进入快速启动模式，则由引导程序从外存中以内存页面为单位逐步的将快速启动的内存映像拷贝到内存中；由引导程序恢复上述步骤中快速启动的内存映像进入Android操作系统的用户界面程序。本发明的有益效果是：可以缩短Android操作系统启动时间。
-
-
-
-
-
-
-
-
-
Search Results
44
records
(took 0.023 seconds)
