Различают такие типы антивирусных программ:

1) программы-детекторы: предназначены для нахождения зараженных файлов одним из известных вирусов. Некоторые программы-детекторы могут также лечить файлы от вирусов или уничтожать зараженные файлы. Существуют специализированные, то есть предназначенные для борьбы с одним вирусом детекторы и полифаги, которые могут бороться с многими вирусами;

2) программы-лекари: предназначены для лечения зараженных дисков и программ. Лечение программы состоит в изъятии из зараженной программы тела вируса. Также могут быть как полифагами, так и специализированными;

3) программы-ревизоры: предназначены для выявления заражения вирусом файлов, а также нахождение поврежденных файлов. Эти программы запоминают данные о состоянии программы и системных областей дисков в нормальном состоянии (до заражения) и сравнивают эти данные в процессе работы компьютера. В случае несоответствия данных выводится сообщение о возможности заражения;

4) лекари-ревизоры: предназначены для выявления изменений в файлах и системных областях дисков и, в случае изменений, возвращают их в начальное состояние.

5) программы-фильтры: предназначены для перехвата обращений к операционной системе, которые используются вирусами для размножения и сообщают об этом пользователя. Пользователь может разрешить или запретить выполнение соответствующей операции. Такие программы являются резидентными, то есть они находятся в оперативной памяти компьютера.

6) программы-вакцины: используются для обработки файлов и boot-секторов с целью предупреждения заражения известными вирусами (в последнее время этот метод используется все чаще).

Выбирая антивирусную программу следует обратить внимание на такой параметр, как количество распознающих сигнатур (последовательность символов, которые гарантированно распознают вирус). Второй параметр - наличие эвристического анализатора неизвестных вирусов, его присутствие очень полезно, но существенно замедляет время работы программы. На сегодняшний день существует большое количество разнообразных антивирусных программ.

11. Логические основы алгоритмизации

Алгебра логики, основы которой заложены Джорджем Булем, используется при построении основных узлов ЭВМ, например, таких как шифратор, сумматор и так далее.

Алгебра логики оперирует с высказываниями, то есть повествовательными предложениями, о которых можно сказать истинно оно или ложно. Высказывания обозначают большими латинскими буквами и пишут A= 1(t,true, правда) , B= 0 (f, false, ложь).

Над высказываниями можно производить определенные логические операции, в результате которых получаются новые высказывания. Их истинность зависит от истинности исходных выражений и вида логической операции. Наиболее часто используются логические операции, выражаемые словами «и», «или», «не».

Определение. Соединение двух (или несколько) высказываний в одно с помощью союза И (AND) называется конъюнкцией (или операцией логического умножения). Обозначаются Л, &, х. Значения логических операций определяются по правилам, задаваемым в таблице истинности. Истинность конъюнкции задается следующей таблицей:

 

А	В	А & В
0	0	0
0	1	0
1	0	0
1	1	1

Определение. Соединение двух (или несколько) высказываний в одно с помощью союза ИЛИ (OR) называется дизъюнкцией (или логического сложения). Обозначаются I, V, +. Таблица истинности:

 

А	В	А V В
0	0	0
0	1	1
1	0	1
1	1	1

 

Определение. Присоединение частицы НЕ (NOT) к данному высказыванию называется операцией отрицания (инверсии). Ā, ¬ А – «не А». Таблица истинности:

 

А	¬ А
1	0
0	1

Операция эквивалентности обозначается А ~ В (А ≡ В, А eqv В) и задается следующей таблицей истинности:

А	В	А ~ В
0	0	1
0	1	0
1	0	0
1	1	1

 Определение. Операция импликации (логического следования) объединяет высказывания словами «если…, то …».

А	В	А→ В
0	0	1
0	1	1
1	0	0
1	1	1

  

Пример. Пусть имеется два высказывания: «данный четырёхугольник – квадрат» (А) и «около данного четырёхугольника можно описать окружность» (В).

Рассмотрим составное высказывание А→ В. Есть три варианта, когда высказывание А→ В истинно:

1. А истинно и В истинно, то есть данный четырёхугольник квадрат, и около него можно описать окружность;

2. А ложно и В истинно, то есть данный четырёхугольник не является квадратом, но около него можно описать окружность (разумеется, это справедливо не для всякого четырёхугольника);

3. A ложно и B ложно, то есть данный четырёхугольник не является квадратом, и около него нельзя описать окружность.

Ложен только один вариант: А истинно и В ложно, то есть данный четырёхугольник является квадратом, но около него нельзя описать окружность.

Определение. Высказывания, образованные с помощью логических операций называются сложными. Истинность их устанавливают, используя таблицы истинности соответствующих операций.

Определение. Высказывания, у которых таблицы истинности совпадают, называются равносильными. Для обозначения используют знак = (А=В).

Пример. Рассмотрим сложное высказывание (А& В) V (¬А& ¬В) и составим таблицу истинности.

 

А	В	Ā	В	А& В	¬А&¬В	(А&В)V(¬А&¬В)
0	0	1	1	0	1	1
0	1	1	0	0	0	0
1	0	0	1	0	0	0
1	1	0	0	1	0	1

 

если сравнить с таблицей истинности, для эквивалентности, то видно:

(А& В) V (¬А&¬В) = ¬А ~ ¬В

 Следовательно, можно в алгебре логики проводить тождественные преобразования, заменяя высказывания равносильными, а это упрощение выражения.

Следствием самих определений логической операции является ряд свойств:

1. коммутативность (перестановочность)

А& В = В& А

А V В = В V А

 

2. идемпотентность

А& А= А, А V А= А

 

3. ассоциативность

АV (ВV С)= (АV В) V С= А V В V С

А & (В& С)= (А& В) & С= А& В & С

 

4. дистрибутивность

А & (В V С)= (А& В) V (А& С)

А V (В& С)= (А V В) & (А V С)

 

5. законы де Моргана

¬ (А&В)= ¬ А V ¬ В

¬ (А V В)= ¬ А & ¬ В

 

6.     закон универсального множества

Х V 1= 1

Х & 1= Х

 

7.    закон нулевого множества

Х V О = Х

Х& О = О

Любую цифровую систему можно описать при помощи набора булевых функций. Средством обработки двоичных сигналов в ЭВМ являются логические элементы. На практике ИСТИНА =1 - это наличие напряжения, ЛОЖЬ= 0 - отсутствие.

Определение. Логические элементы - это электронные микросхемы с одним или несколькими входами и одним выходом, через которые проходят электрические сигналы, представляющие 0,1.

Для реализации любой логической операции над двоичными сигналами достаточно элементов трех типов: И, ИЛИ, НЕ. Существуют микросхемы, реализующие более сложные логические функции: И-НЕ, называемая операцией Шеффера, и ИЛИ-НЕ, называемая Стрелка Пирса. Из логических элементов путем их комбинации стоятся основные схемы компьютера. Любую достаточно сложную логическую функцию можно реализовать, имея относительно простой набор базовых логических операций.

Первоначально были разработаны и выпускались микросхемы, соответствующие основным логическим действиям. Довольно быстро стало ясно, что это не может удовлетворить практическим потребностям. Появились более сложные типовые узлы (триггеры, регистры, сумматоры и т.п.), дающие возможность реализовывать еще более сложные логические устройства.

Определение. Триггер - электронный прибор, имеющий два устойчивых состояния, является типичным запоминающим элементом, способным хранить 1 бит информации. 

Определение. Регистр - совокупность триггеров, предназначенных для хранения числа в двоичном коде. 

Определение. Сумматор - устройство, обеспечивающее суммирование двоичных чисел с учетом переноса из предыдущего разряда.