简介：简述了航天领域的宽带光纤总线系统的特征和优势，提出了系统集成芯片（SoC）光纤总线协议IP验证方法，实现了从标准的MILS-TD-1553B电平台到高速光平台的验证，描述了验证平台的组成，并给出两种验证平台的物理层模块设计。

简介：布局是EDA流程中至关重要的环节,布局质量的好坏直接影响了其后的布线过程,乃至布线完成后整个电路的性能。传统的FPGA布局中以CLB为最小单元,一旦打包完成,CLB中的配置不再改变。实现了BLE级的FPGA布局,并把布局结果转换为XDL格式文件,使用Xilinx工具验证其正确性。

简介：装箱是FPGA工具设计流程中关键的一步,是综合、工艺映射和布局的桥梁,在很大程度上影响了电路的速度和功耗。基于千万门级FPGAxc5vlx20tff323-2器件,对XST综合工具综合后的网表进行装箱,并把装箱结果转换为XDL格式文件,使用Xilinx工具验证其正确性。

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

简介：CRM预测模型:魔法石还是绊脚石CRM的重要功能是对未发生的事件进行预测.如何实现预测呢?模型是一个重要的手段和工具.为了解决重大的业务命题,常用的模型有:

简介：根据航空兵任务规划系统需求,从研究国内外任务规划系统入手,分析了各层次任务规划系统的主要功能及其应用,并研究了航空兵任务规划系统的结构组成和分类特点.在工程研发和应用环境方面介绍了该系统验证的总体设计构想和主要功能,提出了典型验证方法和关键技术,为任务规划验证技术提供了思路和手段.

简介：教模混合系统芯片（SoC）验证技术是SoC设计中的一个难点。文中基于8051核总线构建一个8位SoC设计验证平台，利用NC-SIM的数字仿真环境和Hsim的模拟仿真环境相结合的方式，对整个混合电路进行验证。该验证环境是建立在IP复用规范的基础上，具有很强的可移植性。同时该环境使用的激励文件和IP可以被一起设计复用，因此在仿真精度和仿真速度都能够得到保障的前提下，可以大大减轻电路混合验证的工作量。通过该混合验证环境，成功设计一个8位SoC芯片，功能和性能指标都达到用户要求。

简介：机载无线光通信以其抗电磁干扰特性而备受关注。介绍了一种2.5Gbps机载无线光通信设备的设计思路,阐述了无信标光捕获跟踪方案,并对其光学伺服稳定系统组成进行分析。利用相距1.5km的两个六自由度摇摆台搭建了试验验证系统,在强振动飞行平台模拟环境下对设备样机进行外场通信演示,传输图像清晰稳定,误码率低于10^-7。测试结果验证了设计思路的可行性。

简介：远程信息业务对有车的人来说是一个梦想，对测试工程师来说是一个噩梦。你将设计一个怎样的测试平台来支持很广范围、不断发展的测试需求呢？

简介：针对民用航空全域高精度实时监视问题,提出了新一代综合航空监视概念,构建了其系统技术框架。该框架能够实时监测全球任一个民航航班,使其成为天地一体网络中用户节点。概述了该体制构成及其关键技术,包括广域星地一体化综合监视网络设计和星基高灵敏度广播式自动相关监视(ADS-B)监视信息接收技术。最后,通过仿真试验验证了广域综合监视网络拓扑及高灵敏度星基ADS-B接收性能。基于该体制的广域航空监视应用可全面支持全球航班追踪系统建设和运行,将显著提高国际民航安全监视技术水平。

简介：在研究静态随机存储器故障模型以及常用功能验证方法的基础上，提出采用MarchSOF算法结合故障注入的EDAC测试程序作为宇航用带EDAC功能SRAM存储器的验证方法。该方法将MarchSOF算法扩展为32位字定向算法，同时增加数据保持故障以及EDAC功能的测试，可以对宇航用SRAM进行全方位功能验证。采用实际电路，对该方法进行实现和验证，验证结果表明了方法的可行性和有效性。

