- •Лабораторна робота 1
- •1 План виконання лабораторної роботи
- •2 Основні теоретичні відомості
- •2 Контрольні питання
- •4 Індивідуальні контрольні завдання
- •Лабораторна робота 2
- •2.2. Інструментальне середовище розробника мови Пролог
- •2.2.1. Особливості реалізацій мови Пролог
- •2.2.2. Типові програми для опановування інструментального середовища розробника мови Пролог
- •4. Контрольні питання
- •5. Контрольні завдання
- •5.1. Загальні контрольні завдання
- •5.2. Індивідуальні контрольні завдання
- •Лабораторна робота 3
- •1 План виконання лабораторної роботи
- •2 Основні теоретичні відомості
- •2.1. Основи логічного програмування мовою Пролог
- •2.2. Використання правил у запитах до Пролог-програм
- •2.3. Розміщення предикату not у конструкціях правил Пролог-програм
- •2.4. Робота зі складеними об'єктами у Пролог-програмах
- •2.5. Методичні рекомендації до опрацьовування контрольних питань і виконання контрольних завдань лабораторної роботи
- •3. Контрольні питання
- •4. Завдання для самоперевірки
- •5. Контрольні завдання
- •5.1. Контрольне завдання 1
- •5.2. Контрольне завдання 2
- •6. Література
- •Вимоги до оформлення, захисту та оцінювання лабораторних робіт
- •Зразок оформлення титульного аркуша звіту про виконання лабораторної роботи
5.2. Контрольне завдання 2
Розробіть Пролог-програму, що має наступні функціональні можливості:
– містить у своїй базі фактів (у розділі опису логічних тверджень clauses) ряд діагностичних інформаційних повідомлень про несправності процесорів (згідно з переліком, представленим у таблиці 1);
– виводить на екран комп'ютеру виключно ті діагностичні інформаційні повідомлення про несправності процесорів, які відповідають поставленим цільовим запитам.
Пролог-програма повинна містити в розділі clauses наступні бази фактів і правил про несправності процесорів:
– базу фактів, які для кожного з інформаційних повідомлень №№1-55 про несправності процесорів, наведених у таблиці 1, встановлюють відповідність між порядковим номером і змістом (текстом) даного повідомлення;
– базу фактів і правил, які встановлюють логічні відповідності між різними категоріями інформаційних повідомлень про несправності процесорів, наведених у таблиці 1;
– базу правил, яка надасть можливість формулювати скорочені цільові запити до програми.
Зазначені вище логічні відповідності між різними категоріями інформаційних повідомлень про несправності процесорів можна легко відстежити, аналізуючи таблицю 2 і співставляючи її з таблицею 1.
У результаті вказаного вище аналізу та співставлення, у таблиці 3 виділено чотири категорії діагностичних інформаційних повідомлень про несправності процесорів і представлено логічні відповідності між ними.
Примітка. Номери варіантів індивідуальних контрольних завдань співпадають із порядковими номерами рядків у таблиці 3.
Таблиця 1
Перелік діагностичних інформаційних повідомлень
про несправності процесорів
|
№ з/п |
Зміст діагностичних інформаційних повідомлень про несправності процесорів |
|
1 |
2 |
|
|
Діагностичні інформаційні повідомлення про типові окремі прояви несправностей процесорів |
|
1 |
система не відзивається |
|
2 |
система «зависає» перед початком тестування POST |
|
3 |
система «зависає» під час виконання тестування POST |
|
4 |
неправильно ідентифікується процесор під час тестування POST |
|
5 |
система «зависає» одразу ж після тестування POST |
|
6 |
операційна система не завантажується |
|
7 |
додатки не інсталюються та не працюють |
|
8 |
система не подає звукових сигналів |
|
9 |
на екрані монітору нема зображення |
|
10 |
на екрані монітору нема курсору |
|
11 |
вентилятор не працює |
|
|
Діагностичні інформаційні повідомлення про типові комплекси проблем, пов`язані з несправностями процесорів |
|
12 |
система не відзивається, нема курсору та звукового сигналу, не працює вентилятор |
|
13 |
система не відзивається, нема звукового сигналу або «зависає» перед початком тестування POST |
|
1 |
2 |
|
14 |
система подає звукові сигнали, вентилятор працює, на екрані нема курсору |
|
15 |
система «зависає» під час виконання або одразу ж після тестування POST |
|
16 |
неправильна ідентифікація процесору під час тестування POST |
|
17 |
операційна система не завантажується |
|
18 |
додатки не інсталюються та не працюють |
|
19 |
система працює, але зображення на екрані монітора нема |
|
|
Діагностичні інформаційні повідомлення про можливі причини виникнення несправностей процесорів |
|
20 |
несправний шнур живлення |
|
21 |
несправний блок живлення |
|
22 |
несправна системна плата |
|
23 |
несправні модулі пам`яті |
|
24 |
компоненти системи не встановлені або встановлені некоректно |
|
25 |
неправильно встановлений або несправний відеоадаптер |
|
26 |
недостатнє відведення тепла |
|
27 |
неправильно встановлено напругу |
|
28 |
неправильно встановлено частоту шини системної плати |
|
29 |
неправильно встановлено множник тактової частоти |
|
30 |
застаріла BIOS |
|
31 |
неправильна конфігурація плати |
|
32 |
недостатнє відведення тепла |
|
33 |
неправильно встановлено напругу |
|
34 |
неправильно встановлено частоту шини системної плати |
|
35 |
неправильно встановлено множник тактової частоти |
|
36 |
застарілі драйвери або несумісне апаратне забезпечення |
|
37 |
монітор вимкнений або несправний |
|
1 |
2 |
|
|
Діагностичні інформаційні повідомлення про способи вирішення проблем, пов'язаних із несправностями процесорів (рекомендації щодо дій, які потрібно виконати для перевірки наявності певної причини виникнення несправності процесору та, в разі можливості, усунення даної несправності) |
|
38 |
оскільки зовнішній огляд не завжди дозволить визначити справність мережного шнура, під`єднайте до мережі або замініть шнур живлення |
|
39 |
замініть блок живлення завідомо справним блоком |
|
40 |
замініть системну плату іншою, завідомо справною платою |
|
41 |
вилучіть усі модулі пам`яті, окрім одного, та протестуйте ще раз, а якщо система не завантажується, то замініть цей модуль |
|
42 |
перевірте всі периферійні пристрої, особливо пам`ять і відеоадаптер, а також перевірте гнізда та роз`єми компонентів |
|
43 |
перевстановіть або замініть відеоадаптер завідомо справним адаптером |
|
44 |
перевірте тепловідвід/вентилятор процесору; за необхідності, замініть його більш потужним |
|
45 |
установіть напругу системної плати у відповідності з напругою ядра процесору |
|
46 |
установіть відповідну частоту системної плати |
|
47 |
перемкніть системну плату на відповідне значення множника |
|
48 |
поновіть BIOS |
|
49 |
перевірте положення перемичок системної плати у відповідності з параметрами шини та множника |
|
50 |
перевірте вентилятор процесору та, за необхідності, замініть його більш потужним |
|
51 |
установіть напругу системної плати у відповідності з напругою ядра процесору |
|
52 |
установіть відповідну частоту системної плати |
|
53 |
перемкніть системну плату на відповідне значення множника |
|
54 |
поновіть драйвери та перевірте сумісність компонентів |
|
55 |
перевірте монітор і подачу живлення та спробуйте замінити монітор завідомо справним |
Таблиця 2
Типові причини несправностей процесорів
|
№ з/п |
Проблема |
Можлива причина |
Способи вирішення проблеми |
|
1 |
Система не відзивається, нема курсору та звукового сигналу, не працює вентилятор |
Несправний шнур живлення |
Оскільки зовнішній огляд не завжди дозволить визначити справність мережного шнура, під`єднайте до мережі або замініть шнур живлення |
|
Несправний блок живлення |
Замініть блок живлення завідомо справним блоком | ||
|
Несправна системна плата |
Замініть системну плату іншою, завідомо справною платою | ||
|
Несправні модулі пам`яті |
Вилучіть усі модулі пам`яті, окрім одного, та протестуйте ще раз. Якщо система не завантажується, то замініть зазначений модуль. | ||
|
2 |
Система не відзивається, нема звукового сигналу або «зависає» перед початком тестування POST |
Компоненти системи не встановлені або встановлені некоректно |
Перевірте всі периферійні пристрої, особливо пам`ять і відеоадаптер. Перевірте гнізда та роз`єми компонентів. |
|
3 |
Система подає звукові сигнали, вентилятор працює, на екрані нема курсору |
Неправильно встановлений або несправний відеоадаптер |
Перевстановіть або замініть відеоадаптер завідомо справним адаптером. |
Таблиця 2 – Типові причини несправностей процесорів
|
№ з/п |
Проблема |
Можлива причина |
Способи вирішення проблеми |
|
4 |
Система «зависає» під час виконання або одразу ж після тестування POST |
Недостатнє відведення тепла |
Перевірте тепловідвід/вентилятор процесору. За необхідності, замініть його більш потужним. |
|
Неправильно встановлено напругу |
Встановіть напругу системної плати у відповідності з напругою ядра процесору | ||
|
Неправильно встановлено частоту шини системної плати |
Встановіть відповідну частоту системної плати | ||
|
Неправильно встановлено множник тактової частоти |
Перемкніть системну плату на відповідне значення множника | ||
|
5 |
Неправильна ідентифікація процесору під час тестування POST |
Застаріла BIOS |
Поновіть BIOS |
|
Неправильна конфігурація плати |
Перевірте положення перемичок системної плати у відповідності з параметрами шини та множника | ||
|
6 |
Операційна система не завантажується |
Недостатнє відведення тепла |
Перевірте вентилятор процесору; за необхідності, замініть його більш потужним |
|
Неправильно встановлено напругу |
Встановіть напругу системної плати у відповідності з напругою ядра процесору | ||
|
Неправильно встановлено частоту шини системної плати |
Встановіть відповідну частоту системної плати | ||
|
Неправильно встановлено множник тактової частоти |
Перемкніть системну плату на відповідне значення множника | ||
|
7 |
Додатки не інсталюються та не працюють |
Застарілі драйвери або несумісне апаратне забезпечення |
Поновіть драйвери та перевірте сумісність компонентів.
|
|
8 |
Система працює, але зображення на екрані монітору нема |
Монітор вимкнений або несправний |
Перевірте монітор і подачу живлення. Спробуйте замінити монітор завідомо справним. |
Таблиця 3
Логічні відповідності
між діагностичними інформаційними повідомленнями
про несправності процесорів, які належать до чотирьох базових категорій
(задаються умовно, як відповідності між номерами зазначених повідомлень)
|
Повідомлення №№38-55 |
Повідомлення №№ 20-37 |
Повідомлення №№ 12-19 |
Повідомлення №№ 1-11 |
|
38 |
20 |
12 |
1 and 8 and 10 and 11 |
|
39 |
21 |
12 |
1 and 8 and 10 and 11 |
|
40 |
22 |
12 |
1 and 8 and 10 and 11 |
|
41 |
23 |
12 |
1 and 8 and 10 and 11 |
|
42 |
24 |
13 |
1 and 2 and 8 |
|
43 |
25 |
14 |
not(8) and 10 and not(11) |
|
44 |
26 |
15 |
3 or 5 |
|
45 |
27 |
15 |
3 or 5 |
|
46 |
28 |
15 |
3 or 5 |
|
47 |
29 |
15 |
3 or 5 |
|
48 |
30 |
16 |
4 |
|
49 |
31 |
16 |
4 |
|
50 |
32 |
17 |
6 |
|
51 |
33 |
17 |
6 |
|
52 |
34 |
17 |
6 |
|
53 |
35 |
17 |
6 |
|
54 |
36 |
18 |
7 |
|
55 |
37 |
19 |
not(1) and 9 |