-
公开(公告)号：CN114884698A
公开(公告)日：2022-08-09
申请号：CN202210382540.5
申请日：2022-04-12
Applicant: 西北工业大学
Abstract: 本发明涉及一种基于联盟链的Kerberos与IBC安全域间的跨域认证方法，该方法中安全域内的实体节点在发起跨域认证请求时，首先通过协议认证目标域实体身份信息，然后将实体的身份信息生成跨域证书存储到区块链上，认证信息在区块链上保证无法被篡改，且按照共识协议被多个跨域节点确认，实现实体认证信息存储的去中心化；安全域中实体节点请求认证一个已经经过跨域认证的实体节点时，为了提高认证效率，可以直接将跨域证书发送至目标实体节点，目标实体节点经过区块链验证合法性之后，即可完成实体身份的重认证服务。解决了Kerberos与IBC间跨域认证中心化模型复杂、认证信息管理困难等技术问题。
-
公开(公告)号：CN114037457A
公开(公告)日：2022-02-11
申请号：CN202111302664.X
申请日：2021-11-05
Applicant: 西北工业大学
Abstract: 本发明涉及一种基于身份标识的工业复杂产品终端跨域接入认证方法，属于涉及信息安全领域。分为两个阶段，阶段一、工业复杂产品终端在安全域注册，但是未接入认证，然后移动到外域进行跨域请求接入认证；阶段二、工业复杂产品终端在安全域注册并通过接入认证，然后移动到外域进行跨域请求接入认证。本方法避免了工业复杂产品终端在不同安全域接入认证时需要重新注册，大大节省了工业复杂产品终端的域间接入认证时资源消耗和时间，提高了接入认证效率，使工业复杂产品接入认证更加方便、高效、快捷；相较于其它跨域认证方案，在工业互联网平台体系下本发明所提出的工业复杂产品终端跨域接入认证更加安全性和高效性。
-
公开(公告)号：CN109814852B
公开(公告)日：2021-12-31
申请号：CN201910029203.6
申请日：2019-01-12
Applicant: 西北工业大学
Abstract: 本发明提供了一种分区实时操作系统的分区配置方法，首先在Manifest文件中规定分区配置信息、交叉工具链的版本信息和编译链接参数，然后设计代码自动生成器，使得源代码和链接脚本自动生成，并对代码生成器进行形式化验证，在进行程序编译时，通过获取Manifest文件中规定的交叉工具链编译器和链接器的版本信息，对编译器和链接器的版本进行验证，然后根据Manifest中的编译链接参数进行程序的编译和链接。本发明消除了因编译器和链接器版本不同造成编译链接结果不正确的可能性，简化了程序开发过程，同时也保证了源代码和链接脚本的可靠性，消除了因手动编写源代码和链接脚本而引入错误的可能性。
-
公开(公告)号：CN113780564A
公开(公告)日：2021-12-10
申请号：CN202111084761.6
申请日：2021-09-15
Applicant: 西北工业大学
Abstract: 本发明公开了一种融合实体类型信息的知识图谱推理方法、装置、设备及存储介质，该方法包括：将实体嵌入矩阵、关系嵌入矩阵和实体类型嵌入矩阵输入推理模型中分别提取头实体向量、关系向量和头实体类型向量，并生成推理模型的卷积核；将推理模型的卷积核对头实体向量进行卷积，生成推理模型的隐藏层；将隐藏层经过推理模型的全连接层后，生成混合特征向量；将混合特征向量与实体嵌入矩阵相乘，并采用sigmoid激活函数进行归一化处理，输出推理结果。本发明将实体类型嵌入和关系嵌入相融合，用融合后的特征向量对头实体进行卷积，能够捕获实体、实体类型和关系的内在联系，有效提升了推理结果的实体类型正确率。
-
公开(公告)号：CN110866679A
公开(公告)日：2020-03-06
申请号：CN201911030007.7
申请日：2019-10-28
Applicant: 西北工业大学
Abstract: 本发明公开了一种符合DO-178标准的机载软件开发流程调度方法，用于解决现有机载软件开发流程调度方法容易陷入局部最优的技术问题。技术方案是每次迭代过程是对解空间的一次搜索，多次搜索最终取最优结果。由于将基于SoftMax函数衰减的概率Min-Min调度算法应用到符合DO-178B/C的机载软件开发过程的任务与人员调度中，改善了原本Min-Min调度算法的容易陷入局部最优的问题，由于增大了搜索空间，对给定66个随机生成的项目过程的实验情况表明，本发明平均情况下相比背景技术Min-Min调度能减少8.3％的项目完成时间，而实验结果的箱形图表明该算法最差情况下也好于Min-Min调度。
-
Patent Agency Ranking
公开(公告)号：CN110850443A
公开(公告)日：2020-02-28
申请号：CN201911094494.3
申请日：2019-11-11
Applicant: 西北工业大学
IPC: G01S17/95
Abstract: 本发明公开了一种激光雷达温湿度数据阶梯分析处理方法，用于解决现有激光雷达温湿度数据数据处理方法准确性差的技术问题。技术方案是根据激光雷达采集数据的特点进行温度和湿度数据采集，温度采集包括模拟近场信号采集、模拟远场信号采集、光子近场信号采集和光子远场信号采集，湿度采集包括光子近场信号采集和光子远场信号采集，按照最小时间粒度存储数据，累加梯度内全部数据并反演得到温湿度数据，降低信号采集时外部因素对信号的干扰问题。本发明采用实时采集、实时处理相结合的方式，正向反演、反向推导，根据获取的阶梯时间处理采集的信号数据，结合实时信号的参数获取的温湿度数据，更新阶梯时间和繁衍参数，提高了大气温湿度数据准确性。
-
公开(公告)号：CN106648941B
公开(公告)日：2019-09-24
申请号：CN201611230312.7
申请日：2016-12-28
Applicant: 西北工业大学
IPC: G06F11/00
Abstract: 本发明公开了一种飞控嵌入式计算机性能测评方法，用于解决现有嵌入式计算机性能测评方法综合测试评价能力差的技术问题。技术方案是构建具有针对性的全面测试指标体系，对需要进行测试的飞控嵌入式系统给予综合评价。该方法针对飞控计算机的系统要求和特点，提出了处理器性能指标、存储器性能指标、I/O性能指标、同步处理性能指标、信号处理指标、数字信号处理、应用与逻辑运算指标和控制与显示性能指标等8个指标。运行这8个指标的测试程序，分别得到对应的测试结果；随后把这8个测试结果放入综合评价体系中，通过二次评价权重分配法和限界极差变换法的变换与计算得到整个飞控嵌入式计算机的性能分数，综合测试评价能力强。
-
公开(公告)号：CN109903004A
公开(公告)日：2019-06-18
申请号：CN201910024888.5
申请日：2019-01-11
Applicant: 西北工业大学
Abstract: 本发明提供了一种强化监管力度的招投标监管流程方法，采用五级审核机制，对招标人发起的招标项目进行详细审核监管；在招标公告环节采用二级审核，确保招标公告的开标信息符合条件；在专家抽取环节监管方式采用自动随机抽取机制结合自动语音外呼系统，在开标现场环节采用双随机抽取机制对招标项目和监标人员进行随机抽取，以及采用远程视频系统对开标现场进行远程视频传输，实现远程视频监管，本发明保证专家抽取公平、随机，采用音视频系统对开标现场进行远程视频传输，实现远程视频监管，通过加强现场监管和远程视频监管，综合提高对开标现场的监管力度；保证中标公示的准确性和公平性。
-
公开(公告)号：CN109815040A
公开(公告)日：2019-05-28
申请号：CN201910029140.4
申请日：2019-01-12
Applicant: 西北工业大学
Abstract: 本发明提供了一种基于锁步加监控的高安全性计算机系统及其设计方法，在处理器进行读操作时，双处理器分别从两个内存的相同地址读取数据并进行对比，如果对比正确，则将数据送入对应的处理器中，如果对比错误，则进行故障处理操作；设置监控与锁步的对比模块，在负载中加入检查点输出，当检查点到来时，进行交叉对比。若对比无误，则系统基于运行；若对比有误，则进行故障处理操作。本发明实现指令级的故障检测与定位，大大降低了由存储器发生随机故障而引起的系统故障，提高了锁步模块双处理器共模故障的检测率，进而提高了整个系统的安全性，有效解决了非相似处理器运行速度不匹配的问题，减少了监控单元忙等的时间。
-
公开(公告)号：CN105740126B
公开(公告)日：2018-05-22
申请号：CN201610130317.6
申请日：2016-03-08
Applicant: 西北工业大学
Abstract: 本发明公开了一种基于五种能力的嵌入式系统性能评价方法，用于解决现有嵌入式系统性能评价方法评价结果全面性差的技术问题。技术方案是对五种能力的指标体系进行构建，对指标得分进行计算，最后进行综合评价。在指标体系构建中，选取能反映五种能力的指标，剔除重复项，独立交叉项，合并同类项，使得指标具备可操作性。在指标得分计算中，对于难以量化的指标，采用黑箱法进行测试。通过归一化的方式把随机数值指标转化为[0,1]之间的数值；指标测试项为布尔命题的测试结果为0或1；对于部分指标测试项无法用数值表示的，采用经验法对其进行量化。最后通过雷达图进行展示。该方法评价结果完整全面，科学地反映了嵌入式系统的性能。
-
-
-
-
-
-
-
-
-
Search Results
150
records
(took 0.028 seconds)
