简介:利用Lyapunov方法对R—C电路进行稳定性分析,结果表明该系统是稳定的,同时也表明Lyapunov方法对分析线性定常系统的稳定性是很方便和有效的.
简介:定义在全体实数上的可计算函数是一个很重要的概念.在这以前定义可计算的实数函数有两个途径.第一个途径是首先要定义可计算实数的指标.想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标.这样一来对实数函数的研究依赖于对自然数函数的研究.第二个定义可计算的实数函数的途径是以逼近为基础的.一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的.用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数.例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数.本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义.我们的定义不需要用到自然数的(部分)递归函数.根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的.用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多.
简介:摘要倒立摆系统是一个非常重要的控制系统,通过对它的深入研究,能够解决控制中的理论问题,并可以有效的将控制理论涉及到的力学、数学和电学等三种基础学科结合在一起,使其更好的应用于现实生活中。
简介:法律语言是全民语言功能分化的产物。全民族共同语在不同的社会活动领域里执行不同的社会功能,久而久之便形成各种不同的社会变体、功能变体。法律语言乃是全民共同语在法律事务领域中传递法律活动信息、执行立法和司法功能而逐渐形成的社会功能变体。法律语言一经形成,便不能随意变更。在同一时代、同一语言社会中,任何一个社会成员为处理法律事务而使用语言时,都必须自觉地接受其制约,遵循其规范。例如在法庭上,我们常常可以听到审判长这么说:“传证人×××到庭!”这一句话能不能改说成“叫证明人×××出场”呢?显然不能。原因仅仅在于,前者是现代中国业已约定俗成了的法律用语,而后者却不具有法律特点、法律色彩,不是法律用语,因而不适用于法律活动领域。可见,一个时代、一个社会的法律语言是相对稳定的,不允许任意改变。