线性离散事件动态系统的可达性

来源 :高校应用数学学报:A辑 | 被引量 : 0次 | 上传用户:fangfei123456
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判断系统可达性的判据,证明了系统可按可达性进行分解、状态反馈不影响系统可达性等结论,还进一步讨论了一类流水线生产加工系统的可达性,本文的结果对于这类系统的分析和控制是有意义的。
其他文献
提出求解互补问题的一个光滑逼近法,从而可直接利用各类光滑方程组成无约束可微优化算法求解线性和非线性互补问题,数值实验表明了方法的有效性。
卫星地球站是卫星通信系统的重要组成部分。卫星地球站装备繁多复杂,装备管理是卫星地球站的重要工作之一,高效可靠的装备管理方法可以有效提高地球站系统运行的可靠性。本文将物联网概念中的核心技术RFID(射频识别)技术与卫星地球站库房装备管理工作相结合,设计了RFID技术在卫星地球站装备管理中的应用方案。基于RFID技术的卫星地球站库房装备管理系统,可以实现装备的出入库快速登记、装备快速查询定位、装备统一
本文讨论了定数、定时和混合截尾数据场合下,AMSAA可靠性增长模型的拟合和增长趋势的检验问题。
本文以学校招生录取问题为背景提出了一种最优C-匹配问题,证明了关于一个二分图中存在完全C-匹配的充要条件的一个定理,针对问题的不同要求设计了两个最优C-匹配模型和算法,
本文在样本序列为平稳φ-混合的情形下,研究了条件密度f(y|x)的通常的和递推形式的双重核估计的强相合性,并给出了它们的强收敛速度以及渐近分布.
本文通过分析地下水流支配方程,提出了改进的响应函数法,拓宽了非稳定地下水管理的范围,给出了相应的管理方法.
若X_t是线性平稳序列、可表示为X_t=sum from j=-∞ to +∞(b_(t-j)ζ_j的形式、其中{ζ_j}j=0,±1,……是独立同分布的随机序列:Eζ_j=0,Eζ_j~2=σ~2>0。对于这种平稳
考虑一类在自由边界上给出动力学条件的一相stefan问题:其中α,α,β>0. 本文证明了在一定条件下,其经典解存在、唯一。
文[1]建立了一类生化反应方程E_(α,β),该文借助于计算机作了极限环的一些数值计算。[2]讨论了E_(σ,β)的极限环的不存在性,存在性和唯一性。本文弄清楚了E_(α,β)(α≥0,
本文讨论由相互独立的成败型元件组成的串并联系统及并串联系统可靠性置信下限的近似解。本文利用系统诸元件的试验数据,在一、二阶矩拟合的原则下将其折合为原系统的伪试验