Development of Multi-Context Reasoning Infrastructural Systems for Algebraic Software
代数软件多上下文推理基础设施系统的开发
基本信息
- 批准号:19500020
- 负责人:
- 金额:$ 2.75万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2007
- 资助国家:日本
- 起止时间:2007 至 2009
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
In the field of algebraic computer software called the term rewriting systems, this project has successfully developed a new infrastructural reasoning system which solves a lot of problems efficiently. The problems include the completion problems for transforming programs into those which always terminate and output the unique solution. Also included is the automated inductive theorem proving for proving crucial properties to be satisfied by programs. The key technology is the multi-context reasoning which allows very efficient simulation of parallel execution of multiple processes using the special data structure called nodes and heuristic search.
在被称为项重写系统的代数计算机软件领域,该项目成功地开发了一个新的基础结构推理系统,该系统有效地解决了许多问题。这些问题包括将程序转化为总是终止并输出唯一解的程序的完备化问题。还包括自动归纳定理证明证明程序所满足的关键属性。其关键技术是多上下文推理,它允许非常有效的模拟并行执行的多个进程使用特殊的数据结构称为节点和启发式搜索。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
术语重写系统的基于约束的多重完成过程
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:Haruhiko Sato;Masahito Kurihara;Sarah Winkler;Aart Middeldorp
- 通讯作者:Aart Middeldorp
Userfriendly GUI in software model checking
软件模型检查中用户友好的 GUI
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:Shoichi Yokoyama;Haruhiko Sato;Masahito Kurihara
- 通讯作者:Masahito Kurihara
Multi-completion procedures for term rewriting systems with modern termination checking
具有现代终止检查的术语重写系统的多重完成程序
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Haruhiko Sato;Masahito Kurihara
- 通讯作者:Masahito Kurihara
Design and Implementation of Multi-completion procedures with termination checking
带终止检查的多重完成程序的设计与实现
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:勝原 達也;滝本 宗宏;Haruhiko Sato and Masahito Kurihara
- 通讯作者:Haruhiko Sato and Masahito Kurihara
Searching for successful reduction orders in equational multi-completion with boolean constraints
在具有布尔约束的等式多重完成中搜索成功的归约顺序
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Naoyasu Ubayashi;Yuki Sato;Akihiro Sakai;Tetsuo Tamai;中田育男,渡辺坦,佐々政孝,滝本宗宏;Masahito Kurihara and Haruhiko Sato
- 通讯作者:Masahito Kurihara and Haruhiko Sato
{{
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)}}的其他基金
Scalable Parallel Implementation and Application of Multi-ContextReasoning Systems for Algebraic Software
代数软件多上下文推理系统的可扩展并行实现和应用
- 批准号:
22500022 - 财政年份:2010
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Use of Highly Accurate GPS in Network-Based Barrier-Free Map Creation System
高精度GPS在网络化无障碍地图制作系统中的应用
- 批准号:
15300188 - 财政年份:2003
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
VERIFICATION AND DIAGNOSIS OF COMPUTER SYSTEMS BASED ON DISTRIBUTED CONSTRAINT SATISFACTION OF AGENTS
基于Agent分布式约束满足的计算机系统验证与诊断
- 批准号:
09650444 - 财政年份:1997
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
EXPLANATION-BASED LEARNING AND REFORMATION FOR PROGRAM GENERATION,TRANSFORMATION,AND VERIFICATION
基于解释的学习和程序生成、转换和验证的改革
- 批准号:
04650298 - 财政年份:1992
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
米国におけるシステム工学の興隆とその我が国への導入に関する研究
美国系统工程的兴起及其传入日本的研究
- 批准号:
05J10452 - 财政年份:2005
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows
社会システム工学のための空間解析ツールボックスの開発と普及に関する研究
社会系统工程空间分析工具箱的开发与推广研究
- 批准号:
17651089 - 财政年份:2005
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Exploratory Research
次世代システム工学の構築のための横断型科学技術プラットフォーム
构建下一代系统工程的交叉科技平台
- 批准号:
16636008 - 财政年份:2004
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
大規模複雑系のシステム工学としての情報論的制御理論の構築
构建基于信息的控制理论作为大规模复杂系统的系统工程
- 批准号:
12750396 - 财政年份:2000
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
アジア環境経済モデル構築へ向けた食料需要構造の社会システム工学的分析
构建亚洲环境经济模式的粮食需求结构社会系统工程分析
- 批准号:
08255222 - 财政年份:1996
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
異常衝動性眼球運動の発生機構に対するシステム工学的研究
眼跳异常运动机制的系统工程研究
- 批准号:
61771337 - 财政年份:1986
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
電気化学的光電池および燃料電池を含む系の制御・システム工学的研究
电化学光伏电池、燃料电池等系统的控制与系统工程研究
- 批准号:
X00024----505529 - 财政年份:1980
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Energy Research
神経生理学, 数理解析学, システム工学による視覚神経機構の総合研究
利用神经生理学、数学分析和系统工程对视觉神经机制进行综合研究
- 批准号:
X00050----539007 - 财政年份:1980
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Co-operative Research (A)
システム工学的手法による機械化作業体系の策定
采用系统工程方法制定机械化作业体系
- 批准号:
X00120----386064 - 财政年份:1978
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Developmental Scientific Research
音楽システム工学的アプローチによるシンセサイザーの教育的利用の研究
使用音乐系统工程方法研究合成器的教育用途
- 批准号:
X00220----290767 - 财政年份:1977
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (B)