期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于FTIR技术的光纤传输损耗预测模型构建
1
作者 马国栋 韩凯 李声涛 《信息技术》 2024年第10期181-187,194,共8页
光纤传输损耗是车辆通信网络中面临的重要问题之一。针对现有模型在光纤传输损耗预测中效果不理想的现状,构建了一种具有更高预测精度的光纤传输损耗模型。该模型是在研究车辆通信网络中光纤传输损耗现象时受到启发而建立的,基于FTIR技... 光纤传输损耗是车辆通信网络中面临的重要问题之一。针对现有模型在光纤传输损耗预测中效果不理想的现状,构建了一种具有更高预测精度的光纤传输损耗模型。该模型是在研究车辆通信网络中光纤传输损耗现象时受到启发而建立的,基于FTIR技术,通过分析光纤传输过程中的信号传输损耗机理可以得到该预测模型。该模型已成功应用于光纤传输损耗的预测及分析中,验证了该模型对光纤传输预测的有效性。 展开更多
关键词 FTIR技术 光纤传输损耗 预测分析 光学性能 轨道交通
下载PDF
面向软件源程序的模型检验技术
2
作者 李声涛 陈睿 顾斌 《空间控制技术与应用》 CSCD 北大核心 2015年第2期57-62,共6页
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,... 模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查. 展开更多
关键词 软件分析 形式化方法 模型检验 源程序验证 谓词抽象
下载PDF
反馈移位寄存器非奇异性研究
3
作者 李声涛 谢端强 戴清平 《计算机工程与科学》 CSCD 2006年第7期131-133,共3页
本文给出q元有限域上的反馈移位寄存器非奇异性判定的充分必要条件,并利用Groebner基理论对定理给出的条件进行约化,给出了q=3,4,5时任意次反馈函数非奇异性的充要条件。
关键词 非奇异 置换多项式 反馈移位寄存器 GROEBNER基
下载PDF
一类航天器控制系统反馈调度方法研究
4
作者 孙帅 王磊 李声涛 《计算机测量与控制》 2018年第7期66-69,74,共5页
针对目前航天器控制系统普遍采用静态调度方式,不能够及时调整计算资源分配的问题,提出了一种基于执行时间测量的计算资源反馈调度算法;该方法一方面保证航天器在工作时间段控制精度达到指标要求,另一方面能够动态调整计算资源与控制增... 针对目前航天器控制系统普遍采用静态调度方式,不能够及时调整计算资源分配的问题,提出了一种基于执行时间测量的计算资源反馈调度算法;该方法一方面保证航天器在工作时间段控制精度达到指标要求,另一方面能够动态调整计算资源与控制增益,降低系统功耗;同时在计算机发生故障时保证航天器控制系统稳定运行;最后通过仿真分析验证了方法有效性。 展开更多
关键词 信息物理系统 反馈调度 姿态控制 容错控制
下载PDF
航天控制软件知识图谱构建方法研究 被引量:5
5
作者 赵明 顾斌 +2 位作者 钟睿明 李振松 李声涛 《空间控制技术与应用》 CSCD 北大核心 2020年第2期49-55,79,共8页
近些年,知识图谱构建技术快速发展,但对于领域知识图谱构建的研究还处于起步阶段.知识图谱的构建主要包括自顶向下、自底向上两种方法.当前大多采用自顶向下的方法进行领域知识图谱的构造,首先构建本体,然后通过本体学习得到实体,再将... 近些年,知识图谱构建技术快速发展,但对于领域知识图谱构建的研究还处于起步阶段.知识图谱的构建主要包括自顶向下、自底向上两种方法.当前大多采用自顶向下的方法进行领域知识图谱的构造,首先构建本体,然后通过本体学习得到实体,再将实体加入到知识图谱中.但这种做法有一个缺点,本体学习的过程过分依赖人工,不支持构建专业性强、数据量大的领域知识图谱.针对这一缺点,本文提出一种自顶向下和自底向上法相结合的领域知识图谱构建方法.提出一种改进的骨架法来进行本体构建,保证构建本体的准确率和覆盖率;利用基于规则与半监督的知识抽取技术,提高知识图谱的构建速度;并以某航天控制软件为例,详细说明了领域知识图谱的整体构建流程.实验结果表明,该领域知识图谱的构建方法是可行的. 展开更多
关键词 领域知识图谱 知识图谱构建 本体构建 知识抽取
下载PDF
高速动车组运行检修状况与发展研究 被引量:2
6
作者 李声涛 《工程建设与设计》 2020年第14期126-127,共2页
从高速动车组运行的特征入手,与高速动车组运行检修的常见问题相结合,对高速动车组运行检修的有效措施进行分析,得出相关人员需促进规章制度的不断完善、提升动车检修的效率与水平、确保作业流程的合理优化以及创建科学健全的协调机制4... 从高速动车组运行的特征入手,与高速动车组运行检修的常见问题相结合,对高速动车组运行检修的有效措施进行分析,得出相关人员需促进规章制度的不断完善、提升动车检修的效率与水平、确保作业流程的合理优化以及创建科学健全的协调机制4点策略,希望能够为有关人士提供帮助. 展开更多
关键词 高速动车组 运用维修 检修技术
下载PDF
基于虚拟仪器的高速铁路动车组MOA在线监测系统的设计
7
作者 李声涛 张宜涛 《电力系统装备》 2020年第11期41-42,共2页
金属氧化物避雷器MOA凭借其构造简易、电流通过能力大、保护性能好、使用寿命稳定长久等优点逐渐成为电力系统中主要的过电压保护装置。而在现有高速铁路动车组运行系统中,金属氧化物避雷器也是高速铁路动车组安全运行的重要过电压保护... 金属氧化物避雷器MOA凭借其构造简易、电流通过能力大、保护性能好、使用寿命稳定长久等优点逐渐成为电力系统中主要的过电压保护装置。而在现有高速铁路动车组运行系统中,金属氧化物避雷器也是高速铁路动车组安全运行的重要过电压保护装置,保障其安全供电并且可靠稳定的运行。文章针对现有动车组避雷器检修技术进行研究,提出了基于虚拟仪器的高速铁路动车组MOA在线监测系统的设计。 展开更多
关键词 动车组 金属氧化物避雷器 在线监测 虚拟仪器
下载PDF
基于模型预测方法的高速动车组空簧压力低故障预测研究
8
作者 马国栋 王智超 +1 位作者 陈谦 李声涛 《铁道车辆》 2022年第1期86-90,共5页
高速动车组发生空气弹簧压力低故障后,车辆自动限速运行,需要停车检查或车辆入库后根据故障信息来推断故障原因。为了能在故障发生前进行预判,文章提出了基于模型的预测方法。模型以车载无线传输装置记录的历史故障数据和健康管理系统... 高速动车组发生空气弹簧压力低故障后,车辆自动限速运行,需要停车检查或车辆入库后根据故障信息来推断故障原因。为了能在故障发生前进行预判,文章提出了基于模型的预测方法。模型以车载无线传输装置记录的历史故障数据和健康管理系统报表数据为故障预测的数据来源,通过分析静态和动态数据确认模型关联参数,从阈值、差值、空簧压力下降速率3个维度搭建预测模型,并通过实车跟踪,成功验证了模型的有效性。 展开更多
关键词 故障预测和健康管理 空气弹簧 自动限速 模型预测 关联参数
下载PDF
轨道交通车载软件远程安全传输设计
9
作者 石艳红 李声涛 《中国科技纵横》 2022年第11期60-62,共3页
本文从轨道交通列车所搭载软件的远程升级操作出发,说明了远程安全传输系统的整体框架,阐述该系统的设计要点,站在传输安全性角度,对系统安全保障措施进行探究。
关键词 列车车载软件 数据安全传输 软件远程升级
下载PDF
S盒设计中的一种新准则
10
作者 海昕 李声涛 李超 《信息安全与通信保密》 2005年第7期85-87,共3页
本文提出了强扩散准则,强雪崩效应以及扩散效应的逼近优势等相关概念,给出了差分均匀性与强k阶扩散准则之间的相互关系,利用给出的设计准则改进了Rijndael密码的S盒。
关键词 S盒 Rijndael密码 扩散准则 差分均匀性 扩散效应 雪崩效应 相互关系 设计准则
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部