-
公开(公告)号：CN105183551A
公开(公告)日：2015-12-23
申请号：CN201510569965.7
申请日：2015-09-10
Applicant: 电子科技大学
Abstract: 本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括：在Linux内核中创建至少两个容器，并启动容器中的系统；当调用容器的切换命令时，改变容器中的系统的使用状态；基于系统的使用状态，Frame Buffer驱动将图像输出到对应的地址。该方法通过实现显示设备的复用，支持多个Android同时运行，达到多个Android间的快速切换，提高用户体验。
-
公开(公告)号：CN110347521A
公开(公告)日：2019-10-18
申请号：CN201910586622.X
申请日：2019-07-01
Applicant: 电子科技大学
Abstract: 本发明公开一种基于MILS的域间通信方法，通过Xen创建多个域，每个域运行不同的操作系统；采用Dom0表示主域，DomU表示客户子系统；本发明根据xenstore对读写权限的要求，实现客户子系统与主域之间的通信、不同安全等级客户子系统之间的通信；进一步保证了MILS架构的多级安全操作系统的安全。
-
公开(公告)号：CN108647648A
公开(公告)日：2018-10-12
申请号：CN201810454195.5
申请日：2018-05-14
Applicant: 电子科技大学
CPC classification number: G06K9/00624 , G06K9/342 , G06K9/6256 , G06K9/6267 , G06K2209/21
Abstract: 本发明涉及一种基于卷积神经网络的用于可见光条件下的舰船识别系统及方法，包含以下模块，其中图像预处理模块对图像中干扰信息进行去除，图像增广模块用来对已有的图像进行裁剪，分割，变换光照等手段扩充图片训练集合，舰船对象检测模型训练模块完成的工作是用对象检测模型框架训练出用来进行舰船检测的模型，去除虚警模块的作用是将识别的部分去除，舰船分类模型训练模块是用数据集对对象检测模型框架进行训练，区域缩放模块是对图片随机选取一块区域，用来扩大数据集，舰船分类模型的功能是分类检测到的舰船。目前，基于卷积神经网络的可见光条件下的舰船识别系统已经被证明在舰船识别领域比传统的舰船识别方法具有更高的精度。
-
公开(公告)号：CN110347405A
公开(公告)日：2019-10-18
申请号：CN201910591845.5
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F8/41
Abstract: 本发明公开一种schedule调度模块的形式化验证方法，针对现有技术对于MILS架构的schedule调度模块的验证过程较为复杂，验证效率低下的问题；本发明通过对schedule调度模块的源代码进行重构操作；对重构之后的代码进行形式化建模；对重构之后的代码进行形式化定理描述；对所建立的形式化模型以及定理描述的状态变化进行形式化证明；保证系统的功能正确性和安全性。
-
公开(公告)号：CN110321212A
公开(公告)日：2019-10-11
申请号：CN201910585978.1
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F9/48
Abstract: 本发明公开一种基于最早截止时间优先的多级融合实时调度方法，对于分区中的“客户”操作系统的任务为周期任务，且每个任务都有明确的截止时间时，本发明的调度算法中维持两个全局队列，分别为就绪队列和耗尽队列；每个VCPU关联了两个参数，分别为表示周期的period和表示一个周期内可执行时间的budget；就绪队列中的所有VCPU的budget都大于0，就绪队列所采用的优先级为各个VCPU的截止时间，离截止时间越近的VCPU其优先级越高；耗尽队列中的所有VCPU已经用完了自己的可执行时间budget；本发明的方法很好地保证了“客户”操作系统中的任务在截止时间前完成的实时性需求。
-
Patent Agency Ranking
公开(公告)号：CN106354630B
公开(公告)日：2018-11-13
申请号：CN201610709221.5
申请日：2016-08-23
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入符号执行和缺陷检测指令；将插桩处理后的LLVM中间码编译生成可执行文件；基于生成的可执行文件，进行动态符号执行与缺陷检测：基于动态符号执行对源程序的各个分支进行软件缺陷检测。本发明的实施，能全面地检测程序中各个分支中潜在的缺陷，且缺陷检测效率高。
-
公开(公告)号：CN110969646A
公开(公告)日：2020-04-07
申请号：CN201911224810.4
申请日：2019-12-04
Applicant: 电子科技大学
Abstract: 本发明公开一种适应高帧率的人脸追踪方法，应用于图像识别领域，针对现有的终端设备算力欠缺从而导致人脸追踪速度无法与摄像设备帧率同步的问题，本发明将人脸追踪划分为同步追踪处理和异步人脸识别两个流程，并提供了一种快速人脸识别方法，利用高耗时的异步人脸识别构建运动预测向量，从而利用运动预测向量完成同步人脸追踪，以此保证在高帧率条件下人脸追踪速度和设备帧率同步。
-
公开(公告)号：CN105183551B
公开(公告)日：2019-12-10
申请号：CN201510569965.7
申请日：2015-09-10
Applicant: 电子科技大学
Abstract: 本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括：在Linux内核中创建至少两个容器，并启动容器中的系统；当调用容器的切换命令时，改变容器中的系统的使用状态；基于系统的使用状态，Frame Buffer驱动将图像输出到对应的地址。该方法通过实现显示设备的复用，支持多个Android同时运行，达到多个Android间的快速切换，提高用户体验。
-
公开(公告)号：CN110348234A
公开(公告)日：2019-10-18
申请号：CN201910586625.3
申请日：2019-07-01
Applicant: 电子科技大学
Abstract: 本发明公开一种MILS架构中的强制访问安全策略实现方法及管理方法，采用DTE策略与MLS策略两种强制访问控制机制实现了资源不被非法使用和访问的功能，通过严格限制分区“客户”操作系统对可信分离内核和设备的访问请求，防止未授权分区对可信分离内核和设备的非法访问，以此保障可信分离内核的安全性；本发明还提供安全策略的管理方法，方便系统用户灵活地更改系统中的安全策略。
-
公开(公告)号：CN110348233A
公开(公告)日：2019-10-18
申请号：CN201910586007.9
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F21/60 , G06F21/62 , G06F9/4401
Abstract: 本发明公开一种基于ARM的多级安全操作系统实现方法，针对现有的多操作系统安全性问题，本发明基于MILS架构，采用Xen on ARM的方案，多个操作系统以分区的形式运行在Xen之上；通过将Uboot镜像搬运到开发板内存起始位置，Uboot再将操作系统镜像搬运进内存中规定地址；依次进行Xen源码编译、Linux源码编译、设备树文件编写；根文件系统制作、Rtems移植，实现了在ARM开发板上实现了多级安全操作系统。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.022 seconds)
