特勒根定理的验证及其应用

本文对特勒根定理的内容，特别是其适用的普通性进行了验证并运用该定理对网络的灵敏度进行了分析最后对一个具体电路的灵敏度进行了计算，进一步验证了文中所述方法的正确性。     

平面电涡流线圈的结构参数设计

为提高平面电涡流传感器的灵敏度,以Biot-Savart-Laplace定理为基础,研究了传感器线圈结构参数对其灵敏度的影响。推导了平面电涡流线圈的磁场分布梯度公式,仿真计算、分析了不同结构参数条件下线圈的磁感应强度-距离曲线,并进行了实验验证。结果表明:增加外径和圈数,减小内径,可以有效地提高平面电涡流线圈的灵敏度。     

关于实数完备性基本定理的统一处理方法

讨论了实数完备性基本定理的统一处理方法，并对这一新型处理方法进行了验证．     

一个非线性二阶锥规划问题的灵敏度分析

对目标函数和约束函数分别为非线性的二阶锥规划问题,我们对其参数扰动下的严格互补、唯一稳定点的灵敏度进行分析．在Slater条件和严格互补性假设下,建立了扰动非线性二阶锥规划问题的解关于扰动变量的可微性定理．     

水压频率的递归网络灵敏度预测控制研究

提出一种对水轮发电机组水压频率进行综合调节的记忆递归网络灵敏度预测控制器．控制器由预测网络和控制网络组成，预测网络向控制网络提供控制灵敏度信号．两个网络均根据学习和控制的收敛与稳定性定理自适应学习．仿真结果表明控制器能在线实时控制具有非线性、时变、多变量特性的水轮发电机组，有效控制水压．     

UNITY逻辑中关于unless的若干结果

本文的工作主要分为两部分．首先,我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次,设ｐ１ｕｎｌｅｓｓｑ１,…,ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证,其中强推出是本文引进的新概念．     

基于PV节点注入功率的降损方法

本文以降低网损为目标对PV节点注入功率的进行了优化。基于广义Tellegen定理推导了网络总损耗对各节点功率的灵敏度公式。构造了PV节点功率步长变化函数,通过循环迭代计算出了PV节点注入功率的最优值,使网损减小。引用算例进行仿真计算,并依据功率优化方法优化PV节点的注入功率,给出了优化前后各节点功率的比较结果,降低了网络损耗,验证了方法的正确性。     

无漂移全极点有源低通滤波器的灵敏度分析方法

提出一种无漂移全极点有源低通滤波器灵敏度的分析方法，并验证了其正确性．当以该电路结构实现低通滤波器时，可以此方法简便地求解系统的ω和Q的灵敏度，进而调整电路参数直至达到设计要求．同时证明了对一般的滤波器灵敏度问题，该方法普遍适用．     

利用锥不动点定理研究一类具有分布滞量的微分方程正周期解的存在性

本文主要利用Green函数的性质,通过验证Krasnoselskii不动点定理中锥拉伸或锥压缩的条件来获得周期正解的存在性．通过使用Krasnoselskii锥不动点定理,研究了一类具有分布滞量的微分方程正周期解的存在性．     

基于频响函数灵敏度分析的舰艇模型修正

由结构的数值计算和试验测试得到的频响函数,给出两者的相关函数及其灵敏度的表达形式,提出了一种模型修正方法,为有限元／边界元模型修正奠定理论基础．对带有发动机和隔振系统的舰艇进行了振动频响函数的测试,得到与初始有限元／边界元模型理论计算的相关函数,利用模型修正方法对选用的特定参数进行了修正．通过与模态试验结果的比较,验证了基于振动频响函数灵敏度分析的结构有限元模型修正方法的正确性．     

关于互易定理在灵敏度分析中的应用

求一阶灵敏度的方法一般是用“灵敏度电路法”，先求出传输函数U0／Us，再分别对所求的灵敏度取这个函数的偏导数即可,给出利用互易定理把需分析几个灵敏度的电路简化到只分析一个伴随电路的方法．     

横向效应增强型侵彻体撞击金属薄板理论模型

