约束逻辑程序设计综述

一、引言 约束逻辑程序设计(Constraint Logic Program-ming．CLP)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction Problem．CSP)模型的一种程序设计风范。CLP是逻辑程序设计(LP)的一种推广,是八十年代发展起来的一种新的逻辑程序设计方法。由于它继承了LP简单易懂的说明性描述方法并结合了CSP在求解问题时的效率,使它在解决很多AI问题(如组合问题、资源分配、事务安排等)时有不凡的表现。更由于AI领域中绝大多数问题可以用CLP来表示,所以这一方法已引起了人们的广泛注意,并在八十年代后期得以迅速发展。     

代码组件的组合重用是一种新的程序设计模型

本文在描述了程序设计范型的特性之后,详细地介绍了代码组件的组合重用方法,提出并论述了代码组件的组合重用是一种新程序设计范型的观点。本文还详细地描述了这种新程序设计范型的特点,同时也指出了应当解决的一些课题。     

基于N版本程序设计的Web服务组合可靠性优化

Web服务的一个优点就是可以通过基本服务组合形成更为复杂的服务。为了确保Web服务组合的可靠性,可以利用N版本程序设计技术来提高服务组合的可靠性。本文在Web服务组合的可靠性预测模型的基础上,提出了一种基于N版本程序设计的Web服务组合可靠性优化方法。     

代码组件的组合重用是一种新的程序设计范型

本文在描述了程序设计范型的特性之后,详细地介绍了代码组件的组合重用方法,提出并论述了代码组件的组合重用是一种新程序设计范型的观点.本文还详细地描述了这种新程序设计范型的特点,同时也指出了应当解决的一些课题.     

一种保障响应时间的可靠Web服务组合方法

N版本程序设计为提高Web服务组合的可靠性提供一条有效途径,但是当要组合的相同功能的Web服务数量较多时,该方法将会使服务组合的时间开销过大.针对这一问题提出一种基于分组的可靠Web服务组合方法,该方法通过对相同功能的待组合Web服务进行分组,找出每个分组中响应时间最短的Web服务,然后再利用N版本程序设计的思想进行Web服务组合.仿真实验表明,该方法既能保证服务组合的可靠性,又能使服务组合的时间开销明显降低.     

OOP技术及应用

面向对象的程序设计(OOP)被称为程序设计方法中的一次革命.本文介绍OOP技术的基本概念,特征及应用实例.并阐述了结构化程序设计(SP)和OOP之间的差异.     

一种基于Parameter对象实现组合查询的技巧

在数据库应用程序设计中,实现组合查询的程序被大量应用,一种能够快速实现组合查询程序设计的方法可以节约大量的编程时间,提高软件开发的效率。本论文以实例论述了一种利用Parameter对象实现组合查询的方法。这种方法在VB和其它开发工具下非常容易实现。     

一种基于Parameter对象实现组合查询的技巧

在数据库应用程序设计中,实现组合查询的程序被大量应用,一种能够快速实现组合查询程序设计的方法可以节约大量的编程时间,提高软件开发的效率.本论文以实例论述了一种利用Parameter对象实现组合查询的方法.这种方法在VB和其它开发工具下非常容易实现.     

一种利用Parameter对象实现组合查询的方法

在数据库应用程序设计中．实现组合查询的程序被大量应用．一种能够快速实现组合查询程序设计的方法可以节约大量的编程时间．提高软件开发的效率。本论文以实例论述了一种利用Parameler对象实现组合查询的方法。这种方法在VB和其它开发工具下非常容易实现。     

利用存储过程解决组合查询的C#程序设计

介绍利用oracle存储过程解决C#.net中组合查询的程序设计.其目的就是为程序开发者提供一种解决组合查询的可行性方法,也为类似数据库和语言编程者开发组合查询控件提出一种思路。     

PowerBuilder的一种高效组合查询方法的实现

本文探讨并以实例论述一种高效快速实现组合查询程序设计的方法以节省编程时间,提高开发效率。     

dBASE Ⅲ与数据查询

在利用dBASEⅢ进行管理系统设计时,组合数据项查询模块设计往往比较复杂.本文从组合查询设计的关键入手,给出一种既便于程序设计人员掌握,又方便用户的输入操作和可移植性强的规范化的组合数据项查询的设计方法.     

