【摘 要】
：
用极大代数描述的离散事件动态系统X(k)=X(k-1)A?U(k)B中,A的右上三角块标准形的全部A_i的特征值λ_i,1≤i≤ω称为周期.本文证明了:能用状态反馈U(k)=X(k-1)K在[λ_i,+∞)中任意配置周期(即配置“极点”)的充要条件是A,B有匹配的标准形;还给出了周期配置与能达性的关系及在FMS中的应用.
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
用极大代数描述的离散事件动态系统X(k)=X(k-1)A?U(k)B中,A的右上三角块标准形的全部A_i的特征值λ_i,1≤i≤ω称为周期.本文证明了:能用状态反馈U(k)=X(k-1)K在[λ_i,+∞)中任意配置周期(即配置“极点”)的充要条件是A,B有匹配的标准形;还给出了周期配置与能达性的关系及在FMS中的应用.
其他文献
1.引 言 在处理非均匀材料,诸如复合材料、晶体及聚合结构的数学物理问题时,往往导致系数具有小周期性质的椭圆型边值问题
1.引 言在军事、经济等许多领域中,经常遇到极大极小目标函数的规划问题,如瓶颈问题:
1968年N.N.Li发明的液膜萃取模仿生物膜中离子输送过程,是高效新型的分离技术.其中的酸性萃取剂萃取金属的基本原理是萃取剂中的氢离子与正价金属离子进行交换反应,生成金属络合物而被萃取到有机相中,达到分离、浓缩的目的.但为了避免萃取剂由于与水分子的氢键作用而流失到水相,萃取剂结构上引入烷基,因此在有机相和
为了构造可以在多处理机系统上并行执行的Runge-Kutta公式,基本的途径是要放松串行Runge-Kutta公式中各级K_i计算之间的数据依赖性.为此,Miranker和Liniger在中引进计算前沿面的概念,并且构造了2阶和3阶的并行Runge-Kutta公式.该公式可以在具2个或3个处理机的并行系统上实现.但是,这些公式是弱不稳定的,当h→0,n→∞,t_n→t时,误差将线性地增长.另外,由
现代战争中的武器系统面临着跟踪快速运动目标及机动目标的问题.如火炮武器对低空快速或机动的飞行器在过航路捷径前后不间断地实施拦击的情况,可靠地跟住并精确地跟踪目标,直接联系到武器系统的有效性和对被跟踪目标的杀伤、摧毁效率.因此,
近十年来,并行有限元分析的文献越来越丰富.S.S.Rao在最新版本的著作中新加了一节,专门讨论并行有限元问题,提出要积极开展并行有限元方法的研究.A.K.Noor在他为文献写的前言中预言到90年代中期,并行计算将成为计算机领域的主流.从实际情况看,由于计算速度和存储容量的限制,用一般微机对复杂问题的分析常常无法实
等值线是一种形和数的统一,在结构有限元分析的成果整理中起着重要的作用.它可以有效而直观地表示各种场的分布.对于给定平面有限区域中等值线的计算机自动绘制,已有各种各样成功的方法.但是,实际工程往往是空间问题.特别是土木、水电工
由于当代超级计算机技术日新月异地发展,研究出适应超级计算机运行的高效的计算方法是当务之急.现在已有许多著名学者对三对角方程组的解法(如文献)进行了讨论或用多色排序形成的线性代数方程组Ax=b使某些算法可并行计算(如文献,但在许多实际问题中往往是多对角的或差分方程的求解区域是不规则区域形成的
对于非定常问题,差分格式的稳定性是差分方法有效性的头等重要问题.在线性理论范围内,Lax等价定理指出:采用一个相容的、稳定的差分格式进行数值解,差分时间步长如果取得足够小,就能够保证得到相应微分方程定解问题准确解的一个可靠的逼近。