检索结果-南通市图书馆

云南大学学报（自然科学版） 2008年第S2期30卷 125-127页

作者：王五生河池学院数学系广西宜州546300

在分析自治系统、积分曲线和轨线概念及性质的基础上,总结了自治系统的积分曲线和轨线的联系和区别.

关键词：自治系统积分曲线轨线

基于π演算的自治系统架构描述语言AS-ADL

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2009年第13期21卷 3946-3950页

作者：刘娟张伟赵新王维平国防科技大学五院系统工程系长沙410073

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL... 详细信息

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。

关键词：自治系统系统架构描述语言 π演算动态行为

在线全文

学校读者我要写书评

暂无评论

自治系统内部路由的仿真实验分析

微计算机信息 2007年第18期23卷 235-236,229页

作者：柴晟罗传军罗惠琼成都航空职业技术学院计算机工程系荆门职业技术学院现代教育技术中心电子科技大学计算机学院

阐述了RIP和OSPF,然后使用OPNET仿真软件对RIP和OSPF进行收敛速度和开销的仿真实验,根据结果可以得出RIP和OSPF路由协议这两方面的特点,最后总结了RIP和OSPF的最佳使用环境。RIP协议适合用于网络规模较小、拓扑结构比较简单、性能要求... 详细信息

阐述了RIP和OSPF,然后使用OPNET仿真软件对RIP和OSPF进行收敛速度和开销的仿真实验,根据结果可以得出RIP和OSPF路由协议这两方面的特点,最后总结了RIP和OSPF的最佳使用环境。RIP协议适合用于网络规模较小、拓扑结构比较简单、性能要求不严格和易用性要求较高的环境,OSPF适合网络规模大、拓扑结构复杂和性能要求高的环境。

关键词：自治系统路由协议仿真实验

利用单参数Lie群组的一种可解性求自治系统首次积分的方法

在线全文

学校读者我要写书评

暂无评论

应用数学学报 2013年第4期36卷 738-747页

作者：薛崇政胡彦霞华北电力大学数理学院北京102206

讨论了自治系统接受的单参数Lie群组具有一种可解性的情况下求系统的一个首次积分的具体方法.对于n阶自治系统,给出相应参数的一组确定取值,求得系统首次积分;对于三阶自治系统,当系统接受的单参数Lie群组可解时,验证求得首次积分的条... 详细信息

讨论了自治系统接受的单参数Lie群组具有一种可解性的情况下求系统的一个首次积分的具体方法.对于n阶自治系统,给出相应参数的一组确定取值,求得系统首次积分;对于三阶自治系统,当系统接受的单参数Lie群组可解时,验证求得首次积分的条件一定成立.

关键词：自治系统单参数Lie群组可解性首次积分

平面n次微分自治系统的焦点量与几类极限环分枝

在线全文

学校读者我要写书评

暂无评论

数学年刊（A辑） 1992年第5期1卷 589-597页

作者：刘一戎中国工业大学长沙410012

本文讨论系统 E_n(μ),其主要结果是:1.把同心圆的 Poincare分枝,高阶Hopf分枝以及中心点的极限环分枝诸问题的解决统一地归结为焦点量公式的推导和代数方程的求根,由此具体地给出了分枝出多个极限环的充分条件;2.在复域中对存在周期轨... 详细信息

本文讨论系统 E_n(μ),其主要结果是:1.把同心圆的 Poincare分枝,高阶Hopf分枝以及中心点的极限环分枝诸问题的解决统一地归结为焦点量公式的推导和代数方程的求根,由此具体地给出了分枝出多个极限环的充分条件;2.在复域中对存在周期轨道时参数μ的取值范围作了估计;3.作为应用,对系统E_2(μ)统一给出了由上述分枝问题产生三个极限环的实例。

关键词：自治系统焦点量极限环分枝

在线全文

学校读者我要写书评

暂无评论

一个高维自治系统周期轨道的存在性定理

数学杂志 1994年第2期14卷 147-151页

作者：蒋里强郑州高炮学院

