给出一个建筑模型(三角化)，三张相片的外方位元素、内参数，三角形顶点的三维文件, 利用计算三角形法向量的方法，编写程序判断三张相片可见的三角形表面集合，要求考虑表面间的遮挡

这是一个比较复杂的计算机视觉问题，需要涉及到摄影测量、三维重建、三角网格剖分、遮挡问题等多个方面的知识。以下是一个简单的流程：

1. 读取三张相片的外方位元素和内参数，将它们转换为相机的矩阵。这个过程需要使用摄影测量的知识，包括相片的标定、相片的定向等。

2. 读取三角形顶点的三维文件，生成三角网格。这个过程需要使用三维重建和三角网格剖分的知识。

3. 对于每个三角形，计算它的法向量。这个过程可以使用向量叉积等方法。

4. 对于每个相机，将它的矩阵和三角形的顶点坐标进行变换，得到三角形在相机坐标系下的投影。根据相机的内参数，将投影坐标转换为像素坐标。

5. 对于每个相机，遍历所有的三角形，判断它们是否可见。如果一个三角形在该相机下不可见，则它被遮挡了。

6. 将所有相机下可见的三角形合并起来，得到最终的可见三角形集合。

需要注意的是，这个流程只是一个简单的示例，实际实现中可能需要考虑更多的细节和优化方法。