课题基金 / 基金详情

Concurrency theory, non-numerical approximation and mereology

Concurrency theory, non-numerical approximation and mereology
并发理论、非数值近似和分体学
批准号：
36539-2010
负责人：
Janicki, Ryszard
金额：
$1.46万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2010
资助国家：
加拿大
项目状态：
已结题
起止时间：
2010-01-01 至 2011-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=450642
关键词：
Concurrencytheorynonnumericalapproximation

项目摘要

项目成果

Janicki, Ryszard的其他基金

相似基金

相关文献

中文摘要
翻译
并行系统、近似问题和分生系统都有丰富的人类经验，但它们的充分概念化至今仍未得到我们的理解。我们在管理和控制人类事务和活动方面越来越依赖越来越复杂的系统，因此迫切需要制定更充分、更可取的更正式的概念，以维持对我们创建的系统的可靠控制。解决正确规范设计和验证其行为的问题变得至关重要，而一个令人满意的严格规范和验证的概念性设备变得至关重要。
英文摘要
Both concurrent systems, approximation problems and mereological systems abound in human experience but their fully adequate conceptualization as yet eludes us. Our increasing dependence on ever more complex systems in the management and control of human affairs and activities increases the urgency for developing more adequate and preferable more formal concepts to maintain reliable control over systems we have created. The solution of the problem of correct specification of the design and verification of its behaviour becomes crucial, and a satisfactory conceptual apparatus for rigorous specification and verification becomes essential.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Concurrency and Approximate Reasoning
  • 批准号：
    RGPIN-2020-05715
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2022
  • 负责人：
    Janicki, Ryszard
  • 依托单位：
    McMaster University
Concurrency and Approximate Reasoning
  • 批准号：
    RGPIN-2020-05715
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2021
  • 负责人：
    Janicki, Ryszard
  • 依托单位：
    McMaster University
Concurrency and Approximate Reasoning
  • 批准号：
    RGPIN-2020-05715
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2020
  • 负责人：
    Janicki, Ryszard
  • 依托单位：
    McMaster University
Concurrency Theory and Non-Numerical Approximation
  • 批准号：
    RGPIN-2015-06466
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2019
  • 负责人：
    Janicki, Ryszard
  • 依托单位：
    McMaster University
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号：
    24ZR1403900
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    SATOSHI NAWATA
  • 依托单位：
    复旦大学
Fibered纽结的自同胚、Floer同调与4维亏格
  • 批准号：
    12301086
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2023
  • 负责人：
    何东泰
  • 依托单位：
    同济大学
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
  • 批准号：
    82371997
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    张春富
  • 依托单位：
    上海交通大学
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 项目类别：
    专项项目
  • 资助金额：
    18.00万元
  • 批准年份：
    2022
  • 负责人：
    黄栋
  • 依托单位：
    苏州大学