有穷自动机的多媒体教学系统设计

利用多媒体技术的优势,采用多媒体课件制作工具Flash 8.0软件,将图形、动画和影视等多种媒体的素材溶于编译原理课程的教学课件中,形成富有特色的多媒体教学课件;学生通过系统能够进行自主学习,提高对形式语义、有穷自动机等抽象内容的学习兴趣、增强课堂教学效果。设计了该有穷自动机多媒体教学系统,既可在课堂上演示,也可在课后由学生自主观摩,以增强对编译原理课程的学习效果。     

“编译原理”实践驱动式教学探讨

该文针对编译原理的重要性以及当前教学中存在的问题,提出了实践驱动式教学方法,克服了传统课堂理论讲授式教学方法缺点,以实践指导运用作为课堂主要教学手段,提高了学生的学习兴趣和课程的实用性。经实践证明此方法取得良好的教学效果,对"编译原理"教学有一定的指导意义。     

“编译原理”实践驱动式教学探讨

该文针对编译原理的重要性以及当前教学中存在的问题,提出了实践驱动式教学方法,克服了传统课堂理论讲授式教学方法缺点,以实践指导运用作为课堂主要教学手段,提高了学生的学习兴趣和课程的实用性。经实践证明此方法取得良好的教学效果,对＂编译原理＂教学有一定的指导意义。     

隐喻语言在编译原理课程教学中的应用

编译原理课程是计算机科学与技术专业的一门核心课,由于课程内容过于抽象,学生往往因为枯燥乏味而失去学习的兴趣,但是这门课程又是锻炼学生抽象思维能力的重要载体,基于此文章提出采用隐喻的方法对该课程中比较抽象、晦涩难懂的内容进行描述,通过隐喻语言,用学生日常中更为熟悉的事物描述抽象的编译理论和算法,提高学生的学习兴趣和对算法的理解效果。     

任务驱动的编译原理课程教学方案研究

针对编译原理课程教学中存在内容抽象、算法复杂、难于理解等问题,本文在分析国内学者的研究对策基础上,提出任务驱动的编译原理课程教学方案,结合河南科技大学计算机专业编译原理课程教学的实际,在实验项目的设计、教学计划的制定、辅导材料的编写、网络资源信息平台的构建、教学资料的开发等方面进行改革,取得了令学生满意的教学效果。     

基于MOOC的编译原理分阶段课程教学研究

针对编译原理课程教学内容抽象、算法复杂等特点及教学实际,充分探讨MOOC教学模式与编译原理教学过程交叉、融合的可能,提出基于MOOC教学模式的、适于面向对象高级语言的编译原理分阶段课程教学方案,旨在充分发挥MOOC教学模式在编译原理教学环节中的作用,在提高学生专业学习能力的同时,重点培养学生从代码优化的角度审视大型软件开发过程,培养学生提出问题、解决问题的科研思维。     

软件工程专业中编译原理课程的教学探讨

结合软件工程专业特点,给出一套切实可行的编译原理课程的教学和实验方案,旨在提高学生的学习兴趣,解决因编译原理课程理论性强,实践困难而产生的现实问题。     

现代教学理论指导下的“编译原理”教学综合改革

"编译原理"是计算机科学及相关专业的一门重要专业基础课程,由于涉及形式语言、有穷自动机等抽象内容,学生学习过程中存在一定困难,曾一度被学生戏称为"天书"。作为授课教师,如何让这门课的教学效果得到较大改观是一个需要加以解决的研究课题。武汉大学计算机学院在开设"编译原理"的课程时,以现代教育理论为指导,在教学过程中,针对教材选择、课堂教学、习题指导、课程设计、答疑讨论、网络辅助、教学互动等环节进行了探索和创造性的改革与实践,积累了一定的经验,取得了较好的教学效果,该课程的教学综合改革获得了武汉大学优秀教学成果一等奖,同时该课程还被评为武汉大学精品课程。     

基于教育心理学的编译原理课程教学方法

针对编译原理课程的特点、课程目标定位及普遍存在的问题,提出采用人本主义教学理论和构建主义学习理论作为指导,通过问题导入和兴趣激发的教学方法,在提高学生的积极性、主动性和探究性,发挥学习潜能,学生学习能力和专业能力培养等方面提高教学效果。     

