摘要：以任务分析和环境建模仿真框架作为任务结构的描述模型,建立了无人作战飞机的任务模型描述及任务规划问题描述方法.提出了基于启发式设计准则的无人作战飞机任务规划算法,并在任务规划过程中集成路径规划.以通用局部全局规划协调理论为基础,提出了集成通用局部全局规划协调机制和同步协调机制的多无人作战飞机协同任务规划系统结构,对通用局部全局规划的任务规划过程进行控制和协调.仿真实例证明了任务规划算法的可行性.

摘要：提出了一种使用介电突起消除边缘场效应的硅基液晶显示器(Liquid Crystal on Silicon,LCoS)。在像素电极之间设计介电突起结构来阻隔相邻像素电极之间的串扰电场,通过对LCoS的液晶分子指向矢分布和边缘场串扰现象进行仿真,分析了边缘场效应产生的机理及其影响因素,并对相应反射率和相位进行了计算和对比。具有介电突起的LCoS相比传统LCoS在减少相邻像素边缘反射率和相位干扰上有明显的效果,反射率始终维持在96%,相位差保持不变,对比度大于35∶1的区域接近60°,整体视角基本不受影响。所提出的介电突起能够很好地消除横向电场对相邻像素内液晶分子取向的影响,进而提高了LCoS的对比度,大大改善了显示效果。

摘要：为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法,仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率,同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型,最后给出了在典型安全关键软件———机载除冰软件系统上的应用以说明方法和工具原型的有效性。

摘要：为了在不改变液晶透镜孔径的基础上减小其焦距,本文提出了一种基于大Δn液晶材料的短焦距透镜阵列。该透镜阵列采用大Δn液晶材料,使其在低驱动电压下便可以积累较大的光程差。下基板采用ITO驱动电极与ITO接地电极交替排列的结构,且ITO驱动电极位于介电层上方。ITO接地电极使其边缘区域内存在弱电场,介电层平滑了液晶层内的电场。该设计不仅在大孔径范围内实现抛物线形的相位分布,且减小了驱动电压。仿真结果表明,当驱动电压为6 V时,该液晶透镜阵列的相位分布曲线与理想抛物线匹配较好。单个液晶透镜中心与边缘的相位差为42.17π左右,使其达到最小焦距约1.72 mm。当驱动电压从0 V增加到6 V时,液晶透镜阵列的焦距从∞减小到1.72 mm左右。因此,该液晶透镜阵列可以应用于2D/3D可切换显示、AR显示等领域。

摘要：介绍了一种高速数据传输测试系统。系统由上位机及本地系统组成。其中,本地系统中使用FPGA产生特定序列,发送信号并接收测试结果;PEX8311芯片完成本地总线与PCI Express总线转换,将测试结果通过PCI Express总线上传至上位机。上位机中,使用内存映射文件技术实现高速率数据实时存储。详细介绍了PCI Express总线标准及测试系统的组成、FPGA逻辑划分及各部分功能;比较内存映射文件技术与传统储存方式不同,并简述使用方法。通过测试,系统工作稳定,目前已成功应用于测试信号采集。

摘要：比特币是一种开放的密码货币,它的诞生与流通标志着以信息产生与流动为特征的互联网络加速迈入以价值产生与转移为特征的价值互联网新时代.本文首先综述比特币的发展、体系架构,分析比特币在无信任环境下利用现代密码学方法在去中介、去中心化、公开可验证和点对点支付等方面的技术优势,以及比特币对法定货币的冲击.在分析比特币研究与应用基础上,指出比特币系统资源浪费严重、可扩展性差、吞吐率低、交易延迟过长、缺少系统级安全论证、隐私保护不足、难以审计监管从而带来金融犯罪等诸多方面的问题.最后,面向法定数字货币设计需求,论文探讨吸收类比特币数字货币的技术优势,发展和创新现代密码理论与技术,解决法定数字货币设计面临的技术挑战,调和便利性需求和安全性需求之间的功能性冲突,解决隐私保护、金融情报机密性需求,与安全审计、监管、追踪、打击违法犯罪活动需求之间的技术性冲突,从而保障货币政策的有效运行和传导,确保法定机构对货币主权的控制.

摘要：随着三维集成电路性能的提高和复杂程度的增加,印制电路板(PCB)的散热问题日益突出。研究了PCB在电热多物理场相互作用下各部件的发热情况,提出了基于混合激活函数的多层感知机(MLP)-Bagging多物理参数算法。通过使用ReLU和Sigmoid两个激活函数进行学习和训练,建立了精度更高的MLP模型。之后,结合Bagging算法构建多个并行的MLP模型。所提出的神经网络多物理模型可以快速准确地预测PCB的电热响应。实验结果表明,此方法与有限元法相比,可以节省约97%的计算内存和99%的计算时间,与传统神经网络如随机森林(RF)、长短时记忆(LSTM)网络、MLP相比,该方法表现优良且泛化能力较好,为提高PCB设计效率提供了一种可行方法,为PCB热分析提供了更高效的解决方法。

摘要：对当今广泛应用的EDA电子电路设计方法作了系统的分析和研究,结合通信系统中重要的射频部分探讨了EDA软件的作用和设计优化方法,并利用AWR、ADS以及HFSS等软件相结合对一种微带滤波器进行了分析和设计,仿真和实验证明很好地应用电子设计软件可以大大提高射频电路的设计能力,缩短设计时间,提高准确性。

摘要：为有效减轻新一代运载火箭传感器数据采集与传输系统的质量,设计并实现了基于CC1310芯片的无线传感器系统。采用频分复用(FDM)结合时分复用(TDM)的方式完成多节点组网并实施分组管理,组间频分复用既实现了节点数的扩增,又提升了传输速率复用倍数,分组数为4时子节点数量可达100个以上。提出主节点授时法结合多节点分时传输协议的优化设计方法,保证多节点高精准同步,避免节点间碰撞,获得了最优的组内可达速率;设计节点唤醒/休眠模式切换策略,有效降低了系统功耗。实测结果表明:2个主节点带5个子节点并行工作时,传输速率可达400 Kbps,且主节点数量增加时,系统的传输速率成比例增大;单个子节点忙时功耗不超过60 mW,闲时功耗不超过12 mW,平均功耗为15.2 mW,符合低功耗要求;同时,所设计的无线传感系统具备良好的可靠性和鲁棒性。

摘要：为了模拟生成卫星导航信号,为卫星导航接收机的研发、测试提供仿真环境,提出了一种基于FPGA的格洛纳斯(GLONASS)中频信号模拟器设计方法,简要介绍了GLONASS卫星导航系统和信号体制,通过软硬件结合的方法进行了GLONASS中频信号模拟器的总体设计方案以及中频处理单元主要接口电路的介绍。经仿真与验证,该设计方法能产生精确的GLONASS中频信号。