李均涛
- 作品数：18 被引量：44H指数：4
- 供职机构：贵州财经大学信息学院更多>>
- 发文基金：贵州省自然科学基金贵州省科学技术基金美国GENECHIU基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信理学更多>>
- 高校计算机专业形式化方法课程教学研究被引量：5
- 2012年
- 高校计算机专业开设形式化方法课程十分必要。必须设计课程目标和教学方法,并提出考核和评价学生学习效果的标准,通过严格的数学方法让学生获取对其他课程也很有益的知识、技术和能力。
- 李均涛
- 关键词：形式化方法课程教学行为时序逻辑
- 基于行为时序逻辑的入侵取证研究被引量：3
- 2011年
- 提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证据相符。实例研究表明,这种方法不依赖于具体的攻击技术和操作系统,不惧证据的缺失,能够有效搜寻更多的证据并重建可能的攻击场景。
- 李均涛唐郑熠李祥
- 关键词：入侵取证行为时序逻辑
- 语义Web中本体概念的语义匹配分离方法被引量：2
- 2014年
- 本体概念能够有效表达Web服务的语义信息,可通过推理机实现自动语义匹配,但推理机的推理过程比较耗时,会对服务计算技术多个环节的效率产生很大影响。以本体概念间的匹配度为基础,建立公共本体概念库,可在不影响本体概念表达能力的前提下,实现语义匹配过程的分离。为适应公共本体概念库的动态特性,给出对其进行更新(添加、删除和修改)的算法。实验结果表明,该方法大幅提高了语义匹配的效率,且不会对语义匹配的性能产生影响。
- 唐郑熠韦立李均涛万良
- 关键词：语义WEB语义匹配
- 基于行为时序逻辑的磁盘入侵取证研究
- 2013年
- 运用假设行为时序逻辑理论体系对磁盘的文件系统进行描述,建立入侵系统模型,使用模型检测工具予以取证。该方法的目标是在反侦察攻击环境下,即在证据缺失的情况下,也能顺利地进行取证调查。
- 李均涛
- 关键词：入侵取证行为时序逻辑
- 一种改进的Eddystone-TLM质心室内三边定位算法被引量：5
- 2020年
- 为了解决在室内环境中利用三边定位技术定位精度不高,以及基于质心定位改进三边定位算法后参考点难以确定在待测点外侧的问题,提出一种利用Eddystone-TLM对三边定位算法进行改进。首先利用Eddystone框架的TLM优化质心定位算法;其次通过优化后的质心定位算法解决三边定位算法已知的不足;最终实现定位精度的提高。实验结果表明,该算法改善了室内定位的精准性,可及时准确地获取目标终端的位置数据,有效保证了室内定位与其他领域之间定位数据的互联互通。
- 周杰杨帆李均涛
- 关键词：质心定位误差分析
- 信息偶遇构成要素及应用研究述评被引量：2
- 2017年
- [目的/意义]对信息偶遇研究进行总结和展望,以期为相关研究提供借鉴和参考。[方法/过程]从信息偶遇的构成要素及其对信息偶遇体验的影响,信息提供方和需求方对信息偶遇的利用,信息偶遇对用户的影响,以及信息偶遇模型探索等方面对搜集的国内外信息偶遇研究成果进行回顾和评析。[结果/结论]我国对信息偶遇的研究仍处在理论引进阶段,构成要素的研究较为成熟,在信息偶遇的利用上,应扩大研究范围,综合多种方法进行研究。
- 何菲朱梦娴李均涛
- 关键词：信息行为
- 基于SPOC的信息融合式计算机类课程教学改革与探讨被引量：1
- 2019年
- SPOC在MOOC之后,成了一种适应高等院校课堂教学的一种新模式。作者设计了混合学习模式的计算机类课程改革模式框架,从课程选取与课程资源准备、教学实施和课程评价等角度,对具体的计算机类课程进行了实践性的SPOC混合教学改革实践。实践分析表明,所提出的教学改革理论和实践框架能够指导相关课程的教学改革,所进行的教学实践能够提高教学质量和效果。
- 丁红发熊云龙蒋合领喻曦李均涛
- 关键词：混合教学计算机类课程
- LED电子显示屏近场通信技术的嵌入式研究被引量：3
- 2018年
- LED电子显示屏的显示系统通过计算机来控制显示屏的工作,其操作便捷性、及时性和灵活性都比较差。故把NFC技术嵌入在LED电子显示屏中,将以往由计算机设备控制LED电子显示屏的显示转向由NFC设备来控制,并通过运用单片机、NFC芯片、手机APP等相关技术来实现此方案。结果表明,该方案有效地解决了目前LED电子显示屏存在的不灵活、不方便、不及时的问题。
- 周杰杨帆李均涛
- 关键词：NFC技术LED电子显示屏嵌入式技术单片机数据通信
- 基于Windows防火墙规则的计算机安全分析
- 2019年
- Windows防火墙规则和日志中包含有多种安全相关信息,它们可以用来分析系统安全.基于防火墙规则和日志,结合注册表,给出一种分析计算机系统安全的方便可行的方法.
- 李均涛
- 关键词：防火墙日志
- 基于遗传算法的TSP求解研究
- TSP是组合优化中最为著名的问题,它综合了一大类组合优化问题的典型特征,并以不同的形式存在于超大规模集成芯片制造、印刷电路板设计、X-射线结晶学、机器人控制等高科技领域.求解TSP的经典遗传算法初始化原始种群时一般采用两...
- 李均涛
- 关键词：旅行商问题遗传算法
- 文献传递
