证明开发环境中的元语言设计

本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其抽象解释器，然后，利用项推理过程给出了ＴＭＬ元程序的正确性检查算法。     

基于Agent-O的面向主体程序设计

阐述了面向主体程序设计的基本思想,以及与面向对象程序设计的异同,对Agent-0面向主体程序设计语言,从主体组成、语法、程序执行和案例分析等几个方面作了详细介绍,提出了面向主体程序设计语言发展方向.     

计算机释义元语言的应用

该文在南京师范大学语言科技研究所《元语言研究》项目组的研究成果上,对其建构的释义元语言系统进行简单介绍并通过软件对《释义元语言词表》、《现汉受限词汇表》、《释义元语言微型词典》等若干词表作了查询、增补、修改等一系列功能,以完成对释义元语言和释义词的完善工作。     

基于Agent-0的面向主体程序设计

阐述了面向主体程序设计的基本思想,以及与面向对象程序设计的异同,对Agent-0面向主体程序设计语言,从主体组成、语法、程序执行和案例分析等几个方面作了详细介绍,提出了面向主体程序设计语言发展方向。     

FOPR：一个面向FPRTRAN的程序设计环境

本文介绍一个面向ＦＰＲＴＲＡＮ的程序设计环境ＦＯＰＥ。ＦＯＰＥ提供对ＦＰＲＴＲＡＮ程序的静态分析，动态分析、程序变换、循环变换、文档生成等功能，文中详细地介绍了这些功能。ＦＯＰＥ的一个重要特点是可视化。可视化工具有程度调用关系图、过程控制流图和数据依赖图三种，它能做到对程序的静态结构和动态运行过程用图形显示。     

面向Agent的程序设计

本文针对所谓合作Agent应用问题阐述了一种面向Agent的程序设计AOP（agentori－entedprogramming）方法框架．其中提出了一种新的Agent编程语言（AOPL），设计并实现了其程序设计系统（AOPS），该系统支持AOPL到C的转换．同时，提出了一种新的Agent关系模型，讨论了该模型的组成及其在体现合作Agent应用系统的体系结构、指导Agent之间的协作行为和支持对系统结构特点的深层理解方面所发挥的重要作用．最后讨论了AOP在多功能感知系统中的应用．     

面向Agent的程序设计风范

一、引言 近年来,人工智能研究开始强调推理与知识表示相结合的能动实体——AgentAgent一词在Al研究中既被广泛使用,同时又存在着相当多的争议,在不同的应用环境里gent一词都被赋予特定的含     

面向神经元的程序设计

在文〔O中,我们提出了大神经元(即神经网络)原理.大神经元原理指出,神经元、神经网络均是一个特殊的对象,也具有对象的所有性质如抽象、封装、继承和多态.为明确起见,我们在这里扩展有关神经元、神经网络的定义.     

带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

面向MOOC的C语言程序设计课程教学模式研究

针对大规模公开课程的浪潮引发人们对高等教育教学方式改革的思考,文章探讨如何利用MOOC平台,与现有的课堂教学相结合进行C语言程序设计课程教学模式重新设计。从教学内容的整合、翻转课堂的运用、过程性评价体系的构造3个方面进行研究,为新形势下C语言程序设计课程教学改革和创新实践型人才培养提供一种新思路。     

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

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

程序设计发展综述

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

面向物联网的C语言程序设计教学探索

C语言程序设计是物联网相关专业广泛开设的一门编程类基础课程。文章立足于物联网人才培养的需求,根据不同专业课程体系的特点,以C语言程序设计在物联网中的应用及跨专业分工合作为主线,对该课程的教材和开发环境选择、课堂教学组织、考核环节改革等进行探讨,提出根据各专业在物联网中的分工,对不同专业的C语言课程进行差异化教学,使学生参与跨专业的物联网设计工作时具有熟练的编程技能。     

对象式逻辑程序设计

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

面向智能主体的程序设计

面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在ＡＯＰ方面进行的研究工作。ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识本文首先讨论与ＡＯＰ相关的智能主体的体系结构。然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ。最后通过一个简单例说明ＲＯＯＴ的Ａ