填充

Detectability of Discrete Event Systems based on automata/languages is studied.

讨论基于自动机/形式语言模型的离散事件系统的可测性问题。

Since the presence of a out coupling hole alters the transverse structure of the intra cavity light in a FEL oscillator ,the finite element method is used to the optical field equations and a good proximation is made for the out coupling process in the mirror,and then some numerical results are given.

针对孔耦合波导自由电子激光振荡器腔内光场横向特性，应用有限元法于慢变光场方程，并对输出腔镜上孔耦合过程加以较准确的描述，而后通过对数值结果的分析比较，说明这一模拟方法较好地描述了孔耦合引起的腔内光场横向结构的变化发展特性，改善了模拟结果。