函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

函数—规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性，混合语言系统将代数规约转换为合流的重写系统，将函数定义，计算约束和优化规则视重为规则，基于重写模型，以平行最外方法辅以必要归约进行计算。     

C程序绘图

C语言是目前世界上流行,使用最广泛的、面向过程的高级程序设计语言,许多大型应用软件都是用C语言编写的,C是函数式的语言,利用标准库函数和自己设计的函数可以完成许多功能。C语言具有绘图能力强、可移植性,并且具备很强的数据处理能力,因此适于编写系统软件、三维、二维图形和动画,它是数值计算的高级语言,本文以较为常用的TURBOC2为例介绍如何利用图形处理函数绘图问题。     

增设FOXBASE实用函数

本文为数据库FOXBASE系统增设了记录交换与字段交换函数,增设了一般高级语言常用的三角函数与反三角函数,简化了数据库的相应操作,完善了FOXBASE计算体系.     

抽象论域到数据结构的转换

给出了函数式语言到过程式语言转换的关键技术,即抽象论域到具体数据结构的转换技术.抽象论域的转换是抽象表达式到具体表达式转换、模式匹配处理的前提.函数式语言到过程式语言的转换,解决了函数式语言在具体实现和时间方面存在的大量动态函数复制的问题.这种转换技术可用于开发指称语义到解释器、指称语义到编译器、属性文法到过程式语言、属性文法到YACC(Yet Another Computer Compilier)输入文件的各种自动生成器.     

基于松散耦合MIMD计算机系统的函数式语言并行实现技术

本文基于ＭＩＭＤ计算机系统提出了函数式语言的并行ＬＥ机，并行ＬＥ在函数式语言ＦＰ的基本语义中增加对ＴＨＲＥＡＤ对象和延迟对象ＬＯＢＪ处理的语义规则，其计算能力介于积极计值和惰性计值之间，为有效开发程序中细颗粒度并行性，本文将延迟处理技术文入并行进程的生成过程中，为有效程序中细颗粒度行性，本文将延迟处理技术文入并行过程的生成中，因而在成分开发系统的并行处理能力的同时减少了系统生成的进程数目。     

程序中表达式的副作用问题讨论

讨论函数式语言中引入赋值操作 ,表达式的副作用对程序正确性检查的影响 ,同时也讨论了强制型语言中如何克服表达式的副作用 .文中引入了良性副作用的概念 ,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论     

Haskell:一种现代纯函数式语言

随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度.函数式程序设计语言为解决这些问题提供了优美独特的框架.文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等.Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型.     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。     

数值模式匹配法中广义特征值问题A、B阵元素的递推算法

对于数值模式匹配法（ＮＭＭ）中广义特征值问题Ａ、Ｂ阵元素的计算问题提出了一种递推算法,将元素每个可能的表达式表示成一个已知函数不同阶次幂积分的求和式。利用该式可以由低到高速推求出该函数不同阶次幂的积分。这种方法计算量小,易于计算程序的实现和维护。     

XML实现无数据库留言簿

采用XML(Extensible Markup Language)技术替代数据库来存储留言的某些资料,利用XSL(Extensible StyleSheet Language)格式化XML文档,设计了XML文档的呈现形式,并使用ASP(Active Server Pages)技术对XML文档进行添加、修改、删除等一些维护操作,最终根据XSL设计好的格式把留言表现出来,实现了无数据库留言簿.     

对象管理在面向对象数据库中的应用研究

为解决面向对象在对象数据库中的管理问题, 描述了面向对象的数据库管理系统（OODBMS： Object Oriented Data Base Management System)的基本概念及其实现过程, 给出了该系统的数据模型、 系统结构及其各系统模块的实现方法。该系统引入面向对象的概念和方法, 以传统关系数据库存储结构为底层, 提出面向对象数据库的数据模型, 使其支持数据类型类层关系和继承性, 具有复杂对象管理和版本管理等能力。同时详述了数据定义(DDL： DataDefinitionLanguage)、 数据操纵(DML：Data Manipulation Language)、 对象缓冲区管理以及查询模块处理和版本管理等子系统的实现过程和方法, 并给出该系统在工程数据库图形图像管理中的应用。该系统可对非格式化的数据进行有效的管理。     

地图数据库语言MQL的设计与实现

提出一种新型的地图数据库语言ＭＱＬ，它是传统的标准ＳＱＬ语言的扩充．讨论了ＭＱＬ的设计思想、功能特色与使用方式．该语言现已成功地应用到地图数据库管理系统ＭＤＢ中     

基于C#语言的医院住院入出转管理系统的设计与实现

介绍了住院入出转管理系统的设计与实现。系统选用C#语言为开发语言,以Visual Studio.NET为开发环境,后台采用的是Oracle 10g数据库。在经过详细的用户需求分析后将系统分为七个功能模块,基于Client/Server（C/S）三层架构,完成了数据库设计、实体类设计和三层设计,实现了七个模块的相应功能。     

自适应Web后台数据管理构件的设计与实现

数据库作为Web应用程序的后台支撑,在Web应用程序的开发中起着举足轻重的作用。文章针对后台数据库开发中需要进行许多重复开发的问题,提出了以ASP源码技术来实现Web后台数据管理的自适应构件开发思路,并就构件的功能描述、接口技术、通用构件描述语言(UC-DL)的结构、构件资源库的组织与管理及构件的应用方法进行了探讨。将源码构件通过数据库管理,在线实现构件调用,在Web软件开发中具有重大应用价值。     

多媒体数据库的非格式化数据管理问题

在多媒体数据库管理系统设计中，应该引入非格式化数据管理的概念，简化库结构模型设计，将多媒体数据内部格式的识别放在数据库管理系统的外部表示层。     

基于网格和XML的异构数据库集成模型

异构数据库的集成问题是当前数据处理领域内研究的一个热点.本文在分析了异构数据库系统的关键问题和解决方法的基础上,提出了一个基于网格和XML的异构数据库集成模型.并重点分析了该模型的结构和实现方法,该模型采用XML作为信息传输的数据格式,通过GT4网格计算中间件来实现对各异构数据源的高效访问.     

多媒体数据库技术的研究

本文介绍了多媒体数据库的现状以及多媒体数据的特点，并对多媒体数据模型和多媒体数据库技术进行了探讨。     

ORACLE9i支持下的地理信息系统框架演变

对象关系型数据库管理系统Oracle9i提供了一种全新的SQL（Spatial Query Language）、空间数据模型、空间关系规范化及空间操作集。笔者从GIS发展现状出发,阐述了Oracle9i为GIS实现空间数据与属性数据的高效率、集约化、共享性存储提供了基础,群集技术为实现长事务快速相应提供了条件,数据仓库和数据挖掘技术为实现地理对象空间分布变化范围的空间维分析和时间变量变化范围的时间维研究提供了依据。     

基于Delhpi平台的数据库程序设计研究

数据库技术是当今信息社会的重要基础技术之一,在众多的数据库开发工具当中,Delphi尤为突出,它适应于多种数据库结构,具有高效率的数据库管理系统和最新的数据分析手段并且提供大量的企业组件。介绍了基于Delphi平台的数据库程序设计的原理,各组件功能应用以及数据库的连接方法,通过测试程序对比了各个数据库连接方法的访问时间,得出DBExpress方法优于BDE及ADO,大大提高了Delphi程序设计中数据库存取和访问的效率,总结了Delphi数据库开发的步骤,便于使用者学习和应用。