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

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

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

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

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

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

简介：证明了针对匿名RFID身份认证协议ARAP协议可以进行假冒伪造攻击，并提出了改进版的ARAP协议。攻击的实质在于协议中运用的异或运算会将相同的值消去，或者可以设计特定的随机数实现重放攻击。提出了一种新的运算操作——置换操作，并在改进版的ARAP协议中将原协议的部分异或运算改为置换操作。改进版的ARAP协议还能抵抗跟踪攻击、非同步攻击和重放攻击等。

简介：可信计算已经从前几年的大造舆论、广泛宣传,转入到实现阶段。但是当前可信计算还存在一些问题需要解决,比如可信计算平台远程证明（以下简称远程证明）的实现。首先说明了基于PKI的远程证明存在的问题,然后针对这些问题,提出基于身份的远程证明方案。对新方案的优点和缺点进行了详细的分析,并设计了一个基于身份的远程证明协议,然后使用模型检测工具SPIN对其进行了形式化分析。

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

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

简介：对传统基于安全断言标记语言的单点登录机制进行了改进,结合组合公钥体制建立了统一身份鉴别机制,实现同一安全域内用户对多个应用系统的单点登录。在此基础上,通过在各安全域的统一身份鉴别服务器间通过可信链路共享组合公钥系统的公钥矩阵参数,构建了跨安全域的统一身份鉴别模型,实现用户在不同安全域之间的单点登录,适应动态信息基础设施随需伸缩的特点,同时能够保证身份鉴别过程的安全性和可靠性。

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

简介：色彩管理终于在数码印刷中显示了其重要作用。从北京相关部门得到消息，北京在制作第二代身份证时，由于采取了色彩校正软件，现在每天已经可以制作3万张身份证。

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

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

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

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

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

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

简介：多目标跟踪问题是计算机视觉领域的关键研究问题之一。现有的目标跟踪算法严重依赖于目标检测器的性能,如果目标检测器的虚警率或漏警率较高,数据关联将会失败,导致目标跟踪精度不足。为此,本文提出一种基于结构化学习策略的目标身份感知网络流量技术,可在目标检测和数据关联并行化框架下有效地实现多目标跟踪。文中首先通过结构化学习为每个对象训练一个模型,并将目标跟踪问题建模为拉格朗日松驰优化问题,然后提出一种目标身份感知网络流量（TINF）技术进行结构化学习的推理。在学习期间,通过搜索使目标身份感知网络流量代价函数最小化的一组轨迹,确定最被违反约束和序列在下个时间段的最优轨迹,推断出视频片断中所有目标的最佳位置。最后,利用多种高难度数据集进行仿真实验,结果表明本文方法的性能优于其他最新算法。