简介：为便于隐函数求导公式的记忆,本文对隐函数求导公式做出如下的直观解释。一、一元函数的情形

简介：设H是一实Hillber空间，K是H之一非空间凸子集，设（Ti）i=1^N是N个Lipschitz伪压缩映象使得F=∩i=1^NF（Ti）≠Ф，其中F（Ti）={x∈K：Tix=x}并且{αn}n=1∞,{βn}n=1^∞包含[O，1]是满足如下条件的实序列（i）∑n=1^∞（1-αn）^2=＋∞;（ii）limn→∞（1-αn）=0;（iii）∑n=1^∞（1-βn）〈＋∞;（iv）（1-αn）L^2〈1,arbitaryn≥1;（v）αn（1-βn）^2＋αm[βn＋L（1-βn）-]^2〈1,其中L≥1是{Ti}i=1^N的公共Lipschitz常数，对于x0∈K,设{xn}n=1^∞是由下列定义的复合隐格式迭代xN=αnxn-1＋（1-αn）Tnyn,yn=βnxn＋（1-βn）Tnxn,其中Tn=TnmodN,则（i）limn→∞｜｜xn-p｜｜存在，对于所有的p∈F;（ii）limn→∞d（xn,F）存在，其中d（xn,F）=infp∈F｜｜xn-p｜｜;（iii）limn→∞inf｜｜xn-Tnxn｜｜=0.本文的结果推广并且改进H—K．Xu和R．G．Ori在2001年的结果和Osilike在2004年的结果，并且在这篇文章中，主要的证明方法也不同与H—K．Xu和Osilike的方法．

简介：本文研究了无完美服务无等待的M/G/1排队系统的指数稳定性.首先运用预解正算子理论,证得该系统主算子和系统算子均为预解正算子.然后对主算子的谱界进行估值,并得到主算子的谱界与各修复率平均值的最小值互为相反数这一结论.进而利用共尾理论证明主算子谱界等于其增长界.最后,通过分析系统算子的谱分布,得到了系统的指数稳定性.

简介：主要研究了一种隐式重新启动的Lanczos算法在模型降阶中的应用。分析了由这个算法得到的降价后的模型的一些性质，对于一个n阶稳定的线性时不变系统，模型降阶的思想是寻找一个m阶转换函数来近似原系统的n阶转换函数H（s），其中，n〉〉m，传统的krylov子空间方法仅仅产生一个不稳定的实现，并且在低频处的误差较大，本文所考虑的隐式重新启动的Lanczos方法，能较好的解决上述两个问题。

简介：采用交替方向思想数值模拟时间分数阶二维扩散方程初边值问题，构造出计算简单且稳定性好的交替方向隐式离散格式。借助傅里叶分析技术，证明了离散格式的无条件稳定性，并证明了格式关于时间与空间具有最优收敛精度。数值实验支持了文中理论结果。

简介：在计算科学和逼近理论的许多领域，无网格法是近期研究的一个重要课题。国际上已提出了十余种无网格方法。无网格方法首先需要布置合理的粒子点，才能建立格式模拟实际问题。

简介：本文对指数分布的无失效数据，在引进失效信息后，在先验分布为Gamma分布时，给出了失效率的多层Bayes估计和综合Bayes估计，并给出了无失效数据情形可靠度的综合估计，还结合实际问题进行了计算。

简介：在Banach空间中利用双线性连续泛函F代替内积引进了新的一类完全广义混合隐似平衡问题，引进了F强单调的概念，提出了该平衡问题的广义辅助问题，证明了广义辅助问题的收敛定理，给出了新的算法和由此算法产生的迭代序列的收敛特征．

简介：本文致力于研究非线性中立型延迟积分微分方程隐式Euler方法的收缩性。本文中的Lipschitz数是关于变量t的函数,而不是常数,最终能得到其数值解的结果是收缩的。

简介：Twins《一时无两》作为年度开篇的粤语专辑，《一时无两》以“日与夜”为主题，为的是追寻遗失的美好，设计师以黑夜代表个性沉静的阿娇，以日间代表较活泼开朗的阿Sa，碟内分别收录了多首好歌，包括Twins2006演唱会主题曲第一主打歌歌曲《一时无两》、《幼签证园》、《寻找莫扎特》、《作词人的错》及《海底深》等等。

简介：本文讨论了无约束最优化问题的无记忆拟牛顿方法的收敛性，给出了对于非凸目标函数，在非精确线搜索条件下，无记忆拟牛顿方法收敛性的几个充分性条件。

简介：若图G的一个匹配M也是G的点导出子图，则称M是图G的一个导出匹配．我们称图G是导出匹配可扩的，若它的任何一个导出匹配可以扩充成一个完美匹配．本文我们讨论无爪图的导出匹配可扩性，得出如下结论，并同时指出这些结果是最好可能的．设图G是有2n个顶点的无爪图，1．若图G是最小度大于或等于2[n/2]+1，则图G是导出匹配可扩的．2．若图G是局部2连通的，则图G是导出匹配可扩的．3．若图G是k正则的k≥n，则图G是导出匹配可扩的．

