Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Компьютеры, Программирование Компьютеры, Программирование

Базис стандартной и рекурсивной схемы. Верификация программы

Фонарь желаний бумажный, оранжевый.
В комплекте: фонарик, горелка. Оформление упаковки - 100% полностью на русском языке. Форма купола "перевёрнутая груша" как у
87 руб
Раздел: Небесные фонарики
Карабин, 6x60 мм.
Размеры: 6x60 мм. Материал: металл. Упаковка: блистер.
44 руб
Раздел: Карабины для ошейников и поводков
Ночник-проектор "Звездное небо и планеты", фиолетовый.
Оригинальный светильник - ночник - проектор. Корпус поворачивается от руки. Источник света: 1) Лампочка (от карманных фонариков) 2) Три
330 руб
Раздел: Ночники

Министерство РФ по связи и информатизации «Поволжская государственная академия телекоммуникаций и информатики» Кафедра «программного обеспечения информационных технологий» КОНТРОЛЬНАЯ РАБОТА ПО КУРСУ: «Теория вычислительных процессов» 2010 Задание 1 Построить базис стандартной схемы; Реализовать стандартную схему в графовой и линейной формах; Составить интерпретацию для заданной стандартной схемы; 6 Расчет суммы чисел Фибоначчи Расчет суммы первых четырех чисел Фибоначчи Числа Фибоначчи (Fi) определяются по формулам F0 = F1 = 1; Fi = Fi –1 Fi –2 при i = 2, 3, . (каждое очередное число равно сумме двух предыдущих). Вычислим сумму первых четырёх чисел Фибоначчи, которые не превосходят заданного натурального числа М. Зададим число M = 4. алгоритм Фибоначчи (аргумент целое М, результат целое S) дано M&g ;0 начало цел F0, F1, F2 F0:=1; F1:=1; F2:=2 S:=4 4 – сумма первых трех чисел Фибоначчи начинается пока F2&l ;=M F0:=F1; F1:=F2; F2:=F0 F1 серия переприсваиваний S:=S F2; кончается S:=S–F2 из S вычитается последнее значение F2, превосходящее M Конец Исполнение алгоритма F0 F1 F2 S F2&l ;M 1 1 2 4 1 2 3 4 3 2 3 5 7 5 − (кц) 12-5=7 Базис класса стандартных схем программ Полный базис класса стандартных схем состоит из 4-х непересекающихся, счетных множеств символов и множества операторов - слов, построенных из этих символов. Множества символов полного базиса: 1. X = {F0, F1, F2, S, M} - множество символов, называемых переменными; 2. Множество функциональных символов; верхний символ задает местность символа; нульместные символы называют константами и обозначают начальными буквами латинского алфавита a, b, c.; 3. Множество предикатных символов; нульместные символы называют логическими константами; 4. {program, uses, var, begi , e d} - множество специальных символов. Множество операторов включает пять типов: 1. начальный оператор - слово вида s ar (F0, F1, F2), где F0, F1, F2 - переменные, называемые результатом этого оператора; 2. заключительный оператор - слово вида s op(S), S - терм; вхождения переменных в терм S называются аргументами этого оператора; 3. оператор присваивания – F0:=1; F1:=1; F2:=2; S:=4; F0:=F1; F1:=F2; F2:=F0 F1; S:=S F2; S:=S–F2; 4. условный оператор (тест) – логическое выражение; F2&l ;=M; 5. оператор петли - односимвольное слово While. Графовая форма стандартной схемы на рис. 1. Рис. 1 & bsp; Линейная форма стандартной схемы urbo Pascal Program SummaFib; Uses Cr ; Var M, {zada oe chislo} F0, F1, F2, {3 posledova el yh chisla Fibo achchi} S : I eger; {summa chisel Fibo achi} BEGI ClrScr; Wri e('Vvedi e a ural oe M : '); ReadL (M); F0:=1; F1:=1; F2:=2; S:=4; {4 - summa pervih 3-h chisel Fibo achchi} Wri e('Chisla Fibo achchi, e prevoshodyaschie ', M, ' :', F0:4, F1:4); While F2&l ;=M do begi F0:=F1; F1:=F2; Wri e(F1 : 4); F2:=F0 F1; S:=S F2; e d; S:=S-F2; {vychi a ie iz summy posled ego chisla, ko oroe prevoshodi M} Wri eL ; Wri eL ; Wri eL ('O VE : Summa e ih chisel rav a = ', S); ReadL E D. & bsp; Задание 2 Построить базис рекурсивной схемы; Составить интерпретацию для заданной рекурсивной схемы (рис.

2); Составить протокол выполнения программы; 6 Составить рекурсивную программу-функцию подсчета количества всех положительных делителей натурального числа . Рассчитать количество делителей для числа 10. Рис. 2 & bsp; URBO PASCAL program Chislo; uses cr ; ype r=array of i eger; var d,x:i eger; a:r; y:i eger; begi clrscr; y:=1; ex color(6); wri e(' AHOZHDE IE DELI ELEJ'); go oxy(2,2); ex color(9); wri e('Vedi e chislo, u ko orogo ado aj i koliches vo deli elej: '); readl (x); ex color(6); wri e ('Deli eli chisla ' ,x, ' : '); for d:=1 o x div 2 do begi ex color(9); if x mod d=0 he begi wri e(d,' '); i c(y);e d;e d; {Y:= Y 1} wri el (x); ex color(5); wri e('Koliches vo deli elej: ' ,y); readl ; e d. Результат работы PASCAL-программы (рис. 3) Рис. 3 & bsp; Задание 3 Разработать алгоритм программы, решающей поставленную задачу; Составить стандартную схему программы и записать полученную программу в линейной форме (рис. 4); Для каждого оператора программы, записанного в линейной форме определить слабейшие предусловия. 6 Расчет суммы чисел Фибоначчи Рис. 4 urbo Pascal Program SummaFib; Uses Cr ; Var M, {Zada oe chislo} F0, F1, F2, {3 posledova el yh chisla Fibo achchi} S : I eger; {Summa chisel Fibo achch} BEGI ClrScr; Wri e('Vvedi e a urel oe chislo M: '); ReadL (M); F0:=1; F1:=1; F2:=2; S:=4; {4 - summa pervyh 3-x chisel Fibo achchi} Wri e('Chisla Fibo achchi, e prevoshodyaschie ', M, ' :', F0:4, F1:4); While F2&l ;=M do begi F0:=F1; F1:=F2; Wri e(F1 : 4); F2:=F0 F1; S:=S F2; e d; S:=S-F2; {vychi a ie iz summy posled ego chisla, ko oroe prevoshodi M} Wri eL ; Wri eL ; Wri eL ('O V E : Summa e ih chisel rav a ', S); ReadL E D. Результаты работы Pascal-программы (рис. 5). Рис. 5 Слабейшие предусловия операторов: 1. начальный оператор - слово вида s ar (F0, F1, F2), где F0 = 1, F1 = 1, F2 - переменные, называемые результатом этого оператора; 2. заключительный оператор - слово вида s op (S), где S = 2 - терм; вхождения переменных в терм S называются аргументами этого оператора; 3. оператор присваивания – F0:=1; F1:=1; F2:=2; S:=4; F0:=F1, где F1=1; F1:=F2, где F2=2; F2:=F0 F1, где F0=1, F1=1; S:=S F2, где S=4, F2=3; S:=S–F2, где S=4, F2=2; 4. условный оператор (тест) – логическое выражение; F2&l ;=M, где F2=2, M&g ;1; 5. оператор петли - односимвольное слово While. Слабейшее предусловие такое же, как в условном операторе. & bsp; Задание 4 & bsp; Разработать алгоритм программы, решающей поставленную задачу; Составить стандартную схему программы и записать полученную программу в линейной форме (рис. 6); Используя метод индуктивных утверждений и правила верификации Хоара произвести верификацию программы. 6 Расчет произведения чисел Фибоначчи Рис. 6 & bsp; urbo Pascal Program ProizFib; Uses Cr ; Var M, {zada oe chislo } F0, F1, F2, { ri posledova el yh chisla Fibo achchi} S : I eger; {summa chisel Fibo achchi} R : Real; {proizvede ie chisel Fibo achchi} BEGI ClrScr; Wri e('Vvedi e a ural oe chislo M: '); ReadL (M); F0:=1; F1:=1; F2:=2; S:=4; {4 - summa pervyh 3-x chisel Fibo achchi} R:=2; {2 - proizvede ie pervyh 3-x chisel Fibo achchi} Wri e('Chisla Fibo achchi, e prevoshodyaschie ', M, ' :', F0:4, F1:4); While F2&l ;=M do begi F0:=F1; F1:=F2; Wri e(F1 : 4); F2:=F0 F1; S:=S F2; R:=R F2 e d; S:=S-F2; {vychi a ie iz summy posled ego chisla, ko oroe prevoshodi M} R:=R/F2; {Dele ie iz proizvede iya chisla, ko oroe prevoshodi M} Wri eL ; Wri eL ; Wri eL ('O V E : Summa e ih chisel rav a: ', S); ReadL ; Wri eL ; Wri eL ; Wri eL ('O V E : Proizvede ie e ix chisel rav o: ', R); ReadL E D.

