一类递归编程的特殊方法探讨

介绍了递归模型的一般形式、递归程序的执行过程及递归程序设计.重点从数学公式的角度探讨了复杂递归问题的一类特殊编程方法及其应用.     

南京城市土壤磷的形态和吸附-解吸特征

研究了南京城市土壤有机磷、各形态无机磷的含量和比例以及磷的吸附 -解吸特性。结果表明 :随着土壤全磷含量的增加 ,Al-P、Fe -P、O -P、Ca -P含量、Al-P占全磷的比例增加 ,但有机磷占全磷的比例、Fe -P占全磷的比例减少 ;与非城区土壤相比较 ,城市土壤磷的吸附量低 ,磷的解吸量和解吸率高 ;城市土壤中Al -P的含量及其在全磷中的比例较高 ,而磷的吸附量低、解吸率高是导致城市地下水磷浓度偏高的重要原因之一。     

A residualizing semantics for the partial evaluation of functional logic programs

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we introduce a non-standard, residualizing semantics for multi-paradigm declarative programs and prove its equivalence with a standard operational semantics. Our residualizing semantics is particularly relevant within the area of program transformation where it is useful, e.g., to perform computations during partial evaluation. Thus, the proof of equivalence is a crucial result to demonstrate the correctness of (existing) partial evaluation schemes.     

VFP下纯中文万能查询类的实现

Visual Foxpro5．0提供了一个通用查询类，这个类对数据的一致性和可用性都作了准确的判断和处理，但该类为英文版且最多只能进行两个条件的组合查询，本文将它改进为纯中文任意多个条件的组合查询类。     

VB.NET中,窗体开发要关注的几个问题

介绍了VB．NET窗体开发中多窗体调用的方法。以及其它一些关注的问题。     

焙烧炉燃烧站控制系统应用及维护

燃烧站在氧化铝焙烧炉生产中起着举足轻重的作用，没有燃烧站的正常运行，焙烧炉就无法投入生产，而燃烧站的启动和停止都是由S5—95U小型PLC自动控制系统来完成，自动控制系统的运行情况直接关系到燃烧站的工作，因此，对系统结构、工作过程及程序的理解及对输A／,输出硬件的维护就显得极为重要。为此，本文针对这一自动控制系统的重要性，介绍了SIEMENS S5—9UPLC控制系统的组成、控制过程原理、控制功能及硬件组成，介绍了该PLC自动控制技术在焙烧炉燃烧站自动控制系统中的应用情况以及系统维护的经验。     

MPP系统中的MP通信及其实现

论述了ＭＰＰ系统中节点机的通信结构，以及在主控机与节点机之间实现的Ｍｅｓｓａｇｅ Ｐａｓｓｉｎｇ通信及其通信协议。     

连续流动体系仿真程序的形式化确定

以一个基本的连续流动体系为对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。最后，所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。     

软件执行路径的高层次可视化表示

软件的主要特征信息，如功能性信息，常常隐藏在它的结构里面，仅仅分析软件系统的结构不足以揭示它们，只能在对软件的各条执行路径的确认过程中获得，对软件执地路长的分析是软件理解过程是一个必可少的辅助手段，程序执行路径（ＥｘｅｃｕｔｉｏｎＰａｈｔ，ＥＰ）概念和它在程序测试，排障（纠错）和理解等方面的用途是大家所知晓的并已有记录，本文给出了一种系统性的方法，可根据从程序设计语言的说明规程产生的结构模型，自动     

钥匙牙花号数学模型的建立及自动筛选程序设计

通过建立钥匙牙花的数学模型设计了自动筛选牙花号的程序，它为钥匙的牙花设计、降低互开率及钥匙的自动加工开辟了新的途径。