ú��ȫ�̶ȵĿ����Է�������
Ľ�������1��2��

��1.ɽ������ѧԺ����ϵ��ɽ��ʡ��̨�У�264005;�� 2.�й���ҵ�� ѧ(����У��)�������к�������100083 ��

����ժ��Ҫ��ú̿��ȫϵͳ�İ�ȫ�̶�����Ȼ�ġ���Ϊ�ġ���ĺ͹�����������������ø����� �������о�ú��ȫ�̶��Ѳ��ܺܺõؽ�����⣬���Ķ���ú��ϵͳ�ֱ�Ŀ���������ģ�� ���������ۣ�ͬʱ��������ģ�����ۻ����ϵ�ú��ȫ�̶ȵĶ���������

�����ؼ��ʡ���ȫ�̶ȡ�ģ�����ա�ֱ��ģ����

������ȫ��ָ���������ٵ�ϵͳ���ڻ����е�״̬������������������Ʋ�������������ɵ�Σ ����������Ŀǰ���ij��������޶ȵ�һ��״̬���̡���ȫ����Եġ���ȫ�����������ʶ ��������̣���ȫ�Ǻ���������������������̶��йص�״̬������������ϵͳ���еĹ��� ״̬����������ȫ�̶���ϵͳ�İ�ȫ״̬ˮƽ�������еķ�Ӧ�����ڵ�ʱ��ỷ�������ǵ� ��ʶ�ͳ��������Ļ����ϣ������ϵͳ�İ�ȫ�̶ȵ���Զ�����ϵͳ�İ�ȫ�̶�����ϵͳ�� ���Ӱ��������ɵĶ�Ԫ��������������Ƕ��������۽����Ҳ����ϵͳ������������ʱ�� ��ȫ�̶ȵ�ͳ�ƾ�ֵ�������뱻����ʱ�����ƵĴ������������ˮƽ�¾��еİ�ȫ�̶ȵ��� ��ƽ��ֵ������۾���ͳ�����塣Ŀǰ���԰�ȫ�̶ȵĶ��������ֶ���Ҫ�� �������� Ϊ���������ĶԴ�������ģ�����������ۻ����Ͻ����о��������亭��������������бȽ� �о���

����1��ú��ϵͳ��ȫ�̶ȵ�ģ�����ձ�ʾ

�������ڰ�ȫ�̶���ϵͳ����״̬�Ĺ���������������ֵ�������������ʶˮƽ���ɼ���ȫ�̶� ������һ��ģ���������û���ģ����ѧ����֮�ϵ�ģ�����������۱�ʾϵͳ�İ�ȫ�̶� �ǺϺ��͹�ϵͳ���������Եġ����ڰ�ȫ��Σ���ǻ�Ϊ��ż������ϵͳ����״̬���̵����� ���ǿ��Ի�����檔Ϊ���������㣬������Σ�ճ̶ȴ���ϵͳ��ȫ���۵İ�ȫ�̶ȣ����ڸ�����Է����Dz�����������ģ��ڹ��ܺ����ﵽ��Ŀ����Ҳ�޲���֮����

�� ����1��ϵͳ���е�Σ�ճ̶���ָ������ϵͳ�������й����У������ֺ��Ŀ����Գ̶ȼ��� ֮��Ӧ�ĺ�������س̶ȵ������������±�ʾ����ʽ���ԣ�

����ʽ�У���ʽ���ԣ�����ϵͳ���е�Σ�ճ̶ȵķ���ֵΪrʱ���� ϵͳĿǰ�����е������ʹ��ڵĻ����£�����״̬�ڸ�ϵͳ�д��ڵĿ����Գ̶ȣ��� ��HT5����HT4���̪���HT7��C��HT5��(c)����ϵͳ���й����п��ܵ��ֺ������Σ�ճ̶�Ϊ c ʱ����ϵͳĿǰ�����е������ʹ��ڵĻ����£�����״̬�ڸ�ϵͳ�д��ڵĿ����Գ̶ȣ��� ��HT5����HT4���̪���HT7��P��HT5��(p)����������ϵͳ�����ֱ�Ŀ����Գ̶�Ϊpʱ���� ϵͳĿǰ���е������ʹ��ڵĻ����£�����״̬�ڸ�ϵͳ�д��ڵĿ����Դ�С���� ��1��ʽ�еĸ���Ϊ��Ӧ�����ϵ�ģ�������� L��Rģ�����Ƿֲ���״ʮ�ַḻ������ģ���������㪬����2�ݪ����� �������ijһ����A���У���ʽ���ԣ���

����L(0)=1�� L�������0��������Ϊ������������L����R��ͬ����ֵ�������ģ������A���㣺��ʽ���ԣ���

������ģ����A��ΪL��R��ģ������L��Ϊ����պ�����R��Ϊ�Ҳ��պ�����m��Ϊģ�����ĺ� ����HT4���̪���HT7��A��HT5��(x)=1�������·ֱ�Ϊģ�����������ҷֲ���L��R��ģ�� �������Ϊ��(m,������)����L-R�� ����

