Cтраница 1
Процедура разрешения начинается с проверки и регистрации уполномоченным по защите личности пользователя и выдачи ему кода идентификации, а также необходимых паролей. Кроме того, уполномоченный по защите указывает терминалы, с которыми пользователь может работать, и сообщает ему названия файлов и программ, которыми он может пользоваться. Вся эта информация заносится уполномоченным по защите в специальную таблицу, хранящуюся в ЭВМ ( табл. 4.2) и называемую таблицей доступа терминала. Для каждого терминала предусматривается одна такая таблица. Возможен и другой порядок выполнения процедуры, не ориентированный на терминал, но рассмотренный выше порядок наиболее эффективен с точки зрения его реализации и модернизации. [1]
Процедура разрешения подобна той, что используется при разрешении эквивалентности конечных автоматов, но, кроме того, включает в себя симметрическую группу всех перестановок ячеек схемы. [2]
Процедура разрешения начинается с проверки и регистрации уполномоченным по защите личности пользователя и выдачи ему кода идентификации, а также необходимых паролей. Кроме того, уполномоченный по защите указывает терминалы, с которыми пользователь может работать, и сообщает ему названия файлов и программ, которыми он может пользоваться. Вся эта информация заносится уполномоченным по защите в специальную таблицу, хранящуюся в ЭВМ ( табл. 4.2) и называемую таблицей доступа терминала. Для каждого терминала предусматривается одна такая таблица. Возможен и другой порядок выполнения процедуры, не ориентированный на терминал, но рассмотренный выше порядок наиболее эффективен с точки зрения его реализации и модернизации. [3]
Процедура разрешения трудовых споров ( grievance procedure) - используемые профсоюзом и фирмой методы улаживания конфликтов, возникающих в период действия заключенного ими коллективного договора. [4]
Процедура разрешения коллективного трудового спора состоит из двух этапов: примирительные процедуры - забастовка. [5]
Процедуру разрешения конфликта и информацию о последовательности примененных к базе правил называют также управляющей стратегией ПС. Эффективность управляющей стратегии зависит от количества знаний о решаемой НФЗ. [6]
Цель процедуры разрешения конфликтов - выбрать из сформированного списка заявок единственное правило, которое должно быть применено в текущей ситуации. Поскольку стратегия разрешения конфликтов оказывает существенное влияние на производительность системы в целом, в большинстве программных систем предусматриваются определенные опции для подстройки этого механизма. [7]
Правила и процедуры разрешения конфликтов должны быть специально записаны в аналитическом плане, включая механизм согласования противоречивых требований пользователей. [8]
Увеличение эффективности процедуры разрешения достигается за счет использования ряда дополнительных приемов. Среди этих приемов важное место занимает приведение формул к так называемому минисферному виду. В противоположность предваренной форме, у которой область действия кванторов является максимально возможной, минисферный вид формул предусматривает по возможности большее сужение областей действия кванторов. В случае приведения формул к минисферному виду обычно предварительно операции импликации и эквивалентности выражаются через операции дизъюнкции, конъюнкции и отрицания. В этом случае понятие минисферной формы может быть уточнено посредством следующих определений. [9]
Важной частью процедуры разрешения является идентификация конкретных действий, которые пользователь может предпринять с терминала. Поскольку в больших системах редко у кого возникает необходимость в доступе ко всем имеющимся программам или данным, а установить с полной уверенностью личность предъявившего правильный идентификатор пока невозможно, целесообразно, чтобы каждый пользователь ограничился в доступе только нужными ему программами или файлами. [10]
Важной частью процедуры разрешения является идентификация конкретных действий, которые пользователь может предпринять с терминала. Поскольку в больших системах редко у кого возникает необходимость в доступе ко всем имеющимся программам или данным, а установить с полной уверенностью-личность предъявившего правильный идентификатор пока невозможно, целесообразно, чтобы каждый пользователь ограничился в доступе только нужными ему программами или файлами. [11]
Указанные особенности процедуры разрешения инвестиционных споров придают ей значительное внешнее сходство с порядком рассмотрения споров в органах международного коммерческого арбитража. При этом, однако, игнорируется специальный характер споров, рассматриваемых Центром, - то, что сторонами в них выступает государство и иностранное лицо другого государства. Данная специфика отражена в некоторых положениях Вашингтонской конвенции. Например, в статье 42 закреплено, что Арбитраж рассматривает спор согласно нормам права в соответствии с соглашением сторон. [12]
После успешного прохождения процедуры разрешения пользователь предъявляет свое право на доступ к разрешенному объекту, сообщая пароль. Проверку не обязательно делать сразу же после получения пароля, особенно если он относится к файлу. Пароль может проверяться при действительном открывании файла или же при вызове элемента данных ограниченного пользования. [13]
Оценим временную сложность процедур разрешения коллизий как функцию от числа N масштабируемых операций. [14]
И последнее о процедуре разрешения. [15]