Turbo Prolog程序设计技巧

本文介绍了Turbo Prolog的递归程序设计和非完全递归程序设计方法,详细地讨论了动态数据库在程序设计中的应用以及在使用动态数据库时应注意的若干问题。     

一种MPI并行程序设计中的动态负载平衡策略

介绍了MPI并行编程环境和MPI并行程序设计的特点,讨论了在MPI并行程序设计中实现动态负载平衡的方法,提出一种根据计算节点的计算能力和实时负载情况进行任务迁移的动态负载平衡策略。     

动态覆盖程序设计

本文给出动态覆盖程序设计的一种简单方法,并在此基础上提出动态程序库的程序设计方法,这种方法不仅适合于应用系统的程序设计,而且使用该方法开发出来的应用系统,对用户来说是一种开放式结构,用户可以在这种应用系统上迅速进行二次开发,对应用系统开发人员有一定的实用参考价值。     

一种基于ILP和ASP的学习B语言描述的动作模型方法

动作模型学习可以使Agent主动适应动态环境中的变化,从而提高Agent的自治性,同时也可为动态域建模提供一个初步模型,为后期的模型完善和修改提供了基础.通过结合归纳逻辑程序设计(Inductive Logic Program-ming,ILP)和回答集程序设计(Answer Set Programming,ASP),设计了一个学习B语言描述的动作模型算法,该算法可以在混合规模的动态域中进行学习,并采用经典规划实例验证了该学习算法的有效性.     

程序设计发展综述

从程序设计语言、程序设计方法、程序的集成开发环境等三方面来论述程序设计的发展过程,并指出了未来程序设计发展的三个方向。     

基于任务驱动的高级语言程序设计课程改革

程序设计思维能力是计算机及相关专业学生最重要的专业能力之一,程序设计课程教学的重要任务之一是培养学生的程序设计思维能力。本文分析了高级语言程序设计课程的现状,提出基于任务驱动,以提高学生程序设计能力为目的的课程体系改革与实践,从课程教学内容、教学方式、教学手段和考核方式等方面进行了教学探讨。     

高阶常微分方程的演化建模用于时间序列的分析

本文提出采用高阶常微分方程模型代替传统的时序分析中所用的ＡＲＭＡ模型来实现一维动态系统的建模,并针对传统方法建模过程中所遇到的困难,设计了将遗传程序设计与遗传算法个嵌套的混合演化建模算法,以遗传程序设计优化模型结构,以遗传算法优化模型参数,首次成功地实现了动态系统的高阶微分方程建模过程自动化,对三个典型时间序列实例的实验结果表明：采用此算法可由计算机自动发现适合描述该动态系统的高阶常微分方程模型,     

实时程序设计方法的发展趋势

本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。     

元级程序设计的方向

本文讨论逻辑程序设计中元级程序设计当前的一些研究成果。首先提出用Prolog 进行元级程序设计的各种困难,说明产生这些问题的原因在于:Prolog 在元级层次上表示目标程序的不充分性,并指出解决这些问题的方法,提出元级程序设计中的一系列研究问题。本文最后就建立改进的逻辑程序设计语言的必要性提出了几点意见。     

动态系统的演化建模

针对采用传统方法解决动态系统的微分方程建模问题所遇到的困难和存在的不足,语文中设计了将遗传程序设计与遗传算法和相嵌套的混合演化建模算法,以遗传程序设计优化模型结构,以遗传算法优化模型参数,成功地实现了动态系统的常微分方程组建模过程自动化。     

归纳逻辑程序设计综述

归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。     

面向任务协同程序设计的研究

针对软件系统呈现出的新的自然特性,面向对象程序设计与面向方面程序设计不能提供很好的技术支撑。文章提出面向任务协同程序设计,对其思想和实现原理进行了阐述,并对其解决的问题与意义做了简述。     

从FFT看并行程序设计特点：一个实例分析

本文通过在Ｍｕｌｔｉ－Ｐａｓｃａｌ并行程序设计模拟环境下，进行ＦＦＴ并行算法设计实验和定量的程序效率分析，总结出并行程序设计的特点，指出高效的并行程序的获得是由所求解问题的特点，并行自理系统硬件结构和性能特点及系统软件性能等诸因素动态作用下的优化组合。     

多态性的几种表现形式

多态性是面向对象程序设计的重要特性。多态性分为静态多态性和动态多态性。本文分析了多态性的几种形式,对容易引起二义性的几种情形进行了讨论。     

C程序设计教学探讨

根据笔者从事C程序设计教学的经验和软件开发的经验,提出了一些改进C程序设计教学的方法,以提高C程序设计的教学效果。     

对象式逻辑程序设计

本文首先对逻辑程序设计与对象式程序设计进行一些比较，然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。     

PB应用实例

通过实例说明在ＰｏｗｅｒＢｕｉｌｄｅｒ程序设计中，动态数据窗，游标，多表更新以及窗口控件的动态定位等应用方法。     

基于组织的面向Agent 程序设计及其语言Oragent

当前,面向Agent程序设计在支持动态开放多Agent系统开发方面存在一系列的不足,如缺乏高层抽象、底层实现模型与高层设计模型相脱节、在支持系统动态性方面缺乏有效的运行机制和语言设施等.针对这些问题,提出一种基于组织的面向Agent程序设计方法.该方法将组织、Group、角色和Agent等高层抽象作为一阶实体,缩小了多Agent系统的设计模型与实现模型之间的概念鸿沟;借助于组织学中的机制——角色扮演机制、基于角色的交互——支持系统动态性的规约和实现,如Agent行为的动态组合、动态的交互等,基于该程序设计思想,设计了基于组织的面向Agent程序设计语言——Oragent,定义了其抽象语法和形式语义,并通过案例分析说明了如何基于该程序设计思想和Oragent语言来构造和实现动态而灵活的多Agent系统.     

基于API自动测试的程序设计在线判题系统的研究与实现

本文设计了一个能对程序设计题进行在线编译判题不需任何人工辅助的系统,把基于执行的动态API测试方法引入到程序设计在线编译判题中,系统综合运用了Linux平台下的C、Shell脚本语言技术、编译器实现在线判题,以及数据库技术和PHP等技术。     

论面向对象与逻辑系统的结合

本文着重讨论了面向对象的基本思想和逻辑程序设计思想的关系,比较了各自的优缺点和相互补充的可能,从新的角度论述了将面向对象程序设计与逻辑程序设计相结合的一种可行途径,最后,提出了一系列具体的实现方法。