关于强增生算子的Mann迭代序列收敛的充要条件

设Z是一致光滑Banach空间,T：X→X是次连续强增生算子,｛an｝、｛βn｝是两个实数列且满足0≤an≤1,及an→0（n→∞）,令Mann迭代序列｛Xn｝定义为证明了迭代序列｛xn｝强收敛于S的不动点q的充要条件是｜｜Txn｜｜有界。     

国外铣削刀具磨损量自动检测方法综述

综述了国外现有的铣削刀具磨损量自动检测方法,对比分析了各方法的优缺点及应用范围,并对其在我国军品生产中的应用前景进行了初步分析。     

汉明距离的电路计算

介绍了几种汉明距离的电路计算方法,并对其性能特点进行了分析。     

强化农业科技创新机制推进新的农业科技革命

十五届三中全会通过的《中共中央关于农业和农村工作若干重大问题的决定》指出：“我国是农业大国,要把农业科技作为整个科技工作的一个重点,努力赶上世界先进水平”。农业是宁夏的主要优势产业之一。为使宁夏的农业产业优势充分发挥作用,就必须如《决定》中所指出的那...     

利用激光器测量导弹位置和姿态

利用多路激光跟踪器对导弹进行定位。该系统的直接用途是作为靶场测试设备,还可作为制导系统,特别是用于中段制导和末段修正。     

含有约束数目顺序旁路站的环网

用以前的图论技术与代数技术相结合的一种新技术来获得环形拓扑网络的闭合形式终端对可靠性表达式。双向反旋转环网使用自愈合和站旁路开关,其中的所有部件(站、链路和旁路开关)都可能出故障,对这样的环网导出闭合形式终端对可靠性表达式,以此来说明这种技术的可应用性。由于光功率损失约束引起的网络配置限制,这些表达式明显地扩展了环网可靠性在以前工作的效用。光功率损失约束限制了以FDDI环或同步光纤网络(SONET)环为代表的光纤拓扑网络中顺序旁路站故障的数目。组合的图论和代数技术允许利用n中选K:F系统可靠性的已知结果,以导出闭合形式的终端对可靠性表达式。 其结果是形成网络可靠性分析的新方法,并明显地把已知理论扩展到以前不分析的新情况。特别是,这里开发的组合的图论和代数分析工具允许环网设计者分析环网结构的可靠性,以前认为这样的环网结构太困难而不能用闭合形式表达式来分析,只能求助于通过仿真的可靠性近似。我们在推导双反向旋转环网中终端对可靠性的闭合形式表达式中使用这种新技术。这种新技术也可用来有效的获得更复杂的环网结构中的闭合形式表达式。     

子母弹再入段飞行干扰弹道仿真系统设计与实现

建立了分块的子母弹全弹道仿真流程,给出了影响子母弹子弹落点散布的三类再入段干扰因素,并提出了干扰因素的基本分析方法,最后对子母弹再入段飞行干扰弹道仿真系统的设计方案进行了总结。结果表明,该仿真系统可以弹道的不同阶段为入口进行不同导弹飞行段的弹道解算,通过设置不同的干扰因素,可进行多因素对子弹落点散布影响研究,为子母弹子弹落点散布规律的研究提供技术支撑。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

气控软体驱动器结构分析与优化设计

气控软体驱动器的结构特性对其运动和力学特性影响显著,目前气控软体驱动器支反力和倾角性能亟须提升.基于ABAQUS提供的脚本接口,采用Python语言开发脚本建立气控软体驱动器参数化仿真模型,将尺寸因子作为优化变量,联立Isight和ABAQUS,采用单因子试验方法确定倾角和支反力两个目标量的高敏感性影响因子.运用归一化...     

一种RetinaNet与SE融合的航空取证目标检测算法

针对在开展航空侦察取证时缺乏自动化、智能化取证手段的情况,提出了一种基于Reti-naNet与SE融合的航空取证目标检测算法,解决目标尺度变化大、数据集中类别不均衡的问题,并通过SE (squeeze-excitations)模块引入注意力机制进一步改进性能.该改进算法中的特征金字塔网络FPN可有效应对目标尺寸变化较大...