24459

Метод суперпозиции

Контрольная

Информатика, кибернетика и программирование

Существует три вида атрибутов SEGMENT: Выравнивание Выравнивания сегмента задача компоновщика. Он должен обеспечить размещение начала сегмента на заданной границе. Размеры сегмента Отдельной проблемой при разработке системы со страничной или сегментной адресацией является выбор размера страницы или максимального размера сегмента. Это дает ряд мелких преимуществ например позволяет раздавать права доступа сегментам а подкачку с диска осуществлять постранично.

Русский

2013-08-09

91.5 KB

4 чел.

1. Метод суперпозиции. 

Пусть  свертка функции.  - условная функция распределения.

Из этих условий находим константу .

- это вероятность.

- дискретная случайная величина. Распределение числа деталей i-го  завода в данной партии.

- распределение наработки на отказ i-го завода.

Теорема. Пусть независимые случайные числа. Если по числу  моделировать значение случайной величины , а затем из уравнения  определить случайную величину , то функция распределения случайной величины  определяется формулой

Доказательство  

(по формуле полной вероятности)

Пример

Случайная величина  распределена в интервале [0 ; 2] с плотностью распределения

 

Имеем равномерное распределение числа .

По методу суперпозиции: ,        .

, так как  равномерно распределена, следовательно

                                      

Если , то  находиться по формуле

Если , то  находиться по формуле

2. Влияние атрибутов директивы SEGMENT на структуру загрузочного модуля.

Существует три вида атрибутов SEGMENT:

Выравнивание Выравнивания сегмента - задача компоновщика. Он должен обеспечить размещение начала сегмента на заданной границе. Это важно, поскольку при правильном выравнивании доступ к данным в процессорах 80х86 выполняется быстрее. Допустимые способы выравнивания таковы:

BYTE - Выравнивание не выполняется. Сегмент начинается с границы следующего байта.

WORD - Начинает сегмент на границе следующего слова.

DWORD - Начинает сегмент на границе следующего двойного слова.

PARA - Начинает сегмент на границе следующего параграфа (выравнивание на 16 байт).

PAGE - Начинает сегмент на границе следующей страницы (выравнивание на 256 байт).

MEMPAGE - Начинает сегмент на границе следующей страницы памяти (выравнивание на 4 килобайта).

Если вы не задаете тип выравнивания, Турбо Ассемблер подразумевает выравнивание PARA.

Размеры сегмента

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

С одной стороны, страницы не должны быть слишком большими, так как это может привести к неэффективному использованию памяти и перекачке слишком больших объемов данных при сбросе страниц на диск. С другой стороны, страницы не должны быть слишком маленькими, так как это приведет к чрезмерному увеличению таблиц трансляции, требуемого объема кэша дескрипторов и т.д. Что будет считаться "слишком" большим или, наоборот, маленьким, в действительности зависит от среднего количества памяти, используемого программой.

В реальных системах размер страницы меняется от 512 байт до нескольких килобайт. Например, i386/486 имеет страницу размером 4 К. Некоторые диспетчеры памяти, имеют переменный размер страницы - в том смысле, что система при запуске программирует диспетчер и устанавливает, помимо прочего, этот размер, и дальше работает со страницами выбранного размера. У процессоров семейства P6 размер страницы переключается между 4 К и 4 Мегабайтами.

С сегментными диспетчерами памяти ситуация сложнее. С одной стороны, хочется, чтобы один программный модуль влезал в сегмент, поэтому сегменты обычно делают большими, от 32К и более. С другой стороны, хочется, чтобы в адресном пространстве можно было сделать много сегментов. Кроме того, может возникнуть проблема: как быть с большими неразделимыми объектами, например хэш-таблицами компиляторов, под которые часто выделяются сотни килобайт. С третьей стороны, при подкачке сегментов с диска не хочется качать за один раз много данных.

Третье обстоятельство вынуждает многих разработчиков идти на двухступенчатую виртуальную память - сегментную адресацию, в которой каждый сегмент, в свою очередь, разбит на страницы. Это дает ряд мелких преимуществ, например, позволяет раздавать права доступа сегментам, а подкачку с диска осуществлять постранично. Таким образом организована виртуальная память в IBM System 370 и ряде других больших компьютеров, а также в i386/486.

Комбинирование класса сегмента

Комбинирование сегментов - процесс комбинирования сегментов различных модулей, имеющих одно и то же имя. Заметим, что если вы не указываете явно этот атрибут, Турбо Ассемблер предполагает PUBLIC.

PUBLIC - Будет выполняться конкатенация сегмента с другими сегментами с тем же именем вне данного модуля для образования одного непрерывного сегмента.

PRIVATE – Одноименные сегменты из разных модулей не будут объединяться в один.

COMMON - Располагает данный сегмент и все другие сегменты с тем же именем по одному адресу. Все сегменты с данным именем будут перекрываться и совместно использовать общую память. Размер полученного в результате сегмента будет равен размеру самого большого сегмента модуля.