简介：随着FPGA规模的不断增大,互联线验证变得越来越困难。传统互连线验证采用功能仿真的方法,具有仿真速度慢、覆盖率低等不足。基于互连网络比对,设计了一种快速验证FPGA互连线连接正确性的方法。相对于功能仿真验证,该方法可以快速完成FPGA互连线连接正确性的验证,覆盖率高达100%,在保证互连正确的前提下,极大地缩短了设计时间。

简介：在铁路货运电子商务系统中,预订车票登录界面验证码图像中字符,提出了一种基于卷积神经网络（CNN）的铁路货运验证码识别方法.先对验证码图像进行预处理得到单个字符,再对单字符图像数据建立CNN模型进行迭代训练.该方法针对铁路货运验证码图像特征,图像字符分割正确率接近100%,单个验证码字符正确识别率达98%以上,单张验证码图像识别率接近93%.试验表明,该方法对铁路货运验证码识别率较高,可应用于验证码的自动识别.

简介：摘要：核电站数字化仪控系统(简称DCS)是核电站的信息神经和控制中枢,在所有运行模式,包括应急情况下,维持电厂的安全性,可操作性和可靠性,以保证核电站安全,稳定和经济地运行。目前,该装置已成功应用到首个国产化核电站数字化仪控系统的工程应用中,提高了测试覆盖率,准确性和工作效率,保证了核电厂的安全,稳定和经济的运行。

简介：摘要大量研究证实过度依赖自然资源会抑制或挤出经济增长的促进因素对经济增长产生负面作用，这就是所谓的“资源诅咒”传导机制。本文通过对国内外研究的梳理，认为产生“资源诅咒”的传导机制主要有“荷兰病”效应、挤出效应和制度弱化效应。

简介：针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并研究安全策略规则的形式化描述方法,进而实现动态可配置的安全策略仿真验证系统,以安全策略规则对安全分发技术的动态部署驱动为例,迭代验证安全策略对安全技术的指导作用。为从策略层面提高天基综合信息系统安全防护部署的可动态配置能力和性能/代价提供解决思路和验证方法。

简介：RPR(弹性分组环)是为城域光纤环开发的一种新的技术,它允许运营商提供高速的数据业务,同时保留了对传统基于电路的语音业务的支持.本文提出了一种基于本地缓存的弹性分组环上的保护机制(WP-LB),利用本地缓存的方法,有效地避免了WP机制中向故障区域发送数据分组带来的时延和带宽占用等不利影响,也避免了SP机制中较大的数据分组丢失.

简介：摘要针对很多企业在科技成果转化过程中市场意识淡薄、生命周期管理不力、配套制度不健全，人才匮乏以及知识产权激励制度不完善等多个方面，本文提出了一些基本对策，即培养科技成果转化意识、建立全生命周期管理平台、充分利用社会资源、加快培养复合型人才、完善知识产权保护措施，建立完善激励机制等，进一步推动企业将科技成果转化为经济效益。

简介：在网络/链路互联的基础上,实现数据级的信息共享是遂行网络中心行动的前提。首先介绍了以数据为中心的发布订阅机制;而后根据涌现原理,阐述了系统组成单元遵循发布订阅规则就可能涌现出信息共享这个新系统特征的观点,并给出了信息共享的度量;最后通过一个典型应用案例,展现了发布订阅机制的应用效果。

简介：对于有机薄膜器件（包括有机电致发光器件（OLED）和有机场效应晶体管（OTFT））,器件的电流机制直接决定了器件的性能,因此深刻理解其相关机理是十分必要的。虽然对于有机薄膜器件的电学性能研究较早,但是由于器件结构及有机薄膜内部影响机制的复杂性使得不同学者的研究结果很不一致。为此,文章以相同的镁银合金（MgAg）为电极,有机电子传输及发光材料八羟基喹啉铝（Alq3）为有机功能层,深入研究了MgAg/Alq3/MgAg器件的电流机制。测试及拟合结果表明,该器件为单电子器件,器件的电流属陷阱电荷限制电流机制。不同温度下的测试结果表明,随着温度增加器件电流迅速增加,这是因为随温度增加,器件中载流子的浓度和迁移率呈指数上升。