並行書き換えモデルの超並行実行方式の研究

并行重写模型超并行执行方法研究

基本信息

项目摘要

本年度は、並行分散システムの有望なモデルである並行書き換えモデルに関し、その一つの重要な部分モデルとして、非同期メッセージ通信を用いた並行オブジェクト計算に対応するものを取り上げ、以下のことを行なった。(1)抽象機械として定式化。(2)抽象機械のその性能を評価するためのシミュレーション実験。抽象機械としては、超並行計算機上で効率良く実装できるように、非同期メッセージ通信を用いた並行オブジェクト計算に近いものを想定し、並行グラフ簡約とメッセージ通信を併用した実行方式を想定して定式化した。上記抽象機械のシミュレーターを、関数型プログラミング言語Haskellで実現した。このシミュレータ上で、抽象機械の仮想機械語によって記述した並行計算に関するいくつかの例題を実行し、結果次のような知見を得た。(a)従来アドホックな形で実装されていた並行オブジェクト指向言語の,書き換えにもとづく形式的な実行方式を得ることができた.実際に,定義した抽象機械がの正当性(並行オブジェクト指向言語の正しい実装となっていること)は書き換え論理を用いて証明することができた.(b)シミュレータを使った実験を通して,本研究で定式化した抽象機械が,並行計算機を用いて効率良く実装できることを確認した.これをもとに、次年度以降は(1)超並列計算機上への抽象機械の効率の良い実装方式,および(2)本定式化にもとづく,並行オブジェクト指向言語のプログラム変換や部分計算手法の研究を行なう予定である。
This year は scattered, parallel シ ス テ ム の is expected to be な モ デ ル で あ る and running script き in え モ デ ル に masato し, そ の a つ な important part の モ デ ル と し て メ, than the same period ッ セ ー を ジ communication with い た parallel オ ブ ジ ェ ク ト computing に 応 seaborne す る も の を take り げ, the following の こ と を line な っ た. (1) The abstract machine と that て is formalized. (2) Performance evaluation of abstract machinery <s:1> そ <s:1> を 価するため 価するため シ シ ュレ ショ ショ ショ ショ <s:1> experiment. Abstract mechanical と し て は parallel computer, super で sharper rate good く be loaded で き る よ う に メ, than the same period ッ セ ー を ジ communication with い た parallel オ ブ ジ ェ ク ト に almost い も の を し scenarios, parallel グ ラ フ contracted と メ ッ セ ー ジ communication を and し た line be way を scenarios し て demean し た. The abstract machines mentioned above are シ, ュレ, タ, を, を, the numerical forms プログラ, <s:1>, グ, グ, the language Haskellで, and the reality た. こ の シ ミ ュ レ ー タ で, abstract on mechanical の 仮 to mechanical language に よ っ て account し た parallel computing に masato す る い く つ か の sample を line be し, results の よ う な knowledge を た. 従 to (a) ア ド ホ ッ ク な form で be loaded さ れ て い た parallel オ ブ ジ ェ ク ト の point to words, book き in え に も と づ く forms of な を ways be line る こ と が で き た. Be interstate に, define し た abstract mechanical が の legitimacy (parallel オ ブ ジ ェ ク ト to speech is の し い be loaded と な っ て い る こ と) は book き in を え theories with い て prove す る こ と が で き た. (b) シ ミ ュ レ ー タ を make っ た be 験 を tong し て, this study で demean し た abstract mechanical が, parallel computer を with い て sharper rate good く be loaded で き る こ と を confirm し た. こ れ を も と は に, annual to drop (1) the parallel computer へ の abstract mechanical の い の good working rate loading way, be お よ び (2) the demean に も と づ く, parallel オ ブ ジ ェ ク ト to speech の プ ロ グ ラ ム variations in や line part calculation technique の research を な う designated で あ る.

项目成果

期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
石川洋: "書き換え論理に基づく並行自己反映計算のモデル化" 日本ソフトウエア科学会第11回大会論文集. 11. 313-316 (1994)
Hiroshi Ishikawa:“基于重写逻辑的并行自反射计算建模”日本软件学会第 11 届年会论文集 11. 313-316 (1994)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
渡部卓雄: "リフレクション" コンピュータソフトウエア. 11. 5-14 (1994)
Takuo Watanabe:“反射”计算机软件。11. 5-14 (1994)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
渡部卓雄: "書換えにもとづく自己反映計算の定式化" 信学技報(SS94-12). 94. 1-7 (1994)
Takuo Watanabe:“基于重写的自反射计算的公式化”IEICE 技术报告(SS94-12)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
菅原太郎: "並行項書換え計算による並行オブジェクト指向言語の実現" 信学技報(SS94-13). 94. 9-16 (1994)
Taro Sukawara:“使用并行项重写计算实现并发面向对象语言”IEICE 技术报告 (SS94-13)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ 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 }}

