检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一个分布式微型计算机系统

计算机学报 1984年第2期 81-88页

作者：孙钟秀杨培根李西宁张渡金志权南京大学

本文概述了我们研制的一个分布式微型计算机系统:ZCZ系统。文章主要介绍了ZCZ系统的功能、使用以及它的实现。

关键词：功能资源信件微型计算机个人电脑电子数字计算机磁盘文件分布式程序设计打印机打印设备计算机学报

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

B/S模式中的远程调用

电脑编程技巧与维护 2008年第3期 41-49,64页

作者：戚利宁夏西吉天坪中学

基于B/S设计模式,构建了远程方法调用的程序设计框架,以使编程人员能够集中精力进行商业业务逻辑的设计。整个框架的构造围绕同一个例子展开,代码具有良好的可读性,框架设计过程中用到了诸如Socket、串行化、数据流包装、编发、通信协议... 详细信息

基于B/S设计模式,构建了远程方法调用的程序设计框架,以使编程人员能够集中精力进行商业业务逻辑的设计。整个框架的构造围绕同一个例子展开,代码具有良好的可读性,框架设计过程中用到了诸如Socket、串行化、数据流包装、编发、通信协议、HTTP隧道、SESSION管理、证书签名与认证等许多Java高级知识。

关键词：分布式程序设计远程方法调用 B/S模式编发

在线全文

学校读者我要写书评

暂无评论

通信的顺序进程及其研究

计算机学报 1983年第1期 1-9页

作者：周巢尘中国科学院计算技术研究所

通信的顺序进程(Communicating Sequential Processes)是***教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用... 详细信息

通信的顺序进程(Communicating Sequential Processes)是***教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。

关键词：进程 CSP 向量方程定义非确定性分布式程序设计语义学程序设计语言表达式数据类型并行操作联机操作顺序程序设计分布式系统

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

WebGIS动态匹配相关问题的研究与实现

上海第二工业大学学报 2005年第2期22卷 8-13页

作者：王安保朱彬上海第二工业大学计算机与信息学院上海201209

针对WebGIS在税务系统应用中遇到的对地图数据要求动态更新和动态匹配的问题进行了分析和研究,给出动态匹配的方法和实现,结合并行计算相关理论,证明了对纳税户到街道的动态匹配过程进行分布式程序设计的可行性,应用分布式程序设计解决... 详细信息

针对WebGIS在税务系统应用中遇到的对地图数据要求动态更新和动态匹配的问题进行了分析和研究,给出动态匹配的方法和实现,结合并行计算相关理论,证明了对纳税户到街道的动态匹配过程进行分布式程序设计的可行性,应用分布式程序设计解决了匹配过程中的速度问题。

关键词： WebGIS 动态匹配并行计算分布式程序设计

在线全文

学校读者我要写书评

暂无评论

客体分布式操作系统的内核设计

计算机研究与发展 1988年第4期 30-36页

作者：陈良宽姜元大华东工学院华东工学院 (南京)

现行PC网具有天然的分布式处理能力,但缺乏处理较大型任务的能力,在此系统上开发一体化的操作系统可解决这个问题。本文以3Comethernet这一以太类网为例,阐明了设计这个一体化操作系统内核的策略,分析了实现一个可靠的、安全的内核所必... 详细信息

现行PC网具有天然的分布式处理能力,但缺乏处理较大型任务的能力,在此系统上开发一体化的操作系统可解决这个问题。本文以3Comethernet这一以太类网为例,阐明了设计这个一体化操作系统内核的策略,分析了实现一个可靠的、安全的内核所必须提供的功能及制约因素,给出了这一内核的完整设计并进行了正确性、有效性论证。

关键词：内核设计操作系统计算机计算机系统远程过程调用分布式系统文件名结点间功能调用分布式程序设计原语

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

C/S模式中的远程方法调用

电脑编程技巧与维护 2008年第2期 39-49页

作者：戚利宁夏西吉天坪中学

基于C/S设计模式,构建了远程方法调用的程序设计框架,以使编程人员能够集中精力进行商业业务逻辑的设计。整个框架的构造围绕同一个例子展开,代码具有良好的可读性,框架设计过程中用到了诸如Socket、线程、串行化、数据流包装、编发、... 详细信息

基于C/S设计模式,构建了远程方法调用的程序设计框架,以使编程人员能够集中精力进行商业业务逻辑的设计。整个框架的构造围绕同一个例子展开,代码具有良好的可读性,框架设计过程中用到了诸如Socket、线程、串行化、数据流包装、编发、通信协议、证书签名与认证等许多Java高级知识。

关键词：分布式程序设计远程方法调用 C/S模式编发

计算机科学与技术专业相关课程教学改革与实践研究

在线全文

学校读者我要写书评

暂无评论

黑龙江教育（高教研究与评估） 2008年第4期 43-45页

作者：岳冰黑龙江大学黑龙江哈尔滨150080

本文探讨了面向计算机科学与技术专业本科生的分布式程序设计课程的教学思路、教学内容、教学次序与学时安排,确立了.NET Remoting和Web Service相结合的教学思路,建议将分布式对象技术和基于组件的软件开发方法作为分布式程序设计课程... 详细信息

本文探讨了面向计算机科学与技术专业本科生的分布式程序设计课程的教学思路、教学内容、教学次序与学时安排,确立了.NET Remoting和Web Service相结合的教学思路,建议将分布式对象技术和基于组件的软件开发方法作为分布式程序设计课程的核心教学内容,并介绍了该课程实践环节的实验环境选择与实验项目设计。

关键词：分布式程序设计教学改革:实践环节分布式对象组件模型