程序设计的有力手段——递归技术

本文寺论述了递归算法及其实现，用递归议程分析了递归算法的时间复杂性，阐述了发算法的的优点，并对可能出现的缺点提出了改进－－递推算法。     

浅变面向对象的数据库

面向对象的数据库是面向技术和数据库技术相结合的产物，它的模型优于关系模型，文章对面向对象数据库，并系数据库和面向对象语言进行了比较，并讨论了面向对象数据库的发展趋势。     

并发程序设计的互斥、同步及其复杂性

并行性指同时性和并发性.由于进程的并发执行,产生资源共享问题,必须考虑进程的互斥与同步问题,这增加了程序设计的难度.本文讨论并发程序设计中的互斥及同步方法,并以SISD,SIMD,MIMD等3种计算机系统结构为例,分析各种并发程序的复杂性函数.这里主要讨论程序执行时的时间复杂性问题.     

高速公路施工放线中竖曲线程序的设计与应用

介绍了一套在高速公路测量中，路基的任意层位、任意桩号的中桩、边桩设计高程的数学算法公式。并对公式编制程序进行综合管理和调用。结合工程实例介绍如何用CASIO fx-4 800P计算器提供的程序语言进行程序设计和应用，并提供程序代码和注释说明。     

高师《Visual Basic程序设计》课程教学法探析

在《VB》课程的教学实践中。对其教学法作了深入研究．总结出了一套适合学生实际的、科学的教学方法。     

C语言程序设计教学探讨

本文从理论和实践教学方法和教学改革出发,对C语言程序设计教学中的一些问题进行了分析和探讨,希望对该门课程的教学有些帮助。     

理解面向服务的架构

介绍Web服务和基本SOA等基本概念,详述怎样利用这些基本概念来理解面向服务服务架构,最后给出当代SOA的定义.     

大变形分析中一种限制变形方法的程序设计

本文给出了有限元大变形分析中对变形进行限制的一种程序处理方法及相应流程图，并以实例进行了大变形求解。     

ADA语言与支持环境

ADA语言是美国国防部(DOD)投资研制的全军通用程序设计语言,被誉为第四代计算机语言的成功代表。本文概述了ADA语言开发史及其几个主要技术特征,描述了ADA程序设计支持环境(APSE)结构,同时,简要介绍了ADA运行支持环境的设计。     

A Formal Method to Model Early Requirement of Multi-Agent System

A formal specification language iFL based on i framework is presented in this paper to formally specify and analyze the early requirement of multi-agent system. It is a branching temporal logic which defines the concepts and models in i framework in a rigorous way. The method to transform the i models to iFL formal specification is also put forward.