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…
（本文是笔者写作与沟通课程的期末最终论文） 摘要：自动化技术在航空业内得到了广泛应用，飞行员的职责逐渐由操控飞机飞行转变为对自动化系统的监控。这样的转变使得航空安全面临着新的挑战，其中自动化系统的透明度问题是引发航空事故的重要因素之一。本文通过基于自动化信任理论的分析，发现维持适当的透明度对于保障航空安全是十分必要的，且提高自动化系统的可视化程度或…
$GTM218$习题解答，每写一章节更新一次。 参考的资料有：J. Lee主页的勘误以及一位大佬所写的部分习题解答。 solution下载
Riemannian Geometry
本文灵感来源于一张图： 于是笔者决定记录下学习过程中常见的错误想法，随缘更新。
一些关于TeX代码的小技巧，持续施工中……
Hello world