科学计算程序的验证和确认

针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(VV)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.     

仿真模型的智能化验证方法

为实现仿真模型可信度验证过程的自动化,并解决验证技术在应用中过度依赖领域专家经验等问题,提出基于知识的模型验证方法.首先,对模型验证的客观和主观方法中的数据和信息转化过程,以及用于模型验证中真实系统测试数据和领域专家的经验等参考信息进行抽象和归纳.其次,在知识抽象的基础上,分别建立领域知识模型、验证技术模型和验证任务模型.最后,在知识模型的基础上设计和实现智能化验证系统.对电磁轨道炮仿真模型的验证表明,该方法可有效对仿真模型进行验证,且主观和客观的验证方法均可以集成到该系统中,提高了模型验证效率.     

一种基于身份的智能电网认证模式

提出了一个移动用户智能电网(Mobile User Smart Grid,MUSG)概念,给出了MUSG场景下的用电模式描述,并利用基于身份的密码技术给出了一种基于身份的MUSG认证方案。分析表明,利用该认证方案不仅可以有效解决智能电网中移动用户的认证问题,满足移动用户即时用电和户外用电的需求,并且在保障系统安全性的同时有效降低了系统的计算和通信开销,减轻了系统的负载压力,提高了系统的使用效率。这为智能电网业务由固定用户向移动用户过渡奠定了基础。     

末制导雷达目标与诱饵的联合参数估计和辨识

拖曳式诱饵干扰条件下目标与诱饵的参数估计和身份辨识是制导雷达实现精确打击的前提条件。不可分辨角度范围内的目标和诱饵引起导引头雷达回波的干涉混叠,导致常规测量方法失效。当目标和诱饵处于相邻的两个匹配滤波采样点之间时,这些采样点所包含的信息将有助于参数估计的获取。通过充分挖掘两个连续匹配滤波采样点所包含的特征信息获得接收回波的概率分布,结合干扰形式和特点采用改进的粒子群优化方法从最大似然估计的角度获取目标与诱饵的对应参数,实现删除二者的身份辨识。各种条件下的仿真实验验证了方法的有效性。     

空间机械手模拟器系统设计与实验研究

空间机器人系统复杂,需要在地面进行充分的实验以验证和评估其设计方案和控制算法。为了对系统方案中各部件电气接口设计的有效性、信息传递的正确性进行检验,同时,演示验证信息管理、任务调度的实时性,以及在轨执行任务的能力,设计并研制了一套空间机械手模拟器系统。该系统由空间机械手中央控制器模拟器、关节电模拟器、手爪电模拟器、手眼相机电模拟器、图形仿真器、空间机械手动力学模块和信息调度仿真器组成,各部件之间的电气连接与星上实际系统一致。通过HLA/RTI(Run Time Infrastructure)仿真支撑环境与航天器姿轨控系统进行信息同步和交互,实现了空间机器人在轨任务的仿真。最后提出了一种空间机器人在轨协调控制方法,利用该系统进行了空间机器人协调控制圆弧实验,实验结果表明该系统设计合理、运行稳定,采用的协调控制方法可行有效。     

带非光滑核的多线性奇异积分极大算子的有界性

利用极大算子的 sharp 极大函数的点态估计方法,建立了具有非光滑核的多线性奇异积分极大算子的Cotlar型不等式,应用Cotlar不等式证明了极大算子是Lr(Rn)到Lp0(Rn)上的有界算子,推广了一些已知结果.     

一类不含分部量2的有序分拆

利用组合双射的方法研究正整数互为共轭的分拆均不含分部量2的有序分拆, 得到了该有序分拆数与Fibonacci数之间的一个关系式, 并利用该关系式给出这类分拆数与分部量是1,2的有序分拆数, 分部量是奇数的有序分拆数, 分部量大于1的有序分拆数之间的几个分拆恒等式.     

热镀锌钢卷力学性能GBDT预报模型

针对热镀锌钢卷力学性能预报建模条件属性选取难、预报精度不足的问题,研究了热镀锌钢卷力学性能梯度提升树(gradient boosting decision tree,GBDT)预报模型。利用互信息差算法综合评估工艺参数、化学成分和钢卷尺寸参数等条件属性的相对重要性以及属性之间冗余性,进行模型条件属性筛选;采用同分布原理进行样本划分,结合网格搜索法和交叉验证法优化模型参数,建立力学性能GBDT预报模型。将GBDT模型预报结果与随机森林(random forest,RF)、AdaBoost算法和BP神经网络的预报结果进行比较,比较表明GBDT模型优于其他模型,90%的数据样本预测的绝对误差小于14.24 MPa,94.6%的数据样本相对误差在6%范围内,具有更高的预测精度。     

环F2+uF2+vF2+uvF2上线性码的Lee重量MacWilliams恒等式

首先定义了环R=F2+uF2+vF2+uvF2上线性码的Lee重量计数多项式,导出了环R上线性码的Lee重量MacWilliams恒等式,进而利用Krawtchouk多项式,获得了环R上线性码的Lee重量MacWilliams恒等式的等价形式.     

基于X2接口TD-LTE系统邻区自优化流程设计

邻区关系的自动建立和更新作为SON(self-organized network)的一个重要方面,直接影响到网络的整体性能和切换性能。基于传统的邻区列表优化方法,通过对传统邻区流程添加自优化功能,提出了一种新的邻区列表优化方法。在核心网和基站间建立X2接口连接,并通过对该接口中的连接信息进行分析和判断,解决PCI(physi-cal cell identity)冲突及PCI不稳定问题。仿真结果表明,该方法能够自动完成邻区列表更新,解决邻区列表的不合理配置,并且能够提高切换成功率,减小小区掉话率。