Proposition: If a Riemannian manifold $(M,g)$ has non-positive sectional curvature, then $\forall p\in M,\mathrm{conj}(p)=\emptyset$. Proof: Suppose $q\in\mathrm{conj}(p)$ is …

早上在证明黎曼流形上的极值原理的时候意识到了这件事，于是把完整过程写一下以作记录。 Proposition: For a smooth map $f:M\to N$, the representation matrix of its derivative $df\in\Gamma(M,T^*M\otimes f^*TN)$ is orthogona…

（本文是笔者写作与沟通课程的期末最终论文） 摘要：自动化技术在航空业内得到了广泛应用，飞行员的职责逐渐由操控飞机飞行转变为对自动化系统的监控。这样的转变使得航空安全面临着新的挑战，其中自动化系统的透明度问题是引发航空事故的重要因素之一。本文通过基于自动化信任理论的分析，发现维持适当的透明度对于保障航空安全是十分必要的，且提高自动化系统的可视化程度或…