具有计算可靠性的符号模型

MW方法仅考虑使用公钥加密原语,不包含{{mk}k类型消息的双方协议。针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。     

交互计算模型概述

由于计算机技术的发展日新月异，以算法为核心，以图灵机和Church论题等为理论依据的计算模型已无力继续成为今天计算科学的理论范式，介绍了一个崭新的计算模型－－交互计算模型的基本思想，它是对算法的扩展，并比算法具有更强的描述能力，一系列基本概念被扩展到交互。     

普及计算及其应用模型

1.普及计算的基本概念 1.什么是普及计算? 我们当前所处的时代是计算机技术仍然复杂到让大部分人们难以学习的地步的时代。虽然目前计算机已经进入了许多人的家庭,但是真正能够发挥计算机全部能力的用户是很少的。计算机业界有许多的技术和专有名词,而且它们还随着时间的流逝不断发展变化。再者,过去所有的传统思路都是以计算机为中心,当计算机系统发生变化时,人们的思想也必须     

计算理论中的重大难题—P=？NP

计算理论研究各种计算模型、可计算性和计算的复杂性等计算的固有性质,是计算机科学理论研究的核心。可计算理论研究的基本问题是,什么是计算,什么是可计算和不可计算,它可以使我们精确地区分有算法的问题和没有算法的问题,从而可以在抽象意义上回答计算机究竟能干什么,不能干什么的问题。计算复杂性理论研究在可利用的空间和时     

一种新的语言信息计算模型

语言的可计算性问题是理论计算机科学的一个基本问题，字母文字信息的计算模型已经有数十年的历史，而适合汉语信息的计算模型尚未见到．中文信息处理与信息安全的研究迫切需要有适合汉语信息的数学计算模型，提出了两个新的字符串计算模型．在模型1的基础上定义了几个函数运算．利用这两个模型可以将任何汉语信息的处理转换为相应的数值进行处理，对汉语信息处理、汉语程序设计理论的建立和信息安全的研究具有一定的实际意义。     

有序环（域）下的程序计算与BSS机器计算

１９８９年Ｂｌｕｍ，Ｓｈｂｕ与Ｓｍａｌｅ提出了在实数域上的一个计算模型，ＢＳＳ机器计算模型主要是基于有赂图的，它很直观但没有形式化，不方便使用经典的离散计算理论中的许多成熟的工具，本文从程序设计系统出发，提出一种在任意有序与的自然的程序设计设计语言，严格定义了它的语法与语义，研究了它与     

网络应用计算模型的演变与发展

自计算机诞生以来，伴随着计算机的发展网络应用计算模型经历了单主机计算，客户/服务器计算和网络计算三种模型的演变，正在向网络计算模型发展，本文分析阐述了各种计算模型的演变过程，并重点讨论了网络计算的概念、特征、体系结构、计算模型和应用前景。     

浅析DNA计算及其发展状况

近年来,基于生化反应机理的DNA计算模型受到科学领域内许多不同学科领域学者们的关注。DNA计算已经形成国际科学前沿领域内研究的一个新的热点。该文主要讨论了DNA计算的原理,综述了DNA计算的特点、DNA计算模型,并指出了DNA计算研究中存在的问题,最后就DNA计算的发展前景进行了展望。     

计算理论研究的核心问题与方向

论述了计算理论的发展历史 ,核心研究工作 (包括计算模型、算法设计和分析 ) ,最近取得的新成果 ,一些尚未解决的问题及其发展趋势。     

配电网线损理论计算系统计算模型

讨论了10kV电网和380V电网线损理论计算模型,电力网网损管理及理论计算分析系统开发及工程应用实践表明了所述方法的正确性和有效性.     

一种云环境下的绿色计算模型

随着全球计算机数量的快速增长,由此引起的碳排放带来的温室效应已经越来越受到国际关注.绿色节能的研究已经变得越来越重要.提出一种云环境下的绿色计算模型.该模型从程序设计语言、绿色数据中心框架构建、绿色分布式文件系统策略的角度详细做了研究.针对互联网应用的主要特点,详细分析了该模型的主要特征及其设计理念和方法.基于该模型,将为有效的绿色节能带来新的设计思路和方法,为以后绿色节能的研究提供基础.     

一个基于服务的网格计算模型

文中提出一个基于服务的网格计算模型，该模型强调了一个网格就是一个特殊的计算系统。通过这个模型与传统计算系统模型的比较，分析了它们的相似点和不同点，这对于网格的研究是很重要的。文中所提出的模型对网格计算的研究也是非常有用的。它不仅为开发一个网格系统提供了一定的帮助，而且为网格理论上的研究提供了一个框架。     

一个基于服务的网格计算模型

文中提出一个基于服务的网格计算模型,该模型强调了一个网格就是一个特殊的计算系统。通过这个模型与传统计算系统模型的比较,分析了它们的相似点和不同点,这对于网格的研究是很重要的。文中所提出的模型对网格计算的研究也是非常有用的。它不仅为开发一个网格系统提供了一定的帮助,而且为网格理论上的研究提供了一个框架。     

基于移动代理网格计算的资源管理模型研究

为了研究基于移动代理的网格计算资源管理模型，介绍了网格计算环境和其体系结构应有的特征，并分析了基于其上的应用层模型应有的特征；根据各种不同的资源管理策略，研究了各种策略的优点和不足，并提出了各种改进方法；同时，提出了将移动代理引入网格计算中以解决资源管理、作业调度等问题的思想。     

面向对象的计算模型：从顺序到并发

面向对象的计算模型是封装，数据抽象和信息隐藏等重要思想的集中体现。对象模型提供了描述复杂问题的有效方法，也便于自然地开发计算中的并发性。本文首先讨论顺序对象模型，然后讨论如何建立并发对象模型，最后介绍基于对象模型的信息共享机制。