基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

智能机理与软计算

随着计算机科学技术,特别是人工智能及其它相关学科的发展,关于人脑智能机理的研究引起越来越多的注意。与此同时、出现了关于软计算的研究.旨在研制出高机器智商系统(High Maehine Intelli-gene。Qt,,:sen:、产tom)[,〕。本文将初步探索智能机理与软计算两者间的关系以及把它们结合起来解决问题的可能性和途径。     

带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

中国古典园林三维造型研究

论述了采用层次结构化及参数化三维造型方法，建立一个以造型函数库为核心，从而构造各类、各级园林景观构件表面模型的方法和过程。对于某些非建筑类的园林配景构件，采用了Ｆｒａｃｔａｌ方法进行造型。     

一个计算机动画转头模型

本文提出一个用于计算机动画的转头模型。它利用头部的正面和侧面形象来构造出头的三维结构形象，然后按指定的旋转轴旋转该结构，经过边缘轮廓提取及隐线消除，最终得到正确的转头过程序列画面。     

程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

一个面向CAD／CAM的演绎数据库管理系统

演绎数据库管理系统ＤＥＤＢＭＳ是工程数据库管理系统ＥＤＢＭＳ／２中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。ＤＥＤＢＭＳ系统的开发，使ＥＤＢＭＳ／２不仅具有工程数据据管理功能，而且具有数据演绎和知识处理能力，从而成为ＣＡＤ／ＣＡＭ系统集成化和智能化的有力支撑工具。     

一种自动布线方法：多级线探索法

本文介绍了一种在微机上实现的印制板自动布线方法──多级线探索法及其编程方法。这种方法是基于完备布线算法的概念，通过分析李氏算法和传统线探索法的不足之处而得到的。虽然它也是一种线探索法，但有较传统线探索法更强的探索能力，不需要结合李氏算法而能单独完成布线任务，是一种较理想的算法，通过实验获得了较为满意的效果。     

利用TM资料测量毛乌素沙地面积的方法和结果

利用1:25万陆地卫星TM资料和地形图，在GIS支持下，建立毛乌素沙地图形数据库，对毛乌素沙地目前流沙分布的范围进行了调查研究。重.资、介绍了利用陆地卫星TM资料对毛乌素沙地的面积进行测童计算的技术和方法，给出了最新测贡得到的毛乌素沙地全区总面积和分布于各旗县的沙地面积数据。     

心电地图仪中工频干扰的一种滤除方法

在心电地图仪中记录到的体表心电信号往往由于电磁的影响而引进工频干扰．基于体表心电信号中工频干扰的特点，作者提出了一种滤除工频干扰的方法，即就单独—胸导联信号通过提高频谱的分辨率来估计工频干扰的频率；基于最小均方误差准则来估计各导联信号中工频干扰的幅度和相位。文中还给出了该算法的流程图和滤波性能分析。模拟结果表明了该算法的有效性。应用该算法对心电地图仪中的工频干扰进行对消，取得了满意的结果。