3.1.2������(bi��o)��(zh��n)��������(y��ng)���ϱ�1��
3.1.2.1 ��(y��ng)ʹ�Å�����(bi��o)��(zh��n)�������ͳ���(j��)��(bi��o)��(zh��n)�x��У�(y��n)����(j��)��(bi��o)��(zh��n)��������
3.1.3 ����(j��)��(bi��o)��(zh��n)��������(y��ng)���ϱ�1��
3.1.3.1 ��(y��ng)ʹ�ó���(j��)��(bi��o)��(zh��n)�������ͳ���(j��)��(bi��o)��(zh��n)�x��У�(y��n)�μ�(j��)��(bi��o)��(zh��n)��������
3.1.4 �μ�(j��)��(bi��o)��(zh��n)�������÷��ϱ�1��
3.1.4.1 �H���ڌ�(du��)�ضȾ����ԡ�ϵ�y(t��ng)���ȡ����ơ��O(ji��n)�ء�ӛ䛺�ؓ(f��)�d��������У�(y��n)��
3.1.5 �ߜغ���/�ӟ�t�ضȾ����Ԃ�������(y��ng)���ϱ�1��
3.1.5.1 ����3.1.5.2��Ҏ(gu��)���⣬�ضȾ����ԙz�y(c��)��������(y��ng)�ó���(j��)��μ�(j��)��(bi��o)��(zh��n)�x����һ��(g��)����(j��)��μ�(j��)��(bi��o)��(zh��n)����������1�M(j��n)��У�(y��n)����(du��)���ż���ٴ�ʹ�õ�����Ҋ(ji��n)3.1.1.8��3.1.1.9����ֹ��(du��)��¶��500�H��260�棩���Ϝضȵ�K�ͺ�E�͟��ż����У�(y��n)��
3.1.5.2 ��Щ�ڜy(c��)ԇ�л��ڜy(c��)ԇ�g������һ��(g��)�����ϲ������o(h��)��1���H��1200�H��650�棩����ʹ�ã���2������(bi��o)�R(sh��)����3����(ch��)��/���o(h��)�Ա���p��������������^(gu��)�ȵij�����|�����g�ȣ���һ�����v����TUS�ż��������3.1.1.9��3.1.1.10�����ƃ�(n��i)�ٴ�ʹ�á��b�ڼ����ϲ��H��1200�H��650�棩����ʹ�õķ�һ�����v����TUS�ż����ʹ�ò����^(gu��)90�λ�3�꣬���ȵ��Ğ��(zh��n)��
3.1.6? ϵ�y(t��ng)���Ȝy(c��)ԇ��������(y��ng)���ϱ�1��
3.1.6.1 SAT��������(y��ng)�ó���(j��)��μ�(j��)��(bi��o)��(zh��n)�x����һ��(g��)����(j��)��μ�(j��)��(bi��o)��(zh��n)����������1�M(j��n)��У�(y��n)����(du��)���ż���ٴ�ʹ�õ�����Ҋ(ji��n)3.1.1.8��3.1.1.9��3.1.1.10����ֹ��(du��)��¶��500�H��260�棩���Ϝضȵ�K�ͺ�E�͟��ż����У�(y��n)��