消費電力をパラメータとする関数リアクティブプログラミングの研究
以功耗为参数的函数式反应式编程研究
基本信息
- 批准号:22K11967
- 负责人:
- 金额:$ 2.5万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2022
- 资助国家:日本
- 起止时间:2022-04-01 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
本年は機能的・時間的な側面から消費電力が大きく変化する機能について関数リアクティブプログラミング言語に組み込む研究を行った。特に、外部からの入力に対する応答性を十分に担保しながら、その範囲で処理の頻度を落とす方向での解決を試みた。組込みシステムにおける消費電力は、CPUのみで動くソフトウェアよりもセンサやモータといった外部デバイスを駆動する方が影響が大きい。外部デバイスを使用しない場合にこれらの電源を落とす(スリープさせる)ことで消費電力を削減できる。しかし外部デバイスを用いないようにする際に、誤って古いデータやダミーデータを使用するなどのバグが発生しないことを保証することが重要である。本年はこのような仕組みを静的に保証する関数リアクティブプログラミング言語を提案した。また、組込みシステムの応答性を維持しながら外部デバイスの駆動回数を減らす方法として、必要リソースを抑制した非同期計算の機構を関数リアクティブプログラミング言語に導入した。これは非同期計算のみを時分割計算の対象とすることで、組込みシステムにも容易に導入可能であり、常時応答する処理と、低頻度に発生する高負荷な計算や外部との通信のような不定期な処理を両立するのに十分である。これらに加えて、プログラム中のデータフローに注目して同期的・非同期的に処理する部分を混在して記述可能なプログラミング言語や、実行時に処理の頻度を変更する機構を備えたプログラミング言語を提案した。
は function of this year, time な profile か ら consumption power が き く variations change す る function に つ い て masato number リ ア ク テ ィ ブ プ ロ グ ラ ミ ン グ words に group み 込 む を line っ た. に, external か ら の に into force す seaborne る 応 answer sex を very に assure し な が ら, そ の van 囲 で 処 Richard の frequency を fall と で す direction の try solve を み た. Group 込 み シ ス テ ム に お け る consumption power は, CPU の み で dynamic く ソ フ ト ウ ェ ア よ り も セ ン サ や モ ー タ と い っ た external デ バ イ ス を 駆 dynamic す る party が が affected き い. Use external デ バ イ ス を し な い occasions に こ れ ら の power を fall と す (ス リ ー プ さ せ る) こ と で consumption power を cut で き る. し か し external デ バ イ ス を with い な い よ う に す る interstate に, mistakenly っ て ancient い デ ー タ や ダ ミ ー デ ー タ を use す る な ど の バ グ が 発 raw し な い こ と を guarantee す る こ と が important で あ る. This year は こ の よ う な blackstone group み を static に guarantee す る masato number リ ア ク テ ィ ブ プ ロ グ ラ ミ ン グ words を proposal し た. ま た, group 込 み シ ス テ ム の 応 を maintain a sex し な が ら external デ バ イ ス の 駆 move back several を minus ら す method と し て, necessary リ ソ ー ス を inhibit し の た than the same period computing を masato number リ ア ク テ ィ ブ プ ロ グ ラ ミ ン グ words に import し た. こ れ は than the same period calculation の み を break when calculating の like と seaborne す る こ と で, group 込 み シ ス テ ム に も に easily import may で あ り, geomagnetic 応 answer す る 処 と, low frequency に 発 raw す る な high load や external と の communication の よ う な irregularly な 処 Richard を struck made す る の に very で あ る. こ れ ら に plus え て, プ ロ グ ラ ム in の デ ー タ フ ロ ー に attention し て in the same period, not in the same period に 処 Richard す る part を mixed し て account may な プ ロ グ ラ ミ ン グ speech や, be row に 処 Richard の frequency を - more す る institutions を prepared え た プ ロ グ ラ ミ ン グ words を proposal し た.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
将异步任务引入小型嵌入式系统的 FRP 语言
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Akihiko Yokoyama;Sosuke Moriguchi & Takuo Watanabe
- 通讯作者:Sosuke Moriguchi & Takuo Watanabe
入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討
具有动态输入/输出切换机制的嵌入式系统FRP语言研究
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:瀧本哲史;森口草介;渡部卓雄
- 通讯作者:渡部卓雄
小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構
小型嵌入式系统FRP语言时变值更新定时切换机制
- DOI:
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:横山陽彦;森口草介;渡部卓雄
- 通讯作者:渡部卓雄
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
小型嵌入式设备上功能反应式编程解释器的实现和评估
- DOI:
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:Go Suzuki;Takuo Watanabe & Sosuke Moriguchi
- 通讯作者:Takuo Watanabe & Sosuke Moriguchi
Responsibilities of Responses in Functional Reactive Programming
函数响应式编程中响应的职责
- DOI:
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:Sosuke Moriguchi;Takuo Watanabe
- 通讯作者:Takuo Watanabe
{{
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 }}
森口 草介其他文献
森口 草介的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('森口 草介', 18)}}的其他基金
ソースコードを操作するプログラムの検証技法の研究
操纵源代码的程序验证技术研究
- 批准号:
19K20245 - 财政年份:2019
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
相似海外基金
妨害波を活用した極低消費電力無線技術の創成
利用干扰波创建超低功耗无线技术
- 批准号:
24K00939 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
高品質かつ低消費電力な映像配信マイクロサービス基盤
高质量、低功耗的视频分发微服务平台
- 批准号:
23K21660 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
小型軽量かつ低消費電力の音源探知による飛行物体検知システムの開発
利用声源检测开发小型、轻量、低功耗的飞行物体检测系统
- 批准号:
23K22705 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
ナノシステムの化学ダイナミクスを利用した超低消費電力マテリアルリザバーの開発
利用纳米系统化学动力学开发超低功耗材料库
- 批准号:
23K23168 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
土壌微生物電池と低消費電力広域通信対応のIoTシステムを活用した減災インフラの構築
使用土壤微生物电池和支持低功耗和广域通信的物联网系统建设减灾基础设施
- 批准号:
24H02584 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Encouragement of Scientists
価数駆動型の新奇抵抗変化現象を記録原理とした極低消費電力型不揮発性メモリの創成
利用新颖的价驱动电阻变化现象作为记录原理创建超低功耗非易失性存储器
- 批准号:
24K17759 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
強誘電性κ-Ga2O3の超低消費電力パワーデバイスの開拓
利用铁电κ-Ga2O3开发超低功耗功率器件
- 批准号:
23K22797 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
低消費電力・広カバレッジ複数端末連携型無線ネットワークの構築
构建低功耗、广覆盖的多终端协作无线网络
- 批准号:
24K20766 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
エッジ応用に向けた超低消費電力スパイキングニューラルネットワークハードウェア
适用于边缘应用的超低功耗尖峰神经网络硬件
- 批准号:
23K24913 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Si基板上へのInSb系超高速・超低消費電力デバイスの作製と評価
Si衬底上InSb基超高速超低功耗器件的制备与评估
- 批准号:
24K07589 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)