简介：在Banach空间中研究了一类新的变分包含--隐式集值变分包含问题,得到了隐式变分包含解的等价性与存在性命题及其解的扰动算法,推广、改进了国内外近期获得的一些结果.

简介：针对传统惯性开关阈值散布大、万向性差等缺点,设计了一种环形无源万向微机电惯性开关。环形的可动质量框作为可动电极,由内部的四根折叠悬臂梁支撑,和外部的环状固定电极有一定间隙,构成xy平面内的万向开关。对设计开关进行有限元动态接触仿真,结果表明开关在1000g加速度作用下的响应时间和接触时间分别约为0.142ms和5s,表现出较高的触发灵敏度和良好的接触效果。研究悬臂梁线宽与开关阈值加速度的关系,结果表示悬臂梁线宽的微小变化会引起阈值加速度的较大变化。利用冲击台试验对封装后的开关进行阈值试验,试验结果表明实际阈值分布在900g-1300g范围内,80%的开关阈值比设计值大。用微电镜对悬臂梁线宽进行静态测量,悬臂梁线宽加工误差大多分布于0-＋2m,加工误差直接导致开关的阈值加速度增加,设计阶段应充分考虑加工误差对阈值加速度的影响。

简介：H_1,H_2,H_3是实希尔伯特空间,CH_1,QH_2是两个非空闭凸子集,AH_1→H_3,B：H_2→H_3是两个有界线性算子.我们的兴趣是解决下面的问题：找x∈C,y∈Q使得Ax=By.Moudafi提出了同步迭代算法（SIM）来解决分裂等式问题.为了利用同步迭代算法（SIM）,在计算步长时需要知道有界线性算子的范数,这个范数的数值计算中难以实现.本文的主要目的是介绍一种选择步长的方式使得同步迭代算法的完成不需要任何算子的范数.同时,松弛的同步迭代算法也被提出.最后,论文通过数值试验得出这种步长的选择方法使得并行迭代算法收敛更快.

简介：Kühn和Osthus证明了对每个正整数l,都存在一个整数k(l)≤216l2,使得每个k(l)-连通图G的顶点集都可以划分成两个子集S,T满足G[S],G[T]都是l-连通的,且S中的每个点在T中都有l个邻点.本文主要考虑无三圈图的划分问题,主要关注连通度k(l)的上界.通过证明每个平均度至少为8l/3的无三圈图都存在一个l-连图子图,我们证明了对无三圈图,k(l)≤216·3-3l2.

简介：近年来，采用直线电机驱动超精密加工机床定位轴的直线运动方案，由于无中间环节的弹性变形、间隙、磨损和发热等因素带来的运动误差，具有定位精度高、响应速度快、低速性能好等特点，已成为国内外数控机床产品新的技术发展方向。为了正确利用直线电机，本文在扼要介绍永磁无刷直线直流电机工作原理的基础上，阐述了正确选择永磁无刷直线直流电机的方法，并给出了实例。

简介：一个图G的无圈边染色是一个止常的边染色使得其不产生双色圈．Alon，Sudakov和Zaks（2001）猜想：每一个简单图G是无到（△（G）＋2）-边可染的，其中△（G）是G的最大度．本文对2-外平面图族证明了该猜想成立．

简介：广义有限差分法是一种新型的无网格数值离散方法.该方法基于多元函数泰勒级数展开和加权最小二乘拟合,将控制方程中未知参量的各阶偏导数表示为相邻节点函数值的线性组合,克服了传统有限元等基于网格的方法对网格的依赖性.本文以三维位势问题为例,引入一种新的优化选点技术,克服了传统广义有限差分法在模拟三维复杂几何域问题时遇到的＂病态选点问题＂,极大地提高了该方法的计算精度与数值稳定性.

简介：地形辅助导航是一种利用地形高度信息定位的导航技术,由于地形高度起伏是非线性的,因此地形辅助导航本质是非线性、非高斯贝叶斯后验概率估计问题。粒子滤波因为适合非线性、非高斯估计问题,被引入地形辅助导航领域得到广泛研究和应用,但粒子滤波算法存在粒子匮乏的问题,会影响定位精度。针对此问题,将高斯混合无迹粒子滤波（GMUPF）用于地形辅助导航,该算法用高斯混合模型（GMM）近似粒子分布,用无迹卡尔曼滤波（UKF）估计重要密度函数,不需要做重采样。通过用实际地形数据做飞行仿真实验,结果显示相比粒子滤波,不仅没有粒子匮乏问题,而且所用粒子数更少时估计精度略好。