Частина тексту файла (без зображень, графіків і формул):
. Основні властивості ФАЛ за Постом. Методи виявлення ФПС ФАЛ із цими властивостями.
Для побудови ПС(повна система) ФАЛ(Функція Алгебри-Логіки) яка має хоч би одну функцію, яка не зберігає константу 0, не зберігає константу 1, нелінійна, немонотонна, несамодвоїста.
Якщо функція на нульовому наборі змінних дорівнює 0, то ф-ція зберігає конст. 0.
Якщо функція на одиничному наборі змінних дорівнює 1, то ф-ція зберігає конст. 1.
ФАЛ назив. монотонною, якщо при будь-якому зростанні кількості 1 у послідовності сусідніх( тобот на тих, які відрізняються тільки в одному розряді) на наборі змінних значення функції не змінюється або збільшується.
ФАЛ назив. самодвоїстою, якщо на кожній парі протилежних наборів (х0,х1,..) та (#х0, #х1,..) вона приймає протилежні значення.
EMBED Equation.3
ФАЛ назив. лінійною , якщо її можна зобразити поліномом 1 порядку в базисі Жегалкіна без добутків змінних ВСАС1 – нелінійна
АС1 - лінійна
EMBED Equation.3
Приклад
нелінійна
лінійна
Витрати процесорного часу.
Витрати часу процесора на опрацювання деякої програми визначають за формулою:
Тут:
CPUTime – шуканий час, CPIi (clocks per instruction) – кількість тактових імпульсів на виконання і-того типу інструкції, ICi (instruction count) - число інструкцій і-того типу у тестовій програмі, ClockCycleTime – тривалість одного тактового інтервалу. Аби зменшити ClockCycleTime треба покращити технологію реалізації апаратних засобів та організацію цих апаратних засобів у машині. СРІ зменшують покращеною організацією машини й утіленням раціональної комп’ютерної архітектури рівня машинних інструкцій. Значення ІС залежить від архітектури рівня машинного інструкцій та застосованої технології компілювання програми (стандартної або ж оптимізованої). Зрозуміло, що витрати процесорного часу є функцією багатьох змінних, їх мінімізують як евристичними, так і формальними методами.
Операційні системи та апаратні засоби.
Можна сформулювати наступні вимоги з боку операційних систем щодо адекватності підпорядкованих ним апаратних засобів:
1. Великий, іноді навіть надвеликий (сотні терабайт) адресувальний простір.
2. Розвинена і стійка апаратна підтримка програмного механізму керування та захисту віртуальної пам'яті.
3. Підтримка швидкого контекстного перемкнення поміж процесами.
4. Розвинена апаратна частина реалізації переривань, виключень (exceptions) і пасток (traps).
5. Безумовна підтримка стандартів, у тому числі стандартів IEEE на формати рухомої коми, інтерфейси уводу-виводу, підтримка мов високого рівня і, навіть, підтримка вибраних функцій ОС.