简介:在k-饱和的超幂非标准模型中将序列的无穷小延伸定理推广到网的情形并利用网的无穷小延伸定理给出函数空间一致收敛拓扑的一个主要性质的直观简短的离散化证明。
简介:由于C^3I系统所具有的分布特点,其功能需求描述必须考虑信息处理和通信两方面,本文从C^3I系统功能分析入手,讨论了一种Petri网建立C^3I系统功能需求的可执行描述模型的方法。
网的无穷小延伸定理及其应用
C^3I系统功能需求的Petri网模型