严格随机正则(3,s)-SAT模型及其相变现象

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则（3,s）-SAT问题,并给出了该问题的实例产生模型--SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则（3,s）-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则（3,s）-SAT实例是高概率不可满足的。实验结果表明：由SRR模型所生成的随机实例中,当N>60且s>11时,所有的（3,s）-SAT实例均是不可满足的,而当N>150且s<11时,所有的（3,s）-SAT实例均是可满足的,即严格随机正则（3,s）-SAT实例的相变点位于s=11处,且在s=11处（子句变元比为11/3）的严格随机正则（3,s）-SAT实例,比在相变点（子句变元比）4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。     

面向空间遥操作的非对称双人共享控制及其性能分析

面向复杂操控任务的多人/机遥操作技术是未来空间遥操作的发展趋势之一。在综述目前双主单从的遥操作控制模式的基础上,提出一种面向空间遥操作的非对称双人共享控制方法。首先,通过分析理想双主单从遥操作系统模型,并对优势因子进行区分,建立了时延影响下的非对称双主单从共享控制系统模型;然后,利用传递阻抗、可达阻抗范围、性能表现距离和传递阻抗比等函数对系统的性能指标进行评价分析,并给出优势因子、控制阻抗和环境阻抗等参数对系统运动学性能的影响;最后,对所提出的方法进行仿真和实验验证,结果表明相比于传统控制方法,非对称双人共享控制具有较好的透明性和抗时延影响特性。     

中国三大中心城市知识发展水平综合评价

以知识经济理论框架为基础,根据<知识评价指标体系>,搜集北京、上海、广州三大中心城市的相关数据,按时间序列进行纵向比较,揭示其知识发展水平;同时,将各项综合指标与人均GDP进行相关分析,从而由各指标对GDP的贡献度,研究知识要素对中国三大城市经济发展的推动作用.     

农民合作意愿影响因素的实证分析——基于皖北六市、五县的调查数据

基于皖北六个地级市343户农民实际调研数据,以Logistic回归模型为工具,对主体特征、组织因素、政策环境等影响农民合作意愿的因素进行实证分析,结果表明：农民合作意愿受主体、组织、政策环境三方面因素的影响,其中农户的家庭特征、合作社运行机制、合作社服务体系、对合作社认知、土地流转变量对农户的合作意愿影响显著。基于上述结果,文章从政府引导与宣传教育、完善合作社为农服务体系、健全合作社运行机制、促进土地流转等方面提出了相关政策建议。     

基于多目标优化算法的导弹动力学模型修正技术

工程上对导弹的结构动特性分析是姿态控制和动载荷计算的基础,然而动特性的精确预示往往依赖于有效的导弹动力学模型的修正。结合单纯形优化算法和有限元法给出了一种基于多目标优化算法的导弹动力学模型的修正方法,模型修正后的前三阶频率和振型计算结果与试验结果均吻合较好。该方法优化过程简单,修正结果理想,是一种有效的有限元模型修正方法。     

基于参量阵的声波定向发射系统的设计与实现

通过对声学参量阵及非线性声学的研究,设计出具有良好定向性的声波发射系统,并通过实验的方式对定向性能、参量阵参数进行验证和分析。     

壁面温度对斜爆震发动机进气道流动特性影响的数值研究

为研究壁面温度条件对层流、转捩、湍流状态下斜爆震发动机进气道流场结构、流场参数的影响,选取Ma10级、具有曲面压缩段的斜爆震发动机进气道为研究对象进行数值模拟,对进气道壁面附近激波诱导分离区、热边界层的变化进行了深入探讨。数值模拟结果表明,进气道肩部圆弧过渡段出现的再层流化现象,壁面冷却对其起抑制作用,绝热壁面条件下再层流化程度最为严重。壁面温度的增加有利于延缓流动转捩,同时也导致了分离区尺寸的增加以及转捩、湍流状态下分离区主体位置逐渐前移,进气道内通道的转捩为分离诱导转捩,转捩位置主要受到分离点位置的影响,整体表现为壁面温度增加转捩位置前移。进气道出口顶板侧热边界层厚度随着壁面温度的增加逐渐变厚,转捩状态下热边界层厚度变化可达5%,温度峰值也随着壁面温度的增加逐渐增加,且峰值位置逐渐靠近壁面。壁面温度条件相同时,层流状态下热流、热边界层厚度均较小。转捩、湍流状态下进气道出口顶板侧热边界层较厚,约为层流状态3倍,同时转捩、湍流状态下热边界层厚度相差可达2%。     

Remaining useful life prediction based on variation coefficient consistency test of a Wiener process

High-cost equipment is often reused after maintenance, and whether the information before the maintenance can be used for the Remaining Useful Life (RUL) prediction after the maintenance is directly determined by the consistency of the degradation pattern before and after the maintenance. Aiming at this problem, an RUL prediction method based on the consistency test of a Wiener process is proposed. Firstly, the parameters of the Wiener process estimated by Maximum Likelihood Estimation (MLE) are proved to be biased, and a modified unbiased estimation method is proposed and verified by derivation and simulations. Then, the h statistic is constructed according to the reciprocal of the variation coefficient of the Wiener process, and the sampling distribution is derived. Meanwhile, a universal method for the consistency test is proposed based on the sampling distribution theorem, which is verified by simulation data and classical crack degradation data. Finally, based on the consistency test of the degradation model, a weighted fusion RUL prediction method is presented for the fuel pump of an airplane, and the validity of the presented method is verified by accurate computation results of real data, which provides a theoretical and practical guidance for engineers to predict the RUL of equipment after maintenance.     

基于快速响应的导航星座重构构型设计

针对有卫星失效下的导航星座,提出发射快速响应卫星的方法来对星座的空间构型进行重构,以实现修复和改善星座性能的目的.对快速响应任务中快速响应卫星的发射方式和入轨方式进行分析,建立快速响应卫星响应时间的数学模型;建立基于快速响应的重构构型优化模型,对优化问题中的优化变量、约束条件、目标函数进行分析;以北斗中MEO卫星失效为例,利用NSGA Ⅱ算法对优化模型进行求解,并采用双层编码的方式对优化参数进行编码得到以星座性能和响应时间为目标函数下的Pareto前沿.从结果可以看出该重构方法能有效提升受损星座的性能,同时Pareto前沿中对应的所有重构策略中,响应时间均小于一天.     

全源定位与导航的统一理论框架构建

针对多导航传感器的信息融合复杂性的问题,提出了一种基于全源定位与导航的信息融合统一理论框架。该框架将目前导航领域的主要定位导航技术分成了与时间无关的定位导航技术方法以及与时间相关的定位导航技术。首先,主要从数学的角度将各种导航技术的测量模型抽象为统一的表达形式,提出了位置、姿态、速度函数的概念,讨论了各种测量方法的测量函数及其应用;其次,分析了航位、航姿、航速的推算方法;最后根据测量模型和运动模型构建了信息融合的基本方程,并讨论了基于贝叶斯估计的导航参数一般性估计方法。