弱模型依赖的运载火箭液体晃动自适应控制方法公开

针对运载火箭的不稳定液体晃动难以设计的问题,将晃动运动方程的描述视为一种与火箭箭体刚体存在关联且具有晃动阻尼特征时变的力矩干扰。在不完全依赖液体晃动运动精确模型的基础上,利用扩展状态观测器估计火箭箭体的总干扰力矩并提取晃动频段干扰力矩时变信息,对晃动干扰力矩进行补偿卸载,以实现火箭的稳定飞行。在典型动力学模型基础上,设计了依据晃动频率等信息自适应控制律,实现了在线实时晃动干扰力矩卸载补偿。仿真结果表明了该方法的有效性。

弱模型依赖通用智能姿态控制技术

超高速跨域飞行、敏捷机动等是新一代飞行器发展方向,而长时高速飞行产生的气动外形变化带来的气动参数大范围改变等问题,都对控制系统设计提出了更高的要求。为提高飞行器对模型不确定性的适应能力及控制方法对不同外形、复合执行机构的通用性,深入研究了弱模型依赖的通用智能姿态控制技术,分层次地开展了基于深度学习(DL)的自适应姿态控制、基于深度确定性策略梯度算法(DDPG)的通用姿态控制、弱模型依赖的多维复合控制等技术研究,显著提高了控制系统的鲁棒性和通用性,对人工智能技术在飞行器姿态控制中的应用具有一定的指导意义。

太阳中微子问题与非标准电弱模型

非标准电弱模型似乎可以说明长达二十几年的太阳中微子问题，３类不同味的中微子可以彼此振荡地转变．但这个模型要求中微子必须具有质量，从而将带来粒子物理学沉重而激动人心的变革．

基于弱表层模型的降晰函数辨识与图像复原

针对常规正则化易产生过度平滑解的情况,采用了一种具有保边特性的弱表层模型。该模型因引入反映不连续性边缘的线过程,从而使平滑在边缘处得到有效抑制。对得到的非线性代价函数,采用一种混合退火策略交替迭代估计图像、线场和降晰函数。在确定线元阈值的选取中引入信噪比,使得在每次迭代中阈值根据图像复原情况进行更新,通过仿真合成图像实验,验证了该改进方法的有效性。

弱一致性模型下的分布式垃圾回收算法RRDGC

垃圾回收有效地减轻了编程人员的负担、优化了程序的设计.在基于弱一致性模型的分布式共享存储系统中进行自动垃圾回收是非常困难的和低效的.本文提出了一种基于跟踪策略的实时分布式垃圾回收算法—RRDGC,使得各节点回收进程可以和应用程序并发执行,同时有效减少了弱一致性模型下额外的通信开销,降低了程序的响应时间.算法确保了垃圾回收的正确性和有效性,体现了增量和实时性的特点.最后通过仿真实验对比论证了该算法的正确性和高效性.

基于弱可压缩模型的抽蓄电站引水系统数值模拟

通过建立全三维的弱可压缩流体模型,利用求解非定常三维N-S方程的方法,在阀门出口边界加入流量随时间变化的程序,以模拟抽水蓄能电站的甩负荷工况,并对不同水体模型下的情况进行模拟,得到了引水管道内各测量断面压力与流量、调压井内水位随时间的变化规律,以及管道出口处压力、管道内部水流流态的变化规律,并参照试验数据与不可压缩流体模型及一维特征线方法进行对比.结果表明:在考虑流体可压缩性的情况下,弱可压缩模型结果较不可压缩模型更接近试验数据,提高约0.16%;而弱可压缩模型阀门出口处的压力头值,较不可压缩模型低10.87 m.而流态分析表明,数值模拟方法在管道内流态的表现以及在调压井的波动方面,相比一维特征线方法更有优势.结论可为研究抽水蓄能电站引水系统甩负荷工况提供新的参考,并为精确的数值模拟计算提供新的思路和方法.

L(Q)格值模型的完全弱理论

对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.

基于弱膜模型的自适应立体脑图像分割方法

提出一种自动分割单通道磁共振脑图像的新方法,这种方法建立在弱膜模型的基础上。此处的弱膜模型使用了两个空间上交织的马尔可夫随机场先验模型,其中之一对亮度测度建模以实现分段光滑性约束,另一个对非连续性建模以控制相邻体素间的交互作用。依据这一模型,该方法使用贝叶斯理论和领域约束获得了区域和边界的最大后验概率估计。这种方法具有如下属性1大脑图像被准确地分割成白质、灰质和脑脊髓;2对噪声和亮度不一致性具有较强的鲁棒性。

对色八重态电弱二重态模型的幺正约束

