您的位置: 专家智库 > >

刘晓东

作品数:33 被引量:95H指数:4
供职机构:中国民用航空飞行学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划中国民航飞行学院科研基金更多>>
相关领域:自动化与计算机技术航空宇航科学技术文化科学理学更多>>

文献类型

  • 26篇期刊文章
  • 4篇专利
  • 3篇会议论文

领域

  • 19篇自动化与计算...
  • 8篇航空宇航科学...
  • 5篇文化科学
  • 3篇理学
  • 2篇电子电信
  • 1篇经济管理
  • 1篇天文地球

主题

  • 5篇多媒体
  • 5篇飞行
  • 4篇网络
  • 3篇形式化
  • 3篇民航
  • 3篇机场
  • 3篇教学
  • 3篇航空
  • 3篇飞行安全
  • 3篇安全评价
  • 2篇信息系统
  • 2篇数据集
  • 2篇通用航空
  • 2篇助教
  • 2篇网络学习
  • 2篇目标检测
  • 2篇教育
  • 2篇可视化
  • 2篇机场目标
  • 2篇计算机辅助教...

机构

  • 32篇中国民用航空...
  • 4篇电子科技大学
  • 2篇南京航空航天...
  • 2篇成都信息工程...
  • 1篇西南交通大学
  • 1篇四川大学

作者

  • 33篇刘晓东
  • 4篇李廷元
  • 4篇秦志光
  • 4篇杨成
  • 3篇何元清
  • 3篇傅强
  • 3篇许雅玺
  • 3篇路晶
  • 3篇王欣
  • 2篇陈华英
  • 2篇黎新
  • 2篇范成瑜
  • 2篇张选芳
  • 2篇王欣
  • 2篇张志让
  • 1篇韩松臣
  • 1篇庄夏
  • 1篇杨昌其
  • 1篇米文勇
  • 1篇徐海文

传媒

  • 5篇电子科技大学...
  • 4篇中国民航飞行...
  • 2篇计算机应用研...
  • 1篇中国市场
  • 1篇数学的实践与...
  • 1篇计算机工程
  • 1篇现代计算机
  • 1篇西南交通大学...
  • 1篇计算机应用
  • 1篇四川大学学报...
  • 1篇微型机与应用
  • 1篇计算机工程与...
  • 1篇航空计算技术
  • 1篇计算机工程与...
  • 1篇计算机与现代...
  • 1篇西南科技大学...
  • 1篇信息通信
  • 1篇现代信息科技
  • 1篇2009国际...
  • 1篇全国高等院校...

年份

  • 2篇2024
  • 1篇2023
  • 2篇2022
  • 2篇2020
  • 1篇2019
  • 2篇2018
  • 1篇2015
  • 1篇2013
  • 3篇2010
  • 2篇2009
  • 1篇2008
  • 4篇2007
  • 3篇2006
  • 3篇2005
  • 1篇2004
  • 3篇1998
  • 1篇1997
33 条 记 录,以下是 1-10
排序方式:
风格迁移增强的机场目标检测方法
本发明涉及机场目标检测技术领域,具体地说,涉及一种风格迁移增强的机场目标检测方法,其包括以下步骤:一、使用基于生成对抗网络的风格迁移网络学习训练集中非边缘信息;二、利用学习得到的模型对原始的机场目标检测数据集进行风格迁移...
王欣李屹许雅玺傅强刘晓东潘磊
非交互式可否认认证协议的研究
2010年
为满足在电子商务和电子政务等领域中的应用要求,深入分析和研究了非交互式可否认认证协议的理论和相关应用。根据不同的应用环境,将可否认认证协议分为交互式和非交互式两类,并分析了这两种类别协议的通信轮数的开销,指出在电子投票和电子邮件协商等应用中需要非交互式的可否认认证这一结论。最后,在对几个典型的非交互式可否认认证协议分析的基础上,指出现有的成果不能满足应用的需要,探讨了在非交互式可否认认证领域的研究方向。
李廷元范成瑜秦志光刘晓东
关键词:双线性对可否认认证基于身份密码体制
关于一类特殊有限群的一些刻划
2005年
研究了一类最高阶元素的个数为2的有限非交换群的性质,给出了关于它的五个等价条件.
杨成刘晓东张志让
关键词:有限群
计算机辅助飞行安全定量评价模型
2006年
传统的安全分析和评价系统一般是基于事故调查的,得到的信息也往往是溯及既往的,具有一定的局限性。通过对可控飞行撞地事故(CFIT)和可控飞行撞地事故征候(CFTT)为典型代表的飞行事故和飞行事故征候的相关因素及相互关系的分析,构建了基于层次分析方法(AHP)和模糊推理系统(FIS)的飞行安全风险定量评价模型,引入了飞行安全风险指数来指示飞行安全风险的相对大小,建立了相应的计算机辅助飞行安全定量评价模型,用于对CFIT/CFTT等飞行安全风险的评价。
刘晓东王欣傅茂名
关键词:飞行安全安全评价层次分析
Needham-Schroeder协议的认证测试方法形式化分析被引量:1
2010年
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。
李廷元秦志光刘晓东张选芳
关键词:安全协议形式化分析串空间模型
实对称矩阵正定性的一个新的判别准则
2007年
只利用第三类初等行变换,获得了实对称矩阵正定性的一个新的判别准则.它的计算量不超过计算一个n阶行列式的计算量.与以前我们所使用的方法比较,具有计算量小、使用方便的特点.
黎新杨成刘晓东
关键词:实对称矩阵正定性
语义Web技术在网络教育中的应用被引量:3
2004年
语义Web代表着下一代互联网技术的发展方向,为开发深层次的网络应用提供了新的契机。XML和RDF是语义Web语言层次中重要的标准。分别介绍了XML和RDF的特点和优势,并针对它们在现代网络教育中的应用进行了分析。
王欣刘晓东
关键词:语义WEBRDF网络应用下一代互联网网络教育
一个多媒体课件写作系统的设计与实现被引量:1
1997年
多媒体计算机辅助教学正逐步成为CAI主要形式,而多媒体课件写作系统是解决课件开发这一多媒体CAI瓶颈问题的有效途径之一。在分析国内外现有系统的基础上,介绍了“飞天多媒体写作课件系统FA-MCAS”
张选芳刘晓东
关键词:计算机辅助教学多媒体课件写作系统
一种四轴飞行器配置方法
2018年
针对四轴飞行器配置存在的问题,在四轴飞行器动力学模型等理论探讨的基础上提出了一种基础的四轴飞行配置方法和步骤,给出对螺旋桨、电机、电调、电池等参数特性的选择方法和经验公式,并进行了实验验证。实验结果表明:螺旋桨尺寸与电机参数配置合理时,实测数据与理论数据误差较小;参数配置超出合理范围时,螺旋桨转速和电机转子转速存在转速差,伴有嘶鸣声且电机发热严重等现象。
惠国腾刘晓东
基于FDR的飞行安全定量评价模型FRAM-FD被引量:5
2006年
飞行数据记录设备(FDR)的使用为飞行安全的定量评价提供了必要的数据支撑,该文通过对FDR数据中与发生受控撞地飞行风险相关的飞行参数的统计分析,构建了以FDR数据为基础并结合专家知识规则的飞行安全风险指数计算模型,提出了一种基于飞行参数超限频率和强度的飞行安全风险指数,并用以标示飞行安全相对水平的方法,给出了风险指数的数学定义及其计算方法。
刘晓东何元清Dcboeach Fels
关键词:飞行安全知识规则
共4页<1234>
聚类工具0