Результаты работы Pascal-программы (рис. 7). Рис. 7 Задание 5 Составить алгоритм выполняемого процесса; Определить множества условий и событий для процесса; Построить сеть Петри для моделируемого процесса. 6 Работа банкомата в режиме выдачи наличных денежных средств Условиями для рассматриваемой системы являются: а) банкомат ждет; б) запрос поступил и ждет; в) банкомат обрабатывает запрос; г) запрос обработан. Событиями для этой системы являются: 1.Запрос поступил. 2. Банкомат начинает обработку запроса. 3. Банкомат заканчивает обработку запроса. 4. Результат обработки выдаются деньги клиенту. Для перечисленных событий можно составить следующую таблицу их пред- и постусловий (рис. 8). Событие Предусловия Постусловия 1 2 3 4 нет а, б в г б в г, а нет а & bsp; & bsp; Рис. 8 Предусловие выполняется для события 2.

Эту работу выполняют аналитики совместно со специалистами предметной области. Результатом данного этапа должна являться некоторая концептуальная схема, содержащая описание основных компонентов и тех функций, которые они должны выполнять. Этап проектирования структуры программы заключается в разработке детальной схемы будущей программы, на которой указываются классы, их свойства и методы, а также различные взаимосвязи между ними. Как правило, на этом этапе могут участвовать в работе аналитики, архитекторы и отдельные квалифицированные программисты. Результатом данного этапа должна стать детализированная схема программы, на которой указываются все классы и взаимосвязи между ними в процессе функционирования программы. Согласно методологии ООАП, именно данная схема должна "служить исходной информацией для написания программного кода. Этап программирования вряд ли нуждается в уточнении, поскольку является наиболее традиционным для программистов. Появление инструментариев быстрой разработки приложений (Rapid Application Development, RAD) позволило существенно сократить время, и затраты на выполнение этого этапа