应用对双Higgs二重态模型(THDM)进行幺正约束的方法对色八重态电弱二重态模型施加幺正约束,给出该模型中的Higgs质量的上下限,同时也考虑了来自STU变量和双光子的约束,其中后者的约束更严格.讨论了这些约束对CDF合作组观测到的W+jj′有3.2σ超出的影响和解释,对人们寻找Higgs粒子有一定的帮助作用.

广义线性模型极大似然估计弱相合性的数值模拟

广义线性模型是经典线性模型的自然推广,它是一类应用广泛的统计模型.选择Probit模型,利用matlab编程,通过数值模拟的方法验证了广义线性模型的极大似然估计的弱相合性.

弱相关模型中的分块拟回归

为了减少计算复杂性，在计算机试验设计中，最近人们提出了一种新的统计方法－拟回归（Owen(2000),An and Owen(2001),在独立同分布模型中，拟回归不仅能提高计算速度，而且在较好的统计性质，然而，对相关数据模型，这种方法的统计性质并不好，针对这一问题，在不增加计算复杂性的条件下，本文提出一种分块拟回归方法。我们研究分块拟回归的小样本和大样本性质，如无偏性，均方收敛性，强收敛性和渐近正态性。结果表明分块拟回归比原拟回归渐近有效，本文还讨论了曲线拟合的性质，指出了分块拟回归（包括原拟回归）在高维问题中的缺陷，为改善曲线拟合，我们还提出一种修正分拟回归，研究表明，在高维问题中，修正分块似回归是十分有效的。

基于全非线性流函数理论的规则波中船舶大幅运动弱非线性数值模型研究

为了保证船舶在高海况下的安全航行,对大振幅非线性船舶运动进行精确的数值预报是非常重要的。为了分析波浪中船舶的垂向运动,提出了一种弱非线性船舶运动模型。在数值模型中,利用脉冲响应函数估计辐射力和绕射力,并根据动量冲击理论引入船舶砰击力,在入射波面下计算瞬时浸湿船舶表面上的入射波浪力(Froude-Krylov力,简称:F-K力)和静水压力。该文算法模型的一个特色是引入了全非线性的流函数波动理论来估计入射波的运动学、动压力和F-K力流体载荷,给出详细的数值结果并进行了讨论。利用该数值模型对S175集装箱船在规则波中的垂向非线性运动进行了计算。结果表明:基于流函数波浪理论的垂向F-K力和垂荡运动略大于线性波理论,特别是当入射波的陡度较大时。此外,文中采用动量冲击理论来估算截面砰击力,数值结果表明:在相对较高的航速下,砰击力对船舶垂向运动影响较为显著,相对不考虑的情况可进一步减小运动幅值。

弱公钥模型集下的零知识论证系统

根据近年来弱公钥模型集下的零知识系统的研究成果,对其发展历程和特性设置进行阐释和剖析,探讨该模型集下最优轮数的零知识协议的构造方法,提出通用的4轮模式和3轮模式,以及协议的(并发)健壮性和(可重置)零知识的证明技术和问题,并总结弱公钥模型集下零知识系统的研究将来可能发展的导向。

巴戟口服液对环磷酰胺致少、弱精症模型小鼠的生精作用和精子活力的影响及机制研究

目的:研究巴戟口服液对少、弱精症模型小鼠的生精作用和对精子活力的影响,并探讨其作用机制。方法:采用腹腔注射环磷酰胺建立小鼠少、弱精症模型。选择造模成功的小鼠50只,随机分为模型对照组、复方玄驹胶囊组(阳性对照,0.4 g/kg)和巴戟口服液低、中、高剂量组(3.9、7.8、15.6 m L/kg),每组10只;另取10只正常小鼠作为正常对照组。各给药组小鼠每天灌胃相应药物1次,正常对照组和模型对照组小鼠灌胃蒸馏水,给药体积均为20.0 mL/kg,均连续给药28 d。给药结束后,采用精子分析仪检测小鼠精液中精子总数、精子密度和精子活力,酶联免疫吸附法检测各组小鼠血清中睾酮和睾丸组织中碱性成纤维细胞因子(bFGF)含量,苏木精-伊红染色后在显微镜下进行睾丸组织病理学检查。结果:与正常对照组比较,模型对照组小鼠精液中精子总数、精子密度、精子活力和血清中睾酮含量以及睾丸组织中bFGF含量均显著降低(P<0.05或P<0.01);显微镜下可见,睾丸组织生精上皮层数和生精细胞数量显著减少(P<0.01),生精细胞排列疏松。与模型对照组比较,复方玄驹胶囊组小鼠精液中精子活力和巴戟口服液各剂量组小鼠精液中精子总数、精子活力以及巴戟口服液高剂量组小鼠精液中精子密度显著升高(P<0.05或P<0.01),各给药组小鼠血清中睾酮和睾丸组织中bFGF含量也均显著升高(P<0.05或P<0.01);显微镜下可见,各给药组小鼠睾丸生精上皮层数显著增加(P<0.05或P<0.01)且厚薄均匀,生精细胞显著增加(P<0.01)且排列整齐。结论:巴戟口服液对环磷酰胺致少、弱精症模型小鼠具有生精作用,可明显提高精子活力;其机制可能与增加血清中睾酮和睾丸组织中bFGF含量有关。

