微机网上的分布式专家联合系统UNION(上)

本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。     

关于计算机科学与技术认知问题的研究简报（Ⅰ，Ⅱ）

计算机科学与技术的认知对学科的科学研究与人才培养具有重要的意义,对计算机科学与技术学科发展的主线、特点和内在规律进行了回顾与总结,从科学哲学的角度阐述了学科的一系列认知问题,并概要介绍了学科方法论研究的主要进展,讨论了学科方法论研究进展对学科未来发展和人才培养可能产生的影响。     

一种新的基于权重的移动自组网络路由协议

传统的按需路由协议大多采用泛洪策略来发现路由,主要考虑如何快速建立路由以及减少控制信息的交换,而很少考虑所选路由的稳定性。本文提出了一种稳定的基于权重的按需路由协议,它利用路由权重来选择一条稳定的基于能量保护的路由来保证系统的性能。路由的权重由以下三个因素决定：路由有效期（RET）、跳数（HC）、最小节点能量水平（REL）。通过选择具有较高权重的路由。可以有效避免选择具有高移动性节点或具有较小能量节点的不稳定路由。     

辩论的理论模型及其算法研究

本文研究分布式人工智能背景下的辩论的理论模型及其算法,提出并建立了一个基于命题性知识的辩论的理论框架.在此框架下,我们给出了几个体现不同辩论策略的辩论算法,并对算法的正确性给出了理论证明.本文的研究可为分布式人工智能中多专家系统的辩论和意见综合提供参考,进一步的研究可望推进多专家联合系统的实用化进程.     

第一届全国知识工程研讨会在泰安举行

由中国计算机学会软件专业委员会智能软件学组主持的第一届全国知识工程研讨会于1987年10月在泰安举行,会议收到征文38篇,经二审、修改,录用30分钟报告9篇,15分钟报告14篇,会议特邀和正式代表共41人,会议规模约100人,研讨会得到中国计算机学会、山东矿业学院的大力支持和协助。     

计算机科学与技术一级学科——面向21世纪系列教材一体化建设研究报告

1 引言自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材。在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材不断地进入这个领域。众所周知,无论是国内还是国外,长期以来学科专业教材的建设确实为培养一大批专业人才做出了巨大的贡献。然而,当人类进入21世纪,高等教育面临着学科不断深化和社会深刻变化带来的各种挑战时,如果我们怀着创新的冲动和理性的心态,带着冷峻的目光和挑剔的眼神审视高等学校学科专业办学现状和过去业已出版的大量教材,期望冲破高等学校学科专业教育现有的模式,通向自由、     

逻辑语言剪枝算子的过程语义及其实现

论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Godel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。     

Gdel语言编译时类型处理技术研究

Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。     

Godel语言延迟声明语句的语义及其实现方法

Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。     

高等学校计算机一级学科教学改革与科学办学最新进展

计算机科学与技术专业究竟应该如何改革？这一直是国内外许多高校和教师迫切关心的问题.厦门大学在该学科的专业办学方面,运用科学哲学的思想方法,提出了科学办学的新概念,从创立学科人才培养科学体系起步,理论指导实践,开展了科学办学的实践探索.经过多年的努力,计算机科学与技术一级学科先后在厦门大学、仰恩大学、石家庄经济学院等院校开展了常态下卓有成效的科学办学改革实践,引起了教育部和一大批专家、学者的广泛关注.本文延续《工业和信息化教育》期刊2013年第12期的内容和风格,介绍了高等学校计算机科学与技术一级学科教学改革与科学办学最新进展.作为这一期科学办学专刊的先导性文章,旨在帮助读者更好地了解中国大陆计算机科学与技术专业当前的办学现状,更全面、深入地了解所取得的教育与教学改革成果的背景和概要.