导读:本文包含了服务器交互模式论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:类型,服务器,客户机,进程,协议,理论,模式。
服务器交互模式论文文献综述
杨振国[1]（2013）在《客户机—服务器交互模式类型系统的演进特性研究》一文中研究指出随着计算机网络及通信技术的发展,以分布性、并发性、异构性和互操作性等为主要特征的并发分布式计算已成为计算机研究中的主流方向。确保并行分布式系统进行安全交互的结构化通信,是并发分布式计算理论和实践的中心问题。基于Pi-演算的会话类型理论为结构化通信提供了理论基础,是结构化交互和解释通信行为的一种有效的形式化方法。在分布式计算场景中,存在大量通过消息传递进行通信的程序,会话类型理论能够验证传递消息的结构和序列,并分析其与协议描述是否一致。以会话类型理论为基础的类型系统,是研究如何将编程语言中的数值和表达式归为类型,以及类型之间互相作用的形式化方法。类型系统能够分析和禁止程序中非正常的行为,避免发生运行时错误,确保语言的安全性。会话类型理论及类型系统,是以通信为中心的分布式程序设计研究的关键问题。本文的工作主要围绕有界多态的类型系统中,描述无限次重复行为、同步和异步通信中保持演进特性,以及异步交互序列的局部优化等问题而展开,其主要研究内容及贡献如下：(1)研究了会话类型和Pi-演算的当前工作以及已有的类型系统,提出带有递归类型的有界多态类型系统。递归会话类型允许协议描述不定次数的重复行为,在客户机-服务器交互模式中,服务器端进程不仅能提供一次服务,而且能提供任意次数的服务,提高了系统的灵活性。同时,结合会话类型子类型,定义了松弛对偶关系,该关系不仅使得通信两端交互的类型更加灵活,而且有助于定义类型一致性则和研究演进特性。此外,递归会话类型本身是会话类型的一种,因此定义了递归会话类型的子类型及其松弛的对偶关系。(2)研究了演进特性分别在同步和异步通信中的保持,并证明了系统可靠性和通信安全性。通道类型被区分为共享通道和活动通道,并分析了在同步和异步环境下,以及在不同类型通道中,可能产生死锁的情形。进一步地,分析了产生死锁的原因并给出了解除死锁的方法,结合松弛的对偶关系定义了类型一致性法则等法则,确保类型系统保持演进特性。此外,证明类型系统保持主题归约理论、类型安全理论和演进特性等,确保了系统可靠性和通信安全性。(3)特别地,对于部分可交换的异步二元会话及多元会话,通过引入异步通信子类型,使每一位参与者上的动作序列可以进行排列和局部优化,提高通信效率的同时,有效地解除了通信过程中发生的死锁。此外,消息类型被区分成依赖和非依赖的类型,并分别定义了动作异步子类型指派规则。同时,由于异步动作排列和优化将改变接收和发送消息的序列和结构,为了确保通信安全性,本文通过具体例子揭示了其中产生死锁的情形,并保持了演进特性。此外,为了使动作排列自动化,结合会话类型的子类型和异步通信子类型两个概念,呈现了的算法化的异步子类型。(本文来源于《浙江师范大学》期刊2013-03-29）
张学平,单洪,邵军力[2]（1997）在《DIS-PM:基于客户机/服务器模式的分布式交互仿真原型系统》一文中研究指出文中讨论了以军事训练为目的的分布式交互仿真（ＤＩＳ）技术，分析了ＤＩＳ设计需考虑的主要问题，包括一致通信环境、仿真开发客户机／服务器环境．并给出一ＤＩＳ原型系统的结构、功能与性能分析．(本文来源于《计算机研究与发展》期刊1997年S1期）
服务器交互模式论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
文中讨论了以军事训练为目的的分布式交互仿真（ＤＩＳ）技术，分析了ＤＩＳ设计需考虑的主要问题，包括一致通信环境、仿真开发客户机／服务器环境．并给出一ＤＩＳ原型系统的结构、功能与性能分析．
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
服务器交互模式论文参考文献
[1].杨振国.客户机—服务器交互模式类型系统的演进特性研究[D].浙江师范大学.2013
[2].张学平,单洪,邵军力.DIS-PM:基于客户机/服务器模式的分布式交互仿真原型系统[J].计算机研究与发展.1997