论文部分内容阅读
项目负责人：郭盛（E-mail：shguo@bjtu.edu.cn） 依托单位：北京交通大学 项目批准号：51075025 1．项目简介本项目以数理逻辑为主要数学工具，研究和开发针对空间多环机构型综合设计的新方法，从而提出一套适合此类新型机构的表示方法和综合理论体系。由于空间多环机构的复杂性，使其难以实现系统的结构表达和综合设计方法。本研究首次将数理逻辑学引入到机构学中，利用数理矩阵的数字化表示特性，定义与之对应的机构单元表示方法，推导数理逻辑运算与机构综合过程的映射关系。