简介：为了实现水下潜器长时间高精度导航定位,同时考虑到传统地形辅助导航系统在先验地形图不可得或者是地形变化不明显的海域（地形不可匹配区域）,无法用来修正惯性导航位置误差的问题,提出了一种结合地形和环境特征的水下导航定位方法。在先验地形图可得且地形高程变化明显的可匹配区域,采用地形辅助导航系统来修正惯导位置误差,在先验地形图不可得或者是地形高程变化不明显的不可匹配区域,采用基于海洋环境特征的同步定位与构图算法来修正惯导位置误差。仿真结果表明,该方法在地形可匹配区域以及地形不可匹配区域得到的航迹都比纯惯导得到的轨迹更接近于理想航迹,因此可以用来修正惯导位置误差。

简介：本文从目前中学数学教育存在的严峻形势——存在相当一部分的数学学困生出发,通过问卷调查,用数学统计方法从内因外因两方面探究造成数学学困生的非智力因素,从四个方面详细地分析了数学学困生“困”在何处,从而为高一数学教师能有的放矢地辅导学困生,提高其学习的适应性找到依据.

简介：目的：解决考虑模糊环境条件影响下的复杂机械产品并行拆卸路径规划问题，并给出成本和模糊时间最优的拆卸方案。创新点：建立混合模糊模型，引入三角模糊数表示拆卸工序加工时间，提高拆卸路径规划的环境适应性；采用并行加工方法，尽可能地提高生产资源利用效率，缩短加工时间和降低加工成本；使用混合编码方式，用同一条染色体表示拆卸工序和工位信息，简化模型表达和运算；在遗传算法中引入高斯变异方法，提高算法的收敛速度。方法：1．引入一个包含N个工位和L个零部件的拆卸序列规划问题，提出混合模糊拆卸模型实现对此问题的数学描述；2．采用包含高斯变异算子的遗传算法，对结果进行优化计算，以得到最短的模糊加工时间和加工成本；3．将本文所述方法的计算结果与快速搜索随机树算法的运行结果进行比较。结论：在算法分别迭代50次、100次和150次的情况下，本文所述方法得到的最优解均优于快速搜索随机树算法的解，并且运行时间均短于快速搜索随机树算法。

简介：在脉冲X射线测量中,当出射X射线粒子总数低于108时,通过闪烁体成像测量角分布的方法难以获得结果。提出了一种将准直孔阵列、快时间响应闪烁体和多路延时光纤相结合的电流型测量方法,通过记录不同角度的瞬时脉冲波形,能够实现ns以下小焦斑快脉冲X射线角分布的测量。基于该方法研制的测量系统在亚ns重复频率快脉冲硬X射线源上进行了实验验证,获得了距源20cm处的角分布数据。

简介：目的：目前基于知识工程的设计过程自动化领域有一个缺陷，即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享，从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法：1．对非规范化建模方法进行分析对比（表1）；2．分析过程建模技术应该满足的功能，细化成不同的要点对不规范的建模方法进行分析对比，同时分析可以表示不同设计分解特征的规范建模技术。结论：1．明确了设计过程自动化的两个关键步骤：（1）非规范化地获取设计过程中的关键点，（2）将非规范化模型映射为规范化表示；2．分析得出表示不同设计分解特征的规范化表示方法和技术（表2）；3．根据分析结果，可以选择最优的非规范化和规范化建模方法，从而支持设计过程自动化。

简介：针对含热阻温度场的计算问题,提出了一种通用的有限元求解方法。由于含热阻界面热流密度表达式具有对流换热的形式,该方法将热阻条件视为第三类边界条件。推导了热阻条件下的有限元方程,通过计算含热阻界面两侧单元形函数在单元相交区域的局部积分,实现了区域界面热阻条件的约束。算例表明,该方法不受区域界面数量的限制,能同时适用于对齐网格和非对齐网格,具有良好的通用性。

简介：给出了Banach空间中线性离散时间系统一致与非一致多项式膨胀性的概念,使其在相应空间中范数的增长速度不快于指数型增长,并用实例阐释了二者的关系.借助于指数型膨胀性的研究方法,讨论了其非一致多项式膨胀性的离散特征.作为应用,利用Lyapunov函数给出了相应概念的充要条件.得到了指数膨胀性理论中一些经典结论在非一致多项式膨胀情形下的变形.

简介：针对带有末端多约束的三维非线性制导问题,设计了一种通用模型预测静态规划制导算法。该制导算法通过向后迭代求解权矩阵微分方程对控制量进行更新,将动态优化问题转化为静态优化问题,计算效率得以提高。阐述了通用模型预测静态规划制导算法的基本原理,详细给出了基于通用模型预测静态规划算法的制导律设计过程。所设计的制导律满足末端法向加速度约束,因此,间接满足末端弹体姿态角约束。仿真时考虑目标的机动方式和落角约束,仿真结果表明,末端位移偏差小于0.5m,末端落角可控制在0.01°范围内,末端法向加速度小于0.01m/s^2,该制导律能够很好地满足末端位移、落角和法向加速度约束。

