融合语义信息的视频摘要生成

视频摘要任务旨在通过生成简短的视频片段来表示原视频的主要内容，针对现有方法缺乏对语义信息探索的问题，提出了一种融合语义信息的视频摘要生成模型，学习视频特征使其包含丰富的语义信息，进而同时生成描述原始视频内容的视频摘要和文本摘要。该模型分为3个模块:帧级分数加权模块、视觉-语义嵌入模块、视频文本描述生成模块。帧级分数加权模块结合卷积网络与全连接层以获取帧级重要性分数；视觉-语义嵌入模块将视觉特征与文本特征映射到同一空间，以使2种特征相互靠近；视频文本描述生成模块最小化视频摘要的生成描述与文本标注真值之间的距离，以生成带有语义信息的视频摘要。测试时，在获取视频摘要的同时，该模型获得简短的文本摘要作为副产品，可以帮助人们更直观地理解视频内容。在SumMe和TVSum数据集上的实验表明:该模型通过融合语义信息，比现有先进方法取得了更好的性能，在这2个数据集上F-score指标分别提高了0.5%和1.6%。      

计算机辅助FMECA软件模型

从CAD框架和软件体系结构的角度出发分析、建立计算机辅助FMECA软件模型.首先分析研究了FMECA软件的目标和设计思想,进而重点描述FMECA软件应用OTO-D语义模型建立数据模型和软件框架结构;产品描述关系型数据库模型和可视化形式、上下自动转换的FMECA和信息查询自动化等的实现技术.     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

基于高层语义嵌入的孪生网络跟踪算法

在不加深网络的前提下,为提高孪生网络的特征表达能力,提出基于高层语义嵌入的孪生网络跟踪算法。利用卷积和上采样运算设计了语义嵌入模块,有效融合了深层特征和浅层特征,达到了优化浅层特征的目的,且该模块可以针对任意网络进行灵活的设计与部署。在孪生网络框架下,对AlexNet骨干网络不同层之间添加2个语义嵌入模块。在离线训练阶段进行循环优化,使深层语义信息逐渐转移到较浅的特征层,在跟踪阶段,舍弃语义嵌入模块,仍采用原始的网络结构。实验结果表明：相比于SiamFC,所提算法在OTB2015数据集上精度提高了0.102,成功率提高了0.054。     

超低频参数自动计量测试系统通过鉴定

超低频参数自动计量测试系统鉴定会由航空航天部第一研究院组织,于1989年底在北京召开,并通过了该系统的鉴定。该系统的特点是充分利用现有设备,配置适当接口和设计合理的测试软件,在微机统一控制下,实现了超低频参数的自动计量测试,并用汉字直接打印检定结果,投资少,效益     

超低频计量自动测试系统

充分利用现有的标准仪器,在微机统一控制下,组成一个超低频参数计量的自动测试系统。系统中各台仪器仍保持其独立工作能力。整个计量测试过程,都用软件控制,自动完成,并能对数据自动采集和处理,用汉字打印输出检测结果。     

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.      

电子计算机汉字信息处理中的编码问题和自动识别探讨

目前,解决汉字输入的方法,基本上可以分为两大类。一类是将汉字用人工进行编码,再将编码输入计算机内。另一类是用计算机自动识别汉字,即通过专用设备将汉字输入计算机,然后对输入的汉字自动进行分析、识别,自动进行编码。本文对国内提出的一些编码方法作了一些评价,并提出一种拚音字、词代码,作为汉字人工输入计算机的手段。这种代码具有不受汉字字形变化影响,以及良好的可读性能。当考虑计算机处理文字信息的速度与人工键盘输入汉字的速度不相匹配时,本文还以笔划为基本识别特征,对汉字的自动识别方法进行了一些探讨。     

隔离信号调理模块自动校准系统设计

针对隔离信号调理模块型号多、参量多、使用量大,采用手动计量校准耗时耗力、容易出错、工作效率低等问题,在VEE Pro软件开发平台上,设计开发出一套隔离信号调理模块自动校准系统。该系统包括仪器信息记录、校准及打印输出三个主模块,测试过程采用实时测试显示,自动进行数据处理并存档。使用结果表明：该系统操作简便,提高了工作效率及准确度,降低了人为出错几率,确保了测试数据准确可靠。     

基于坐标融合的大型壳体壁厚自动测量方法研究

