摘要：为了解决我国空管新技术应用验证和未来空管系统体系化发展验证的平台技术问题,分析了欧美航空发达空管系统集成验证技术及其发展经验,以及国内外空管集成验证发展现状,提出了我国空管系统集成验证环境的总体需求及能力目标,设计了空管系统集成验证环境技术架构,研究了空管集成验证环境的6项关键技术。基于该环境验证架构可初步实现空管运行新概念、新体系和新设备的验证。

摘要：电子投票方案通常基于安全多方计算、盲签名、同态加密和秘密共享等密码学技术设计,并通过网络实现。与传统的投票方案相比,各个角色的隐私得到了更好的保护,投票和计票过程更安全高效。基于Paillier密码的同态性设计了多对多的电子投票方案,采用预计算三元组的方式在不解密选票的情形下对赞同、弃权、反对选项进行合规性判断;然后通过密码同态性合成总投票、计票中心解密后便能够从m个候选人中选出t个胜出者;最后证明了方案的正确性和安全性,并分析了方案实现需要的通信代价和投票人、可信中心以及计票员的计算量。方案整体实现效率高,适用于大型电子投票的场合。

摘要：大数据环境下,基于多源异构的专业数据,针对数据存储与共享管理业务,对多源异构数据统一存储共享系统及其功能组成进行了梳理,设计了一种面向文本、图片、专业领域数据等多源异构数据的跨模态统一存储与共享访问系统架构。采用分布式异构数据存储技术、数据模型管理技术,集数据获取、数据准备、可视化分析、数据共享与访问管理于一体,实现多源异构数据的统一存储与共享,并对系统的存储与访问性能进行评估分析,具备较高的稳定性和可靠性。验证了系统的实用性,从而达到了更好地为业务应用赋能,强力支撑各类应用开发的目的,具有广泛的适用性。

摘要：轨道交通系统是当今社会中交通运力的主要承载系统,对安全性有极高的要求。轨道交通系统的多个组件由于直接暴露在环境中,受多种外界因素影响,易出现故障。这些故障可能会导致列车延误、乘客滞留、服务暂停,甚至是灾难性的生命或资产损失。因此,需要设计针对轨道交通系统的实时故障检测方案,进而才能采取有效的维护措施。不同于基于传统的机器学习(Machine Learning,ML)的故障检测工作,本研究采用中文双向编码器表示转换器(Bidirectional Encoder Representation from Transformer,BERT)深度学习(Deep Learing,DL)模型进行实时的智能故障检测。该模型能够在处理故障检测任务时获取双向上下文的理解,从而更准确地捕捉句子中的语义关系,使得其对故障描述的理解更为精准。BERT的训练需要大量的数据支持,而轨道交通领域中存在多个运营商,它们各自持有独立的故障检测数据。由于数据的保密性,这些数据无法进行共享,从而限制了模型的训练,故采用了联邦边云计算方法,允许多个运营商在保持数据隐私的前提下共同训练BERT模型。联邦学习结合边云计算方法,在本地对轨道交通各运营商的数据进行初步处理,然后将汇总后的梯度上传至云端进行模型训练,最终将训练得到的模型参数发送回各边缘设备,实现模型的更新。研究结果表明,采用联邦边云计算方法进行BERT模型训练,在轨道交通领域的故障检测任务中优于目前已有的先进方案。这一方法在解决数据保密性问题的同时,有效提升了轨道交通故障检测的准确性与可靠性。

摘要：研究和设计了一种用于跳频通信系统射频前端的数控跳频电调谐滤波器,具有跳频点数多、跳频速度快等优点,并在不同的跳频点都具有良好的电参数指标。介绍了跳频接收机射频前端系统。对各种形式的电调谐滤波器进行性能分析,确定该数控跳频电调谐滤波器设计方案。介绍了该数控跳频电调谐滤波器电路和硬件电路的设计,包括其在ADS中的仿真模型和性能参数。最后对数控跳频电调谐滤波器进行测试,其性能指标完全达到系统设计要求,而且具有很强的实际应用性。

摘要：物联网行业应用系统之间信息的交换和共享是新型智慧城市建设过程中需要迫切解决的核心问题。针对该问题,本文在对智慧城市中物联网系统间信息交换与共享的共性需求进行研究的基础上,提出了一种新的体系架构,设计出信息交换和共享的两种具体实现模式(直连模式与中介模式)及相关运行流程,可以为新型智慧城市中行业应用系统的互联和信息交换共享过程设计提供统一的指导。

摘要：为解决目前以雾霾为代表的空气质量预测普遍存在指标单一、特征不足、拟合效果差等问题,提出一种基于XGBoost的雾霾特征选择提取及预测方法。对可能影响雾霾的因素进行全面分析总结,采用mRMR (minimum redundancy maximum relevance)方法进行特征选择,选择影响因素较大且冗余度较小的特征作为影响雾霾的显著特征,构建XGBoost模型对其进行训练与预测。实验结果表明,该方法在准确度以及时间损耗都表现较好,能够较准确地实现雾霾短时预测。

摘要：随着通信系统对电子反对抗(ECCM)能力的日益提高,可调频段的窄带滤波器成为了一种常用方法。波导腔可调滤波器因其品质因数高、插入损耗小等特点,在射频前端应用广泛。但在高频段,在可调频率范围内设计带宽恒定、幅频特性良好的可调滤波器依然是需要解决的关键技术之一。通过分析滤波器的工作原理,合理选择结构形式,基于耦合带宽法,给出X频段可调滤波器的设计实例。结果表明,该可调滤波器完全满足工程要求。

摘要：目前的数据元与数据项的匹配算法主要思想是基于字面相似程度实现匹配,这种算法对数据项命名结构规范有较强依赖,且大多业务数据库的数据项没有加入中文名,故无法实现匹配。该文提出一种数据元与数据项匹配算法,从数据项的归属实体名称、数据项名称、类型、长度、数据特征等多个角度设计算法,有较强的通用性,能够在数据项名称不规范或无中文名的情况下实现有效匹配。

摘要：认证加密算法是一种对称密钥加密方案.在加密过程中提供机密和数据完整性.MK-3算法是一种基于简化双工海绵结构的认证加密算法,它支持私人定制.并且MK-3算法是第一个使用16比特S盒的算法.该算法使用的S盒采用有限域上的乘法逆元结合仿射变换来构造.这种设计在保证代数安全性的同时,还可以通过有限域上的同构映射变换来降低硬件实现资源.目前MK-3算法S盒硬件的实现方案仍有较大的改进空间.本文的方案利用多项式基构造有限域将GF(2^(16))上的求逆运算转换到复合域GF((28)2)中,方案搜索并评估了两个域转换的线性布尔函数,其中包含16个仿射等价的同构矩阵.在此基础上还给出了复合域GF((28)2)中基于不可约多项式的乘法运算、求逆运算和平方乘运算的实现结果.此方案采用3种最基础的逻辑门:与门、异或门、非门.并适应所有门电路工艺.相对于目前最优的MK-3算法S盒硬件实现,本文的方案至少减少58.3%的电路面积.从FPGA仿真角度讲,本文的方案至少减少47.5%的查表资源.