计算思维特征探析

以计算发展过程为切入点剖析计算思维,指出在计算思维中,计算的本质是抽象的自动运行;探析计算思维作为一种思维方式具备的6个主要特征——抽象性、构造性、数字化、系统化、网络化和虚拟化,以期为计算思维能力的培养提供理论基础。     

深度计算、广度计算与信息网络

计算技术一直在向深度和广度进军,因此可以把计算技术的发展过程与趋势用“深度计算”和“广度计算”高度概括。从计算技术与通信技术结合的角度来看,网络一直在向“信息传输”与“信息处理”紧密结合的方向发展,即向信息网络方向发展。     

仿生自然计算研究综述

介绍了仿生自然计算这一新兴交叉学科的含义及研究范围,讨论了仿生计算与其它自然计算分枝的关系。将几种常见种仿生自然计算模型,按照人类社会、生物群体、个体、组织器官、细胞、分子等不同的层次进行了分类综述,并介绍了各种算法的最新研究进展。     

普适计算体系结构的研究

普适计算使人在信息空间与物理空间相融合的环境下，利用任意设备，通过任意网络，在任意时间透明地获得一定质量的网络服务，根据目前国际上普适计算研究的现状和发展趋势，提出了一个普适计算体系结构的参考模型，并简要讨论了该参考模型的四个关键研究内容一移动计算、互操作计算、情感计算和上下文感知计算．     

极限数值演示

介绍了VB编写程序演示limn→∞（1＋1/n）^n的数值变化过程,分析了理论计算与实际计算的差异,并提出了解决方法;比较完整地反映了数学建模、修改模型、编制算法、优化算法的过程。     

绿色计算的重定义与若干探讨

计算机系统的环境可分为人文环境和自然环境两个部分.随着全球计算机系统大量而广泛的使用,对环境日益产生了一些负面影响.绿色计算(green computing)是一种以环境为中心的计算模式,通过努力消除计算机系统的环境不友好方面,使得计算机系统、人、社会与自然环境更加和谐,实现节能、环保和节约的目标.通过与绿色化学的比较研究,作者采取了一种更加统一和抽象的方式定义绿色计算的概念,并探讨了其主要研究内容,从而明确了绿色计算的界限和范围,理顺了相关领域的研究任务和关系.然后,提出了绿色汁算的一些基本思路和一般性方法,为下一步研究各种条件下绿色计算的具体模型、方法与工具打下了必要的基础.     

计算网格软件体系结构研究

从研究集成网格计算资源成为具有应用逻辑的复合计算出发,设计了一个新型的分布式软件体系结构—CGSA(Computing-GridSoftwareArchitecture)。CGSA以XML方式显性表达复合计算的组合逻辑,屏蔽了各计算源间的异构性,具有联邦管理自治、计算透明和完备、可扩展、负载平衡等特点。基于CGSA结构,可以充分利用网格计算能力,快速构造新的应用,同时也为集成企业旧的业务系统提供了新的方法。     

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

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

脉冲神经膜计算系统的研究进展及展望(英文)

脉冲神经膜计算系统是膜计算的一个新分支,不仅具有计算机科学研究意义,而且在生物建模和仿真方面有潜在的应用价值．文中介绍了脉冲神经膜计算系统的基本概念并给出了脉冲神经膜计算系统的一个例子;除了介绍标准脉冲神经膜计算系统外,还介绍若干广义的脉冲神经膜计算系统;概述了脉冲神经膜计算系统计算完备性和计算有效性两个方面的主要结果;指出了进一步研究脉冲神经膜计算系统的两个方向．     

浅议普适计算的发展

介绍了普适计算的产生、特性以及实现普适计算的意义,并结合实际,简单地谈了作者对普适计算发展的一些看法.     

网格计算系统的应用与研究

网格计算能够实现广域范围内异构平台的协同，是internet发展的高级形式，本文即以网格计算系统的特点，网格计算系统的目标和需要的关键技术而展开。     

一种实用、高效的虚拟远程超级计算环境