VIRTUAL - Определяет специальный вид сегмента, который должен описываться внутри охватывающего сегмента. Компоновщик интерпретирует его как общую область и присоединяет его к охватывающему сегменту. Виртуальный сегмент наследует свои атрибуты из охва тывающего сегмента. Директива ASSUME рассматривает виртуальный сегмент как часть порождающего сегмента. Во всех других отношениях виртуальный сегмент представляет собой общую область памяти, которая используется разными сегментами. Это позволяет организовать совместное использование статических данных, которые берутся различными модулями из включаемых файлов.

AT xxx - Располагает сегмент по абсолютному адресу параграфа. Адрес задается параметром xxx. Компоновщик для сегмента AT не порождает никаких данных или кода. Используйте директиву AT для организации доступа по идентификатору к фиксированным адресам памяти (например, экран дисплея или области ПЗУ).

STACK – соединяет все одноименные сегменты стека, адреса в сегменте буду вычисляться относительно регистра SS.


 

А также другие работы, которые могут Вас заинтересовать

83461. Міжнародна правосубєктність державоподібних утворень 37.76 KB
  Ватикан це містодержава яка є резиденцією центра католицької церкви Святого Престолу. Святий Престол слід розуміти як сукупність центральних органів з Папою Римським на чолі в свою чергу містодержава Ватикан є геополітичним формуванням створеним на підставі договору між Святим Престолом та Італією від 11 лютого 1929 р. Згідно з цим договором Ватиканська держава є власністю Святого Престолу який здійснює над нею виключну та необмеженою владу та суверенну юрисдикцію. Показово що як член Міжнародної агенції з атомної енергії Ватикан...
83462. Проблема міжнародної правосуб’єктності фізичної особи 37.01 KB
  В міжнародному праві почали формуватися норми з яких витікають права та обовязки адресовані безпосередньо фізичним особам. Крім того прибічники визнання міжнародної правосубєктності фізичної особи підкреслюють що проявом міжнародної субєктності останньої є не тільки володіння правами та обовязками що витікають безпосередньо з міжнародного права але також судовий захист цих правяк і можливість виконання зобовязань причому через міжнародні органи. Проте у вітчизняній доктрині міжнародного права заперечується визнання статусу...
83463. Поняття визнання в міжнародному праві 35.51 KB
  Таке визначення визнання вказує поперше на те що це є акт політичний який залежить від політичних інтересів держави що визнає та подруге це є акт правовий тобто такий що тягне за собою правові наслідки встановлення дипломатичних консульських відносинукладення договорів та ін. Інститут визнання відноситься відповідно дестинаторами визнання є до визнання державиуряду повсталої сторони нації що бореться за свою незалежність. В ширшому розумінні визнання відноситься до будьякої правової ситуації наприклад визнання...
83464. Теорії визнання 36.65 KB
  Згідно з конститутивною теорією визнання лише визнання породжує відповідні правові наслідки та надає відповідні правові консти туюючі правовстановлюючі якості дестинатору визнання: державі міжнародну правосубєктністьуряду здатність представляти державу у міжнародних відносинах. Відповідно без визнання держава не може вважатися субєктом міжнародного права. Серед недоліків конститутивної теорії визнання потрібно зазначити поперше відсутність визначеної кількості актів визнання необхідних для надання дестинатору зазначених...
83465. Види визнання 36.34 KB
  Визнання держави має місце у випадках появи нової незалежної держави революційних та інших соціальних перетворень територіальних змін обєднання та розділу держав і т. Основним критерієм визнання держави є її незалежність та самостійність у реалізації ефективної та легітимної державної влади що означає законність її встановлення та підтримку з боку населення встановленого режиму. Визнання уряду означає визнання його здатності здійснювати ефективну державну владу в країні та представляти її на міжнародній арені.
83466. Визнання держав 34.95 KB
  В міжнародному праві існують дві теорії визнання держав конститутивна і декларативна. Конститутивна теорія: політичний акт визнання є попередньою умовою існування юридичних прав нової держави. Саме акт визнання іншими державами створює нову державу породжує і забезпечує її міжнародну правосубєктність. Визнання нової держави яка додержує умов державності має бути правовим обовязком.
83467. Форми визнання 36.2 KB
  Найбільш поширеним є визнання dejure яке є офіційним повним та остаточним. Воно передбачає встановлення між субєктами міжнародного права міжнародних відносин у повному обсязі та супроводжується як правило заявою про офіційне визнання та встановленням дипломатичних відносин. Визнання деюре носить безумовний характер та як правило не може буди відкликане.
83468. Визнання урядів 35.44 KB
  Значення і правові наслідки визнання нового уряду відрізняються від визнання нової держави. Визнання уряду надає йому можливість репрезентувати державу в міжнародних відносинах. Питання визнання уряду виникає лише в тому випадку коли уряд здобуває владу іншим аніж визначено в національному законодавстві шляхом. В міжнародному праві існують такі доктрини щодо визнання урядів: 1.
83469. Доктрини визнання урядів 35.14 KB
  Історії міжнародного права відомі спеціальні доктрини про визнання урядів, названі іменами міністрів закордонних справ Еквадору Карлоса Тобара (доктрина Тобара) і Мексики Хенаро Естради (доктрина Естради), що сформувалися на початку XX століття в практиці держав американського континенту.