交互式《编译原理》教学模式探讨

针对《编译原理》课程教学中存在的主要问题,分析该课程教学的特点,提出交互式教学的主要思路和实施方案。交互式教学的目的是培养学生主动思维、团队合作精神,激发学生的学习的兴趣,提高学生的编程能力,使学生真正掌握课程的精髓。     

细胞自动机语言Cellang的扩展与应用

并行执行与并行描述是并行计算的两个方面,后者是并行软件技术的一个日益重要的问题,目前主流的并行语言都是针对特定的需求设计的。细胞自动机对许多问题具有自然而贴切的描述并行性,作为动力学系统仿真工具与并行离散计算模型近来受到广泛关注。通过对某些细胞自动机语言进行扩展,可以使其成为并行数值计算的良好工具,方便地描述与求解一大类并行数值计算问题。本文介绍我们对细胞自动机语言Cellang的扩展及在并行数值计算上的应用。     

普通本科院校编译原理教学内容改革探讨

编译原理课程是计算机科学与技术专业的重要专业课,它不仅能帮助学生更深入地了解计算机以及计算机程序的本质,还能提高学生进行问题求解的能力。该文根据编译原理课程的特点,结合自己的教学经验,探讨了普通本科院校编译原理的教学内容的选取与实践教学内容的设置,对普通高校更深人的教学改革和创新人才的培养具有一定的意义。     

Cost functors and optimal realization

We provide a general theory of optimal realization, generalizing the minimal realization construction of automata theory. We use a categorical framework to capture general classes of deterministic and nondeterministic realization problems. We define cost functors over a category of systems relative to which optimal realizations are defined. Finally, in order to approach the generalized minimal realization problem of nondeterministic automata, we propose a quotient category of these automata which fulfills the generalized minimal realization principle.     

编译原理课程实验教学改革与探索

编译原理是计算机专业的主要课程之一,讲述的内容是程序设计语言编译构造的基本原理以及实现方法.它是一门技术性较强的学科,在讲课的过程中为了使学生更好的掌握课程内容,提高学生的学习兴趣,必须设计一套不同于其它学科的教学方法,实现教学效果的提高.本文主要从实验教学的问题及现状方面出发,探讨编译原理教学改革措施.     

Learning computer programming: Implementing a fractal in a Turing Machine

It is common to start a course on computer programming logic by teaching the algorithm concept from the point of view of natural languages, but in a schematic way. In this sense we note that the students have difficulties in understanding and implementation of the problems proposed by the teacher. The main idea of this paper is to show that the logical reasoning of computer programming students can be efficiently developed by using at the same time Turing Machine, cellular automata (Wolfram rule) and fractals theory via Problem-Based Learning (PBL). The results indicate that this approach is useful, but the teacher needs introducing, in an interdisciplinary context, the simple theory of cellular automata and the fractals before the problem implementation.     

Scheduling with timed automata

In this work, we present timed automata as a natural tool for posing and solving scheduling problems. We show how efficient shortest path algorithms for timed automata can find optimal schedules for the classical job-shop problem. We then extend these results to synthesize adaptive scheduling strategies for problems with uncertainty in task durations.     

State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata

The problems ofstate observation and diagnosis are solved for discrete–eventsystems, which are described by stochastic automata. As manysystems are not observable in the sense that it is possible toreconstruct the state unambiguously, the observation problemis set up as the problem of determining the smallest possibleset of states that are compatible with the measured input andoutput sequences. The diagnostic problem is shown to be, in principle,an observation problem. Conditions for the observability anddiagnosability of stochastic automata are presented. The resultsare illustrated by examples.     

A game approach to the parametric control of real-time systems

We consider parametric reachability control problems for real-time systems. We model the plant as an extension of parametric timed automata in which the timing constraints on these clocks can make use of parameters. This extension, which we call parametric game automata (PGAs), allows for partitioning the actions in the model between two antagonistic entities: the controller and the environment. The most general problem we study then consists in synthesising both a controller and values for the parameters such that some control location of the automaton is reachable. This problem is undecidable and we therefore provide a subclass of PGA called L/U game automata for which it is decidable. We then consider a backward fixed-point semi-algorithm for solving timed games with reachability objective allowing to compute the most permissive winning strategy. We argue the relevance of this approach and demonstrate its practical usability with a small case-study.