简介：基于右上角元素值域的闭性和某空间族的维数扰动,得到了缺项四分块算子矩阵（AC？B）存在可逆补的一个新的充分必要条件,结果表明该类补问题可以转化为缺项上三角算子矩阵的可逆补加以解决.

简介：本文结合残量Bregman迭代方法以及不动点迭代方法提出一种新迭代方法,将其应用于信号恢复问题.数值试验表明,新方法避免了Bregman迭代方法产生的停滞现象且较线性Bregman迭代方法更稳定、快速、有效.

简介：利用不动点指数理论,文章讨论了二阶非线性边值问题系统正解的存在唯一性.并将所得结论应用于具体问题.

简介：本文提出了一类Logistic时滞模型的随机离散形式，并对其进行了研究．首先，讨论了相对应的确定性离散模型的稳定解．其次，在一些简单的条件下，证明了随机离散Logistic方程的渐近稳定性．最后，利用数值仿真说明了主要结果．

简介：各有关单位：为聚焦分析检测在有色金属贸易中的作用，加强检测机构、贸易方、生产厂家等之间的交流与合作，创建中国有色金属矿产交易的公平秩序，引领行业分析检测技术进步，届时权威专家会就出现的难题一一破解。由中国分析测试协会、中国有色金属学会、中国矿业联合会选矿委员会、北京材料分析测试服务联盟联合主办。

简介：近年来,最高能量在250MeV左右的质子辐照装置因在质子治疗、质子辐照效应研究等领域的应用前景而受到广泛关注。清华大学目前正在计划建设一个此类质子辐照装置,其最高能量可达230MeV,一个工作周期至少输出2×10^11个质子,且引出的束流是准连续的。该辐照装置的核心部分是一个能够将质子由7MeV加速到230MeV的同步质子加速器。简要介绍了该同步加速器的关键技术及设计结果,包括为实现高效累积足够流强而使用的剥离注入技术、为提升加速效率而使用的纵向绝热俘获技术以及为实现束流缓慢引出而使用的三阶共振引出技术。

简介：本文研究一类非凸连续全局最优化问题的最优性条件．通过构造含有参数的辅助函数，且对辅助函数作极限运算，得到一种基于积分运算的积分型全局最优性条件，并利用该辅助函数得到非凸规划问题全局最优解的一些充分必要条件．

简介：铬矿砂及再生铬矿砂经1000℃灼烧,研磨,以过氧化钠为熔剂,经高温熔融,热水洗涤,盐酸、硝酸酸化前处理样品,直接用电感耦合等离子体原子发射光谱法测定铬矿砂中的二氧化硅。研究了熔融试样时引入的基体元素钠对被测元素的干扰情况,结果表明,过氧化钠加入为1.5g对检测干扰影响小。采用加基体铬、铁有效克服了基体效应对测定的结果影响。硅的检出限为0.0049mg/L,二氧化硅测定范围为0.010%~6.0%。对铬矿砂标准物质进行测定,结果与标准值一致,方法相对标准偏差（RSD,n=10）小于1%,克服了常规重量法步骤繁琐、耗时长、工作量大的不足,大大提高了检测效率,满足生产需要。

简介：本文讨论矩阵方程ATX＋xTA=C的一般解及其最佳逼近解的正交投影迭代解法．首先，利用矩阵的结构特点及相关性质，并借助矩阵空间的相关理论，给出求该矩阵方程一般解正交投影迭代算法；其次，根据奇异值分解、F-范数正交变换不变性证明算法的收敛性并推导出算法的收敛速率估计式，当方程相容时，该算法收敛于问题的极小范数解，且对该算法稍加修改，就可得到相应最佳逼近解；最后，用数值实例验证算法的有效性．

简介：本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含一个区间（-α,0）,α〉0.此结果表明该主算子生成的C_0-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到：（i）该C_0-半群的本质增长界为0.从而,该C_0-半群不是拟紧算子.（ii）该模型的时间依赖解不可能指数收敛于其稳态解.（iii）该C_0-半群的本质谱半径等于1.

简介：本文研究了不完备偏好序下乘积空间上的序关系,并由此得到了在没有任何连续性条件下混合单调算子的广义耦合不动点存在定理.

简介：利用一般凹算子的不动点定理研究了一类含隅角和弯矩的弹性梁方程,得到了单调正解的存在唯一性结果.最后给出一个典型例子说明所给结果的应用.