学习雷锋精神 计算所的追『锋』青年们这样做

“我要把我可爱的青春,献给祖国最壮丽的事业。”60多年前,年轻的共产主义战士雷锋,在日记本上写下了这句豪迈誓言。光阴流转,时代变迁,他的精神在岁月长河中依旧闪亮。六十多年后的今天,雷锋精神依旧滋养着航空工业计算所的航空青年们。

创新型数据中心供电系统设计与规划的探讨 访中国科学院计算所高级工程师李成章

由于不同用户的数据中心机房可用性级别不同,需进用不同级别的供电系统解决方案。随着云计算、大数据时代的到来,数据中心的数据来源变得无比广泛,数据设备接入更加多样化,数据容量变得更加庞大,数据处理需要更加快速与高效,这一切无疑对数据中心机房提出了更高的要求。数据中心机房一旦出现因供电中断而诱发的＂电气宕机＇或因空调系统故障而诱发的＂热宕机＂问题时,将可能会造成巨大损失或不良负面社会影响,如何打造安全、

航空工业计算所 凭借改革春风 实现创新发展

改革开放40年来,计算所实现了从科研型向科研生产型转变,型号产品实现了从无到有、再到大批量生产交付,经济规模发生了翻天覆地的变化。航空工业西安航空计算技术研究所(简称航空工业计算所)是我国机/弹载计算机和航空软件研制的专业研究所。经过60年的发展,如今的计算所具备了满足多代航空电子系统软件和硬件研发的核心能力,承担了千余种机弹、载产品的配套生产任务。

一种基于云计算理念的网络化建模与仿真平台——“云仿真平台”

基于仿真网格[1]的研究成果,进一步提出了一种基于云计算理念的网络化建模与仿真平台——"云仿真"平台,讨论了它的研究背景、技术内涵、特色以及体系结构,并介绍了已完成的关键技术研究和典型应用示范系统。初步研究与实践表明:提出的"云仿真"平台能够进一步改善仿真网格对多用户在多粒度资源按需共享、协同、容错迁移等方面的能力,进而建立了一种新的建模仿真模式——"云仿真"。最后给出了云仿真平台下一步的工作展望。

计算思维教学改革宣言

一个古老而又年轻的概念，计算思维的概念，正在科技界和教育界萌发、激荡和蔓延。所到之处，彻底更新和改变了现在被广泛认同的一些理论和认识。一种新的关于计算和计算机科学的观点正迅速荡涤着旧有的传统，焕发出面向新时代和新技术的崭新面貌。从事计算机科学、思维科学、教育科学、社会科学、人文科学等各方面的专家，围绕着不同的要求和目的被吸引到这一领域里来。这种共同的兴趣将酝酿出新的重大的理论革命和技术飞跃，一种全新的对于计算机科学的理解和应用的时代已经展现在我们的面前。

基于移动代理技术的分布并行计算环境

介绍了采用移动Agent技术构建分布式并行处理系统的设计与实现技术,讨论了系统的构成,并给出关键技术问题的解决方案。

高超声速飞行器外形热流密度分布计算的高精度方法研究

为提高高超声速条件下飞行器表面热环境的计算精度,发展了高精度算法WCNS-E-5,并开展了热流密度分布的数值计算研究。该算法采用的是五阶精度加权显式非线性格式,结合四阶精度的二阶偏导数差分近似、四阶精度的边界格式,同时还对网格偏导数及温度梯度也离散为四阶精度。通过求解三维Navier-Stokes方程,数值研究了高超声速飞行器外形如钝锥和双椭球体的物面热流密度分布。模拟结果表明,这种保证全流场高精度的WCNS-E-5得到的流场图像清晰、真实。与通常的二阶算法MUSCL对比,WCNS-E-5具有更高的流线分辨率,获得的热流密度更接近于实验测得分布。

一种基于TPM芯片的计算机安全体系结构

针对现行通用个人计算机基于开放架构、存在诸多攻击点等安全问题,提出了一种基于TPM安全芯片的新型计算机体系结构。设计并实现了基于安全芯片的软件协议栈TSS,在安全芯片中使用软件协议栈,通过核心服务API来调用核心服务模块,解决远程通信的平台信任问题。设计并实现了基于多协议的授权和认证管理,实现上层应用和TPM之间的授权会话及授权认证,从而保证计算机能够完成安全计算和安全存储的工作,使计算平台达到更高的安全性。

新一代网络计算模式分析

论述了目前引起广泛关注的新一代网络计算模式,即Web服务、P2P和网格计算,阐述了它们的体系结构,重点分析了它们的应用前景,即Web服务能够让用户直接获得所需要的服务结果,从而构造出个性化的、能适应业务变化并满足用户即时需求的网络应用;P2P能够实现空闲计算资源的共享;网格计算则能够在智能教育、机械、军事、医药等领域得到广泛应用。

微循环系统动力学综合数学模型研究(Ⅱ)———计算方法及结果

