プラズマ・ディスプレイを用いた教育用ミニコンピュータのコンソールの作製
等离子显示教育微型机控制台的制作
基本信息
- 批准号:X00095----265106
- 负责人:
- 金额:$ 0.3万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for General Scientific Research (D)
- 财政年份:1977
- 资助国家:日本
- 起止时间:1977 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(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 }}
谷口 健一其他文献
外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法
具有只能保存外部输入的整数变量的有限状态机的符号模型检查方法
- DOI:
- 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
竹中 崇;岡野 浩三;東野 輝夫;谷口 健一 - 通讯作者:
谷口 健一
谷口 健一的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('谷口 健一', 18)}}的其他基金
マルチランデブを含むLOTOSプログラムの分散実行系の構築
为 LOTOS 程序构建分布式执行系统,包括多集合点
- 批准号:
08680366 - 财政年份:1996
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
複数の制御部をもつ同期式順序回路の機能検証に関する研究
多控制单元同步时序电路功能验证研究
- 批准号:
07680356 - 财政年份:1995
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系
用Petri网型执行控制器和分布式执行系统验证代数规范描述
- 批准号:
06680320 - 财政年份:1994
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
代数的手法を用いたプログラムの階層的設計と開発環境に関する研究
利用代数方法进行程序和开发环境的层次化设计研究
- 批准号:
05680273 - 财政年份:1993
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
ハ-ドウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証
使用硬件规格描述和微程序逐步阐述和验证实现
- 批准号:
02650266 - 财政年份:1990
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
代数的手法によるプログラムの正しさ証明システムの作成に関する研究
利用代数方法创建程序正确性证明系统的研究
- 批准号:
01550286 - 财政年份:1989
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
代数的手法を用いたハードウェアの仕様記述と実現に関する研究
代数方法的硬件规格描述与实现研究
- 批准号:
63550275 - 财政年份:1988
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
関数的プログラミング言語のマイクロプログラムによる直接実行に関する研究
函数式编程语言微程序直接执行研究
- 批准号:
X00095----565126 - 财政年份:1980
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)
シンタックス・アナライザの構成とその簡単化に関する研究
语法分析器的结构及简化研究
- 批准号:
X00210----775164 - 财政年份:1972
- 资助金额:
$ 0.3万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
车载中央计算平台软件框架及泊车功能研发与产业化应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
低空飞行器及其空域的设计与监管平台软件
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于金刚石高效散热封装的高功率高压GaN器件研发与产业化
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
新能源智能汽车高性能精密零部件装备研制与产业化
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
高效智能化超低风速风电机组关键技术及装备研制
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
绿氢制储加注关键技术与装备研发
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
复杂电子产品超精密加工及检测关键技术研究与应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
抗消化性溃疡新药研发
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于合成生物学的动物底盘品种优化及中试应用研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
1.1 类中药创新药“鱼酱排毒合剂”开发
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号:
2901954 - 财政年份:2028
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号:
2896097 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号:
2780268 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号:
2908918 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
- 批准号:
2908693 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号:
2908917 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号:
2879438 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
- 批准号:
2879865 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
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.3万 - 项目类别:
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号:
2876993 - 财政年份:2027
- 资助金额:
$ 0.3万 - 项目类别:
Studentship