基于NI软件的S参数自动测量系统

为了提高手动测量微波器件相关产品的S参数的效率,解决测试报告生成自动化问题,根据产品的测试原理和要求,结合TestStand和Labview这两款NI软件的各自优势,从而实现产品相关参数测试的自动化。论文介绍了该系统的构成,详细介绍软件设计流程和功能实现,测试实例表明:该系统提高了测试效率,精度高。     

基于贝叶斯网络的高铁系统概率安全评估方法研究

高速铁路控制系统的安全性评估非常重要,引入贝叶斯网络技术,充分利用传统事件树、故障树的分析优势,将事件树中各安全环节的故障树分别转化为贝叶斯网络,并按逻辑关系最终融合为一张完整的贝叶斯网.通过整合的贝叶斯网络不仅可以分析列控系统的安全性,同时还能得出其他有用的概率推理信息.     

基于LabVIEW的六端口介电常数测量系统

为了解决利用仪器手动测量效率不高,易出错的问题,根据六端口测试系统的基本原理,以Lab-VIEW为平台设计了六端口介电常数自动测量系统。本文介绍了该系统的硬件、软件构成,详细介绍了软件设计及功能实现流程。运行结果表明,该系统运行稳定,精度高。     

基于TestStand的音频芯片自动测量系统

为了解决利用仪器手动测量音频芯片性能效率不高,易出错的问题,根据音频芯片测试系统的原理,以LabVIEW、TestStand为平台进行系统化,模块化自动测量.本文介绍了该系统的硬件、软件构成,详细介绍软件设计及功能实现流程.运行结果表明:该系统运行稳定,精度高.     

一种新的安全通信协议安全性验证框架*

将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。     

移动闭塞条件下基于双曲列控策略的发车间隔时间计算

列车间隔时间关乎铁路行车安全和效率。对未来铁路移动闭塞系统发车间隔时间的科学计算进行探讨,引入了能够反映经验丰富司机驾车列车优化行为的基于双曲函数的列车行为控制模型;然后,讨论了列车分段运动方程和车站发车作业、进路解锁等环节,以及各种误差因素,并将它们与基于双曲函数的列车行为控制模型有机结合起来,建立了计算移动闭塞条件下车站发车间隔时间的数学模型,给出了两种不同情形的车站发车间隔时间计算方法,数值仿真试验验证了算法的有效性和可行性。对移动闭塞条件下车站发车环节的列车行为控制和行车组织有较大参考价值。     

基于运行剖面的列控系统测试用例生成研究

为了提高列控系统(列车运行控制系统,简称列控,是保证列车安全、快速运行的系统)测试的可靠性,生成合理的测试用例,需要设计相应的运行剖面来仿真实际使用的列控系统的情况,并且基于得到的运行剖面来生成相应的测试用例。因此,通过对列控中心系统的输入输出特点以及功能需求的研究与总结,提出了通过构建任务剖面、系统模式剖面、环境剖面来最终完成列控系统运行剖面构建的方法,并在最终得到的运行剖面基础上,应用优先级度量机制和程序插桩方法对粒子群算法进行合理改进,最终实现了测试用例的自动生成。实验结果证明,通过合理地构建运行剖面,可以保证测试功能的完整性以及测试数据的合理性,改进后的粒子群算法能够进一步提高测试的时间效率。     

基于SSN的数据集预处理框架

为解决由于染色差异造成的组织病理学图片良性、恶性检测精度下降的问题,提出一种基于染色风格归一化算法的数据集预处理框架.搭建图片转换网络和损失函数网络,在训练时,联合内容图片和目标染色图片构建损失函数,通过对大量内容图片进行训练,将目标染色图片的染色风格编码在模型的权重之中;在运行时,该模型可以使输入的图片在保持原有病理学样式的情况下达到染色分布的统一.实验结果表明,经该框架处理后的数据集有着更加集中的色彩空间,使用处理后数据集训练得到的模型有着更高的分类精度.     

基于Paxos的列车自主线路资源管理系统设计

线路资源管理子系统是轨道交通列车控制系统的重要部分.近年来轨道交通运营压力增大,传统的计算机联锁设备已无法满足高速高密度运行下的线路资源管理需求.随着理论、技术的发展成熟,将原本地面设备功能分散到车载设备,通过车车、车地协同控车是下一代列控系统的发展趋势.基于车车通信的列车自主运行系统(TACS系统),是目前全球轨道交...