搜索结果: 1-8 共查到“计算机科学技术 并行软件”相关记录8条 . 查询时间(0.118 秒)
该文介绍了解算直角坐标系下不可压缩 ＮａｖｉｅｒＳｔｏｋｅｓ方程的大型有限差分并行软件包ＮａＳｔ３ＤＧＰ。介绍了其采用的区域分解算法、差分格式及计算流程；对并行效率进行了测试，作出了处理器数目和计算效率的关系曲线；把此程序应用到旋转的行星流体动力学中，分别用自检验和互检验的方法证明了修改后程序的可靠性，并且得到了满意的非线性数值模拟结果。
并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测，提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解，将各组件均衡地分发到若干计算节点，由节点调用MAGIC完成验证。由于保证节点间只有少量的通信与同步，该方法能达到较好的并行加速比，具有良好的可扩展性。实验结果显示，该方法大幅压缩了检测时间，有利于大规模...
2009年6月27日，由中科院软件所作为会议发起单位主办的第二届并行算法与并行软件国际研讨会(IWPAPS2009),与著名国际学术会议IEEE HPCC09 一起,在韩国首都首尔的Korea大学成功举办。研讨会经严格评审，共录用学术论文7篇。除1篇没有注册参会外，其余6篇的作者全部注册并到会报告。本次研讨会的程序委员会主席，中科院软件所张云泉研究员，受IEEE HPCC09大会程序委员会主席的邀...
管道-过滤器风格的并行软件可靠性建模
软件可靠性 管道-过滤器风格 并行软件
2009/4/30
当前基于体系结构的软件可靠性评估技术存在2个问题：不适合具有并行性质的软件和难以分析部件级的失效恢复行为。针对这2个问题，以管道-过滤器风格的并行软件为研究对象，该文使用基于时间的Petri网分析了管道-过滤器风格的并行软件运行阶段可靠性，并根据Petri网模型的特点，提出了一种分解模型和近似求解方法。数字实例证明了该方法的有效性和简便性。
特大型工程地震安全性评价的并行软件开发及其应用
地震安全性 并行算法 并行软件
2008/11/27
该项目综合考虑工程场地和结构的耦合作用，建立场地和结构的全三维数字模型，利用超级计算机解决特大型工程地震安全性评价中的海量计算和海量存储问题，这对于特大型工程的抗震设计具有重要的理论指导意义和实用价值。该项目取得的主要研究成果与创新点在于：针对特大型工程地震安全性评价的特点和要求，基于超级计算机的硬件条件和操作系统特性，建立了特大型工程地震安全性评价并行软件系统的体系结构，提出了地震动时程人工模拟...
集成化的并行软件开发环境-PCDE
并行软件 并行处理 软件工具 程序系统
2008/11/27
由西北工业大学软件工程中心开发的并行C语言开发与调试环境“PCDE”是一个 具有友好用户界面、有很高集成度、具有很强的符号调试能力的并行C语言开发/调试平台。特点：具有操作方便的友好人机界面。简单、统一的C语言并行化扩充。强大的原代码级 调试功能。多结点同时调试功能。完美的集成环境。并行仿真功能。性能分析与回放功能。良好的可护展、可移植性。适用范围：一些特定的应用领域需使用多CPU的并行计算机获取...
中国科学院软件研究所并行软件研究与开发中心
中国科学院 并行软件 计算方法
2008/1/19
为适应高性能并行计算软件研究与开发的迅速发展，中国科学院软件所在基础部并行计算研究室的基础上组建了中国科学院软件研究所并行软件研究与开发中心。中心实行以项目驱动的开放式流动体制，在编人员1/3，硕士生、博士生1/3，博士后、短期访问人员及聘请人员1/3。中心主要从事并行计算方法的基础研究，并行软件与算法的研究开发，高性能计算的技术服务。采取以软件开发和应用带动算法设计和方法研究，以外向型合作推动国...
中国科学院软件研究所并行软件研究与开发中心科研成果。