1. Программа логического позитивизма. Критерий верификации

2. Стандартные программы Windows

3. Программа управления самолётом в режиме автопилота

4. Схема вызова всех служб города Кургана

5. Схема системы налогообложения

6. Патентование избирательных программ в контексте формирования концептуального рынка
7. Политическая программа английского просвещения Джона Локка
8. Разработка рекламной программы для страховой компании

9. Рецензия на программу "Тема" - "журналистская этика"

10. Политическая программа декабристов

11. Программы и планы действий Декабристов

12. Конвертер программы с подмножества языка Си в Паскаль с использованием LL(1) метода синтаксического анализа (выражения)

13. Разработка программы для расчета финансовых показателей, используемых в составлении бизнес-плана на языке Visual Basic

14. Рекурсивные алгоритмы

15. Проект учета пользовательских счетов для интернет-провайдеров на базе OS FreeBSD с применением программы "Billing ISP"

16. Структурная схема ЭВМ

Именная кружка с надписью "Любимая бабушка".
Предлагаем вашему вниманию готовое решения для подарка по любому поводу – именная кружка. Кружка изготовлена из керамики, в нежной
434 руб
Раздел: Кружки
Ящик с крышкой Darel Box на колесах, 61x40x31 см.
Универсальные и герметичные боксы идеально подходят для хранения меха, одежды и домашнего текстиля. Герметичность конструкции обеспечивает
652 руб
Раздел: Более 10 литров
Обложки для переплета, тиснение под кожу, А4, картон 230г/м2, черные, 100 шт..
Обложки для переплета из плотного картона. Актуальны для создания деловых брошюр. Имеют поверхность с текстурой, имитирующей натуральную
402 руб
Раздел: Прочее

17. Стандартные интерфейсы подключения датчиков и исследовательских приборов

18. Программа эмуляции развития популяций животных

19. Разработка алгоритмов и программ выполнения операций над последовательными и связанными представлениями структур данных

20. Программа контроля знаний студентов по дисциплине ЭРМ и РК в процессе учебы

21. Изучение методики перевода из одной системы исчисления в другую и разработка программы для этой операции

22. Защита программ от компьютерных вирусов
23. Реляционные Базы Данных. SQL - стандартный язык реляционных баз данных
24. Web-Дизайн и программы для создания web-страниц