为了分析影响横向效应增强型侵彻体( PELE)弹壳体横向速度的因素,该文建立了其横向速度的理论分析模型.该模型基于动能定理和动量定理,考虑了PELE弹对金属薄板灵敏度的要求,结合了PELE弹作用原理及其对金属薄板的作用特点.综合考虑了装填材料及靶板材料的声阻抗、弹体的密度和泊松比、靶板密度及厚度、着靶速度、弹丸壳体的内外径比和长径比因素.结合实战用PELE弹的结构、靶板条件和速度范围,利用LS-DYNA软件进行了三维数值仿真.研究结果发现:PELE弹在壳体自身和装填材料的共同作用下,壳体的横向速度随着弹丸着靶速度和装填材料声阻抗的增大而增大,其理论分析模型计算结果与仿真结果一致性较好.     

多重特征值的二阶敏度分析及相应的优化算法

本文利用瑞雷商的驻值原理推导了重特征值的二阶敏度表达式，构造出有效的序列二次规划算法来求解涉及重特征值的最优结构设计问题。     

疏松砂岩储层敏感性评价方法

疏松砂岩胶结差,不能钻取柱状岩心,因此无法用常规储层敏感性评价方法进行评价。建立疏松砂岩敏感性评价方法即气体流速法和回收法,利用气体流速法测定岩心的速敏指数,通过流体动能定理,推导气测法测定岩心速敏的临界流速计算方法。给出利用回收法测定储层的水敏、盐敏、碱敏和酸敏特性的计算方法和敏感指数划分原则。结果表明:回收法适合于测定岩心的水敏、盐敏、碱敏和酸敏特性,适合于疏松和/或未胶结砂岩储层的敏感性测定;研究方法操作简便、理论依据充分、数据结果可靠。     

含参数H-单调算子变分包含组的灵敏性分析

在Hilbert空间中,引入并研究了一类新的关于含参数H-单调算子的变分包含组问题.利用不动点定理证明了这类广义变分包含组解的存在性和唯一性,并且讨论了这类问题的解的连续性.     

基于离散混沌系统广义同步定理的数字图像加密方案

在建立的离散混沌系统广义同步定理的基础上构造了一个广义混沌同步的离散系统,并结合Henon混沌映射设计了一个数字图像加密方案,能够对灰度图像成功加密并且实现了无失真解密.对该加密方案的密钥空间、密钥参数敏感性分析表明,该加密方案具有较高的安全性.数值仿真实验证明:该加密方案对混沌系统的参数及初始条件扰动极为敏感,任何大于10-15的扰动将使解密失效;该加密方案具有1076的密钥空间,能够有效地应用于网络通讯.     

广义非线性含参隐拟变分包含的灵敏性分析

引入并研究了新的一类广义非线性含参隐拟变分包含，对极大单调映象使用预解算子技巧，证明了其解的存在性定理。进一步的，在Hilbert空间中分析了这类变分包含解的灵敏性。     

自由模型下单因子检验的判别准则

试图提供并完善一套对自由模型下单因子试验进行设计与分析的新方法,并对其进行严格的理论推导和证明．作为系列论文的第二篇,给出了自由模型下单因子试验的方差分解定理,并利用贡献率指标（也称为全局敏感性指标）得到了自由模型下单因子检验的判别准则．     

多目标集值优化理论及其进展

比较系统的介绍了多目标集成化这一学科，并从（１）标量化问题；（２）不带导数的最优性条件；（３）带导数的最优性条件－ＦｒｉｔｚＪｏｈｎ及Ｋｕｈｎ－Ｔｕｃｋｅｒ条件；（４）对偶问题；（５）非光滑分析法；（６）稳定性与灵敏度分析；（７）极大极小定理；（８）集到集映射的优化问题８个方面对这一领域的研究进展情况及所用方法做了较为系统的总结与研究，给出了几个尚未解决的问题。     

微分学中值定理的证明及其应用

微分学中值定理是微分学中的重要的基本定理,它一般包括三个定理:罗尔(Rolle)定理,拉格朗日(Lagrange)中值定理与柯西(Cauchy)中值定理.在证明后两个定理时,通常的教科书是采用构造一个辅助函数,使它满足罗尔定理的条件,利用罗尔定理的结论来证明的.在本文中,将对微分学中值定理给出新的证法,然后归纳介绍微分学中值定理的几种推广形式及一些常见的应用.