简介：定义在全体实数上的可计算函数是一个很重要的概念．在这以前定义可计算的实数函数有两个途径．第一个途径是首先要定义可计算实数的指标．想要确定实数函数y=f（x）是不是可以计算就要看是否存在一个自然数的（部分）递归函数将可计算实数x的指标对应到可计算实数y的指标．这样一来对实数函数的研究依赖于对自然数函数的研究．第二个定义可计算的实数函数的途径是以逼近为基础的．一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的．用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数．例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数．本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义．我们的定义不需要用到自然数的（部分）递归函数．根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的．用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多．

简介：首先证明了联邦滤波器中各局部滤波器实际上滤波不相关,然后通过使用集中式滤波器的滤波稳定性定理,来分析联邦滤波器的滤波稳定性.仿真实验首先根据上述方法证明了联邦滤波器的滤波稳定性,然后通过改变滤波初始值的方法对上述方法的执行结果进行了实验验证.

简介：全球领先的特殊化学品集团朗盛公司于2007年11月底在柏林举办的国际“未来燃料”大会上，展示了用于生物柴油生产的抗氧剂。由基础化学品业务部研发的Baynox稳定剂是一种理想产品，可以令以菜籽油、废弃油脂、动物脂肪及棕榈油为原料生产的燃料保质期更长。此外，针对由葵花籽油、大豆油等含大量多不饱和脂肪酸甲酯的植物油制造的生物柴油，朗盛还推出了Baynoxplus抗氧剂，以保证生物柴油的稳定性。

简介：利用集合序列P—K收敛的概念，讨论了离散扰动下的向量均衡问题弱有效解的稳定性．提出了一个新的向量均衡问题的极小化序列的概念．给出了各种充分条件以确保集合的包含关系，并举例阐述相应的结论．

简介：本文提出一种研究稳定性的新设想,首先讨论了n维非自治系统,获得了其平凡解一致稳定、渐近稳定和不稳定的充分条件,然后讨论了n=2时,二维非自治系统和时变系数线性系统的稳定性,获得其平凡解一致稳定,渐近稳定和不稳定的充分条件。

简介：本文研究的是由记忆热方程和Euler-Bernoulli梁方程构成的传输系统,其中热方程作为梁方程的控制器.通过频域上的能量乘子法,我们建立了耦合系统的指数稳定性.

简介：用CECE流程处理含氚废水时，催化交换单元中的Pt-SDB疏水催化剂会遇到少量的H2SO4，NaOH，Fe^3＋，Ca^2＋，Na^＋，Cl^＋，SO3^2＋，H2S，SO2和CO，这些物质可能会引起Pt-SDB疏水催化剂的催化活性发生变化，即发生催化剂中毒。为探明Pt-SDB疏水催化剂在这些物质存在下催化活性的变化，将其装入催化活性测试床，在同样的实验条件下测试催化剂在中毒前后及再生后的催化活性，结果见图1～8。

简介：本文讨论随机动态线性经济系统：Ｙｔ＝ＡＹ＿（ｔ－１）＋ｂ十μ＿ｔ在矩阵Ａ为一般情形下的稳定性问题。并给出该系统稳定的充要条件。

简介：2004年四川、重庆部分市、州的试题，有如下特点：首先足全面注入新课程理念，一般在选、填题中都有二至三个新题型；其次是考查实践、数学应用能力的力度加大且趋于稳定；再次是开放性中的存在性问题在压轴题仍然占重要的地位；试卷的形式也有所创新．有代表性的主要是四川省、成都市、重庆市与及资阳、绵阳、泸州等地区的试题、相比较地级市的创新力度大十省级市．如资阳的试题表现尤为突出：（1）体现人文精神和人文关怀、卷面友好、亲切；

简介：本文通过构造Lyapunov函数和利用不等式分析技巧，研究了具有时滞的细胞神经网络的稳定性，给出了与时滞无关的网络渐近稳定的充分判据，该判据可用于时滞细胞神经网络的设计与检验，有重要的理论意义与应用价值。

简介：本文考察了一个随机廷滞的时序模型：x(n+1)=∑(t=0,η(n+1))al|xn+1|^s+εn-1,n≥0,0