������L��R��ģ��������ʾ��ʽ��1���Ҷ˵ĸ�� ��ʽ���ԣ�����

���������L��R��ģ��������������У� ��ʽ���ԣ�

�����ɴ˿ɼ���ȷ��ϵͳ�İ�ȫ�̶ȣ���ת����Ϊ�����ϵͳ�ڹ�ʽ��5���Ҷ˵�������� ֵ�����ڡ�HT4���̪���HT5��c(c)��ģ�����ǿ͹۴��ڵģ������ϸ��ӣ��ڴ˲����Լ��� ��������Ҫ���۹�ʽ���ԣ����������⡣

����2��ú��ϵͳ�ֱ�Σ�ճ̶ȵĸ��ʿ������㷨��

����2.1��ú��ϵͳ�ֱ�Σ�ճ̶ȵĸ��ʲ���

�������¼���ϵͳʧЧ�ĸ�����Ϊϵͳ�����ֱ�Σ�ճ̶� �Ķ����ֶ���Ŀǰ���õķ�����������һ�����ڻ�����̬�仯��ϵͳ��������ʧЧ�����þ� �������ϵĸ��ʱ�ʾ������һģ�����ƽ���ʧЧƵ�ʱ�ʾ��ʧЧ��Σ�նȡ�

�� ����2�����ڶ���S�����䴦�ڶ�̬�����У�����ʧЧ��Ƶ�ʱ�ʾ�䷢�����ֵ�Σ���Գ̶ȣ� ��L��Rģ��������ʾ���������Ĺ�����Ϊ����ʧЧ��Σ�ճ̶ȿɱ�ʾΪ����ʽ���ԣ�

��������pΪ�¼�ʧЧ��Ƶ�ʣ���ʽ���ԣ�Ϊ�����ʧ ЧƵ��Ϊpʱ�ڶ�̬ϵͳ״̬���ڵĿ����ԡ���

����2.2���������ۻ�����ú��ϵͳΣ���Է�������

�������ڶ���2����ģ������ʾʧЧƵ����ʵ�ֶ�ϵͳΣ�ճ̶ȵ�������ʵ���ǶԸ��ʵ�ģ���� �Ĵ�����ʵ����Ȼ�Ǹ��ʡ���ϵͳ���������֮���Σ�ճ̶ȵķ�������Ŀǰ�������ڶ� ѧ�߽������о����������¹�ϵ��

����2.2.1������ϵͳ

���� nԪ�ش�����ϵͳ��ÿ��Ԫ�ص�Σ�ճ̶��ö���2����ʽ������ϵͳ��Σ�ճ̶�Ϊ����ʽ���ԣ�����

����2.2.2������ϵͳ

�����貢��ϵͳ��n��Ԫ����ɣ���Ԫ�ص�ʧЧΣ�ճ̶�����ʧЧƵ�ʵ�ģ������ʾ������ʽ�� ����2��ʾ����ϵͳ��Σ�ճ̶�Ϊ����ʽ���ԣ�

���������µĵ����㷨�������ʽ���ԣ�

����ģ�����ʱ�ʾú��ϵͳ�ֺ�������Σ�ճ̶���ʵ���뾭������ޱ��ʵ����˸��ʿ� ���� �ı�ʾ���������Ը��ʼ�ӵر�ʾϵͳ��ȫ�̶ȵķ������������ӵĸ�Σ�նȵĴ���ϵͳ�� ��ķ�������;���Ȼ�����������ȷ���������ֱ�Ŀ�����Ҳ���ø��ʱ�ʾ����ˣ�ģ�� ����ͬ�������һ���Ե�����Ϊ�����ʶ���ú��ϵͳ�ֱ�Ŀ���������ģ��������������ʮ �ֱ�Ҫ�ġ�

����3��ú��ϵͳ�ֱ�Σ�ճ̶ȵ�ģ�������Է���������

����3.1��ú��ϵͳ�ֱ�Σ�ճ̶ȵ�ģ�����

�������ڴ��͸���ϵͳ���¼���״̬����Ϊģ����ϵͳ�� �䷢���ֺ���Σ�ճ̶Ⱥ����ø�����ȷ�ر�����ϵͳ�ֱ䷢����Σ��״̬�־��������� ���Ļ������ӵ�״̬��ϵͳ���������״̬���������״̬��Ϣ��ͨ����Щ����չ�ָ����� ��ʵ��֤�����������ڸ�������ľ����ֻ��������о����ٻ�ö������Գ̶ȵĶ�����Ϣ �������Ա��������ܰ�ȫ����ȫ��һ�㡢Σ�ա���Σ�յȿ��Ա�ʾϵͳij���Ե�״̬�̶ȡ� ��Ϊ�������ϵͳ�ı��������ṩ��;����

�� ����3����������P�ʣ�0��1

[1][2]��һҳ