順序付き線形型に基づく安全かつ高速な大規模データ処理の実現

基于有序线性类型实现安全快速的大规模数据处理

基本信息

  • 批准号:
    18049002
  • 负责人:
  • 金额:
    $ 1.86万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
  • 财政年份:
    2006
  • 资助国家:
    日本
  • 起止时间:
    2006 至 无数据
  • 项目状态:
    已结题

项目摘要

本研究では,順序付き線形型理論に基づき,XML文書の木構造処理プログラムを効率のよいストリーム処理プログラムに自動変換するための枠組みの確立を目指している.本年度の成果は以下のとおり.1.XML文書の木構造処理プログラムからストリーム処理プログラムへの自動変換の枠組みの確立前年度までに確立していた2分木データを対象とした木構造処理プログラムからストリーム処理プログラムへの枠組みを拡張し,XML文書を対象として扱えるようにした.2.XML用ストリーム処理プログラム生成器X-Pの試作と評価上記1の枠組みに基づき,XML文書のための木構造処理プログラムからストリーム処理プログラムへの自動変換器X-Pを試作し,評価を行った.その結果,多くの例について1の枠組みが有効であることが確認できた.一方で,いくつかの例について,(1)無駄なバッファリング命令が挿入される,(2)文書型の情報を有効利用できていない,などの問題点が見つかった.3.バッファリングの自動挿入の改良ストリーム処理では,入力文書を一定の順序でしかアクセスできないため,上記1の枠組みでは,必要に応じて入力文書をバッファリングするようなストリーム処理プログラムが生成される.上記2の評価実験において,本来必要のないデータまでバッファリングされてしまう例が見つかったため,改良策として,入力木を部分的にバッファリングするための命令を追加し,自動変換の枠組みの再構築を始めた.
本研究的目的是建立一个基于有序线性类型理论的将XML文档的树结构处理程序自动转换为高效的流处理程序的框架。今年的研究成果如下: 1.自动将XML文档树结构处理程序转换为流处理程序。该框架已从以数据为目标的树形结构处理程序扩展到以XML文档为目标的处理程序。 2.基于该框架的XML流处理程序生成器X-P的原型制作和评估。如上所述,我们对 X-P 进行了原型设计和评估,它是一个将 XML 文档从树结构处理程序转换为流处理程序的自动转换器。结果,证实框架1对于许多示例是有效的。另一方面,对于某些示例,(1)插入了不必要的缓冲指令,(2)文档类型3.改进了缓冲的自动插入在流处理中,输入文档只能按一定顺序访问。因此,在上面1的框架中,生成了一个流处理程序,根据需要缓冲输入文档。在上面2的评估实验中,发现了一个缓冲不必要数据的例子,作为改进措施,我们添加了一个。指令部分缓冲输入树并开始重建自动转换框架。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
XMLのためのストリーム処理プログラム生成器X-P
XML X-P 的流处理程序生成器
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    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 }}

小林 直樹其他文献

無住と武家新制
Muju和武士新系统
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小林 直樹;山崎淳;新城郁夫;小林直樹
  • 通讯作者:
    小林直樹
型エラースライシングによるデッドロックの原因個所の特定
通过类型错误切片识别死锁原因
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    飯村 枝里;末永 幸平;小林 直樹
  • 通讯作者:
    小林 直樹
「大東亜」という倒錯-大城立裕『朝、上海に立ちつくす小説東亜同文書院』におけるジェンダー・トラブル
“大东亚”的曲解——大城达宏小说《东亚同文书院:清晨的上海》中的性别困境
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小林 直樹;山崎淳;新城郁夫
  • 通讯作者:
    新城郁夫
高階木変換器の自動検証のための反例発見と抽象化改良
高阶树转换器自动验证的反例发现和抽象改进
理論計算機科学事典(8.3節「型に基づくプログラム検証」)
理论计算机科学百科全书(第8.3节“基于类型的程序验证”)
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    徳山 豪;小林 直樹
  • 通讯作者:
    小林 直樹

小林 直樹的其他文献

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

{{ truncateString('小林 直樹', 18)}}的其他基金

無住道暁と南宋代成立典籍に関する総合的研究
南宋武术道啸及正典综合研究
  • 批准号:
    23K00298
  • 财政年份:
    2023
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
利用潜在的产霉菌毒素细菌物种阐明霉菌毒素生物合成抑制机制
  • 批准号:
    23K05081
  • 财政年份:
    2023
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
偏振光谱多光谱相机视觉诊断成像系统的研究与开发
  • 批准号:
    23K11878
  • 财政年份:
    2023
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Program Verification Based on Higher-Order Fixpoint Logic
基于高阶不动点逻辑的程序验证
  • 批准号:
    20H00577
  • 财政年份:
    2020
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Program Verification Techniques for the AI Era
AI时代的程序验证技术
  • 批准号:
    20H05703
  • 财政年份:
    2020
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (S)
遁世僧の宋刊仏書受容をめぐる説話伝承学的研究
宋代佛经接受传说的民间传说研究
  • 批准号:
    19K00299
  • 财政年份:
    2019
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
表面ナノ構造を有する可視応答TiO2/p-InGaNヘテロ接合光電極の還元力評価
表面纳米结构可见光响应TiO2/p-InGaN异质结光电极还原能力评价
  • 批准号:
    20510101
  • 财政年份:
    2008
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
基于有序线性类型实现安全快速的大规模数据处理
  • 批准号:
    19024003
  • 财政年份:
    2007
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ヒト免疫構築マウスをもちいた感染症モデルマウスの樹立および末梢T細胞分化の解析
人免疫构建小鼠传染病模型小鼠的建立及外周T细胞分化分析
  • 批准号:
    19700369
  • 财政年份:
    2007
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
型システムとモデル検査の融合によるソフトウェア検証
类型系统和模型检查相结合的软件验证
  • 批准号:
    16650004
  • 财政年份:
    2004
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Exploratory Research

相似海外基金

新規前処理技術が拓く木材の階層構造と力学的特性の解明
使用新的预处理技术阐明木材的层次结构和机械性能
  • 批准号:
    23K26965
  • 财政年份:
    2024
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Using Symptom Network Models to Translate Theory to Clinical Applications
使用症状网络模型将理论转化为临床应用
  • 批准号:
    10387871
  • 财政年份:
    2022
  • 资助金额:
    $ 1.86万
  • 项目类别:
Pre-Clinical Optimization of MeniscoFix, a Novel Total Meniscus Replacement Implant
MeniscoFix(一种新型全半月板置换植入物)的临床前优化
  • 批准号:
    10547466
  • 财政年份:
    2022
  • 资助金额:
    $ 1.86万
  • 项目类别:
Using Symptom Network Models to Translate Theory to Clinical Applications
使用症状网络模型将理论转化为临床应用
  • 批准号:
    10491738
  • 财政年份:
    2022
  • 资助金额:
    $ 1.86万
  • 项目类别:
RTB 2
实时出价2
  • 批准号:
    10532387
  • 财政年份:
    2021
  • 资助金额:
    $ 1.86万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了