李廷元
- 作品数：28 被引量：54H指数：4
- 供职机构：中国民用航空飞行学院计算机学院更多>>
- 发文基金：国家高技术研究发展计划中国民航飞行学院青年基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术电子电信更多>>
- 基于Scrapy爬虫框架的领域网站文件爬取被引量：5
- 2020年
- 为了提高航行通告文件下载效率、节省人工资源,文章通过Scrapy爬虫框架,结合自然语言处理中的信息,分类爬取各民航局发布的航行通告文本。首先基于网页数据交互模式将网站分类,结合Selenium自动化测试工具进行网页下载。然后使用朴素贝叶斯算法将网站所有链接进行分类,区分为目标链接以及非目标链接,从而实现提取航行通告文本链接,此分类模型在领域类网站准确率为95.97%。
- 邹维李廷元
- 关键词：爬虫SELENIUM朴素贝叶斯
- 使用Ray的知识图谱分布式模型研究
- 2023年
- 现如今,知识图谱是众多消费者和企业应用程序的核心,其中学习到的图嵌入用于为这些应用程序的用户获取更多信息。由于知识图谱十分庞大,学习嵌入的过程是时间和资源密集型的,并且需要以分布式方式完成以利用多台机器的计算资源。通过使用Ray技术构建了一个端到端模型,用基于图神经网络的知识图嵌入模型的数据预处理和分布式训练,并将模型应用于链接预测任务,即使用知识图谱嵌入来发现图中节点之间的链接。与非分布式相比,在2个Ray通道的情况下实现了3倍的训练加速,而评估指标恶化几乎可以忽略不记。
- 方志聪李廷元
- 关键词：知识图谱分布式
- Needham-Schroeder协议的认证测试方法形式化分析被引量：1
- 2010年
- 在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。
- 李廷元秦志光刘晓东张选芳
- 关键词：安全协议形式化分析串空间模型
- 大数据背景下民航气象服务的探讨被引量：3
- 2021年
- 随着我国民航行业的快速发展,航班数量和飞行航路数量都在与日俱增,这使得作为保障飞行安全重要环节的民航气象服务工作备受关注,如何改善民航气象服务工作,为飞行提供更加及时、精准、全面的气象信息成为公众关注的焦点。随着科学技术的进步,我国逐步进入大数据时代,大数据具有的超大的信息容量和卓越的运算能力给民航气象工作提供新思路,我国在民航气象服务的很多方面都已经运用大数据、云计算技术。通过对我国民航气象工作现状以及民航气象大数据框架结构展开探讨,并提出改善民航气象大数据服务工作的相关策略。
- 郭宪超李廷元
- 关键词：大数据云计算
- 一个单向认证协议的形式化分析与改进
- 针对单向认证协议Woo-Lam中存在的重放攻击,运用基于串空间模型的认证测试方法,对Woo-Lam协议进行了分析,指出了该协议在认证正确性方面的缺陷,同时指出了对协议的改进方法,并用认证测试方法证明了改进协议的认证正确性...
- 宋劲李廷元
- 关键词：安全协议形式化分析
- 文献传递
- 《C语言程序设计》指针基本概念教学的探讨
- 针对C语言教学中的难点,指出了指针教学中的基本方法.对内存地址、变量、指针变量的基本概念进行了阐述,分析了指针使用中的常见错误.
- 张选芳李廷元
- 关键词：《C语言程序设计》概念教学教学方法
- 文献传递
- 认证测试方法在安全协议形式化分析中的应用研究
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needham-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Sc...
- 李廷元宋劲郑涛袁小珂张建学
- 关键词：安全协议形式化方法
- 文献传递
- 基于VR技术的民航机场机坪可视化管理系统探讨被引量：1
- 2022年
- 为了提高机坪管制移交现状下机坪运行效率以及管制人员情景意识训练,提出一种基于虚拟现实技术的三维模型机坪场面可视化管理系统,集运行情况动态显示、仿真和模拟训练一体以适应对机坪区管理的需求。本文通过对机坪现状需求分析,提出了相适应的系统结构设计及应用,并给出了系统设计的实现方法,对未来机坪区运行管理系统的实现有很好的借鉴意义。
- 余纪毅泽李廷元
- 关键词：虚拟现实技术可视化
- QoS约束云环境下的工作流能效调度算法
- 2018年
- 云环境可以为大规模工作流的执行提供高效、可靠的运行环境,但工作流执行时带来的高能耗不仅会增加云资源提供方的经济成本,还会影响云系统的可靠性,并对环境产生不利影响。为了在满足用户截止时间QoS需求的同时降低云环境中工作流调度的执行能耗,提出一种工作流能效调度算法QCWES。该算法将工作流的能效调度方案求解划分为3个阶段:截止时间重分配、任务调度选择排序以及基于DVFS的最佳资源选择。截止时间重分配阶段旨在将用户定义的全局工作流截止时间在各个任务间进行重分配,任务调度选择排序阶段旨在通过自顶向下的任务分级方式得到任务调度序列;基于DVFS的最佳资源选择阶段旨在为每个任务选择带有合适电压/频率等级的最优目标资源,在满足任务的子截止时间的前提下使总体能耗达到最小。通过随机工作流和基于高斯消元法的现实工作流结构,对算法的性能进行仿真实验分析。结果表明,所提算法可以在满足截止时间约束下降低工作流的执行能耗,实现用户方的QoS需求与资源方的能耗间的均衡。
- 李廷元王博岩
- 关键词：工作流调度QOS约束
- Jini技术实用化研究
- 论文首先对Jini的体系结构作了介绍;对Jini的三个组成部分:基础设施、编程模型和服务组件,进行了全面的研究;通过研究,阐明了Jini用于实现其即插即用功能的方法.Jini建立在Java技术基础之上,因此对资源要求较高...
- 李廷元
- 关键词：即插即用JAVA技术
- 文献传递