模型论弱力迫的证明论特征

推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。

Bhabha散射中的完整电弱效应与标准模型的完美性问题

本文在电弱统一标准模型(SM)的理论框架中,对Bhabha散射问题作了全新的理论分析与深入研究.在具体研究方法上采用了量子场论微扰理论中的一种全新计算模式——重整化链图传播子理论,并应用到Bhabha散射的计算研究中.在SM中,本文需要考虑Bhabha散射内部过程的完整电弱作用效应,为此应寻求出由光子γ和中间玻色子Z0构成的复杂混合圈链图重整化传播子,然后利用这类传播子计算出Bhabha散射中由混合圈链图传播子传递完整电弱作用下的反应截面.这一理论计算结果与实验值在实验观测误差范围内吻合较好.本文这一重要研究结果不但从另一个侧面证实了SM理论描述电弱作用下的粒子反应的精确性;而且也暗示SM理论应该是一个十分完美的理论,理论终极预言的且被学术界长期特别关注的希格斯"神秘粒子"最终被寻找到的可能性应该是十分大的.

高表达SEMG1蛋白的弱精子症大鼠模型的建立

目的构建一个睾丸中SEMG1蛋白高表达的弱精子症大鼠模型。方法将30只SD大鼠随机分为3组:空白对照组、阴性对照组、及实验组(腹腔注射环磷酰胺),每组10只。实验结束后称其体质量及一侧睾丸质量并计算睾丸指数;睾丸常规石蜡切片,HE染色;取附睾尾制备精子悬液进行精子计数及活力检测; Western blot检测SEMG1及CASPASE-3及BCL-2蛋白表达。结果与对照组相比,实验组大鼠体质量差异无统计学意义(P> 0.05),睾丸质量及睾丸指数较对照组降低(P <0.001),实验组大鼠精子悬液镜下观察见精子数量及精子活力明显降低,HE染色见睾丸生精小管中各级生精细胞排列紊乱,细胞数量减少。Western blot结果显示:与对照组相比,实验组SEMG1及CASPASE-3蛋白表达水平显著升高,BCL-2蛋白表达水平明显降低(P <0.001)。结论成功构建了睾丸中高表达SEMG1蛋白的弱精子症大鼠模型。

（Q）格值模型的超积基本定理

本文将［１］中（Ｑ）的二值弱模型概念推广到取值于完备弱可补格上．对有限的线性序弱可补格证明了超积基本定理。

基于关键点建模与弱监督外观更新的多目标跟踪

针对多目标跟踪在复杂场景中的遮挡、漏检和噪声问题,利用关键点建模和弱监督外观模型更新,提出一种改进的多目标检测与跟踪方法。使用角点检测器获得关键点及其绝对位置,运用背景差分法得到图像的二值映射。根据图像映射将关键点分为显著关键点和微弱关键点,利用显著关键点构造候选模型,并应用弱监督外观模型对目标跟踪框进行更新,从而实现多目标检测。在多个视频集上的实验结果表明,与基于高斯混合概率密度滤波器的跟踪方法、连续前向估计的多目标跟踪方法相比,该方法具有更高的多目标跟踪精度及更快的运行速度。

板与柱半刚接-防屈曲钢板墙简化计算模型分析

为了减弱板对边柱造成的拉力,提出板与柱半刚性连接结构。基于组合钢板墙简化模型,建立板与柱半刚接防屈曲钢板墙弱拉杆简化计算模型,研究其受力性能。通过理论与数值方法对板与柱刚接、半刚接两种防屈曲钢板墙的受力性能进行对比分析,同时考虑边柱刚度系数对结构承载力的影响。结果显示:当高宽比为0.5时,刚接板比半刚接板的极限承载力高约2%;当高宽比为1.0时,半刚接板却比刚接的极限承载力提高约3%。当边柱先于整体破坏时,板与柱半刚性连接不仅可以改善结构的延性并且可以提高结构的承载力。该项研究为防屈曲钢板墙的发展提供一种新的结构形式与相应的简化计算模型。