浅谈"汇编语言程序设计"课程教学

"汇编语言程序设计"是高等院校计算机软、硬件及应用专业必修的核心课程之一,不少学生觉得这门课程比高级语言程序设计的课程要难学得多.作者在本文中就该课程的教学进行了探讨.     

一重循环结构的分类及其循环不变性质的讨论

分析了一般一重循环结构的组成要素，按组成要素给出了一重循环结构的初步分类及其程序函数，并且利用不变式状态定理讨论了 样分类下的循环不变式。     

PRAPS：一个用于自动程序设计的问题表示系统

提出了使用领域知识与专家系统技术形成形式问题模型的方法，并在ＰＲＡＰＳ系统中得以实现。这一方法的应用，使用户仅以自然语言形式提出问题，经ＰＲＡＰＳ系统，最终形成描述问题的形式化模型，从而为自动设计解决问题的程序奠定了基础。     

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

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

家用智能温湿度计设计

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

用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技术对数据库访问的安全性得到有效保证。