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

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

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

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

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

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

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

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

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

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

基于TriMedia处理器的嵌入式PCI网卡的设计与分析

力图通过一个实例来说明如何开发基于TriMedia数字信号处理器的嵌入式网卡驱动程序，并提出了一种在pSoSystem操作系统下开发设备驱动程序的通用方法。     

嵌入式多媒体应用的通用文件系统的分析和设计

随着嵌入式多媒体技术的日趋发展,越来越多的多媒体娱乐设施已经用于家用起居和娱乐场所.文中旨在提出和构建一个通用的、移植性强的、针对嵌入式系统上多媒体应用的文件系统来管理多媒体数据,提高数据的存取效率和存储设备的空间利用率,从而获得良好的视听效果.通过分析FAT文件系统的性能,以及比较在PC机和嵌入式系统上应用的优缺点,并结合多媒体数据本身的特殊性以及嵌入式的具体应用环境,对其进行改进,以实现优越的性能来适应嵌入式多媒体的应用.     

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

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

提高工作电压实现变压器绕组直流电阻的快速测量

通过分析变压器绕组直流电阻测量的暂态过程特性、铁心磁滞现象以及剩磁对测量过程的影响,提出提高工作电压实现变压器绕组直流电阻快速测量的方法。现场实例验证该方法可以有效地消除剩磁的不利影响,并能快速准确得到绕组直流电阻的测试结果。     

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

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