Petri Net Based Concurrent System Models and Applications

基于Petri网的并发系统模型及应用

基本信息

  • 批准号:
    8310719
  • 负责人:
  • 金额:
    $ 8.1万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1983
  • 资助国家:
    美国
  • 起止时间:
    1983-09-01 至 1986-02-28
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(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 }}

Tadao Murata其他文献

Japanese Sound Hierarchy based on Artificial Onomatopoeia
基于人工拟声词的日语声音等级
Lyman' s Law effect in Japanese sequential voicing : Questinnaire-based nonword experiments
日语顺序发声中的莱曼定律效应:基于问卷的非单词实验
Rate induced resyllabificatio in Japane
日语中的速率诱导重音节化
  • DOI:
  • 发表时间:
    2003
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mafuyu Kitahara;Tadao Murata
  • 通讯作者:
    Tadao Murata
The mood in the appositive clause preceded by el hecho de que in Spanish
西班牙语中 el hecho de que 前面的同位语从句的语气
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mutsuko Ihara;Katsuo Tamaoka;Tadao Murata;吉田浩美;福嶌教隆;浅香武和;吉田浩美;福嶌教隆;浅香武和;長谷川信弥;福嶌教隆;福嶌教隆
  • 通讯作者:
    福嶌教隆
イスパニア語の感情を表す語句に導かれる接続法について
关于西班牙语中情感词引导的虚拟语气表达
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mutsuko Ihara;Katsuo Tamaoka;Tadao Murata;吉田浩美;福嶌教隆;浅香武和;吉田浩美;福嶌教隆;浅香武和;長谷川信弥;福嶌教隆;福嶌教隆;長谷川信弥;浅香武和;福嶌教隆;福嶌教隆;福嶌教隆
  • 通讯作者:
    福嶌教隆

Tadao Murata的其他文献

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

{{ truncateString('Tadao Murata', 18)}}的其他基金

Performance Modeling and Analysis of Real-Time Distributed Systems
实时分布式系统的性能建模与分析
  • 批准号:
    9988326
  • 财政年份:
    2001
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Continuing Grant
Adapting Petri Net Theory and Methods to Specification and Analysis of Concurrent Software
将Petri网理论和方法应用于并发软件的规范和分析
  • 批准号:
    9321743
  • 财政年份:
    1994
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Continuing Grant
Mapping Concurrent-Software Specifications to Petri Nets for Analysis & Metric Definition
将并发软件规范映射到 Petri 网进行分析
  • 批准号:
    8913580
  • 财政年份:
    1989
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Continuing Grant
Petri Net Based Concurrent System Models and Applications
基于Petri网的并发系统模型及应用
  • 批准号:
    8510208
  • 财政年份:
    1986
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Standard Grant
Computer Aided Modeling and Analysis of Concurrent Systems Based on Petri Nets; U.S.-Spain Program
基于Petri网的并发系统计算机辅助建模与分析;
  • 批准号:
    8420627
  • 财政年份:
    1985
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Standard Grant
Net Theory For Large Concurrent Systems
大型并发系统的网络理论
  • 批准号:
    8105649
  • 财政年份:
    1981
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Continuing Grant
Circuit-System Theory and Distributed Processing Control Structures
电路系统理论和分布式处理控制结构
  • 批准号:
    7805933
  • 财政年份:
    1978
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Standard Grant

相似国自然基金

基于U-net和Transformer的深度学习模型构建非增强CT急性缺血性脑卒中核心梗死区可视化分割系统
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
免造影剂增强心脏CT技术:深度学习GAN与U-Net架构的融合应用
  • 批准号:
    2025JJ80644
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
NET介导乳腺癌新辅助化疗患者围术期血管内皮损伤的机制探讨
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于两阶段3D U-Net深度学习模型的头颅CT引导三叉神经痛射频穿刺智能教学系统的研发与验证
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
MEF2D上调NET-DNA新型感受器ITGB4促进肝癌肝内转移的机制研究
  • 批准号:
    82373024
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
血小板来源外泌体通过分泌PD-L1及促进NET形成在脓毒症免疫麻痹的机制研究
  • 批准号:
    2023JJ50448
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于胎盘转运体SERT/NET妊娠动力学及调控的二甲双胍在子痫前期孕妇的临床药动学/药效学研究
  • 批准号:
    82373954
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
蓝斑核PKC/NET介导染料木素调控癫痫猝死的作用及机制研究
  • 批准号:
    2023JJ40356
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
NET-DNA通过CCDC25抑制TAZ磷酸化调控iTreg-Th17转分化在重度哮喘中的作用和机制研究
  • 批准号:
    82300042
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于自注意力机制的变异U-Net脑组织图像分割模型研究
  • 批准号:
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

STREAM 2: EPSRC Place Based IAA (PB-IAA);Northern Net Zero Accelerator - Energy Systems Integration for a Decarbonised Economy
流 2:EPSRC 地方基础 IAA (PB-IAA);北方净零加速器 - 脱碳经济的能源系统集成
  • 批准号:
    EP/Y024052/1
  • 财政年份:
    2024
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Research Grant
Enabling cloud-based net zero options assessment for non-domestic buildings
为非住宅建筑启用基于云的净零选项评估
  • 批准号:
    10065360
  • 财政年份:
    2023
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Collaborative R&D
Net zero and rurality: feasibility study into a cross-sectoral, place-based approach to overcoming non-technical barriers to net-zero living in South Lakeland, Cumbria
净零和农村:跨部门、基于地方的方法的可行性研究,以克服坎布里亚郡南莱克兰净零生活的非技术障碍
  • 批准号:
    10061553
  • 财政年份:
    2023
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Feasibility Studies
Development of active gate drivers for compound-semiconductor-based Net Zero energy systems
为基于化合物半导体的净零能源系统开发有源栅极驱动器
  • 批准号:
    2888285
  • 财政年份:
    2023
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Studentship
Optimization of electronic structure of Dirac nodal-line superconductors based on phosphorous square net
基于磷方网的狄拉克节线超导体电子结构优化
  • 批准号:
    23K03328
  • 财政年份:
    2023
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Novel Agent-based Approaches for UK Whole Energy Systems Modelling for UK Net-zero Emissions by 2050, with a Focus on Hydrogen Integration
英国整体能源系统建模的基于代理的新型方法,到 2050 年实现英国净零排放,重点关注氢整合
  • 批准号:
    2891033
  • 财政年份:
    2023
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Studentship
Construction of a NET Utilizing Exchange Model Based on the Effect Verification of NET Contributing to the Reduction of Maladjustment Symptoms in University Students
基于NET的效果验证构建NET利用交换模型有助于减少大学生适应不良症状
  • 批准号:
    23K02997
  • 财政年份:
    2023
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
System Based Net Zero Carbon Housing Configurator
基于系统的净零碳住房配置器
  • 批准号:
    10045632
  • 财政年份:
    2022
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Grant for R&D
Group-based Integrative Pain Management: A multi-level approach to address intersectional stigma and social isolation in diverse primary care safety net patients with chronic pain
基于群体的综合疼痛管理:一种多层次的方法,用于解决患有慢性疼痛的不同初级保健安全网患者的交叉耻辱和社会隔离问题
  • 批准号:
    10539166
  • 财政年份:
    2022
  • 资助金额:
    $ 8.1万
  • 项目类别:
Towards Net-Zero Emissions: mechanics, processes and materials to support risk-based well decommissioning
迈向净零排放:支持基于风险的油井退役的机械、工艺和材料
  • 批准号:
    577111-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 8.1万
  • 项目类别:
    Alliance Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了