远程计算是指用户在本地计算机上通过互联网利用远程超级计算机上计算资源的技术.传统的远程计算方式是用户通过telnet协议登录到远程机器上完成各项任务.这种方式在高速、稳定的网络环境下效率是很高的.但是当网络条件比较差时,如在低带宽、不稳定的网络上,这种方式会严重影响用户的工作效率.提出并实现了一个远程虚拟计算环境,它所采用的计算方式可有效完成在低带宽、不稳定的网络环境下效率较低甚至无法完成的远程计算,其中使用了如检查点设置/恢复、压缩传送、目录树传送等技术以达到尽量减少网络流量的目的.实践证明,这在我国当前的网络条件下是一种高效的远程计算方法.     

油藏描述中的软计算方法

构成软计算方法的3个主要成分是神经计算、模糊计算和进化计算.其中神经网络使系统获得学习和适应的能力,模糊逻辑主要处理非精确性和进行近似推理,遗传算法则提供进行随机搜索和优化的能力.三者之间的混合体可在功能上实现互补,从而使系统的总体性能最佳.软计算方法已在油藏描述领域引起关注和应用.研究资料表明,软计算对于油藏数据的处理、油藏表征、地震反演、测井解释、油藏映射来说,都是一个很好的选择.就不同软计算方法对油藏数据的处理进行了概述.为了提高对油藏数据的理解,减少预测的不确定性,未来的研究应主要集中在各种软计算方法的混合使用.     

浅析DNA计算及其发展状况

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

On dependability of computing systems

With the rapid development and wide applications of computing systems on which more reliance has been put,a dependable system will be much more important than ever.This paper is first aimed at giving informal but precise definitions characterizing the various attributes o dependability of computing systems an then th importance of (and the relationships among)all te the attributes are explained.Dependability is first introduced as a blobal concept which subsumes the usual atributes of reliability,availability,maintainability,safety and sevurity.The basic definitions given here are then commended and supplemented by detailed material and additional explanations in the subsequent sections. The presentation has been structured as follows so as to attract the reader‘s attention to the important attributions of dependability.Search for a few number of concise concepts enabling the dependability attributes to be expressed as clearly as possible.Use of terms which are identical or as close as possible to those commonly used nowadays.This paper is also intended to provoke people‘s interest in designing a dependable computing system.     

面向21世纪的广域高性能元计算技术

一、引言高性能并行与分布计算是关系到国家战略利益的核心高技术,也是国民经济发展的重要基础,是一个重大的基础研究问题。由于计算机微处理器的速度越来越高,网络通信技术的迅猛发展,网络规模的扩大和速度的提高,特别是Internet技术的兴起和广泛应用,网络已经交叉纵横整个世界。与此同时,人类的应用需求朝着高性能、多样性、多功能发展,许多大规模科学计     

计算思维再反思

在分析计算思维的概念与内涵、计算思维培养必要性与可行性的基础上,指出计算思维与其英文原文computational thinking的含义有异,认为computational thinking这一概念本身尚存争议,计算思维培养的必要性值得商榷,计算思维培养的可行性存疑。     

一种基于几何的形计算机制

提出一种几何问题几何化的形计算机制。它综合了几何、代数、画法几何及现代计 算工具等理论、方法与技术,实现“三维思维,二维图解,一维计算”多维空间的融合。从更宏 观的几何角度构筑算法框架,是对常规数计算的补充,可用于相当宽泛的一类几何计算。     

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

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

大规模异构计算集群的双层作业调度系统

高能物理计算平台中的HTCondor和SLURM计算集群为多个高能物理实验提供数据处理服务,然而HTCondor并行作业调度效率较低、SLURM难以应对大量串行作业,且计算平台整体资源管理及调度策略过于简单。为满足高能物理计算集群高负荷运行的需求,在传统作业调度器上增加作业管理层,设计双层作业调度系统,通过高效调度串并行作业并兼顾实验组间资源的使用公平性,实现用户对作业的细粒度管理。测试结果表明,双层作业调度系统支持大批量高能物理作业的快速提交,并充分利用计算平台的总体资源,具有较好的作业调度性能。