张建学
- 作品数：8 被引量：12H指数：2
- 供职机构：中国民用航空飞行学院计算机学院更多>>
- 发文基金：中国民航飞行学院青年基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术经济管理更多>>
- 一个非否认电子合同协议的认证测试分析
- 电子商务协议的分析较少采用串空间模型,对基于串空间模型的认证测试方法在电子合同协议形式化分析中的应用进行研究,应用认证测试方法对一个非否认的电子合同协议进行了分析,指出该协议满足交易双方不可否认的安全目标。
- 张建学
- 关键词：电子商务非否认协议形式化分析
- 文献传递
- 基于四旋翼无人机模糊PID控制系统研究被引量：6
- 2019年
- 为了进一步提高四旋翼无人机的飞行稳定性以及控制精度,必须建立高效的无人机飞行控制系统,将现代化的控制理论与传统理论相结合,充分利用PID控制器,改善内回路的动态特性与稳定性,完成四旋翼无人机的飞行控制。本文阐述四旋翼无人机国内外发展现状,对四旋翼无人机的基本结构与飞行原理进行分析,对模糊PID仿真平台的建立进行具体研究。
- 张建学
- 关键词：旋翼无人机PID
- 基于多机场终端区进场航班排序研究被引量：1
- 2019年
- 我国航空运输业的持续蓬勃发展,促使空域结构越来越复杂,空中交通流量越来越大,航路航线的覆盖范围越来越宽,多机场现象逐渐明显。在多机场区域中,机场之间的运行会相互影响,航班的延误也会呈现明显的传播性,为了缓解繁忙地区多机场相互影响所造成的运行压力,本文对基于多机场终端区进场航班排序进行详细研究,构建多机场终端区进场航班排序决策辅助系统,最大限度的对空域资源进行利用,减少航班延误,满足飞行需求。
- 张建学
- 关键词：终端区
- 多旋翼无人机飞行控制系统设计研究被引量：5
- 2019年
- 多旋翼无人机具有优良的操作性能、维护简单、成本较低等特点,已经成为微小型无人机的主流,获得了广大的消费群体。飞控系统作为无人机的核心技术,始终是无人机学术与工程领域研究的热点。本文以多旋翼无人机为研究对象,根据多旋翼无人机的结构特点,对飞行控制系统进行设计与研究,从硬件原理与软件原理对多旋翼无人机飞行控制系统的构建过程进行详细介绍。
- 张建学
- 关键词：无人机飞控系统
- RFID技术电子投票应用的探讨
- 2011年
- 无线射频识别(RFID)越来越广泛地运用在人们的日常生活和工作中。概述了RFID技术用于民意测验和区域选举的安全电子投票的软、硬件系统及其一般实施过程。与直接记录设备使用的选票和光学扫描相比,这种电子选票在选民身份的核实、快速重计和公式板上有一定的优越性。也讨论了电子选票的安全性问题,同时还对该系统用于远程投票的可行性进行了探讨。相对于现行诸如纸张选票的投票方式,RFID技术方法在理论上占有绝对的优势,它把数据(选票)从编程组件(投票软硬件)中分离出来,使投票系统具有可被验证性。
- 刘淳张建学
- 关键词：电子投票RFID安全性
- 基于网络的教务管理信息系统设计与实现
- 2010年
- 随着校园网的普及,建立一个实用的网络教务管理信息系统成为必然趋势。本文根据网络教学系统现状分析出教务管理信息系统的功能,对该系统与总体数据进行了规划与设计,运用B/S开发模型设计了一个基于网络的教务管理信息系统。
- 张建学戴敏
- 关键词：教务管理信息系统B/S模式C/S模式
- 微小型无人机遥感系统设计研究
- 2019年
- 计算机的普及推动着遥感技术进入飞跃的发展阶段,我国信息化建设的步伐在逐渐加快,进而反映出传统遥感技术的很多缺点。在传感技术、自动控制技术快速发展的基础上,搭载遥感成像设备的无人机系统可弥补传统遥感系统的缺点,提高遥感数据获取的灵活度和实用性。因此,对微小型无人机遥感平台进行了设计研究,分析遥感系统图像处理流程和微小型无人机的主要应用领域。
- 张建学
- 关键词：无人机遥感系统
- 认证测试方法在安全协议形式化分析中的应用研究
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needham-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Sc...
- 李廷元宋劲郑涛袁小珂张建学
- 关键词：安全协议形式化方法
- 文献传递
