-
公开(公告)号：CN113034120A
公开(公告)日：2021-06-25
申请号：CN202011446462.8
申请日：2020-12-09
Applicant: 电子科技大学
IPC: G06Q20/06 , G06Q40/04 , G06F16/9536
Abstract: 本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法，建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法，然后系统使用链上评价信息，采用机器学习等手段，过滤掉机器生成的批量无效评价，并调整评价权重，最终展示校正前后的综合评分和评价。此外系统还需要提供过滤和校正权重的算法以及合理性说明。本发明可以提供一种利用机器学习算法辅助提高系统评价可信度的方法。由于通过区块链，合约的状态和存在变得明显，这提供了永久的、公开的和不可更改的记录，用户能够完全的监督系统的校正工作，提高了系统和评论的可信度。
-
公开(公告)号：CN112465641A
公开(公告)日：2021-03-09
申请号：CN202011447232.3
申请日：2020-12-09
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于GCN的区块链交易风险分析方法，包括：步骤S1：对目标交易进行溯源，获得其资金来源的交易；步骤S2：对比资金来源交易中的地址和地址库，计算已知地址的风险值，按照资金比例汇总得到已知风险值；步骤S3：将未知地址涉及的交易输入GCN得到风险值，按照资金比例汇总计算估计风险值；步骤S4：合并S2中的已知风险值和S3中的估计风险值。本发明通过比对地址库对已知地址分析风险值，并对未知地址结合GCN估计其所属交易的风险，对比传统机器学习的估计方法，加强了对交易图的点和关系的利用，提高了区块链交易风险分析的准确率。
-
公开(公告)号：CN110968876A
公开(公告)日：2020-04-07
申请号：CN201911225123.4
申请日：2019-12-04
Applicant: 电子科技大学
IPC: G06F21/57
Abstract: 本发明公开一种基于MILS架构的安全操作系统，应用于安全操作系统领域，针对现有的操作系统在形式化验证中存在的认证困难的问题，本发明基于MILS架构的系统把若干个进程隔离在一个单独的分区中运行，然后再分别对每个分区进行安全评估，从而大大减少对整个安全系统的认证力度，所述MILS架构按照系统层次划分为：分离内核层、中间件服务层和应用程序层，所述分离内核层的一级调度采用基于固定优先级的多核可抢占式调度算法实现，保证了实时操作系统的实时分区的强实时性。
-
公开(公告)号：CN110351264A
公开(公告)日：2019-10-18
申请号：CN201910586014.9
申请日：2019-07-01
Applicant: 电子科技大学
IPC: H04L29/06
Abstract: 本发明公开一种多安全等级分区间通信的实现方法，针对MILS架构下的多级安全操作系统的通信安全问题，本发明为每个分区分配一个安全等级，各分区间按照其安全等级进行通信；包括：建立两个分区间的通信环境；当一个分区准备向另一个分区发送数据时，发送方将需要发送的数据写入共享内存页中，然后发送一个事件通知给接收方，通知接收方准备接收数据；接收方接收数据时，首先接收到发送方的事件通知，然后进入相应的事件处理函数，从共享内存页中读取发送方的发送数据，完成此次数据交互；当两个分区之间通信结束后，回收通信资源，包括共享内存页的释放，授权表项索引的释放、以及事件通道的销毁，采用本发明的方法保证了系统的通信安全。
-
公开(公告)号：CN110347507A
公开(公告)日：2019-10-18
申请号：CN201910586068.5
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F9/50
Abstract: 本发明公开一种基于时间片轮转的多级融合实时调度方法，当运行于MILS架构上的所有分区“客户”操作系统没有严格的实时性需求时，本发明中每个物理CPU维持一个就绪队列，队列中的VCPU对应一个信用度值，根据信用度值将VCPU分为四种状态：BOOST、UNDER、OVER和IDLE，BOOST状态的VCPU具有最高优先级；UNDER表示该VCPU还有剩余的信用度值，处于UNDER状态的VCPU可以正常参与调度；当VCPU消耗完其信用度值时其状态会从UNDER变为OVER，处于OVER状态的VCPU无法参与调度；IDLE表示VCPU处于空闲状态，是最低的优先级，保证了各个分区都能公平地使用CPU资源。
-
Patent Agency Ranking
公开(公告)号：CN110347485A
公开(公告)日：2019-10-18
申请号：CN201910586624.9
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F9/48
Abstract: 本发明公开一种基于固定优先级的多核抢占式的多级融合实时调度方法，针对基于MILS架构的多级安全操作系统上运行了各种各样的分区操作系统时，实时分区需要保证其强实时性的问题，本发明多个物理CPU共享同一个就绪队列，就绪队列所采用的优先级即为分配给每个VCPU的固定优先级，固定优先级的可取值范围为0到N-1，根据优先级的可取值范围，就绪队列划分为N个子队列，每个子队列代表一个优先级，就绪队列按照子队列优先级数值的大小从小到大进行排列，即数值越小，表示其优先级越高，则越靠近就绪队列的队首；每个子队列中的所有VCPU的固定优先级相等，按照其到达就绪队列的时间进行排序，保证了强实时分区内的实时任务都能按时完成。
-
公开(公告)号：CN110991318A
公开(公告)日：2020-04-10
申请号：CN201911198214.3
申请日：2019-11-29
Applicant: 电子科技大学
Abstract: 本发明涉及一种彩色激光打印文件暗记识别方法，并基于此方法设计了一套暗记识别比较系统。该方法的特征在于，提取预处理后的图像中暗黄色小点的位置信息，并标定最小可重复部分为暗记，并比较暗记相似度、确定其是否属于同一类暗记。该系统包含四个模块，输入模块，图像预处理模块，暗记识别模块，暗记比较模块；输入模块读取来源于本地的图像；图像预处理模块确认最佳参数，去除干扰信息；暗记识别模块提取暗记特征；暗记比较模块对比较提取到的暗记，并给出相似度判断两个暗记是否属于同一类。目前计算机视觉和图像处理技术发展迅速，提供了实验条件，目前实验也证明提取、识别并比较纸张的暗记特征是完全可行的，达到了较高的识别精度。
-
公开(公告)号：CN110989997A
公开(公告)日：2020-04-10
申请号：CN201911225125.3
申请日：2019-12-04
Applicant: 电子科技大学
IPC: G06F8/30
Abstract: 本发明公开一种基于定理证明的形式化验证方法，应用于安全操作系统领域，针对现有的操作系统存在的安全性问题，本发明基于定理证明的形式化验证方法，包括：对源代码重构、对函数进行形式化建模、对函数进行定理描述、最后进行形式化证明；本发明采用人机交互的半自动化证明，利用类型系统和逻辑之间的同构关系，将构造证明的过程转化为编写程序的过程，而证明的正确性检查也变成了类型检查问题，尽管需要大量手工劳动来构造证明，但是本发明提出的方法无需牺牲规约和代码的表达能力，特别是程序中可以使用表达能力很强的逻辑来表示，且证明自身在机器中都有显示表示，其正确性可以被自动检查，验证的结论也就更加可信。
-
公开(公告)号：CN110969646A
公开(公告)日：2020-04-07
申请号：CN201911224810.4
申请日：2019-12-04
Applicant: 电子科技大学
Abstract: 本发明公开一种适应高帧率的人脸追踪方法，应用于图像识别领域，针对现有的终端设备算力欠缺从而导致人脸追踪速度无法与摄像设备帧率同步的问题，本发明将人脸追踪划分为同步追踪处理和异步人脸识别两个流程，并提供了一种快速人脸识别方法，利用高耗时的异步人脸识别构建运动预测向量，从而利用运动预测向量完成同步人脸追踪，以此保证在高帧率条件下人脸追踪速度和设备帧率同步。
-
公开(公告)号：CN110348234A
公开(公告)日：2019-10-18
申请号：CN201910586625.3
申请日：2019-07-01
Applicant: 电子科技大学
Abstract: 本发明公开一种MILS架构中的强制访问安全策略实现方法及管理方法，采用DTE策略与MLS策略两种强制访问控制机制实现了资源不被非法使用和访问的功能，通过严格限制分区“客户”操作系统对可信分离内核和设备的访问请求，防止未授权分区对可信分离内核和设备的非法访问，以此保障可信分离内核的安全性；本发明还提供安全策略的管理方法，方便系统用户灵活地更改系统中的安全策略。
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.023 seconds)
