抽象数据类型的代数方法研究

抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基础上,得出了抽象数据类型与有关计算结构等价的一系列结论.     

家用智能温湿度计设计

由单片机构成的智能温湿度计，不但性能主较集成电路温湿度计为优，成本上也可降低，本文给出了一种氏成本的智能温湿度计的设计方案。对按此方案制成的样机的测试结果表明，仪表的精度及长期稳定性均可满足要求。     

面向对象程序设计语言及方法的特性探索

本文以数据类型的抽象与重构为线索,分析与评介了程序设计语言与方法的演化过程及其必然性,探讨面向对象程序设计与实现需解决的若干问题。在此基础上介绍了面向对象程序设计在数据库与人工智能两大分支中的应用途径、现状与前景。     

关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.     

一个数字通信计算机模拟程序的设计

本文主要描述一个数字通信中部分响应技术的计算机模拟程序。该程序用C语言编程,将时域一频域分析、绘图、打印结合为一体,可对各种类型的部分响应进行分析研究。文中给出了完整的C代码,并逐段叙述了各部份代码的主要思想或编程算法,程序经多次验证,可供教学演示使用。     

用FoxBASE^＋的画方框命令清屏

该文用FoxBASE~+的画方框命令,编写出8种用于清屏的小程序.供程序设计者选用.     

关于计算机基础课课程设计的研究

介绍了关于计算机基础课课程设计的意义,该项教学环节设置的思路及相关问题的解决方法.     

Prolog语言与Gödel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

ASP+ACCESS安全隐患及对策

ASP技术对Access数据库的访问，主要隐患来自Access数据库的安全性，其次在于ASP网页设计过程中的安全漏洞。笔通过对Access存储隐患，Access解密隐患，源代码安全隐患，程序设计安全隐患的分析及非常规命名法，ODBS数据源法，对ASP页面加密法，加密机制的讨论，给出了解决安全隐患的对策，使ASP技术对数据库访问的安全性得到有效保证。     

锅炉热力计算程序编制

采用面向对象语言Visual Basic 6．0和本地数据库软件Microsoft access编制了锅炉热力计算程序，该程序操作简单，运行灵活，可以实现人机对话，按用户要求控制程序运行，能自动生成热力计算书，经计算实例测试，计算程序实现了设计所预期的各项性能，适用于各种工业锅炉和船用锅炉的热力计算，通用性较强，具有一定的工程实用价值。