項書換え系における検証と実行に関する研究

术语重写系统的验证与执行研究

基本信息

  • 批准号:
    57550219
  • 负责人:
  • 金额:
    $ 0.9万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
  • 财政年份:
    1982
  • 资助国家:
    日本
  • 起止时间:
    1982 至 无数据
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ 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)}}的其他基金

線形ブロック符号のトレリスダイアグラムの並列構造に関する研究
线性分组码网格图并行结构的研究
  • 批准号:
    05650355
  • 财政年份:
    1993
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
分解可能な符号の多段階軟判定準最適復号法に関する研究
可分解码多级软判决半最优译码方法研究
  • 批准号:
    04650287
  • 财政年份:
    1992
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
線形符号のトレリスダイアグラムの構造解析及びその支援系の作成
线性代码网格图的结构分析及其支撑系统的创建
  • 批准号:
    02650245
  • 财政年份:
    1990
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
符号化位相シフトキ-イング変調ブロック符号の構造解析と誤り訂正特性の評価
编码相移键控调制分组码结构分析及纠错特性评价
  • 批准号:
    01550266
  • 财政年份:
    1989
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
符号化位相シフトキーイング変調を内部符号とした縦接符号の評価法
以编码相移键控调制为内码的垂直码评估方法
  • 批准号:
    63550255
  • 财政年份:
    1988
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
縦接符号の信頼性の評価
竖向标志可靠性评价
  • 批准号:
    61550243
  • 财政年份:
    1986
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
2元線形符号の重み分布の二項分布近似に関する研究
二维线性码权重分布的二项分布近似研究
  • 批准号:
    59550230
  • 财政年份:
    1984
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
暗号化関数を用いたプロトコルの安全性の検証
使用密码函数验证协议安全性
  • 批准号:
    58550248
  • 财政年份:
    1983
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
関数的プログラミング言語の処理系に関する研究
函数式编程语言处理系统研究
  • 批准号:
    X00090----555143
  • 财政年份:
    1980
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
計算機プログラムのための仕様記述法と言語に関する研究
计算机程序规范编写方法和语言研究
  • 批准号:
    X00090----355164
  • 财政年份:
    1978
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)

相似国自然基金

莱菔硫烷经胆汁酸及其受体调控肠道巨噬细胞极化改善溃疡性结肠炎作用机制研究
  • 批准号:
    MS25H260021
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
FGF21通过CTL1介导的胆碱稳态调控线粒体自噬对帕金森病的保护机制研究
  • 批准号:
    MS25H310003
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
受分数布朗运动驱动的多值随机微分方程动力学行为研究
  • 批准号:
    QN25A010002
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
几类离散概率模型的长时间行为
  • 批准号:
    QN25A010006
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
随机非局部全变差流的适定性及长时间行为
  • 批准号:
    QN25A010014
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
度量测度空间上基于狄氏型和p-energy型的热核理论研究
  • 批准号:
    QN25A010015
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
两类拟线性Schrödinger方程正规化解的存在性与多重性研究
  • 批准号:
    QN25A010018
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
两类高斯过程驱动的混杂自交互扩散的长时间行为研究
  • 批准号:
    QN25A010030
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于深度学习的滤泡性甲状腺癌术前智能诊断模型研究
  • 批准号:
    QN25A010034
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
流场中多尺度Pull型自驱动颗粒聚集行为的研究
  • 批准号:
    QN25A020005
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    $ 0.9万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了