应用生成器NITAG的设计与实现

NITAG 是面向企事业事务数据处理、以自动生成事务数据处理应用软件为目标的应用生成器。它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。NITAG 在接受这种描述后便可自动生成用户所需的应用软件。NITAG 采用了程序变换法与知识工程法相结合的系统工作原理,首先对用户的需求说明按变换规则进行变换、细化,使需求说明逐步地接近目标语言(EQUEL/C)的表示形式,然后根据系统的编程知识进行分析、推理,取出相应的软部件构造用户的目标程序。     

基于SOPC的波形发生器的实验设计

以Altera公司的DE2实验板作为硬件平台,采用SOPC嵌入式系统设计技术,基于QuartusⅡ软件,设计并开发了一个能够产生正弦波、方波、三角波,且频率、幅值在一定范围内可调的波形发生器实验。完成了SOPC片上系统及片外信号处理电路的构建,用VerilogHDL设计了DDS模块,用C语言程序进行波形参数的读取及显示。该实验涉及硬件描述语言逻辑电路设计、微机系统构成、硬件电路设计及C语言编程等知识的运用,知识综合性强,设计技术新、难度大,对提高学生的知识综合运用能力、动手能力和创新能力具有重要的促进作用。     

运用JAVA和XML实现网络管理系统

描述了一个基于Java和XML的跨平台网络管理系统的设计与实现.Java既是一种面向对象的程序设计语言,同时又是一种平台,用它来开发的程序可以执行在任何操作系统、任何计算机平台上.因而研究开发跨平台的Java版网络管理系统,是现代网络管理的需要.本系统使用简单网络管理SNMP协议和远程网络监视RMON协议,采用客户端/服务器(C/S)结构,是基于Java和XML相结合的架构系统.     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

BASIC和FORTRAN语言混合编程方法

用Prolog.C,汇编等语言对Quick BASIC和FORTRAN之间的混合编程问题进行了探讨.用Prolog和C语言设计了自动搜索程序Autol和Auto2,解决了FORTRAN和BASIC语言之间各种类型参数的自动传送问题.用MS-DOS的Link程序将两种语言的目标文件连接成一可执行文件,形成了一个集成混合语言开发环境,并完善成为一混合编程软件(MLD).该软件可在普通PC机及其兼容机上运行.     

知识基工艺设计专家系统

系统使用Visual Prolog语言，基于知识进行计算机辅助工艺设计。在系统中采用零件特征与加工特性相结合的方法描述零件；分层和分类收集存放知识，知识基与推理机分离，用户可以打开知识库根据要求修改知识；推理机制采用反向推理，进行合一算法自动生成工艺规程。     

C语言程序自动阅卷系统的改进

针对现有的C语言程序自动阅卷系统的不足,提出了利用Windows管道技术和创建进程的方法实现C语言程序自动阅卷的思路及实现方法.     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

INSIGHT2与TURBO C++中长实数的接口设计

设计了知识工程语言INSIGHT2与TURBO C++中长实数的接口程序,实现了这两种语言之间长实参数间的相互传递,并且给出了用TURBO C++编写的这个接口程序。     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

UML到SDL在地铁售票机系统中的应用

介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。     

SDL在数字系统设计中的应用

作为一种标准的形式语言，SDL已经被广泛地应用在软件设计中。为了进一步扩大其应用领域，进行了在硬件方面的应用探索，以逻辑门电路－－与门为例，以SDT为工具，说明了应用SDL进行特性描述和仿真／验证的方法，由于SDL支持面向对象技术，所以可以把各种常用逻辑电路或数字电路设计为SDL包。通过引用这些包，就能够描述和领导 具／验证复杂的数字系统了。实践证明，SDL在硬件方面的应用是可靠的，而且也是相当简便的。     

SDL语言及其在TD—PRS终端开发中的应用

SDL语言是CCITT推荐的规范与描述性语言，由ITU—T发展和标准化，被定义在兰皮书Z．100建议中，采用FSM的概念来描述对象。作为国际标准化的正式语言，它被用来规范描述实时系统，因此主要论述了规范描述语言SDL及其在TD—PRS终端开发中的应用。     

分布式实时系统的一种转化设计方法

介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算DC（Duration Calculus)描述，系统的设计用规范语言SL（Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程。     

基于B/S结构的SIMS的软件设计与实现

基于B/S三层架构的学生信息管理系统(SIMS),采用的是ASP技术,并以VbScript作为主要脚本语言,系统的数据库使用的是Microsoft Office Access.系统功能完整,模块共分为系统管理、学籍管理、成绩管理、账号管理、数据管理和个人管理六个模块.文章首先简要阐述系统的研究背景与研究目的及意义,介绍一些与系统开发有关的技术与理论知识,随后详细介绍了该管理系统的设计与实现过程,包括后台数据库的设计、系统主页面的设计等.最后对系统进行测试,减少冗余,并对此次系统开发过程中遇到的问题以及解决的方法进行了叙述.     

SDL进程及SDL环境通信接口分析

简单介绍了SDL语言产生的背景和特点，对SDL的结构、通信、信号以及SDL状态等基本概念做了较详细的说明。这里着重论述了SDL进程和SDL环境的通信机理及实现方法，给出了一种SDL进程在Nucleus PLUS多任务系统上运行的接口实现方法。对于利用SDL软件进行实时通信协议设计具有很好的参考价值。     

规格说明语言NUSL的初步报告

NUSL是一个以数据抽象为核心的,可执行的规格说明语言,它具有如下特点:1.表达力强,2.简明精确,3.模块化,4.可执行.本文描述NUSL的语法语义并给出—个应用例子.     

柔性继承支撑系统ND-Polya的设计与实现

继承是面向对象程序设计中的一个重要机制．但是,当程序员需要调整已有类并将其应用到类似的应用中,继承机制就不能支持这类程序员的需要．为了解决这一问题,我们结合类比和继承,提出了一种新的机制：柔性继承．该机制允许对类中属性进行删除和重定义．更重要的是,允许定义类之间的相似性,进行方法的间的类比推导,实现对方法及其算法的复用．描述了对柔性继承的规约语言机制和推理系统的具体设计和实现,通过对一些应用实例（ 包含一个图形系统） 的规约和推导,说明我们的实验性机制具有一定的能力．