Technical results for the study of robustness of Lagrange stability

We study the robustness of boundedness of solutions of nonlinear dynamical systems. A sufficient coordinate-free technical condition on the characterization of unmodelled effects is given. This characterization with some analogy with the input to state stability of [16] has the potential to encompass most classical uncertainties. In this context, we establish Lagrange stability results which look very much like a small gain theorem. We illustrate the use of these technical results in the robust stabilization problem by a class of interconnected systems.     

平面自治系统的有界性

研究一般平面自治系统的解的有界性．给出了两个有界性的充分条件和一个闭轨存在性的判据．     

基于Petri网分解技术的自动化物流系统建模分析*

针对西安科技大学自动化物流系统的任务规划，提出了一种基于变迁指标和库所指标融合的Petri网分解方法。采用Petri网理论对该物流系统建立模型，给出定义，在此基础上采用提出的Petri网分解方法得到融合了T网和S网特性的最小子网。通过分析该最小子网，得出Petri网模型的活性和有界性，据此推断出物流系统的任务规划合理有效。该方法大大减少了直接分析子网或原Petri网模型的计算量，可避免全局或局部死锁，为系统良好运行提供了依据。     

可分解非对称选择网的活性和有界性

活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.     

沿一类平坦曲线的Hilbert变换的有界性

讨论了沿平面平坦曲线的Ｈｉｌｂｅｒｔ变换的有界性。证明了对“凸”组合型曲线这类算子是Ｌｐ（Ｒ２）上的有界算子，其中１＜ｐ＜∞。     

直线参数化方式的优化设计

提出了一条设计直线参数化方式的新标准--递归性标准,它和作者在"Three conditions of a good line parameterization"文中提出的唯一性、有界性、均匀性三条标准一起构成了评价 直线参数化方式优劣的新框架.根据上述四条标准,证明了不存在同时满足这四条标准的直线参 数化方式t和直线参数化方式c= ax+ (ao-lal)y, a∈[-a0 ,a0)不但满足唯一性、有界性和递归性 标准,而且可以获得均匀性标准的最优近似.     

沿曲面的极大算子的L~p有界性

讨论了如下沿曲面Г的极大算子的Ｌ~ｐ有界性：对一类凸曲面以及Ω∈Ｌ~ｑ（ｓ~（ｋ－１）），作者证明了Ｍ是Ｌ~ｐ（Ｒ~ｎ）上的有界算子，ｐ＞１。     

Besove空间之间的复合算子

该文探讨了Besove空间之间以及从Bp到B1空间的复合算子Cφ的有界性问题，得到了Cφ是Bp空间到Bq空间有界算子的充要条件，并利用双曲Haldy类讨论了Cφ是Bp空间到B1空间有界算子的充要条件。     

算法的有界性和稳定性(英文)

非线性Ｇａｌｅｒｋｉｎ算法是长时间范围内求解非线性发展方程的一种新的数值格式。我们在这篇文章里，提供了全离散非线性Ｇａｌｅｒｋｉｎ算法的有界性和稳定性结果。     

可分解非对称选择网的活性和家态

徐静等曾给出了非对称选择网（Asymmetric ChoiceNets,AC网）的一子类，即可分解非对称选择网（DecomposableAsymmetric Choic eNets,DAC网），证明其结构活结构有界的充分必要条件满足死锁－陷阱性能，该文与之不同，给出了一种合成方法，证明合成后的DAC网保持了子网的性质，如活性，有界性和家态（HomeState)，同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法，最后，给出了一类更一般的组合网，该组合网保持了子网的活性。