本文利用非线性泛函分析拓扑度理论，结合常微分方程定性分析的方法，讨论了具双曲型奇点的ｎ维自治系统周期轨道的存在性，推广了Ｇｒａｓｍａｎ的结果，指出了Ｇｒａｓ－ｍａｎ定理中有多余的条件。

关键词：自治系统周期轨道拓扑度存在性

在线全文

学校读者我要写书评

暂无评论

自治系统中轨线、极限集和无切线段的关系

自治系统中轨线、极限集和无切线段的关系

作者：陈成西南石油大学

学位级别：硕士

理解人类智能是这个时代最伟大的科学挑战之一。了解智能有助于我们更加了解自己,理解我们是谁,并创造机器来支持我们的认知和繁重的体力工作。一直以来,世界上众多科学家都在思考一个重要问题:智能是什么?它是如何工作的?他们从各个角... 详细信息

理解人类智能是这个时代最伟大的科学挑战之一。了解智能有助于我们更加了解自己,理解我们是谁,并创造机器来支持我们的认知和繁重的体力工作。一直以来,世界上众多科学家都在思考一个重要问题:智能是什么?它是如何工作的?他们从各个角度试图认识并解决该问题。其中,从神经科学的角度,大量研究表明,人类高级智能活动如感觉、思考、学习和记忆等都是大脑皮层中由大量神经元所构成的神经网络作用的结果。人工神经网络是模拟生物神经网络提出的,其应用已经涉及到如联想记忆、模式识别、图像处理、自动控制、机器视觉、非线性优化、自动目标识别、知识处理、遥感技术等各个领域,且取得了很大进展。随着时间的演化,网络的有效输入也会发生变化,因此,从数学的角度,众多的神经网络模型本质上可以看成一个自治系统。在自治系统中,极限集中的稳定收敛点可以看成吸引子,吸引子作为神经网络的一个重要分支自提出以来,就获得了来自各个领域的科学家们的极大兴趣和关注。本文主要对自治系统的极限集进行了一系列的研究。本文研究了自治系统中轨线、无切线段和极限集的关系。极限点是指随着时间向正负两个方向趋于无穷时该点所在的轨线会无穷次接近它的点,相空间中一条轨线的所有极限点组成的集合为此轨线的极限集。当系统的轨线趋于某个稳定的平衡态时,这个平衡态称为吸引子。以上对吸引子和极限集的分析可知,吸引子包含于极限集。同时本文所取无切线段并不是自治系统任意一条无切线段,而是先取某轨线极限集中的任意常点(此常点可能是吸引子也可能不是),所取无切线段必须经过此常点。本文所取极限集中常点为非吸引子时,对轨线和无切线段相交情况的剖析,有助于研究轨线的运动轨迹,当所取极限集中常点为吸引子时,对轨线和无切线段相交情况的剖析,有助于研究轨线如何趋于稳态。本文首先对2维自治系统中轨线、极限集和无切线段的关系进行了分析,然后研究了 3维乃至n维自治系统中轨线、极限集和无切线段的关系,主要研究成果如下:(1)当半轨线的极限集非空时,取极限集中任意一点,半轨或者无限趋于这一点,或者经过此点。(2)若开轨线的极限集非空有界,取极限集中任意一个常点,过此点做自治系统新的轨线,此轨线的极限集属于原轨线的极限集。(3)若某一条半轨线为开轨线,且此轨线的极限集中含有常点,取极限集中的任意常点,过此点可以得到自治系统的无切线段,轨线与无切线段或者相交于此点,或者与此无切线段有无穷可列个交点。同时可以得出过此点的任意一条无切线段,结论同样成立。(4)在3维自治系统中,当投影图像的极限集含有常点时,可以得到过此常点的平面(为了与二维一致此处将此平面视为无切线段),使得投影图像与此平面有过此点的交线或者与此平面有无穷可列个交线。同时这样的平面可以得到无穷个。(5)在n维自治系统中,当投影空间的极限集含有常点时,可以得到过此点的向量构成的集合,使得投影空间与此集合的交集为空。(6)本文最后讨论了在坐标轴转动与平移的情况下,自治系统中极限集、轨线和无切线段的关系的变化。

关键词：自治系统轨线极限集无切线段吸引子