局部区域网络和办公自动化

本文介绍了局域网的定义、分类、用途及其产品特点,同时还对局域网的发展趋向作了论述。由于办公自动化是局域网的一个主要应用领域,且它的发展极为迅速,故本文还介绍了国外办公自动化的动向及其存在的问题,并对实现我国办公自动化提出了设想。     

基于函数逼近的学习式搜索

本文将函数逼近的方法引入到学习式搜索中,使学习式搜索通过一定数量的解题训练后 可以建立起一个任意一致逼近理想函数h*(·)的启发估计函数h(·).本文给出了一个这 样的学习式搜索算法A-Bn,并证明了当训练例子集充分大后,A-Bn可在多项式复杂度内 解决任一后来提交的同类问题.     

一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

分布式多媒体系统服务质量管理实现支持机制

近年来，分布式多媒体系统中的服务质量QoS(quality of service)管理及其实现支持机制取得了很大进展.本文从接纳控制与资源预约、基于速率的流控、差错控制、调度与同步几个方面出发，讨论QoS管理实现支持机制，并展望今后的研究工作.     

工程图纸分析及其与AUTOCAD接口的实现

本文在分析图纸处理与分析算法理论研究的软件系统开发的基础上，结合统计回归分析等方法，提出并实现了关于工程图纸的基于广义分层Ｈｏｕｇｈ变换的分块矢量化算法，构造了与ＡＵＴＯＣＡＤ的接口，开发了ＤＩＶＥＳ１．２系统，实现了数字图象的向ＡＵＴＯＣＡＤ系统的自动输入．     

一个实验性局部地区微计算机网络

东北工学院实验性微计算机网络是将实验室中原有的几台同机种微型机联成网络。该网络是环形结构,以单板机作为通信子网的通信接口机。通信物理介质采用双绞线,并用令牌(Token)传递方式来管理公用通信介质上的信息送取,以免发生碰撞。目前,在环路上挂     

协议自动验证的可靠策略

本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS.     

信息技术九十年代展望

随着信息技术应用越来越普及,其重要性已逐渐被人们所重视,信息技术将地90年代的明星技术。本文就信息技术发展的三维空间来展示一下90年代世界主要信息技术应用与发展。从信息技术未来发展趋势,可以看到我国在信息技术的差距,这样对我国在信息技术发展将起到更大促进作用。