【摘 要】
：
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了
论文部分内容阅读
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法
其他文献
随着社会的发展、生活水平的提高、人口寿命的延长,人们对健康知识的需求日益增强,而作为一项投入少、收益大、见效快的健康教育也受到各级政府、卫生行政部门的广泛关注。认
2009年3月墨西哥发生甲型H1N1流感流行,此后疫情迅速向世界各地蔓延,并于5月份传入我国。截至10月份已遍及全国各地。扬州市疾控中心于6月下旬检出高邮市首例病例。为了解高
用一个全球谱模式通过较多个例的月数值天气预报试验,研究了预报结果的有用信息提取问题.模式预报误差的谱分析表明,纬向平均(零波)场误差占很大比例,试验了两种用气候倾向改
交际过程主要受“经济性”、“表达意图”及“交际对象”等因素的制约。例如正确理解某句话的意义,就需要人们内心的认知活动。在此认知活动中包括为达到目的制定计划的能力
高炉液压泥枪是炼铁高炉的重要设备,以前高炉液压泥枪出现故障,需要修复,拆下来没有对其确切的故障分析诊断,就对其进行全面解体,造成了大量人力资源和物料的浪费,尤其对于高