清华大学出版社最新图书

《逻辑程序语言及其实现技术》 本书详细论述了逻辑程序设计语言的实现技术和面向逻辑程序设计语言的体系结构。其主要内容包括:逻辑程序理论基础,Prolog语言简介,WAN编译技术,WAM的扩充和优化,顺序推理机体系结构,逻辑程序并行处理方法和模型,抽象解释技术,并行逻辑程序设计语言及其实现技术、并行推理机体系结构等。     

C语言程序设计语法知识体系结构总结

本文就C语言程序设计知识体系结构进行深入的分析与归纳,提出C语言程序设计的语法方面的知识体系结构。首先,讨论知识体系结构中各概念的定义;其次,分别给出C语言的语法知识体系和程序设计的语法知识体系。为设计C语言程序设计题库提供理论基础。     

软件体系结构讲座：（八）体系结构设计工具

本讲介绍几个软件体系结构设计的工具系统,它们是:UniCon(一个体系结构描述的语言和工具集),Ae-sop(一个构造特殊风格的体系结构设计环境)和WRIGHT(一个支持体系结构规格说明的语言)。     

功耗-体系结构描述语言XP-ADL及其设计环境

降低计算机系统的功耗日益成为系统设计中的重要目标，可配置VLIW体系结构在低功耗系统设计中具有显著的优势．本文提出一种功耗一体系结构描述语言XP-ADL，并介绍了基于该语言的体系结构设计环境．XP-ADL语言将系统中各功能部件的结构表示和它们的执行(功能)语义分离开来，方便了可配置的VLIW体系结构的描述．同时，为了便于在功耗模型下进行体系结构空间探索，XP-ADL允许在设计环境中包含各类功耗模型和功耗约束．     

基于CORBA的网管系统的设计与实现

讨论了基于CORBA的计算机网络管理系统的常用实现方式，介绍了利用Java语言开发的基于CORBA的网管系统的设计思路，体系结构和实现技术。     

面向微处理器验证的约束描述语言及其编译器

该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。     

AADL模型的代码自动生成及集成技术

体系结构分析设计语言（AADL）是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。     

从抽象ENGINE到KLND-ENGINE

本文给出了并行推理系统NDPIS基语言的抽象执行模型。从抽象模型到具体机器的映射入手,设计了NDPIS的并行推理机KLND-ENGINE,体现了面向语言设计体系结构的一般性方法和途径。     

Lilith:软件工程师用的个人计算机

个人工作站具有比通过终端访问的大型、集中式计算装置更显著的优点。这些优点中包括可用性、可靠性、操作简单和适用于广泛的用户。现代技术使得能以合理的代价为高级语言程序设计制造具有高超的计算能力的系统。在联邦工学院情报研究所,我们已经设计和制造了这种适合于Modula-2语言的个人计算机。本文是有关这项工程的一篇报告,重点在于语言设计,编译程序和单用户操作系统的研制,适合于编译且产生高密度代码的体系结构以及硬件的构造和研制。20台Lilith计算机当前正在ETH使用。主要论点是软件工程的需要影响了语言设计,而语言的功能又受计算机体系结构和硬件的影响。模块结构用于说明这个论点。硬件应当根据程序设计语言来设计,这种观点尤其与超大规模集成电路技术的发展倾向一致。     

"C程序设计语言"智能辅导系统原型的设计与开发

“C语言智能辅导系统”是为大学计算机专业学生设计的，整个系统基于“问题解决”的学习模式，应用了先进的人工智能(Artifical Intelligent简称AI)技术，采用基于Web的分布式体系结构，用户界面最优化设计，从而为学生提供了理想的智能学习环境。     

人工智能在智能教学系统中的应用

智能教学系统(ITS)是人工智能与教育结合的主要形式。本文在总结国际上相关研究成果的基础上，结合我们在开发智能多媒体汉德语言教学系统《二十一世纪汉语》的过程中累积的实践经验，介绍了ITS的历史、结构和主要技术，着重讨论了人工智能技术与方法在其中的应用，并指出了当今这个领域上存在的一些问题，在文章最后，提出了今后研究工作的努力方向。     

