检索结果-内蒙古大学图书馆

计算机工程 2009年第14期35卷 273-276页

作者：贺毅岳王亮华庆一张凤军高妮西北大学信息科学与技术学院西安710127 中科院计算机科学国家重点实验室北京100190 中国科学技术大学计算机科学与技术系合肥230027 中科院软件研究所人机交互技术与智能信息处理实验室北京100190

提出一种基于交互语义的多通道分层整合方法,该方法结合概率以及时间约束等内容,从多通道的输入信息中捕获用户交互意图,形成交互任务。将其应用于虚拟环境中,根据实际需求设计并实现多种多通道交互技术,同时举例分析其整合过程。仿真... 详细信息

提出一种基于交互语义的多通道分层整合方法,该方法结合概率以及时间约束等内容,从多通道的输入信息中捕获用户交互意图,形成交互任务。将其应用于虚拟环境中,根据实际需求设计并实现多种多通道交互技术,同时举例分析其整合过程。仿真实验结果表明,该方法是有效可行的。

关键词：交互语义分层整合多通道交互上下文虚拟城市规划

来源：评论

学校读者我要写书评

暂无评论

并行计算模型参数动态分析软件包设计

引用

计算机工程 2009年第10期35卷 30-32页

作者：王向前张云泉侯晓吻中国科学院软件研究所并行计算实验室北京100190 中国科学院研究生院北京100190 中国科学院计算机科学国家重点实验室北京100190 杭州电子科技大学杭州310018

并行计算模型的发展引入越来越多的模型参数。对并行计算模型参数动态采集分析软件包DEMPAT的整体框架进行研究,实现基于硬件性能计数器的存储层次参数采集模块。实验表明,该模块能够准确快速地获取存储层次参数且具有较好的可移植性。

关键词：并行计算模型机器参数存储层次

来源：评论

学校读者我要写书评

暂无评论

深腾7000天体大规模数值模拟软件性能测试与分析

深腾7000天体大规模数值模拟软件性能测试与分析

引用

2009中国计算机大会

作者：王婷孙相征张云泉杨超李力刚刘芳芳管文华中国科学院软件研究所并行计算实验室北京 100190 中国科学院软件研究所并行计算实验室北京 100190 中国科学院软件研究所计算机科学国家重点实验室北京 100190 中国科学院研究生院北京 100190 中国科学院软件研究所并行计算实验室北京 100190 中国科学院软件研究所计算机科学国家重点实验室北京 100190 中国科学院上海天文台上海 200030

在百万亿次超级计算机深腾7000上进行了80×80×50和160×160×100两种网格规模，基于Aztec库和PETSc库的天体大规模数值模拟软件的性能和可扩展性测试，并对性能测试结果进行了深入分析，详细解释了某些情况下出现超... 详细信息

在百万亿次超级计算机深腾7000上进行了80×80×50和160×160×100两种网格规模，基于Aztec库和PETSc库的天体大规模数值模拟软件的性能和可扩展性测试，并对性能测试结果进行了深入分析，详细解释了某些情况下出现超线性加速比的原因。实验结果表明，程序在1024个处理器核时，每种测试组合仍具有加速比的提升，其中某些测试组合在2048核上仍具有加速比。在测试过程中，我们还观察到一个比较有趣的现象，同样的问题规模和处理器核数，每节点采用4个处理嚣核比每节点采用8个处理器核时的运行时间，基于Aztec软件包的平均下降29％，基于PETSc软件包的平均下降36％。试验体现了深腾7000提供的有效支持，此结果对软件下一步的优化研究有重要的指导意义。

关键词：天体数值模拟性能测试可扩展性

来源：评论

学校读者我要写书评

暂无评论

几何定理机器证明三十年

引用

系统科学与数学 2009年第9期29卷 1155-1168页

作者：张景中李永彬电子科技大学与中科院成都计算所自动推理联合实验室成都610054 中国科学院成都计算机应用研究所成都610041 广州大学计算机与教育软件学院广州510006 电子科技大学应用数学学院成都610054

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索... 详细信息

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索法更能生成其可读的证明.几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破.研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用.

关键词：几何定理机器证明可读证明代数方法面积法基于数据库的搜索法.

来源：评论

学校读者我要写书评

暂无评论

一种扩展的动态描述逻辑语言及其Tableau算法

引用

智能系统学报 2009年第3期4卷 226-233页

作者：郝国舜马世龙眭跃飞北京航空航天大学软件开发环境国家重点实验室北京100191 中科院计算所智能信息处理重点实验室北京100080

对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达.因此提出了一个扩展的动态描述逻辑语言,在原子动作模态词的形式... 详细信息

对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达.因此提出了一个扩展的动态描述逻辑语言,在原子动作模态词的形式中可以表示动作的属性,从而区分了一类动作和具体动作.通过对可达关系进行限制,定义了此特殊形式模态词动作的语义.另外,还提供了此语言的Tableau算法,并证明了此算法的可终止性和完备性.