利用解析法与有限元法相结合的“影响线算法” ,求解了第一部分中建立的数学模型 ,分析了微循环系统动力学的若干重要问题 ,表明在微动脉自律运动周期内 ,间质流体压力将两次改变符号 ,因而某些理论中十分强调的间质流体压力是略高于或略低于大气压力的问题显得并不重要 ;微动脉自律运动能导致周期性的淋巴形成 ,间质总应力在这一过程中起着重要作用 ;微循环局部调节可以以动态平衡的方式在一定范围内满足代谢的需要· 计算还表明了微动脉“阻力血管”

黄土坡古滑体演化机制计算机仿真系统设计

介绍了黄土坡古滑体演化机制计算机仿真系统的总体结构，对仿真方式的设计、系统的软、硬件环境以及仿真系统的结构设计、数据交换和用户界面设计等作了较深入的研究．该系统运用多媒体形式。

计算机在铁路编组站调度工作中的应用

介绍了铁路编组站调度工作中班计划、阶段计划计算机辅助编制,说明该应用的技术可行性、实际应用效果和推广前景。

基于互动计算的汉字楷书识别

本文从互动计算的角度出发,对汉字楷书识别问题作了专门的研究,给出了一个具体算法及其实现。由于强调了识别的整体性、关联性、相对性和同时性,有效地解决了汉字形似字的识别问题,识别率达80％以上。

计算机人工生命

计算机人工生命ＡｒｔｉｆｉｃｉａｌＬｉｆｅ￥／／胡瑞安，胡纪阳，徐树公（中科院计算所ＣＡＤ开放实验室，华中理工大学武汉４２００７４）一、什么是人工生命人下牛命（ＡｒｔｉｆｉｃｉａｌＬｉｆｅ，简称Ａ—Ｌｉｆｅ）是８Ｏ年代后期国外开始兴起的新的学科领域，...

科学计算可视化

科学计算可视化是80年代末提出并发展起来的一门新的技术,该技术正成为研究的热点。专家预测,可视化技术所具有的潜力有可能与计算机网络与通信技术等相结合使人类通讯的方式发生革命性变革,并将产生巨大的经济效益和社会效益。为使大家更好地熟知可视化,学会可视化,使用可视化,我们约请了国内在科学计算可视化技术方面颇有研究的中国科学院计算技术研究所CAD开放研究实验室等单位共同组织了这期科学计算可视化专题。 本期专题共有5篇文章,这些文章都是结合这些单位的科研成果和开发实践,较全面地介绍了科学计算可视化技术的方方面面,具体包括可视化的研究和应用领域,可视化的研究和应用领域,可视化软件系统和软件开发平台等等。这5篇文章为: 1)科学计算可视化; 2)可视化软件系统介绍; 3)可视化软件开发平台; 4)一个实用的数据场可视化系统; 5)并行程序行为及性能的可视化工具—ParaVision。

复相介质及界面结构温度场跨尺度计算

本文针对复相介质及界面结构的跨层次热问题,提出了计算界面结构导热系数的分子动力学方法,复相介质宏观有效导热系数和温度函数的均匀化与多尺度渐近展开方法以及界面结构局域温度场的量子修正。建立了微观与宏观相关联的跨尺度计算模式,初步实现了从量子力学到连续模型的跨越。

多分量流计算的高分辨KFVS有限体积方法(英文)

论及高分辨分子动力学通向量分裂 (KFVS)有限体积方法的推广。在方法中提出了适当修改Maxwell平衡分布用以修复Euler方程。基于熟知的Euler方程与Boltzmann方程的关系 ,提出了一类求解多分量Euler方程的高分辨分子动力学通向量分裂 (KFVS)有限体积方法。应用该方法不需要求解任何Riemann问题或求解附加的非守恒压力方程也不需要任何非守恒修正。数值计算表明 ,数值解在物质界面附近无振荡 ,激波速度也正确 ,显示出方法的高精度及其稳健性。

并行计算时间模型研究

本文系统地总结和探讨了共享和分布式存储环境下的并行计算时间模型。微观上，结合并行机结构特征和通信机制，揭示了延长算法运行时间的关键因素，并据此提出一些优化原则和效率评价准则，能辅助用户修改并行算法达到最优性能；宏观上，给出了基本消息传递的常用通信原语类型和部分原语操作时间经验公式，能辅助用户选择最优通信原语和问题粒度，正确预测程序的运行时间和性能。

计算机支持的协同设计

计算机支持的协同设计是一种计算机支持产品开发的协同工作环境，它是计算机支持协同工作（ＣＳＣＷ）的一个应用领域，它是ＣＡＤ／ＣＡＭ技术的进一步发展。本文论述了计算机支持协同设计的基本概念、内容。讨论了用于计算机支持协同设计的有关技术思想和方法。

偏序域上的传递保持Skyline计算

当属性域是偏序的时候,最终的Skyline点几乎和原始数据集一样大小.因为大多数情况下,数据集里至少有一维点与点之间是不可比的.因此在保留感兴趣的点的同时,将大数据集裁剪到一个合理的规模,是一个值得研究的问题.为了得到一个更小更有用的Skyline点集,可以更好地反映真实的用户偏好,本文基于两种假设:偏好的参数是不完整的,实际的偏好是传递性的,提出一个更为广义的控制关系概念.