刷新
{{item.name}}会员
Scalable Parallel Implementation and Application of Multi-ContextReasoning Systems for Algebraic Software
代数软件多上下文推理系统的可扩展并行实现和应用
基本信息
- 批准号：22500022
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2010
- 资助国家：日本
- 起止时间：2010 至 2012
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
In order to extend the multi-context reasoning systems to physically parallel executable frameworks, the processes for termination verification including creation and update of equations and rewrite rules and, in particular, the implementation of the determination of system termination (success) among the processes have been considered and by using a parallel programming language Erlang, a scalable, parallel implementation scheme on parallel computers has been developed to give the systems more power. Also, the systems have been applied to problems such as inductive theorem proving to see their improved usability.
为了将多上下文推理系统扩展到物理上并行的可执行框架，考虑了终止验证的过程，包括创建和更新方程和重写规则，特别是在过程之间实现系统终止（成功）的确定，并使用并行编程语言Erlang，一种可扩展的，为了使系统更强大，在并行计算机上开发了并行实现方案。此外，该系统已应用于归纳定理证明等问题，以了解其改进的可用性。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Parallelization of termination checker for term rewriting system
术语重写系统终止检查器的并行化
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Rui Ding;Haruhiko Sato;Masahito Kurihara
- 通讯作者：Masahito Kurihara
Optimizing mkbTT
优化 mkbTT
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0
- 作者：Sarah Winkler;Haruhiko Sato;Aart Middeldorp;Masahito Kurihara
- 通讯作者：Masahito Kurihara
Multi-context rewriting induction with termination checkers
带有终止检查器的多上下文重写归纳
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0.7
- 作者：Haruhiko Sato;Masahito Kurihara
- 通讯作者：Masahito Kurihara
Parallelization of termination checker of term rewriting systems
术语重写系统终止检查器的并行化
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Rui Ding;Haruhiko Sato;Masahito Kurihara
- 通讯作者：Masahito Kurihara
Multi-Completion with Termination Tools
使用终止工具进行多重完成
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Sarah Winkler;Haruhiko Sato;Aart Middeldorp;Masahito Kurihara
- 通讯作者：Masahito Kurihara
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
KURIHARA Masahito其他文献
KURIHARA Masahito的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('KURIHARA Masahito', 18)}}的其他基金
Development of Multi-Context Reasoning Infrastructural Systems for Algebraic Software
代数软件多上下文推理基础设施系统的开发
- 批准号：
19500020 - 财政年份：2007
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Use of Highly Accurate GPS in Network-Based Barrier-Free Map Creation System
高精度GPS在网络化无障碍地图制作系统中的应用
- 批准号：
15300188 - 财政年份：2003
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
VERIFICATION AND DIAGNOSIS OF COMPUTER SYSTEMS BASED ON DISTRIBUTED CONSTRAINT SATISFACTION OF AGENTS
基于Agent分布式约束满足的计算机系统验证与诊断
- 批准号：
09650444 - 财政年份：1997
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
EXPLANATION-BASED LEARNING AND REFORMATION FOR PROGRAM GENERATION,TRANSFORMATION,AND VERIFICATION
基于解释的学习和程序生成、转换和验证的改革
- 批准号：
04650298 - 财政年份：1992
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似海外基金
大規模電磁場解析向け反復法の前処理並列化に関する研究
大规模电磁场分析迭代方法预处理并行化研究
- 批准号：
24K20780 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
圧縮性乱流直接数値シミュレーションのための3軸並列化コードの開発と評価
用于可压缩湍流直接数值模拟的三轴并行代码的开发和评估
- 批准号：
23K11124 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ゲート型量子計算機の並列化による大規模量子演算システムの開発
通过并行门控量子计算机开发大规模量子计算系统
- 批准号：
23KJ0862 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
電力変換器の受動性に基づく直並列化に関する研究
基于功率变换器无源性的串并联研究
- 批准号：
22KJ1800 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
ライブイメージング並列化が拓く細胞質の混み合いと細胞機能を繋ぐ機構の総覧と解明
通过并行实时成像开发的细胞质拥挤和细胞功能联系机制的概述和阐明
- 批准号：
22KJ3189 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Collaborative Research: SHF:SMALL: Compile-Parallelize-Schedule-Retarget-Repeat (EASER) Paradigm for Dealing with Extreme Heterogeneity
合作研究：SHF:SMALL：处理极端异构性的编译-并行化-调度-重定向-重复 (EASER) 范式
- 批准号：
2333895 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Standard Grant
プロセッサの命令実行並列化を応用したパイプライン型CNN学習アクセラレータの実現
应用处理器并行指令执行的流水线型CNN学习加速器的实现
- 批准号：
23KJ0914 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Collaborative Research: SHF: SMALL: Compile-Parallelize-Schedule-Retarget-Repeat (EASER) Paradigm for Dealing with Extreme Heterogeneity
合作研究：SHF：SMALL：处理极端异构性的编译-并行化-调度-重定向-重复（EASER）范式
- 批准号：
2146873 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Standard Grant
Overdamped Langevin方程式向けの時間積分並列化手法
过阻尼朗之万方程的时间积分并行化方法
- 批准号：
22K12063 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Collaborative Research: SHF:SMALL: Compile-Parallelize-Schedule-Retarget-Repeat (EASER) Paradigm for Dealing with Extreme Heterogeneity
合作研究：SHF:SMALL：处理极端异构性的编译-并行化-调度-重定向-重复 (EASER) 范式
- 批准号：
2146852 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Standard Grant