增量式专业综合实验设计

专业综合实验是课程设计教学环节的重要组成部分,是对学生学习专业知识的综合实践训练。通过增量式专业综合实验设计,以"兴趣牵引,任务驱动,现象启发引导"方式使学生巩固所学的理论知识,培养学生解决实际问题的能力,加强基本技能的训练,切实提高学生的实践动手能力和创新能力。

增量式软件设计方法的条件

增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法。首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软件需求的继承性,得到增量式软件设计的一个充分条件:当已经设计的软件需求具有继承性时,可以对新的软件需求采用增量式设计。

时序信号设计的一种新方法

文章结合高速时序工作的特点,从实现的角度提出了一种利用软件调整时序的新方法。在可编程逻辑器件中,利用数字时钟管理器(DCM),通过模块化和增量式设计思想达到对高速时序信号的精确调节。最终实现了一个20MHz速率的时序控制,调节精度达到100ps。

基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.