Cтраница 4
Заметим, что использованные квадратные скобки в выражении [ g; А ] и в других пояснениях логических комментариев обозначают программную функцию. А квадратные скобки, которые заключают / - действие и / - состояние, в самой программе являются разделителями логического комментария. Для комментирования может быть выбрана последовательность из любого количества частей. [46]
Во всех трех случаях мы стремимся определить эквивалентность ( или отношение вложенности) двух выражений, каждое из которых является программной функцией. [47]
Таким образом, иерархическая структура используется не только в самом представлении биологических и физических агентов, но и в их программных функциях, таких как интерфейс. Например, класс InterfaceBehavior позволяет любому агенту сообщить о своем местонахождении так, чтобы оно было отражено графически на экране монитора. [48]
Очевидно, задача состоит в верификации того, что данная функция / эквивалентна ( или, возможно, является подмножеством) программной функции разрабатываемой программы. [49]
![]() |
Дополнительные варианты основных управляющих структур. [50] |
С целью обеспечения высокой наглядности описание программы на псевдокоде разбивается на сегменты, каждый из которых является логически завершенным описанием некоторой достаточно независимой программной функции. [51]
Блок входов / выходов является релейно-контактным модулем, содержащим пять реле, при срабатывании которых появляются дискретные сигналы BS1 - BS5 настройки и оперативного управления программными функциями защитных отключений. В частности, на одно из реле может, очевидно, воздействовать газовая защита. [52]
С - число контактов, программная функция UsedTrack ( A) определяет число магистралей, занимаемых каналом, полученным при восстановлении из хромосомы А, а программная функция TotalVertSeg ( A) определяет длину вертикальных сегментов цепей в полученном решении. Длина вертикальных сегментов цепи определяется как расстояние между контактами и переходными отверстиями, которые соединяют вертикальные и горизонтальные сегменты. [53]
Следует помнить, что приведенная асимптотическая оценка является оценкой сверху и дает представление о сложности схем программных устройств при наиболее трудных с точки зрения минимизации видах программных функций. [54]
Первоочередными задачами в развитии математического обеспечения применительно к машинам и системам четвертого поколения являются следующие: усовершенствование реализаций принципов виртуальной памяти, используемых в ЭВМ третьего поколения; усовершенствование методов организации файлов; реализация совершенных методов обеспечения защиты массивов данных и программ; широкое применение аппаратных способов реализации ряда программных функций с использованием логических схем с памятью; автоматическое измерение ряда характеристик функционирования ВС, учет и регистрация показателей использования ресурсов, системы каждым пользователем; разработка и отладка системы программного обеспечения в интерактивном режиме ( в ЭВМ третьего поколения уже используются методы отладки программ в режиме диалога); разработка входного языка, который должен быть достаточно простым, доступным для изучения и эффективным при использовании в режиме диалога. [55]