High-Level Computer Architecture

Associated with each programming language is a computer architecture that executes programs in that language. If the language is a low-level instruction set, the associated computer architecture is a low-level von Neumann architecture; if the language is high-level, the associated architecture is high-level. The internal structure of a high-level architecture reflects the constructs of the high-level language. The articles in this special issue deal with high-level computer architecture.     

REDSIEX: A Cooperative Network of Expert Systems with Blackboard Architectures

The blackboard architecture, originally developed for the system that permits the comprehension of language, HEARSAY II, has later been used in a great variety of domains and in various environments for the construction of systems. From the classic architecture of HEARSAY II, many applications, generalizations, extensions and refinements have been developed. In this paper we present REDSIEX, (RED de SIstemas EXpertos) which is a network of expert systems within a blackboard architecture, for the cooperation solution of distributed problems. The REDSIEX system inherits various of the elements defined by the architecture of HEARSAY II and incorporates new components and organization. These produce a very characteristic and exclusive global work style in the solution of problems, within a conceptual framework of emergent control. The main structural and functional characteristics of REDSIEX are discussed.     

Framework of knowledge-based systems : Multiple meta-level architecture for representing problems and problem-solving processes

Currently available expert systems have a performance limit because of the lack of capability to describe problems and problem-solving methods. It is closely related with knowledge representation language, but this is not the only concern with this issue. Real world problems and problem-solving methods are not so simple as to be represented always in the same way by the same language. Their representations must be different depending on various factors involved in the problems themselves and the situations these problems are surrounded with. In this paper, the author discusses first the intrinsic nature of problem representation and problem-solving process representation. The requirements for and the conceptual framework of a knowledge-based system that is suited for dealing with various problems then become apparent quite naturally. The author asserts that a multiple meta-level architecture is necessary as well as a knowledge-representation language that can describe complex data structures as the basic framework of knowledge-based systems.     

SEIS++:一个油气勘探领域软件建造和集成的模式语言

工业化的软件复用从通用类库进化到了面向领域的应用框架和设计模式,与框架相比,设计模式更集中于软件体系结构中重复出现的设计韵律,它主要由可复用的抽象设计结构组成,特定领域内一组相关的设计模式构成了该领域的模式语言,它们可在领域内重复使用以完成某类特定系统的体系结构设计。     

中国手语信息处理述评

为了能够有效地对中国手语进行信息处理,需要针对中国手语的特性提出相应的信息处理方案。该文根据国内外的研究进展情况,从基于规则和基于语料库的角度,讨论了中国手语信息处理过程中遇到的有关问题,并提出可借鉴的中国手语信息处理技术,同时从中国手语自身的词法、句法出发,参考国外手语语言学的最新研究成果,讨论了中国手语信息处理中有关信息表征、理解、生成等问题。最后指出未来手语的信息处理将会更多地建立在跨学科、多模式的基础之上 ,该项研究将有力地促进信息无障碍技术的发展。
     

自然语言处理中的模型

本文简单介绍了自然语言处理发展的现状,讨论了自然语言处理模型,将其分为三大类：分析模型、统计模型及混合模型。具体介绍了分析模型原理及存在的问题,重点讨论了各种统计模型的特点及局限性,最后简单介绍了混合模型,并指出目前自然语言处理技术中存在的问题。     

DOOM: A Decentralized Object-Oriented Machine

Research into the potentials and problems of parallelism led to a new programming language and supportive parallel operating system and architecture. Studies continue on a 100-node prototype.     

基于模型驱动的软件体系结构

介绍了一种基于模型驱动的软件体系结构。该体系结构将与实现技术无关的功能模型及基于某一特定技术的实现模型分离 ,通过不同模型之间的变换 ,使系统能适应技术的进步 ,解决系统在不同中间件平台上的集成、互操作性、可移植性等问题。此外 ,也讨论了这种体系结构的优缺点及今后需要解决的问题。     

复杂嵌入式实时系统体系结构设计与分析语言:AADL

首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.