25. Разработка программы- тренажера "Управление электросетями"

26. Кадры с использованием программы Microsoft Access 97

27. Разработка лабораторного практикума "Создание тестирующей программы"

28. Обучающая программа "Графика" программированию в графическом режиме на языке turbo-pascal 7.x

29. Антивирусные программы

30. Понятие алгоритма, его свойства. Описание алгоритмов с помощью блок схем на языке Turbo Pascal

31. Использование компьютерных программ для анализа финансового состояния организации

32. Разработка системы задач (алгоритмы-программы) по дискретной математике

Коллекция "Гардероб".
Кукольный гардероб для одежды кукол. У гардероба две распашные дверцы, нижний ящик с откидной крышкой, внутренние полочки, перекладина для
362 руб
Раздел: Гардеробные, прихожие
Коробка подарочная "Прованс".
Коробка подарочная. Материал: мелованный, ламинированный, негофрированный картон плотностью 1100 г/м2. Отделка: полноцветный декоративный
302 руб
Раздел: Коробки
Стержень для шариковых ручек "QuinkFlow", синий, F.
Стержень для шариковых ручек "QuinkFlow". Цвет чернил: синий. Длина: 98 мм. Линия письма: F.
343 руб
Раздел: Стержни для ручек

33. Учебник по созданию Shareware-программ

34. WINVN - программа для чтения телеконференций

35. Программы для расчета на прочность совместимые с AutoCad

36. Программа Mathematics

37. Прикладная программа Excel

38. Вспомогательные программы
39. Разработка диалоговой системы, оформленной в виде пакета прикладных программ и реализующей идею искусственного интеллекта (WinWord, PASCAL)
40. Программа Adobe Photoshop

41. Офисные программы (текстовый редактор WORD)

42. Access-одна из программ MS Office

43. Слои изображения в программе Photoshop

44. Программы архиваторы

45. Чем отличается папка Мой компьютер и программа Проводник? Как настроить рабочий стол? (и другие ответы на вопросы)

46. Компьютерные Вирусы. Программа-полифаг Aidstest

47. Создание баннеров с помощью программы Adobe PhotoShop 7.0

48. Контролирующие программы в Internet

Копилка "Лаванда", 16x21 см.
Копилка поможет Вам наконец-то собрать требуемую сумму для покупки долгожданной вещицы. Регулярно удалять пыль сухой, мягкой
343 руб
Раздел: Копилки
Набор детской посуды "Авто", 3 предмета.
Набор посуды для детей включает в себя три предмета: суповую тарелку, обеденную тарелку и кружку. Набор упакован в красочную, подарочную
397 руб
Раздел: Наборы для кормления
Диванчик раскладной "Кошечка".
Диван "Кошечка" - красивый, функциональный, надежный детский диван. Он способен украсить детскую комнату и может использоваться
2791 руб
Раздел: Прочие

49. Программа государственного экзамена по математике для студентов математического факультета Московского городского педагогического университета

50. Матричные операции в вейвлетном базисе

51. Рекурсивные функции

52. Рабочая программа по хирургическим болезням для студентов 3 - 4 курсов стоматологического факультета

53. Методические рекомендации и программа учебной практики (специальность - 7.060101 "Правоведение")

54. Программа социологического исследования /выбор формы обучения/ (Контрольная)
55. Схемы по лекциям по Педагогике и Психологии высшей школы
56. Контролирующие программы в Internet

57. ПУП в рамках закона и морали. Программа самой благозвучной партии России - партии умеренного прогресса

58. Идея и программа анархизма Бакунина

59. Компьютерная программа для расчета режимов резания деревообрабатывающего круглопильного станка

60. Разработка технологической схемы производства стали марки 35Г2 и определение основных технико-экономических показателей производства

61. Расчет схемы электроснабжения плавильного цеха обогатительной фабрики

62. Схемы управления электродвигателями

63. Расчет тепловой схемы с паровыми котлами

64. Структура и формирование исходных данных, необходимых для расчета параметров технологических схем

Набор цветных карандашей Stilnovo, 24 цвета.
Гексагональные цветные деревянные карандаши с серебряным нанесением по ребру грани. Есть место для нанесения имени. Яркие модные цвета.
448 руб
Раздел: 13-24 цвета
Учимся читать по слогам. 40 карточек-пазлов. Митченко Ю.
В наборе 40 двухсторонних карточек-пазлов, разработанных для детей, которые уже знакомы с алфавитом. Эта развивающая игра поможет ребенку
389 руб
Раздел: Алфавит, азбука
Глобус Земли физико-политический, рельефный, с подсветкой, 320 мм.
Глобус Земли физико-политический, рельефный, с подсветкой, питание от сети. Диаметр: 32 см. Материал: пластмасса. Крым в составе РФ.
1452 руб
Раздел: Глобусы

