形式语言与自动机理论课程教学方法探讨与实践

分析形式语言与自动机理论研讨式教学中侧重个性化教育的思想,提出在课堂教学中借助于思维导图、JFLAP等教学软件的方法,介绍教学实施过程,探讨相匹配的考核方法。

改进形式语言与自动机理论课程教学刍议

分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。其基本思想是通过认识该课程的重要性,提高学生在课程学习中的积极性;通过把现代交互式教学方法贯彻到教学的各个环节,提高学生学习的趣味性和交互性。

试谈离散数学在计算机学科中的重要性

阐述了离散数学及计算机专业其他学科的基本概念,分析了离散数学与计算机专业其他学科间的关系。教师在教学过程中,将此关系在课堂中灌输给学生,让学生了解离散数学在计算机专业学科中所处的重要地位。学生在学习离散数学的同时,能明确该学科的学习目的,也能站在较高的层次把握好离散数学的学习。

离散事件系统的可测性

讨论基于自动机/形式语言模型的离散事件系统(DES)的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性:强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。

离散事件系统N步稳定性分析

讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义,并得到了稳定性的判据定理,推导了具体的算法实现。该算法具有多项式复杂度。

判定非确定离散事件系统稳定性的梯度搜索算法

讨论基于非确定自动机/形式语言模型的非确定离散事件系统(NDES)稳定性问题.引入非确定离散事件系统稳定性的定义,并得到了稳定性的判据定理.给出了基于梯度的搜索算法,该算法可有效消除观测器的冗余,从而降低了计算复杂度.

判定非确定离散事件系统稳定性的多项式复杂度算法

本文讨论基于非确定自动机/形式语言模型的非确定离散事件系统稳定性的多项式算法.在引入拟距离的概念之后,根据拟距离形式化地定义了非确定离散事件系统稳定性.以往判定非确定离散事件系统稳定性的算法基于系统的观测器实现,该观测器在结构上具有指数复杂度,因此本文分析系统结构和观测器结构之间的关系,基于对系统状态对的讨论,提出了判定系统稳定性的有效多项式搜索算法.