Concurrency theory, non-numerical approximation and mereology

并发理论、非数值近似和分体学

• 批准号: 36539-2010
• 负责人: Janicki, Ryszard
• 金额: $ 1.46万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=508031
• 关键词: Concurrency; theory; non; numerical; approximation

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.

同时系统，近似问题和部分系统丰富的人类经验，但他们充分充分的概念化尚未摆脱我们。在人类事务和活动的管理和控制中，我们越来越依赖于越来越复杂的系统，这就增加了开发更适当、更可取、更正式的概念以保持对我们所创建的系统的可靠控制的紧迫性。正确规范的设计和验证其行为的问题的解决方案变得至关重要，和一个令人满意的概念装置，严格的规范和验证变得至关重要。