关键词：动态描述逻辑模态逻辑动态逻辑 Tableau算法

来源：评论

学校读者我要写书评

暂无评论

P-QuantWiz：一种基于质谱的并行非标记定量软件

P-QuantWiz：一种基于质谱的并行非标记定量软件

引用

2009年全国理论计算机科学学术年会

作者：胡泽林张云泉王靖张先轶中国科学院软件研究所并行计算实验室北京100190 中国科学院计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所并行计算实验室北京100190 中国科学院计算机科学国家重点实验室北京100190

本文设计并实现了基于质谱的非标记定量软件QuantWiz,通过改变肽段定量的顺序,提高了定量软件的时间局部性和质谱数据缓存的命中次数。分析了QuantWiz的多种数据并行策略,设计并实现了按保留时间划分的并行定量软件P-QuantWiz。通过实... 详细信息

本文设计并实现了基于质谱的非标记定量软件QuantWiz,通过改变肽段定量的顺序,提高了定量软件的时间局部性和质谱数据缓存的命中次数。分析了QuantWiz的多种数据并行策略,设计并实现了按保留时间划分的并行定量软件P-QuantWiz。通过实验验证P-QuantWiz具有良好的并行效率,当进程数为32时,并行效率为63％。

关键词：非标记定量色谱峰质谱数据数据并行策略

来源：评论

学校读者我要写书评

暂无评论

有限元单元计算子程序的OpenMP并行化

引用

计算机工程 2008年第6期34卷 80-81,84页

作者：宋刚蒋孟奇张云泉李玉成中国科学院研究生院中国科学院软件研究所并行计算实验室北京100080 中国科学院计算机科学国家重点实验室北京100080 中国科学院软件研究所并行计算实验室

Intel和AMD双核乃至4核处理器的推出,使得并行计算已经普及到PC机。为了充分利用多核,需要对原有程序进行多线程改造,使其充分利用多核处理带来的性能提升。该文利用共享存储编程的工业标准OpenMP对有限元方法涉及的单元计算子程序进行... 详细信息

Intel和AMD双核乃至4核处理器的推出,使得并行计算已经普及到PC机。为了充分利用多核,需要对原有程序进行多线程改造,使其充分利用多核处理带来的性能提升。该文利用共享存储编程的工业标准OpenMP对有限元方法涉及的单元计算子程序进行了并行化实现。在机群的一个双CPU的SMP节点上的测试表明,共享并行化使得该单元子程序的性能提高了一倍。

关键词：并行编程多线程多核有限元

来源：评论

学校读者我要写书评

暂无评论

2008年中国高性能计算机TOP100排行榜分析与展望

引用

数据与计算发展前沿 2008年第3期 71-78页

作者：张云泉孙家昶袁国兴张林波中科院软件所并行计算实验室北京应用物理与计算数学所中科院数学与系统科学研究院

本文根据2008年11月发布的中国高性能计算机TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。在此基础上,根据七届排行榜积累的性能数据和能够得到的其他公开历史数据,对未来几年... 详细信息

本文根据2008年11月发布的中国高性能计算机TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。在此基础上,根据七届排行榜积累的性能数据和能够得到的其他公开历史数据,对未来几年中国大陆高性能计算机的发展趋势进行了分析预测。从预测可以看出,峰值Petaflops的机器将在2010年到2011年间出现,峰值10Petaflops的机器将在2012年到2013年间出现,累计Linpack性能将在2011年到2012年间达到10Petaflops。

关键词：高性能计算机 TOP100 排行榜性能分析

来源：评论

学校读者我要写书评

暂无评论

FM-index分块并行算法及其实现

引用

计算机工程 2008年第8期34卷 53-54,58页

作者：李开士张云泉李玉成中国科学院研究生院北京100080 中国科学院软件研究所并行计算实验室

查询海量数据有压缩和索引两种方法来提高速度,该文结合这两种方法提出了压缩查询的方法。FM-index是一种自索引的全文查询算法,存在内存占用过大的问题,对于复杂的查询效率也不理想。该文提出分块FM-index算法,在分块的基础上采用MPI... 详细信息

查询海量数据有压缩和索引两种方法来提高速度,该文结合这两种方法提出了压缩查询的方法。FM-index是一种自索引的全文查询算法,存在内存占用过大的问题,对于复杂的查询效率也不理想。该文提出分块FM-index算法,在分块的基础上采用MPI对算法进行并行化,解决了内存占用过多的问题,达到了较好的并行效率。

关键词：压缩自索引 FM-index算法分块并行

来源：评论

学校读者我要写书评

暂无评论

2008年中国高性能计算机TOP100排行榜分析与展望

引用

科研信息化技术与应用 2008年第3期 71-78页

作者：张云泉孙家昶袁国兴张林波中科院软件所并行计算实验室北京100190 北京应用物理与计算数学所北京100088 中科院数学与系统科学研究院北京100190

关键词：高性能计算机 TOP100 排行榜性能分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：