二木 厚吉其他文献

Tsallis entropy as a lower bound of average deschption length for the q-generalized code tree
Tsallis 熵作为 q 广义码树的平均描述长度的下界
ドメインの形式記述と検証
正式的域描述和验证
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    有本 泰仁;二木 厚吉
  • 通讯作者:
    二木 厚吉
法令工学の提案(片山卓也)
法律工学的提案(片山卓也)
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    有本 泰仁;二木 厚吉;H. Suyari;Kokichi FUTATSUGI;H. Suyari;Kokichi Futatsugi;H. Suyari and T. Wada;二木厚吉,緒方和博,有本泰仁
  • 通讯作者:
    二木厚吉,緒方和博,有本泰仁
Multiplicative duality, q-triplet and (μ,v,q)-relation derived from the one-to-one correspondence between the (μ,v)-multinomial coeffcient and Tsallis entropy Sq
乘法对偶性、q 三元组和 (μ,v,q) 关系源自 (μ,v)-多项系数和 Tsallis 熵 Sq 之间的一一对应关系
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    二木 厚吉;緒方 和博;有本 泰仁;H. Suyari and T. Wada
  • 通讯作者:
    H. Suyari and T. Wada
Verifying Specifications with Proof Scores in CafeOBJ
在 CafeOBJ 中使用证明分数验证规格
  • DOI:
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    有本 泰仁;二木 厚吉;H. Suyari;Kokichi FUTATSUGI
  • 通讯作者:
    Kokichi FUTATSUGI

二木 厚吉的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('二木 厚吉', 18)}}的其他基金

証明スコア法に基づく革新的仕様検証技術の研究
基于证明评分法的创新规范验证技术研究
  • 批准号:
    23240004
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
モジュールシステムを基礎におくコーディネーションモデルの研究
基于模块系统的协调模型研究
  • 批准号:
    11878050
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Exploratory Research

相似海外基金

記憶固定化における大脳皮質領域間の並列処理機構の解明
阐明记忆巩固中大脑皮层区域之间的并行处理机制
  • 批准号:
    23K24199
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Travel: NSF Student Travel Grant for 2023 International Conference on Parallel Processing (ICPP)
旅行:2023 年国际并行处理会议 (ICPP) 的 NSF 学生旅行补助金
  • 批准号:
    2329410
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Parallel Processing for Novel Navigation
新颖导航的并行处理
  • 批准号:
    2889687
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
Low-Power AI Using Light Wave Diffraction -Massively Parallel Processing of Multi-Class Classification with Preserved Location Information of Objects-
使用光波衍射的低功耗人工智能 - 保留物体位置信息的多类分类的大规模并行处理 -
  • 批准号:
    23K11258
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
精度保証のある高精度数値計算のための並列処理による高速化
通过并行处理在保证精度的情况下加速高精度数值计算
  • 批准号:
    22K11978
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Elucidation of parallel processing mechanisms among cortical regions in memory consolidation
阐明记忆巩固中皮质区域之间的并行处理机制
  • 批准号:
    22H02938
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Parallel processing strategy in mid-tier visual areas in primates
灵长类动物中层视觉区域的并行处理策略
  • 批准号:
    21H02596
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
分散型知覚情報並列処理のための睡眠覚醒モデルの提案と遠隔操作移動ロボットへの応用
分布式并行处理感知信息的睡眠-觉醒模型的提出及其在远程控制移动机器人中的应用
  • 批准号:
    21K12071
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Searching for new physics in top-quark events with the ATLAS experiment at the LHC and parallel processing in the ATLAS trigger.
通过大型强子对撞机上的 ATLAS 实验和 ATLAS 触发器中的并行处理来寻找顶夸克事件中的新物理现象。
  • 批准号:
    2604949
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Studentship
Integration and parallel processing of light information from pineal and eyes
松果体和眼睛光信息的集成和并行处理
  • 批准号:
    20K15844
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了