-
公开(公告)号：CN106371887B
公开(公告)日：2019-09-13
申请号：CN201610980621.X
申请日：2016-11-08
Applicant: 西安电子科技大学
IPC: G06F8/41
Abstract: 本发明公开了一种MSVL语言的编译系统及方法，包括：MSVL前端和底层虚拟机后端；MSVL前端包括词法语法分析模块，预处理模块和中间代码生成模块；LLVM后端包括目标代码生成模块；所述MSVL语言的编译方法对MSVL中的简单语句用正则形的方法进行预处理，对复杂语句，分别对每个并发分量进行预处理，并对每个并发分量创建一个线程。本发明很好地解决了现有技术执行MSVL程序效率低，影响了程序验证和执行的效率的问题，提高了MSVL程序的执行和验证效率；根据程序本身复杂程度的不同，其执行速度可提高几十倍乃至上百倍；并且一次编译成功后程序可以反复执行，无需再次编译。
-
公开(公告)号：CN103150199B
公开(公告)日：2016-03-02
申请号：CN201310120181.7
申请日：2013-04-08
Applicant: 西安电子科技大学
Abstract: 一种多类型MSVL语言解释系统其包括，变量类型声明模块、变量存储模块、算术表达式处理模块、赋值操作处理模块、强制类型转换命令处理模块及框架命令处理模块。在投影时序逻辑中及其程序设计语言MSVL中扩展了多种内置数据类型，增强了MSVL的描述能力，拓展了MSVL的应用领域，使MSVL可以更加灵活广泛地对多数据类型的系统进行建模和验证。本发明将变量的论域定义为取值和类型组成的二元组，将变量和常量的解释定义为二元组，使得每一个变量的类型作为变量的固有性质，提高变量引用的效率。针对于变量和常量的论域以及解释的扩展，给出相关函数和操作符的语义，使扩展类型后与类型相关的函数和运算符与现有的MSVL语句相兼容。
-
公开(公告)号：CN103150199A
公开(公告)日：2013-06-12
申请号：CN201310120181.7
申请日：2013-04-08
Applicant: 西安电子科技大学
Abstract: 一种多类型MSVL语言解释系统其包括，变量类型声明模块、变量存储模块、算术表达式处理模块、赋值操作处理模块、强制类型转换命令处理模块及框架命令处理模块。在投影时序逻辑中及其程序设计语言MSVL中扩展了多种内置数据类型，增强了MSVL的描述能力，拓展了MSVL的应用领域，使MSVL可以更加灵活广泛地对多数据类型的系统进行建模和验证。本发明将变量的论域定义为取值和类型组成的二元组，将变量和常量的解释定义为二元组，使得每一个变量的类型作为变量的固有性质，提高变量引用的效率。针对于变量和常量的论域以及解释的扩展，给出相关函数和操作符的语义，使扩展类型后与类型相关的函数和运算符与现有的MSVL语句相兼容。
-
公开(公告)号：CN101800982B
公开(公告)日：2012-12-05
申请号：CN201010013725.6
申请日：2010-01-15
Applicant: 西安电子科技大学
IPC: H04W12/06
Abstract: 本发明提供一种无线局域网切换快速认证安全性增强方法，主要解决现有标准无法满足军事应用高安全性需求的问题。其实现过程是：终端与认证服务器在初始接入认证阶段协商切换密钥；认证服务器在接收到接入点发送的切换子密钥请求时，计算相应的切换子密钥，并将该切换子密钥发送给该接入点；在切换过程中终端与接入点利用切换子密钥进行快速认证，并采用基于椭圆曲线的Diffie-Hellman交换生成会话密钥。本发明所提供方法具有前向保密性，能够抵抗部分拒绝服务攻击，简化了密钥管理，并降低了密钥泄露风险的优点，可用于紧急通信、指挥所的内部互联网，城市作战网络以及野战环境下快速网络部署。
-
公开(公告)号：CN118660094A
公开(公告)日：2024-09-17
申请号：CN202410655086.5
申请日：2024-05-24
Applicant: 西安电子科技大学
Abstract: 本发明提供了一种针对无人机固件的固件解包装置包括：命令行解析模块，用于判断输入对象是文件形式还是文件夹形式，如果是文件夹形式则保存每个文件夹中每个输入对象的绝对路径；固件文件头提取模块，用于提取输入对象的第一固件头部信息；文件格式识别模块，用于确认输入对象是否是无人机固件文件；条目数据分类模块，用于提取并确定条目头部属于无人机固件文件结构的具体部分；具体部分提取模块，用于采用不同的提取方式提取无人机固件文件的条目数据。本发明对大量不同型号不同版本的固件进行测试，扩展了特征码数据集，而且对于提取过程中遇到的新的特征也会以打印日志的方式提醒用户，从而保证了整个无人机固件提取过程的完整性。
-
Patent Agency Ranking
公开(公告)号：CN111007880B
公开(公告)日：2022-09-02
申请号：CN201911350055.4
申请日：2019-12-24
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于汽车雷达的扩展目标跟踪方法，根据状态集建立实际目标汽车的随机有限集模型，根据测量集建立量测目标汽车的随机有限集模型，修正异常多普勒速度，在方位‑多普勒速度预分区处理后使用吉布斯采样进行数据关联，关联成功则更新多目标PMBM后验密度，再预测下一时刻的多目标PMBM先验密度，关联不成功则判断是否有新目标进入，对于新目标则预测下一时刻的多目标PMBM先验密度，再结合完全状态向量计算目标输出结果，否则剔除该杂波，本发明增加少量的时间复杂度便能大幅度提升跟踪效率，提高跟踪精度。
-
公开(公告)号：CN111811415A
公开(公告)日：2020-10-23
申请号：CN202010543082.X
申请日：2020-06-15
Applicant: 杭州电子科技大学
Abstract: 本发明公开了推力球轴承光干涉线性油膜厚度检测试验台及其检测方法。现有基于球盘的光干涉膜厚测量方法无法准确反应轴承中油膜厚度。本发明的玻璃轴承套圈模块由传动模块驱动旋转；玻璃轴承套圈模块包括玻璃推力球轴承上套圈、轴套、螺纹轴和六角螺母；加载模块包括弹簧、加载棒、加载支架、嵌入型导向轴支座和滑动座台；推力球轴承下套圈通过销钉固定在滑动座台上，推力球轴承保持架钢球组件放置于推力球轴承下套圈上；加载模块使推力球轴承保持架钢球组件和玻璃推力球轴承上套圈承受载荷；光学系统模块拍摄油膜光干涉图像。本发明能分析轴承实际工作时油膜状态和基础油的回流机制。
-
公开(公告)号：CN111725381A
公开(公告)日：2020-09-29
申请号：CN202010718403.5
申请日：2020-07-23
Applicant: 中国空气动力研究与发展中心超高速空气动力研究所 , 电子科技大学
Abstract: 本发明公开了一种具备高灵敏度系数的新型原子层热电堆热流传感器及其封装工艺，包括：基座，其表面设置有电绝缘氧化层，基座侧面开设有导线槽，基座上端面开设有引线孔Ⅱ；敏感元件，其粘接固定在基座的上端面；封装套，其套设在基座外部；银导线，其固定设置在导线槽内；敏感元件的结构包括：钛酸锶晶片，其上开设有引线孔Ⅰ，钛酸锶晶片表面沉积有至少两个钇钡铜氧化物薄膜；钇钡铜氧化物薄膜之间通过导电金膜首尾串联连接；两个引线金膜，其一端与钇钡铜氧化物薄膜相接，另一端覆盖引线孔Ⅰ周围区域；银导线穿过引线孔Ⅱ和引线孔Ⅰ，并与引线金膜电导通。本原子层热电堆热流传感器能够在相同尺寸下物理上放大传感器输出，可用于风洞测热试验。
-
公开(公告)号：CN109950336A
公开(公告)日：2019-06-28
申请号：CN201910312443.7
申请日：2019-04-18
Applicant: 电子科技大学
IPC: H01L31/0236 , H01L31/028 , H01L31/18
Abstract: 本发明公开了一种黑硅材料及其制备方法，解决了现有的硒元素掺杂黑硅材料制备方法的不足，制备方法包括：获取清洁衬底；采用热蒸发法在衬底表面沉淀一层硒膜；在氟化氢气体氛围下，利用飞秒激光扫描烧蚀；除去材料表面氧化硅，得到黑硅材料。本发明在飞秒激光烧蚀衬底材料的过程中，引入了氟元素，借助氟元素与衬底硅材料产生的化学反应，制备得到的黑硅材料，表面具有微结构尖锥阵列，即“黑森林”结构，这种黑硅材料具有很强的陷光性，因此这样获得的黑硅材料的吸收波长得到扩展，对可见光和近红外波段吸收率可扩大到93％以上。
-
公开(公告)号：CN109948532A
公开(公告)日：2019-06-28
申请号：CN201910207974.X
申请日：2019-03-19
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于深度卷积神经网络的超宽带雷达人体动作识别方法，利用超宽带雷达的高距离分辨力，并针对人体动作的动态特性，先提取出人体目标的距离—时间二维特征，弥补了单一距离特征的不足，后设计一种深度卷积神经网络模型进行训练和识别。并且通过采用Drop-out层、添加L2正则化项、LRN(局部响应归一化)层等对卷积神经网络进行优化和改进，来避免过拟合现象，提高识别准确率。实验证明，本方法能够在多个人体动作识别任务中取得较高的识别准确率，本发明具有较好的可行性和有效性。
-
-
-
-
-
-
-
-
-
Search Results
69
records
(took 0.029 seconds)