介绍了一种基于光栅投影测量原理的大型壳体壁厚自动化测量方法及其在大型锥形壳体产品自动测量中的应用。采用基于坐标转换统一的数据拼接方法,通过对自动测量系统的多坐标系综合标定,实现了多站位扫描测量数据的精密拼接融合。利用点云检测软件Polyworks完成了产品数模比对分析和壁厚检测,并对测量系统壁厚测量不确定度进行了分析评定。结果表明,基于坐标融合的大型壳体壁厚自动测量方法可有效提高产品的检测质量和检测效率。     

地外人工光合成装置研制与试验

原位资源利用技术是地外生命保障体系构建、实现人类地外生存的有效途径,是载人深空探索的核心技术。基于微通道技术的人工光合成反应器,采用流动反应器设计,用于低微重力等特殊环境条件下模拟人工光合作用,实现CO２向O２和含碳燃料的转化。微通道芯片通过气液剪切作用力使气体反应产物快速脱离电极表面并随反应介质排出反应器,理论上可以克服微重力条件对反应过程的影响,尚需进行微重力试验进行验证。同时,微通道结构可以通过精确控制反应气液的压力、流速、流量比等反应条件,获得优化的反应条件。通过地面试验,验证了该反应器将CO２还原为O２和含碳化合物的功能可行性。以Au和Ir/C作为阴极和阳极材料,3V电压条件下,O２产率可达11.74mL/h。此外,基于人工光合成反应器搭建了集反应模块、控制模块、流路驱动模块以及检测模块等于一体的地外人工光合成装置,形成原位反应、介质供给、精确控制、在线收集和检测等功能一体化的系统,并实现CO２有效转换和O２供给。为后续技术成熟度更高的反应装置研制、高产物选择性的含碳化合物转化以及人工光合成反应装置在轨试验奠定了理论和实践基础。     

一种工业热电阻检定系统的设计

为实现对工业热电阻的自动检定,提高检定工作效率及量值传递的准确性,设计了一种工业热电阻自动检定系统。根据热电阻检定工作原理和实现自动检定的思想,论述了系统的硬件结构组成和检定系统操作步骤。系统采用测温电桥与低电势扫描开关配合,在工业三线铂电阻的检定中,可以实现二线接法和三线接法的自动转换。系统操作软件以VB作为开发平台,实现自动控温、采集数据和输出word报表等。实际使用表明,系统设计结构合理,软件操作方便,量值传递准确可靠。     

便携式太阳电池特性参数获取系统

为了快速以及准确地获取太阳电池的特性参数（包括光生电流、反向饱和电流、二极管理想因子、串联电阻、并联电阻、短路电流、开路电压、最大输出功率、最佳工作电压、最佳工作电流和填充因子等11个参数）,研制了一套由太阳模拟器模块、控制及处理模块、电子负载模块、信号采集模块、按键模块和显示模块6个部分构成的测试系统.该系统的主要特点在于,依次采用程控恒流型和恒压型电子负载以及变频采样技术,实现太阳电池电流与电压信号高精度测量;集成太阳电池参数解析提取算法进入数字信号处理芯片,实现便携式提取电池光生电流等参数.对不同光强下单晶硅太阳电池的测量以及数据拟合,获取了11个特性参数;并得到拟合曲线中电流最大均方误差小于0.006 A,证实参数获取是正确的.      

基于多源图像弱监督学习的3D人体姿态估计

3D人体姿态估计是计算机视觉领域一大研究热点,针对深度图像缺乏深度标签,以及因姿态单一造成的模型泛化能力不高的问题,创新性地提出了基于多源图像弱监督学习的3D人体姿态估计方法。首先,利用多源图像融合训练的方法,提高模型的泛化能力;然后,提出弱监督学习方法解决标签不足的问题;最后,为了提高姿态估计的效果,改进了残差模块的设计。实验结果表明:改善的网络结构在训练时间下降约28%的情况下,准确率提高0.2%,并且所提方法不管是在深度图像还是彩色图像上,均达到了较好的估计结果。      

应用于控制力矩陀螺电源模块的线性-非线性协同控制器设计

对控制力矩陀螺电源的控制器进行研究,基于对线性控制器及非线性控制器的分析,设计了线性-非线性协同控制器并搭建硬件模型,在电源系统动态调整阶段采用非线性控制器,在稳态阶段采用线性控制器。该方案较单一线性控制器提升了电源系统的动态性能,并保证了系统的稳定性及可靠性。对该鲁棒控制器进行了仿真分析并搭建实物,通过实验验证了相较线性控制器,使用协同控制器的电源模块在控制状态切换时,下冲量与调节时间分别减少了45%及58%,证明了该协同控制器能够有效提升CMG电源系统的动态性能。     

