3类图完美匹配的数目

图的完美匹配计数问题是匹配理论研究中的一个重要课题,此问题有很强的物理学和化学背景．但是,一般图的完关匹配计数问题却是NP-困难的．用划分、求和、再递推的方法给出了三类特殊图完美匹配数目的计算公式．     

基于谱分解的SINS传递对准可观测度分析方法

针对舰载武器捷联惯导系统的快速精确传递对准问题,对"速度+姿态"匹配进行了简化,给出"速度+航向"匹配的传递对准模型。在此基础上,提出了一种基于Hermite矩阵谱分解的可观测度分析方法,该方法仅需要对阶数与系统状态维数相同的Hermite矩阵进行谱分解,算法简单。最后,应用该方法分别对三种匹配(速度匹配、"速度+姿态"匹配和"速度+航向"匹配)的系统状态进行可观测度分析。仿真试验结果表明:基于谱分解的可观测度分析方法是正确有效的,"速度+航向"匹配的对准精度在10 s内优于4′,能够实现捷联惯导系统的快速精确传递对准。     

重力梯度仪旋转加速度计标度因数匹配方法

旋转加速度计重力梯度仪为实现微弱梯度信号的测量,要求四个加速度计之间标度因数实时匹配。针对这一要求,在电磁加速度计工作原理的基础上,提出了标度因数外部粗调和在线调整的方法,设计了调整线圈并计算了不同位置相应的结果。仿真分析和实验结果表明,利用调整线圈可以实现加速度计之间的标度因数匹配。通过加速度计内部力平衡回路和外部反馈回路可以实现加速度计之间的标度因数在线实时匹配。     

基于连续变焦的大口径长焦距的探测成像一体化光学系统设计

为实现空间目标的探测与精确识别,设计了一种基于连续变焦结构兼顾大孔径和长焦距的探测成像一体化光学系统,实现了短焦大视场探测,长焦小视场成像的目的。系统采用里奇-克列基昂（RC）结构加校正镜与变焦结构通过光瞳匹配进行结合的方式,使用两片反射镜压缩光路,系统工作于450～850 nm的光谱范围内,焦距为700～3 500 mm;探测端焦距为700 mm,F数为2.5,视场角为0.5°×0.5°;成像端焦距为1 400～3 500 mm,F数为5～12.5,视场角为0.18°×0.18°。该系统具有探测能力强、成像质量佳、系统总长短、变焦凸轮曲线升角小等优点。     

一种面向Web服务的语义匹配方法

针对现有Web服务查找准确度不高的问题,提出一种Web服务语义匹配方法——MSURAP(matching semantic using relation and property).该方法在概念间基本推理关系的基础上进行细化,通过对概念间的属性,实例等语义关系比较分析,综合计算得到匹配值,使概念语义匹配准确度提高.实验结果表明,MSURAP在不增加服务查找时间前提下,提高了Web服务查准率.     

核反应截面替代测量方法介绍

核反应截面替代测量方法是一种间接测定核反应截面的方法, 这种方法对于测定不稳定核的反应截面具有重要的意义。 详细介绍了替代方法的理论基础、 影响其精确性的重要因素, 以及基于该方法的3种变型方法: 外替代比率方法（ESRM）、 内替代比率方法（ISRM）和混合替代比率方法（HSRM）。 阐明了每一种方法的基本原理, 给出了相关的实验验证, 并且对每一种方法的优缺点进行了分析。发现在每一种方法中, 所求反应与替代反应之间的自旋 宇称不匹配始终是不可消除的一个影响因素。 但是经过实验验证, 替代方法（包括3种变型方法）也可以达到较高的精确度, 因而在不能够直接测定核反应截面的情况下, 该方法不失为一种很好的间接测量方法。The surrogate nuclear reaction approach plays an important role in the determination of nuclear reaction cross sections that are difficult to be measured directly. In this paper, we investigate its basis, factors affecting its accuracy, and its three variants: the external surrogate ratio method (ESRM), the internal surrogate ratio method (ISRM) and the hybrid surrogate ratio method (HSRM). Each method was described, and their applications or experimental tests were given, from which we could see their respective advantages and disadvantages. And it is found that the spin parity mismatch, or the (weak) Weisskopf Ewing limit equivalently, is an inherent limitation of the approach. It is also seen that the surrogate approach can reach a high accuracy, so it is a good indirect approach when the nuclear reaction cross sections are unavailable to be measured directly.     

Band gap control of phononic beam with negative capacitance piezoelectric shunt

Periodic arrays of negative capacitance shunted piezoelectric patches are employed to control the band gaps of phononic beams. The location and the extent of induced band gap depend on the mismatch in impedance generated by each patch. The total impedance mismatch is determined by the added mass and stiffness of each patch as well as the shunting electrical impedance. Therefore, the band gap of the shunted phononic beam can be actively tuned by appropriately selecting the value of negative capacitance. The control of the band gap of phononic beam with negative capacitive shunt is demonstrated numerically by employing transfer matrix method. The result reveals that using negative capacitive shunt to tune the band gap is effective.     

一类非线性奇摄动问题的多层解

利用匹配渐近展开法,讨论一类非线性奇摄动边值问题中边界层内存在两个特异极限的多层解.首先,构造原问题的外部解;其次,利用伸长变量,求得了两个特异极限,进而得到了对应问题的两个内部解;最后,研究了边界层位于三种不同位置的多层解,利用匹配原则,求出了各种情形解的一致有效     

基于原理实例检索的可变功能产品功能升级再设计

针对可变功能产品随市场变化导致其功能和性能存在不足之处的情况, 提出了用于该类产品功能升级再设计的“原理实例检索法”. 首先, 归纳总结出功能升级的4种基本类型, 依据总结出的功能升级类型, 从功能需求的角度出发, 提出了一个功能升级辅助再设计软件原型系统, 用以进行原理实例的检索. 若检索结果无相关原理或实例支持功能升级, 则对升级功能进行TRIZ(发明问题解决理论)工程参数转化, 通过构建冲突矩阵获得创新原理解. 以电动工具为例, 建立的功能升级辅助再设计系统搜集了用于实现电动工具常见功能的基本原理和实例, 并利用Access数据库和Visual Basic 6.0对设计信息进行存储和原型系统构建. 其次, 对升级功能结构和原共享结构间的匹配情况进行分析, 得出结构匹配可能出现的5类基本情况. 最后, 以电钻“打磨固体”升级功能设计为实例, 利用上述功能升级再设计方法, 设计出了磨砺性能良好的“去锈打磨盘”, 验证了所提出的可变功能产品功能升级再设计方法的可行性.     

单架飞机受干扰后飞机路径恢复多项式算法研究

飞机路径恢复是航班调整中保证航班能够运行的必要条件之一,而传统目标下的飞机路径优化问题是NP-hard的。本文针对单架飞机受到干扰后,基于最小最大目标的同机型飞机路径最优化问题,给出了一个新的多项式时间算法。首先基于航空公司调整航班的常用原则,提出把最大航班延误时间最小化作为问题的目标。然后根据问题的一些特点和目标形式,设计出解构造算法,得到飞机路径恢复问题的最优解,并分析出算法的复杂度为O(n²)。相对于一般的最小最大二分图匹配算法(复杂度为O(n³log(n))),该算法具有较小的时间复杂度。最后用实例验证了解构造算法的有效性。该研究结果将为航空公司减少航班延误提供理论和方法支持。