面向通信协议故障的分布式软件可靠性测试技术研究

分析了分布式软件系统中的典型通信协议故障,研究了基于API Hook的分布式软件可靠性测试方法,提出了基于通信协议故障注入的应用软件可靠性测试方法,并设计、实现了工具原型,为基于故障注入的分布式软件可靠性测试提供了技术手段.     

KNX/EIB通信协议的实时性分析与改进

KNX/EIB通信协议在其链路层使用CSMA/CA机制解决通信冲突问题,虽然提高了KNX/EIB网络防冲突能力,却造成同等级命令帧数据传输时延抖动非常大,传输实时性大打折扣。提出对KNX/EIB实时性的改进方法KNX/EIB-A,在不改变原有的通信协议栈的基础上,将一个调度程序应用于KNX/EIB通信协议的应用层与用户应用程序之间;将原有的分布式平等结构划分为分级主从结构,对数据命令帧的发送进行调度。最后通过对KNX/EIB-A进行分析及原型实现,证明了该方法通过有效地减轻传输时延的抖动从而改进了协议的实时性。     

基于智能多代理的工作流资源分配

提出了一种基于智能多代理实现分布式工作流资源分配的方法。该方法采用KQML语言来设计资源分配代理和工作流引擎之间面向知识交换的通信协议,并且由Router提供消息存储和转发机制。工作流资源分配代理与工作流管理系统的其他代理程序通过KQML消息交流知识,从而达到在分布式、异构环境下的互操作。     

计算机体系结构的发展与分布式并行程序设计语音OCCAM

本文主要概述了计算机体系结构的发展趋势以及相应的程序设计语言必然向分布式并行语言方向发展。文章中归纳了分布式程序设计语言研制的两种途径,重点介绍了一种新型的分布式并行程序设计语言——OCCAM。OCCAM既是一种分布式多机并行系统设计的系统程序设计语言,又是一种面向应用和教学的并行程序设计语言。它适合于科学计算,数字处理,实时系统的程序设计。最后,文章给出了在IBM——PC机上,UCSD——P系统支持下的并行算法及其结构的OCCAM模拟程序。     

分布式网络自动控制系统的实现方法及其应用

本文设计了一个基于工业485网络的分布式自动控制系统模型以及用Delphi语言为这个模型开发的串口通信程序,并结合我们为武汉市某排水泵站开发的监控系统的实例,详尽地介绍了该模型的设计方法及其具体的应用。     

分布式网络自动控制系统的实现方法及其应用

本文设计了一个基于工业485网络的分布式自动控制系统模型以及用Delphi语言为这个模型开发的串口通信程序,并结合我们为武汉市某排水泵站开发的监控系统的实例,详尽地介绍了该模型的设计方法及其具体的应用。     

CAN总线及其分布式控制系统的通信软件的设计

CAN是控制器局域网的简称 ,本文在实验的基础上 ,介绍了CAN总线通信协议、基于CAN总线分布式控制系统的工作原理以及由C语言编辑的基本的通信软件。     

基于XML的WebGIS通信协议的设计与实现

针对WebGIS通信中面向复杂对象及大容量传输的特点,给出了一个新的基于XML的WebGIS通信协议的设计和实现方法.使用UML工具以面向对象的方法细致分析了WebGIS典型的请求和响应协议,并据此详细说明了使用W3C的xML Schema规范设计WebGIS的通信协议的基本方法.最后结合一个WebGIS应用原型,给出了在WebGIS系统中通过对基于xML的通信协议的打包和解析,完成嵌入的主要流程.该通信协议能够适用于分布式异构平台下多种WebGIS系统架构的空间信息交换.     

主/从分布式系统多机通信程序的状态机模型

在约定通信协议的情况下,本文给出主／从分布式多机通信系统程序的状态机模型,分析表征状态机的5个参量的求解方法,讨论源代码实现的基本框架结构。     

分布式C语言的实现

计算机微处理器技术与通信技术的发展推动了分布式系统的研究.在分布式计算机语言方面,人们已作了大量的研究工作,并推出了各种分布式程序设计语言.本文提出并在SUN4工作站上实现了基于PVM的分布式程序设计语言—ConC.     

DM:一个分布式程序设计语言

分布式程序设计语言是计算机研究领域中的一个重要研究课题。目前,该课题的研究还处于探索阶段。本文介绍了分布式程序设计语言DM中并行机制的设计思想,主要内容,构成特点以及它在分布计算机系统THUDS上的实现方法,并对其进行了分析与简单评价。     

