Week13 关于我摸鱼的第十三、四次研究生组会

汇报内容

对于论文Extending urban Multi-lane Spatial logic to Formalise Road Junction Rules，首先该论文是对自己前序工作UMLSL的拓展，将时空结合，在她的论文中，利用^和并列的算子形式化的表示了空间的概念，并将静态信息进行了覆盖，其中将行人也视为静态信息。其中交通快照TS是通过时间和申请资源进行更新的。第二周我就上周讨论的内容进行了思考，想引入一个新的表示空间的算子，主要是想表示横着的一个概念，首先我们可以将所有的道路进行抽象表示，其中交叉路口可以用点进行描述，如下图所示。

导师反馈内容

其实可以将道路的连接算子表示为——o——>和——o「->上->下」以及「->上->下」0——这三种，但是我们如何进行拓展连接，这是可以考虑的，同时你需要认真学习空间逻辑的一些概念，并对那篇论文进行更深入的理解。