简介：空间稳定系统是高精度长航时导航技术的关键,快速对准是其工程应用的重要功能之一。研究了基于位置和速度观测的系统快速对准方法。基于Wahba定姿原理设计平台姿态角的粗估计算法,研究了系统水平通道误差模型的短时可观测性,并据此设计一个可实时估计平台失准角初值、水平位置和速度误差的7维精对准Kalman滤波器。计算机仿真和动态试验结果表明,所述快速对准方法可估计较大的平台失准角（3°量级）,同时适用于系泊和海上应急启动情况;在动态条件下精对准2h,精度即满足指标要求,具有较强的工程应用价值。

简介：在大学物理实验教学中,学生在调节示波器频率时,通常会遇到李萨如图形随着频率的调节,出现不稳定现象。在一定的范围内,当频率调节增加时,李萨如迁移演化不稳定程度不同。本文通过实验以及matlab软件模拟李萨如图像形成过程,举例着重讨论分析李萨如图形不稳定原因,并初步定量讨论影响不稳定迁移演化周期因素。

简介：摘要电力系统在运行过程中，要处于稳定的状态。电压、电流、功率三者在运行过程中，频率要保持在特定的范围内，才能保证电力系统的稳定性，否则，一旦这种平衡性被打破就会造成整个系统失衡，这种现象就说明电力系统稳定域受到了干扰，只有将电力系统的值保持在稳定数值内，有效的确保电力系统的稳定性。

简介：分析了带有修理设备和多重致命及非致命操作故障的k/N(G)冗余表决系统的渐近稳定性.用该系统算子生成的正定C0-半群证明了系统非负时间依赖解的存在唯一性.同时通过对系统算子谱点分布的分析,证明了本征值0对应的本征向量恰好是系统的静态解,并且,0是虚轴上系统算子唯一的谱点,从而证明了系统的渐近稳定性.

简介：研制了二维多介质流体程序，主要包括单介质内高精度流体力学计算，多介质混合网格内各种介质输运过程和压力驰豫平衡过程计算、实际状态方程的黎曼解计算。流体计算分别采用高分辨两步PPM（ParabolicPiecewiseMethod）算法、TVD（TotalVariationDiminishing）算法和FCT（FluxCorrected—Transport）算法，流体界面追踪采用VOF（Volume-of-Fluid）。数值求解可压缩多流体方程组和可压缩VOF方程。二维界面追踪分别采用一阶精度Youngs方法和二阶精度Elivira方法，三维界面追踪采用一阶精度Youngs方法，

简介：本文运用主方程等方法给出随机和择优混合演化网络模型稳态度分布存在性的严格证明,并推导度分布的表达式,进而得知该混合演化网络为无标度网络.

简介：为了实际实现具有良好跟踪精度和抗干扰能力的惯性平台稳定回路,建立了平台伺服电机的离散时间模型,设计了由单片机和高速DSP组成的数字控制系统,与惯性平台组成了基于采样数据的平台稳定控制回路,研究了离散变结构控制趋近律的选取方法,采用改进趋近律设计了离散变结构控制律,提出了一种数字式平台稳定回路的离散变结构控制方法,通过实物实验得出了平台伺服电机转轴摩擦力矩模型系数的估计值,并将其引入到控制系统中。仿真实验结果表明,该回路系统对于摩擦力矩和系统参数不确定性具有一定的抗干扰性能,对于阶跃干扰力矩输入具有良好的动态特性,且静态力矩刚度提高到1.2×10^4N·m/rad,系统对于斜坡和加速度输入信号实现了平稳跟踪,跟踪误差最大值分别为0.0056rad和0.0597rad。

简介：研究具有反馈控制的单种群对数模型．通过构造适当的Lyapunov函数．我们让得系统的正平衡点是无条件全局稳定的．所得结果补充和完善了已有的结果．

简介：在危机管理和冲突分析中,力量对等冲突方之间的相互威慑是否具有稳定性问题,一直存在疑义.本文基于进化博弈论视野,给出了直接求解3×3和4×4鹰-鸽博弈扩展模型进化稳定策略ESS(EvolutionaryStableStrategy)的方法,画出了3×3鹰-鸽扩展博弈的相位图,得出了威慑策略是进化稳定策略的结论,从而对上述问题进行了有说服力的解释.