查找： 关键词为 Logical operator symbols Space alternate coordinate Patch method Wire model 的文献