这是哪一个文件，安装的时候 是 install-tl-windows.bat 文件,右键管理员执行。

提供下代码看看，我印象里 xsim 没有提供边框的，是不是你的边框代码有问题。

MiKTeX 4.0.1 这个版本是哪里来的，MiKTeX 最高版本还不到 3.0。

看这里：
https://tex.stackexchange.com/questions/355607/too-many-symbol-fonts-declared-error/355620
Loading mathabx and amssymb along with newtxmath is useless: if you load mathabx before newtxmath, most of the symbols will be redefined; in the other order, mathabx will override most of newtxmath symbols.

Also skull allocates a math symbol font just for one symbol. It doesn't seem worthy it and it's easy to do without wasting a math group.

现在都是 7714 2015 了，去看看新的。https://github.com/CTeX-org/gbt7714-bibtex-style

注意这个参数标识了最大的标签宽度，你可以加大一点，就没有问题了。

看不懂你要问啥？你的问题是什么，是看不懂定义？还是看不懂怎么用？有点懵逼呀。

看看 hyperref 的宏包说明里看看：

有个宏包 tabularx 可以实现，例子如下：

\documentclass{article}

\usepackage{tabularx}

\begin{document}

\begin{tabular}{|l|c|r|}
  \hline
  foo   & bar    & fubar \\
  fubar & toobar & foo \\
  \hline
\end{tabular}

\vspace{1cm}

\begin{tabular*}{\textwidth}{@{\extracolsep{\fill}}|l|c|r|}
  \hline
  foo   & bar    & fubar \\
  fubar & toobar & foo \\
  \hline
\end{tabular*}

\vspace{1cm}

\begin{tabularx}{\textwidth}{|X|X|X|}
  \hline
  foo   & bar    & fubar \\
  fubar & toobar & foo \\
  \hline
\end{tabularx}

\end{document}

从第二个例子就看出来了，他的字体需要设置一个 caps 的字体才能实现的。

所以，搜索了下，发现果然如此，看看这里：
https://tex.stackexchange.com/questions/79086/how-to-use-all-variants-of-latin-modern-roman-with-fontspec

你想要的效果，看看 case 宏包：

字体尽量使用字体名来查找，不直接使用中文名，这样查找字体不一定可以，最好去看字体生效的时候使用的字体名。可以测试下。

短代码放在代码块里，这样都方便，可以用 framed 宏包。

\documentclass[UTF8,a4paper]{article}

\usepackage{amsmath,amssymb}
\usepackage{amsthm}
\usepackage{array}
\usepackage{framed} 

\begin{document}
\begin{framed}
\begin{align*}
D(X)=&{}\sum\limits_{i=1}^n\left(x_i-E(X)\right)^2p_i\\
=&{}\left(x_1-E(X)\right)^2p_1+\left(x_2-E(X)\right)^2p_2+\cdots+\left(x_n-E(X)\right)^2p_n
\end{align*}
\end{framed}

\end{document}

不浮动了 就不要指望 改这些可以达到目的，只能手工缩小图片，调节行距来解决。