一种在开发时实现分布式仿真系统通信协议的异构方案

分布式仿真系统通信协议的异构是解决不同协议下仿真资源重用的关键,也是近几年仿真领域研究的热点之一.设计了一种在仿真系统开发阶段实现通信协议异构的方案,该方案的重点是实现一个与通信协议无关的开发包,从实例连接、对象管理、事件管理和公共接口四个方面讨论了该开发包的基本原型.对比运行时的异构方案,分析了该方案的特点,指出开发...     

基于面向对象的分布式程序设计语言NC＋＋的测试系统

本文介绍了一个面向分布式语言ＮＣ＋＋的测试系统原型ＰＳＥＴ。该系统由两部分组成：静态测试部分ＰＳ用于分析和显示程序的静态控制流程；动态测试部分ＥＴ用于显示程序执行过程中所产生的各类事件，从中分析各进程间的调用关系。     

一种包含Transputer的异构型分布式并行计算系统的架构

本文针对ＰＶＭ不支持Ｔｒａｎｓｐｕｔｅｒ的不足，介绍了基于ＴＣＰ／ＩＰ的Ｔｒａｎｓｐｕｔｅｒ异构型分布式并行计算系统（Ｔ－ＤＰＣＳ）的软硬件架构。从通信协议的选择、Ｔｒａｎｓｐｕｔｅｒ共享支持软件、分布式协同软件架构和通信函数库的实现等４个方面详细地阐述了实现ＴＤＰＣＳ的方案，并进行了原型实现。     

基于时间触发总线的发动机分布式控制系统原型设计

分布式控制具有重量轻、模块化程度高和可靠性高等特点,是未来航空发动机电子控制系统的发展方向之一。基于时间触发总线TTP/C构建了分布式控制原型系统,根据发动机控制需求将系统划分为监控节点和智能节点的架构,制定了集群级和节点级的TTP/C通信协议。基于Simulink模型设计了智能节点应用软件,基于VxWorks设计了监控节点应用软件。经过系统试验,表明基于TTP/C通信总线的分布式原型系统能够满足发动机分布式控制通信要求,具有实时性好、可靠性高的特点。     

分布式程序设计语言概述

分布式程序设计语言是分布式计算机系统的一个主要工具。本文讨论模块化、通信机制、并行性和非确定性选择机制的分布式程序设计语言。最后,提出一些值得注意的问題。     

Ethernet网络层、传输层通信协议的设计与实现

本文主要叙述了我们所提出的建立在Ethernet数据链路层基础之上的网络层和传输层通信协议。由于程序设计语言“C”具有字位处理、循环移位等功能,它对于书写网络协议处理程序非常方便,我们用“C”语言编写了协议处理程序,并在UNIX操作系统环境下实现了所提出的协议。 该协议具有通用性好,便于实现和扩充,并具有便于移植的特点。附录中提供了全部子程序的名称和框图。     

云计算环境下异构数据库整合技术的研究与实现

该文提出一种通过利用云资源、分布式部署实体数据库代理服务端Agent、异构数据库服务端Server和服务网站等模块,构建一个异构数据库整合的多线程原型系统的方法。系统中Agent实现对实体数据库进行第一层虚拟和执行SQL请求;Server解析自定义查询语言和整合Agent返回结果;服务网站则提供基本的注册、申请和下载服务;原型系统各模块间通过套接字进行网络通信,通信内容为XML格式,外部可以通过自定义的查询语言访问原型系统。通过实现这套分布式的原型系统,达到高效整合异构数据库的目的。     

分布式计算机系统和它的未来

本文就分布式操作系统、分布式程序设计语言、分布式数据库和分布式算法等对分布式计算机系统作了精练介绍,同时指出了分布式计算机系统前景和发展方向.     

断言语言支持自定义谓词的程序验证器原型

基于逻辑推理的方法进行程序验证是形式化程序验证的研究热点.目前的自动验证工具为了保证自动性,对描述程序性质的断言语言都有较多限制,导致程序的某些递归性质难以用断言语言表述.本文在一个面向指针程序、基于先前自行设计的形状图逻辑、依赖于自动定理证明工具Z3的自动程序验证原型系统上,通过在断言语言中引入自定义谓词来增强断言语言的表达能力,使得该原型系统不仅能自动验证含操作易变数据结构的程序的性质,也能自动验证一些不含指针的程序的性质.