公开(公告)号：CN104268023B

公开(公告)日：2017-08-25

申请号：CN201410531221.1

申请日：2014-10-10

Applicant: 西安电子科技大学

Inventor： 段振华 ,  杨凯 ,  田聪 ,  张南 ,  王小兵

IPC: G06F9/50 ,  G06F12/02

Abstract: 本发明公开了一种MSVL程序内存管理方法，包括框架变量存储区和非框架变量存储区；本发明基于MSVL语言中的框架技术，实现了一种MSVL语言的内存管理方法，使得在MSVL程序的执行过程中，能够动态地为变量分配和释放内存，节省了内存空间；针对MSVL程序中框架变量和非框架变量的特点，对两种变量的内存空间进行区分，使得程序从一个状态迁移到下一状态时，不需要在符号表中查找哪些变量是非框架变量，只需要直接删除非框架变量符号表中的符号，提高了程序的执行效率；针对框架变量的特点，用栈的方式对框架变量进行存储，当一个框架语句对应的区间结束时，该区间对应的框架变量将被删除，有效节省了内存空间。本发明可应用于MSV建模、仿真和验证工具中。

公开(公告)号：CN104268023A

公开(公告)日：2015-01-07

申请号：CN201410531221.1

申请日：2014-10-10

Applicant: 西安电子科技大学

Inventor： 段振华 ,  杨凯 ,  田聪 ,  张南 ,  王小兵

IPC: G06F9/50 ,  G06F12/02

Abstract: 本发明公开了一种MSVL程序内存管理方法，包括框架变量存储区和非框架变量存储区；本发明基于MSVL语言中的框架技术，实现了一种MSVL语言的内存管理方法，使得在MSVL程序的执行过程中，能够动态地为变量分配和释放内存，节省了内存空间；针对MSVL程序中框架变量和非框架变量的特点，对两种变量的内存空间进行区分，使得程序从一个状态迁移到下一状态时，不需要在符号表中查找哪些变量是非框架变量，只需要直接删除非框架变量符号表中的符号，提高了程序的执行效率；针对框架变量的特点，用栈的方式对框架变量进行存储，当一个框架语句对应的区间结束时，该区间对应的框架变量将被删除，有效节省了内存空间。本发明可应用于MSV建模、仿真和验证工具中。

公开(公告)号：CN101800982A

公开(公告)日：2010-08-11

申请号：CN201010013725.6

申请日：2010-01-15

Applicant: 西安电子科技大学

Inventor： 姜奇 ,  杨超 ,  马建峰 ,  芦翔 ,  杨凯

IPC: H04W12/06

Abstract: 本发明提供一种无线局域网切换快速认证安全性增强方法，主要解决现有标准无法满足军事应用高安全性需求的问题。其实现过程是：终端与认证服务器在初始接入认证阶段协商切换密钥；认证服务器在接收到接入点发送的切换子密钥请求时，计算相应的切换子密钥，并将该切换子密钥发送给该接入点；在切换过程中终端与接入点利用切换子密钥进行快速认证，并采用基于椭圆曲线的Diffie-Hellman交换生成会话密钥。本发明所提供方法具有前向保密性，能够抵抗部分拒绝服务攻击，简化了密钥管理，并降低了密钥泄露风险的优点，可用于紧急通信、指挥所的内部互联网，城市作战网络以及野战环境下快速网络部署。

公开(公告)号：CN221613019U

公开(公告)日：2024-08-27

申请号：CN202420143116.X

申请日：2024-01-19

Applicant: 中咨泰克交通工程集团有限公司 ,  西安电子科技大学

Inventor： 张伟 ,  张涛 ,  贾沛源 ,  贺静 ,  杨继承 ,  陈杨华 ,  杨凯 ,  张博闻 ,  覃子豪 ,  刘寒

IPC: G01S7/41 ,  G01S7/02 ,  G01S13/88

Abstract: 本实用新型公开了一种小型化雷达信号装置，涉及雷达技术领域，包括：信号源、射频前端模块、基带处理模块和数据处理模块；射频前端模块包括：信号发射模块和信号接收模块，信号发射模块包括：混频器、移相器、功率放大器和发射天线；信号接收模块包括：接收天线、低噪声放大器和混频器。本实用新型在尽可能小的体积内实现功能模块的集成和优化，将本振信号进行上变频、移相和功率放大后转化为高频信号进行发射，将反射回的高频信号进行放大和下变频处理，转化为中频信号，减小信号处理过程中的噪声和失真。通过ADC模块和FPGA模块对中频信号进行采样处理，集成了信号发射、接收、处理等功能，实现了小型化、集成化的雷达系统。