基于B/S架构的多用户在线程序评判系统设计与实现

针对现有在线程序评判系统存在的判题效率和安全性问题,本文在分析多用户在线评判系统的功能需求基础上,提出了一种基于B/S架构采用Struts+Spring+Hibernate(SSH)组合框架的多用户在线程序评判系统,介绍了系统的程序评判原理及采用的安全机制。该系统不但可以用于ACM程序设计等比赛,而且可以为程序设计课程教学提供很好的辅助实验平台支持。     

面向对象的可编程控制器程序设计方法

通过总结目前普遍使用的组合逻辑函数法、功能转移图法、Petri网分析法等可编程控制器程序设计方法，提出了一种面向对象的可编程控制器程序设计方法。依照面向对象技术的思想．详细阐述了在可编程控制器程序设计中如何构造底层的基本控制对象类及其高层的对象模型封装类。给出了外部信号的定义并且例举了对象模型同外部信号的交互情况。最后再深入分析面向对象方法的优良性能。     

面向对象的可编程控制器程序设计方法

通过总结目前普遍使用的组合逻辑函数法、功能转移图法，Petri网分析法等可编程控制器程序设计方法，提出了一种面向对象的可编程控制器程序设计方法，依照面向对象技术的思想，详细阐述了在可编程控制器程序设计中如何构造底层的基本控制对象类及其高层的对象模型封装类，给出了外部信号的定义并且例举了对象模型同外部信号的交互情况，最后再深入分析面向对象方法的优良性能。     

工艺和仿真要求对微程序设计的影响

微程序设计处理机的构造,在很大程度上是由(半导体)工艺水平和仿真任务的需要决定的。本文讨论LSI部件对可微程序设计的处理机的影响,特别是对大容量存贮器阵列、LSI微处理机(位-片结构)、可编程序逻辑阵列,以及高速移位器的影响。 本文的另一个论题是,微程序设计与“常规”程序设计的差别很小。我们主张,理解微程序设计的正确的途径是承认:微程序设计主要是应用于仿真任务的。我们回顾仿真(解释)任务的需要,并指出,为了高效率地完成仿真过程,可微程序设计的处理机必须具备什么样的能力。本文以可微程序设计的处理机的一种分类法为结束。 索引术语——仿真,解释,微处理机,微程序设计,半导体工艺。     

基因表达式程序设计在信息系统建模预测中的应用

基因表达式程序设计(GEP)是一种基于基因组和表现型组的新型遗传算法,该算法具有很好的健壮性和高效性采用基因表达式的方法进行演化建模,实例测试的结果表明使用基因表达式程序设计的方法得到的模型要优于普通的线性回归方法和传统的遗传程序设计方法得到的模型,提高了拟合和预测精度。     

程序设计方法学注记

一、什么是程序设计方法学 程序设计方法学(Programming methodo-logy)是七十年代程序设计的主要研究方向,它的内容涉及到程序设计活动的各个方面,根据E.T.yeh编辑的《Current trends in prog-ramming methodology》,它包括软件规定和设计(Software specification anddesign),正确性(validation),模型(modeling)以及程序和     

基因表达式程序设计在信息系统建模预测中的应用

基因表达式程序设计(GEP)是一种基于基因组和表现型组的新型遗传算法,该算法具有很好的健壮性和高效性.采用基因表达式的方法进行演化建模,实例测试的结果表明使用基因表达式程序设计的方法得到的模型要优于普通的线性回归方法和传统的遗传程序设计方法得到的模型,提高了拟合和预测精度.     

前言

<正> 《程序设计规范初探》是我们参考了国外程序设计一些好的方法,以及我们在软件工程方法论的研究中和许多工作体会中总结出来的。我们认为本《规范》(discipline)谈到的方法,花样不多,也不复杂。它就象欧洲足球的简单实用的踢法,学会了,用好了,就有可能踢好足球。我们希望它是程序员及程序管理员的一本有用的书籍,并以此来指导他们的工作。 程序设计分顺序程序设计及并发程序设计,本《规范》中仅向读者介绍顺序程序设计方法论及规范。另外,目前开始大量研究的泛函程序设计对于国内的情况还有待以后介绍并讨论。但在第五