基于ASIC技术的1553B IP核的设计

针对卫星轻小型化的应用需求和现有1553B总线接口设计存在缺陷的问题,提出一种面向航天器综合电子的1553B总线协议ASIC芯片设计方案,并介绍了自主研发的1553B协议IP核设计. 1553B IP核采用自顶向下的设计方法,使用Verilog硬件设计语言进行编程,实现了1553B总线中的总线控制器BC和远程终端RT功能. 分别从1553B IP核总体框架、BC/RT共享模块、BC功能模块和RT功能模块详细介绍了IP核的设计.1553B IP核设计完成模块仿真验证、ASIC芯片系统仿真验证和FPGA验证,通过DDC的1553B板卡对设计进行验证,误码率小于10-9. 实验结果表明,本IP核设计具有可靠性高、可移植性强、资源占用少、实时性好的特点.      

基于OPNET的CAN网络建模与仿真

为分析控制器局域网(Controller Area Network, CAN)协议,评价CAN网络性能,提出在OPNET网络仿真环境中CAN网络模型的建模方法.采用网络层次化建模方法构建节点模型.介质访问控制(Medium Access Control, MAC)子层中设计MAC、错误处理和帧间空间模块,保证系统结构清晰.通过进程设计,MAC模块中实现了网络实时性模型;错误处理模块中实现了连续错误下网络不可用模型.定义和编辑链路及数据帧模型.根据实例模型进行网络模型的配置和仿真.仿真结果与实例测试结果一致,验证了网络模型的有效性.通过分析具体网络仿真环境下的仿真结果,对CAN网络性能进行了讨论.该模型提供了独立可编辑的节点模型,链路模型和数据帧模型,可实现灵活的网络配置,用于不同网络拓扑分析.     

月面无人自动采样返回飞行程序设计与实现

针对嫦娥五号飞行程序多舱段、多任务、系统控制复杂的设计特点和难点,采用传统的飞行程序设计方法工作量大,状态控制困难,很难满足任务要求。提出了一种新的基于状态转移的方法对飞行程序进行系统建模,首先将整个飞行过程分解成若干模块状态机;然后针对每个模块状态机的功能划分为状态触发器、评估器、执行器和确认器,并分别开展建模设计;最后通过状态触发器和确认器将各个功能模块进行连接,形成整个飞行程序的有限状态机描述。相比传统方法,该方法具有通用性、可扩展性和可复用性等特点,对于规范飞行程序设计,描述复杂的飞行任务过程有很大的优势。采用该方法对嫦娥五号飞行程序进行了建模和设计,并给出了典型飞行过程的设计结果。在轨飞行试验结果表明,该方法可以满足飞行任务的要求,确保了嫦娥五号在轨飞行控制任务圆满成功。     

灭菌模块中流速和银离子浓度分布模拟计算

无菌水是载人航天器生命健康的保障条件.灭菌模块安装在水处理系统末端,向净化水释放规定浓度的银离子,起到杀菌和长期保存作用,使净化水达到饮用水质标准.水流过金属壁面,根据交换流域采用标准k-ε模型标准壁面函数,针对600mL·min-1流量工况建立流场和银离子浓度场的计算模型.灭菌模块阴阳电极30s交替互换牵引浓度变化.为符合实际工况,建立模型时通过反复迭代的方式进行求解.对流速和银离子产生速率的结果进行分析发现,银离子浓度最高部位均出现在阳极表面附近,阴阳极反复转换可有效降低电极表面附近的银离子浓度.结合理论计算结果可知,灭菌模块工作过程中不会有AgOH沉淀析出,从而确定工艺参数,指导工程设计.根据仿真结果分析给出了灭菌模块优化建议.      

嵌入式自动测试系统模块优化配置方法研究

在分析和描述被测对象测试信号和测试系统功能模块的基础上,建立了一种适应于模块优化配置的数学模型,根据满足测试需求和模块总数受限这两个约束条件,提出了基于系统模块配置总代价最小原则的模块优化配置方法和详细实现方法;并利用MATLAB软件进行仿真,得出了对实际应用具有较好指导意义的仿真结果。