65. Спроектировать привод конвейера по заданной схеме и характеристикам (WinWord97 + Corel Draw)

66. Расчет тепловой схемы парогенератора ПГВ-1000 с построением диаграмм t-Q, тепловой и гидродинамический расчеты

67. Схемы установок для выпаривания и конструкции выпарных аппаратов

68. Совершенствование систем электроснабжения подземных потребителей шахт. Расчет схемы электроснабжения ЦПП до участка и выбор фазокомпенсирующих устройств

69. Принципиальные схемы КШМ. Компоновочные схемы двигателей

70. Основы самосовершенствования. Программа личностного роста
71. Разработки функциональной схемы и определение ее быстродействия
72. Разработка программно-методического комплекса для анализа линейных эквивалентных схем в частотной области /для числа узлов <=500/

73. Проектирование лог. ключа в n-МОП базисе с квазилинейной нагрузкой (МСХТ)

74. Блок-схема: Вычитание чисел в форме плавающая точка, сдвиг вправо на один два разряда

75. Описание работы электрической схемы охранного устройства с автодозвоном по телефонной линии

76. Изучение режимов работы диодов и транзисторов в электронных схемах

77. Сверхбольшие интегральные схемы

78. Разработка схемы электронного эквалайзера

79. Схема технологии возделывания озимой пшениы

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

Карандаши цветные "Kores", 24 цвета, с точилкой.
Двусторонние цветные карандаши имеют насыщенные цвета. Трехгранная форма корпуса снижает усталость и придает дополнительный комфорт.
311 руб
Раздел: 13-24 цвета
Кружка фарфоровая "FIFA 2018. Забивака. Триумф!", 480 мл.
Объем: 480 мл. Материал: фарфор.
401 руб
Раздел: Кружки, посуда
Чайник со свистком из нержавеющей стали "Mayer & Boch", 2,5 л.
Чайник со свистком металлический. Материал: нержавеющая сталь, бакелит, литое дно. Объем: 2,5 литра. Чайник выполнен из высококачественной
400 руб
Раздел: Чайники из нержавеющей стали

81. Программа прикладного социологического исследования на тему: "Изучение мнения потенциальных и реальных пользователей всемирной компьютерной сети Internet о проблемах ее существования и развития в Москве"

82. Программа социологического исследования

83. Хронологические схемы по истории философии: Философ, его взгяды (кратко)

84. Философия права (краткая учебная программа)

85. Обзор регионального рынка бухгалтерских программ

86. Прогнозирование банкротства и разработка антикризисной программы предприятия
87. Разработка программы стимулирования сбыта
88. Разработка программ стимулирования труда

89. Программа экологического менеджмента на московской обойной фабрике

90. Создание схемы мотивации и стимулирование персонала на предприятии

91. Источники финансирования учреждений культуры и культурных программ. Технология планирования.

92. Составление производственной программы

93. Разработка оптимальной программы организации инвестирования и финансирования создания малого предприятия по производству прецизионных профилей из цветных металлов

94. Математические модели в программе логического проектирования

95. Программа лекционных и практических занятий спецкурса "экономическая психология"

96. РОЛЬ И АНАЛИЗ АНИМАЦИОННЫХ ПРОГРАММ СРЕДИЗЕМНОМОРСКИХ ОТЕЛЕЙ ТУРЦИИ

Папка для чертежей "Вишенки", А3.
Папка для чертежей и рисунков, с ручками. Формат: А3. Материал: пластик. Застежка: на молнии.
350 руб
Раздел: Папки-портфели, папки с наполнением
Горшок эмалированный с крышкой, 1,5 л.
Горшок эмалированный с деколью. Объем: 1.5 л.
423 руб
Раздел: Горшки обычные
Пеногенератор для минимоек, для пистолета 375 серии.
Пеногенератор для мойки высокого давления ЗУБР предназначен для расширения функциональности моек ЗУБР. Регулировка выхода пены. Большой
1855 руб
Раздел: Мойки высокого давления

97. Программа курса "Технология выездного туризма"

98. Программа вступительных экзаменов по отечественной истории в 2004 г. (МГУ)

99. Политические программы эпохи московской централизации


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.