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

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

Исследование некоторых задач в алгебрах и пространствах программ

Браслет светоотражающий, самофиксирующийся, желтый.
Изготовлены из влагостойкого и грязестойкого материала, сохраняющего свои свойства в любых погодных условиях. Легкость крепления позволяет
66 руб
Раздел: Прочее
Чашка "Неваляшка".
Ваши дети во время приёма пищи вечно проливают что-то на ковёр и пол, пачкают руки, а Вы потом тратите уйму времени на выведение пятен с
222 руб
Раздел: Тарелки
Забавная пачка "5000 дублей".
Юмор – настоящее богатство! Купюры в пачке выглядят совсем как настоящие, к тому же и банковской лентой перехвачены... Но вглядитесь
60 руб
Раздел: Прочее

Казиев В.М. Рассмотрим пару алгебр (A,B): алгебру X=&l ;X,& ,a ( ),a {},{}a > событий - алгоритмических процедур (программ) заданную над алфавитом X={x1,x2,.,x } и В-трехзначную алгебру логики (0,1,2 - неопределенность). В алгебре А определим двухместные операции конъюнкции и условной дизъюнкции и одноместную операцию итерации следующим образом: конъюнкция s1& s2 событий s1, s2 состоит из всех слов вида pq, pÎ s1, qÎ s2; a - дизъюнкция a (s1 s2) совпадает с s1(s2), если условие a истинно (ложно); итерация с постусловием {s}a состоит из пустого события s0=e и всевозможных слов вида p1p2.pk т.е., {s}a =sm, где sm - последний из степеней s, для которого условие a выполнено; итерация с предусловием a {s} определяется аналогично. В алгебре А задается событие называемое неопределенным и обозначаемое символом Æ . Элементарные события в А - события е, x1, x2,., x . Аксиомы алгебры А ниже рассмотрены. Все аксиомы алгебры B и правила вывода в ней сохраняются. Правила вывода, используемые в алгебре А включают правила вывода, принятые в программировании - см., например, . Событие, получаемое применением конечного числа операций алгебры А над элементарными, называется регулярным. Имеет место важная теорема Клини : регулярные события и только они представимы в конечных автоматах. Рассмотрим задачу построения алгоритма регуляризации во введенной паре алгебр (А,B). Алгоритм в укрупненных шагах состоит в следующем.   Шаг 1. Задается произвольное событие s=s0 s1 s2.s 1, где si - событие номер i, начальное событие - s0, конечное - s 1, остальные события - преобразователи и/или события - распознаватели. Шаг 2. Составляется система уравнений алгебры событий А: записывается функция F события, его дерево D и дерево состояний определяющее все к путей выполнения :, где Fi - функция ветви дерева состояний. Функция ветви дерева - композиция всех функций (событий) данной ветви; программная функция F - объединение всех функций ветвей дерева. Шаг 3. Система уравнений с помощью подстановок и операций дизъюнкции и конъюнкции представляется в виде : X=XA B, где X - событие, представленное заключительным состоянием s 1,. Шаг 4. Находим решение системы. Используется теорема : если характеристический граф матрицы А (орграф соединяющий ребрами вершины i и j только тогда, когда eÎ aij) не содержит ни одного цикла, то система X=XA B имеет единственное решение X=B{A}, которое регулярно при регулярных A, B. При решении системы эффективно преобразовывать уравнения, - как и при решении линейных алгебраических уравнений, например, брать дизъюнкцию событий, изменять порядок исключения событий и др. Шаг 5. По условиям выполнимости событий находим регулярную форму этого решения. Используются аксиомы алгебры логики В и соотношения алгебры событий А, например, следующие (AB=A& B, a b = a & b , a (A) - условие выполнимости события А, Aa - проверка условия a после события А и для этого условия верны все аксиомы алгебры В, - отрицание условия a ): Ae=eA=A, ea =a (e)=a , AÆ =Æ A=Æ , 2(A B)=Æ , a (b (A))=b , A(BC)=(AB)C, b (A B)=(a (A) (B)), a (b (A B))=(b a (A)) ( (B)), a (A B)C=a (AC BC), Aa (B C)=a (AB AC), a (AB)=a (A)Ba (B), (AB)a =A(Ba ), A{B}a ={BAa }A, a ({A}b )={Ab }b , {A}a =a (e A{A}a ), {a (A)} (B)={A}B, a {A}a {A}=a {A}, {a a {A}}=a {A}, {A}a {A}a ={A}a , {{A}a a }={A}a , {a (A)}={A} , {A}a e=a {A}, Aa {A}=a {A}A={A}a .

Пример 1. Регуляризуем микропрограмму А деления с фиксированной запятой. Для простоты считаем, что числа неотрицательны, а операция не приводит к переполнению разрядной сетки компьютера фон - Неймановского типа, операционный автомат которого состоит из регистров R1, R2 сумматора R3 и счетчика сдвигов R4. Делимое храниться на R1, делитель - на R2, частное накапливается на R3. Введем обозначения: li - микрооперация сдвига регистра Ri влево (i=1,2,3); s-1ij - микрокоманда вычитания из содержимого регистра Rj содержимого регистра Ri; a i - условие заполненности регистра Ri; g i - условие отрицательности содержимого регистра Ri; pi - микрооперация занесения единицы в младший разряд Ri; si,j- микрокоманда добавления содержимого регистра Ri к содержимому Rj. Выпишем систему уравнений, обозначив через xi - событие соответствующее каждому из 11 пунктов алгоритма деления (см., например, ): Решим эту систему. После очевидных подстановок, вводя обозначения: x=x3 x7 x10 , B=el3s-113, A=g 3p2l2p4l3s-113 g 3l2p4l3s-113 получим уравнение X=XA B, решение которого будет X=B{A} и после упрощений с помощью приведенных аксиом, заключительное событие S равно s=x11l3s-113{g 3(l2p4l3s13 p2 l2p4l3s13-1)}a 4 2. Рассмотрим задачу нахождения оптимальных (например, в смысле операции, длины и т.д.) структурированных программ из заданного набора базовых процедур (некоторые из них - см. в ), а также построения грамматик для анализа структур из программных единиц. При решении этой задачи используются аксиомы алгебры А. Пример 2. Дана программа Р, где А,В,С - процедуры, a , b - предикаты: P=a (BA CA)b (Ab {A} e)=a (B С)Ab (Ab {A} e)=a (B С)Ab ({A}b e)=a (B С)Ab {A}=a (B C){A}b = . Программа Т - более оптимальна и ее правильность доказываема формально. Доказана теорема (доказательство не приводим из-за объема). Теорема 1. Если R,A,S Î A, a ,b ,g Î B, A и S - коммутативны, то: а)AX=Aa (R SX)Û AX=A{S}a R, б)Ag =Aa (b Sg )Û Ag =A{S}a b , в)Ag =Aa (b S)& HOR ; Ag =A{S2} a (b S), =a Sa , г)Ag =A{S2} g & HOR ; Ag =A (e S2)g , g =a (b S), =a Sa . Рассмотрим задачу исследования разрешимости в пространствах программ. Пусть x=&l ;X, Y, M, S> - программа, определенная на входном алфавите Х, выходном алфавите Y и состоящая из подпрограмм (процедур) М с логической схемой (структурой) S. Структуре S поставим в соответствие орграф: Вершины - подпрограммы, ребра - в соответствии со структурой их взаимодействий. Метрика r (x,y) в этом пространстве - сумма всех весов ребер орграфов программ не совпадающих при заданной структуре S или отклоняющихся от оптимальной структуры, т.е. Аксиомы метрики проверяемы. Отметим метризуемость пространства и по некоторым характеристикам качества программ Холстеда , а также с помощью понятия интеллектуальной работы программы, оцениваемой как разность энтропии до работы (статической формы программы) и после работы (динамической формы). У идеальной программы энтропия равна нулю. Отметим, что если ds/d - общее изменение энтропии программного комплекса при отладке, ds1/d - изменение энтропии за счет необратимых изменений структуры, потоков внутри комплекса (рассматриваемую как открытую систему), ds2/d - изменение энтропии за счет усилий по отладке и тестированию, то справедливо уравнение Пригожина: ds/d = ds1/d ds2/d .

Последовательность программ {xi}, сходится по схеме (структуре) к программе х (обозначим), если r (x ,x)® 0, при ® &ye ; , т.е. дерево программы x при ® &ye ; стремится к дереву программы х. Последовательность {xi} сходится функционально к программе х (обозначим), если F(x )® F(x) при ® &ye ; (программная функция x стремится к программной функции х). Нетрудно видеть, что из сходимости по схеме следует сходимость функциональная, но обратное неверно. Пусть M = {x1, x2, ., x ,.} - последовательность программ с общей функцией (эквивалентных функционально). На этом множестве рассмотрим множество операторов А преобразования (композиции, суперпозиции) программ. Последовательность {A } сходится к А функционально (по схеме, структуре), если верно: " xÎ М: С точки зрения исследования существования, единственности оптимальной (в каком-то смысле) программы можно рассмотреть: операторы минимизации числа операндов; операторы минимизации числа типов операторов; операторы минимизации числа вызовов процедур; минимизации числа ошибок в программе; минимизации сложности (разных способов определения) и др. При исследовании программных систем важно рассматривать пространства векторов х=(х1,x2,.,x ), где xi - характеристика ошибок в программе или структурной связностипроцедур, ui - количество ошибок в i-ом модуле программного комплекса P(u)=P(u1,u2,.,u ). Пусть u(x, ) - количество ошибок, обнаруженных в программе (системе) в момент времени , а х - характеристика уровня ошибок. Рассмотрим модель обнаружения ошибок при отладке, представимая уравнением (см. также ): Lu u=f, где - оператор, определяющий первоначальный уровень ошибок в программе или их некоторую характеристику, L - некоторый линейный ограниченный оператор отладки, L:U® V, U,V - линейные нормированные пространства D(L) &Iacu e; U, R(L)&Iacu e; V. Теорема 2. Если R(L)=V и для каждого uÎ D(L) существует постоянная c такая, что, то Lu u=f имеет единственное решение uÎ U. Доказательство. Условия теоремы гарантируют существование непрерывного обратного оператора L-1, причем. Тогда u=L-1(f- u). Для однородного уравнения:. Отсюда следует, что, т.е. u=0. Следовательно, неоднородное уравнение имеет единственное решение. Пример 3. Пусть umax - максимальный уровень синтаксических ошибок в программе Р, u( ) - их оставшееся количество к моменту времени . Исходя из модели du/d l umax=0, u( 0)=u0 можно заключить, что уровень ошибок убывает при l (c- 0) ¹ -1 ( 0&l ;c&l ; ) по закону: u( ) = u0(1 l (c- ))/(1 l (c- 0)). Если задать дополнительно u( )=u , (umax - неизвестная величина), то закон изменения уровня ошибок находится однозначно, так как: с=(u 0-u0 )/(l u -l u0)-1/l . Вопросы разрешимости некоторых уравнений Lx=y, где х - неизвестная программа, y - заданная программа, L - оператор, например, оптимизации, будут изложены в другой работе. Список литературы 1. Алагич С., Арбиб М. Проектирование корректных структурированных программ. - М., Радио и связь, 1984. 2. Клини С.К. Представление событий в нервных сетях и конечных автоматах. - Автоматы, ИЛ, М., 1956. 3. Бондарчук В.Г

Термин «средний уровень» подразумевает наличие иерархической системы целей. Если специфическую задачу (например, оплатить обед) и абстрактные устремления (например, прожить счастливую жизнь) рассматривать как низший и высший уровни в иерархии устремлений, тогда анализируемые здесь цели (например, установить романтические отношения) окажутся посередине. Изучению роли целей среднего уровня в личностном функционировании было посвящено множество исследовательских программ. Сюда входят исследования «жизненных задач» (Cantor & Kihistrom, 1987; Sanderson & Cantor, 1999), «личных устремлений» (Emmons, 1989, 1996), «актуальных проблем» (Klinger, 1975) и «личных проектов» (Little, 1989, 1999). Рид и Миллер (Read & Miller, 1989), анализируя межличностные цели, также выделяют цели среднего уровня, способствующие согласованности личностного функционирования. Хотя эти исследовательские программы и связанные с ними теоретические системы в некотором отношении отличаются друг от друга, они имеют и много общего. В них предполагается, что цели среднего уровня обеспечивают согласованные устойчивые паттерны переживаний и действий

1. Приложения определенного интеграла к решению некоторых задач механики и физики

2. О некоторых применениях алгебры матриц

3. Приложения определенного интеграла к решению некоторых задач механики и физики

4. Решение задачи с помощью программ Mathcad и Matlab

5. Решение задачи с помощью программ Mathcad и Matlab

6. Решение задачи с помощью программ Mathcad и Matlab
7. Исследование некоторых особенностей внимания у подростков 18-20 лет
8. Некоторые проблемы современных гидрологических исследований на Алтае

9. Исследование программы PhotoShop и других программ Adobe

10. Некоторые результаты исследования горных лиственничных лесов бассейна Верхней Лемвы в 1999-2000 гг.

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

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

13. Адам Смит Исследования о природе и причинах богатства народов (краткая биография, философия + некоторые главы из одноименной книги)

14. Некоторые итоги археологических исследований римской цитадели Херсонеса

15. Задачи линейной алгебры

16. Некоторые свойства многогранника. Задачи о P-медиане

Подарочная расчёска для волос "Алиса".
Стильная детская расчёска дарит радость и комфорт. Этот практичный аксессуар по достоинству оценят как маленькие модницы, так юные
372 руб
Раздел: Расчески, щетки для волос
Фоторамка С31-011 "Alparaisa" на 5 фотографий, 51,5x34,5x2 см (белый).
Размеры рамки: 51,5х34,5x2 cм. Размеры фото: - 15х10 см, 3 штуки, - 10х15 см, 2 штуки. Фоторамка-коллаж для 5-ти фотографий. Материал:
642 руб
Раздел: Мультирамки
Блюдо для блинов с крышкой "Лавандовый букет", 23 см.
Блюдо для блинов с крышкой прекрасно впишется в кухонный интерьер. Материал: доломит. Диаметр: 23 см.
737 руб
Раздел: Блюда

17. Формализация цели и задачи маркетинговых исследований

18. Исследование влияния телевизионных программ на агрессию у подростков

19. Конструктивная психология: программа исследований, методологические основы, технологическая стратегия

20. Программа социологического исследования о факторах, влияющих на выбор формы обучения абитуриентами

21. Исследование хронобиологических особенностей восприятия времени и пространства у спортсменов

22. Имре Лакатос. Методология программ научных исследований
23. Маркетинговые исследования: программа маркетингового исследования
24. Программа исследования функций

25. О некоторых аспектах этичности маркетинга и маркетинговых исследований

26. Некоторые психолого-педагогические особенности создания и использования компьютерных обучающих программ в вузе

27. Цели, задачи и практика выполнения государственной программы "Электронная Россия"

28. Исследование использования программ дистанционного обучения для подготовки учебно-методической документации

29. Разработка формата хранения данных программ и решение задач

30. Решение задач моделирования и оптимизации с помощью программ Excel и Mathcad

31. Решение математических задач с помощью алгоритмического языка Turbo Pascal, Microsoft Excel, пакета MathCAD и разработка программ в среде Delphi

32. Антивирусные программы. Матричный принцип печати. Решение задач на ЭВМ

Автомобиль-каталка.
Эта симпатичная каталка в виде машинки - первое транспортное средство малыша. Ведь он еще так мал для велосипеда или самоката, а вот
851 руб
Раздел: Каталки
Универсальная вкладка для дорожных горшков (оранжевый).
Вкладка для дорожных горшков подойдет для любого дорожного горшка, она хорошо ложится на сиденье, обеспечивая комфорт и удобство в
660 руб
Раздел: Прочие
Конструктор "Зоопарк" (39 деталей).
Конструктор «Зоопарк» относится к тематическим наборам для конструирования, так как включает в себя не только детали для конструирования
561 руб
Раздел: Деревянные конструкторы

33. Разработка программы маркетингового исследования рынка парфюмерии

34. Цели, задачи и методы маркетинговых исследований

35. Задачи линейной алгебры. Понятие матрицы. Виды матриц. Операции с матрицами. Решение задач на преобразование матриц

36. Исследование задачи оптимизации кооперации разработчиков

37. Программа исследования

38. Роль и место физических методов исследования при изучении некоторых разделов химии высокомолекулярных соединений в школе и в вузе
39. Исследование реализации районной целевой программы "Обеспечение жильем молодых семей в Азовском районе" на 2007-2010 годы
40. Программа управления самолётом в режиме автопилота

41. Исследования Венеры космическими аппаратами

42. Исследование Марса

43. Исследование космоса

44. Исследование природных ресурсов планеты с помощью космических методов

45. Международное сотрудничество в освоении космического пространства

46. Исследование клеточного цикла методом проточной цитометрии

47. Краткое описание происхождения птиц и описание некоторых птиц кайнозойской эры

48. Методологическое значение сравнительного метода в зоологических исследованиях

Одежда для куклы 42 см (теплый комбинезон).
Куклы тоже любят менять наряды! И для них создается стильная и модная одежда, похожая на одежду для настоящих малышей. Этот теплый
362 руб
Раздел: Для кукол от 25 см
Форма для выпечки силиконовая "Медвежонок", 26x23,5x4 см.
Форма для выпечки «Медвежонок» изготовлена из пищевого силикона, экологичного, прочного, и пластичного материала. Изделие можно
433 руб
Раздел: Формы и формочки для выпечки
Грязевая фреза для минимоек, для пистолета 375 серии.
Грязевая фреза для мойки высокого давления ЗУБР 70404, предназначен для расширения функциональности моек ЗУБР. Завихренный поток воды под
497 руб
Раздел: Мойки высокого давления

49. Разведение и содержание аквариумных рыб с элементами исследования

50. Организация выполнения задачи командиром инженерно-саперного взвода по проделыванию проходов в минно-взрывных заграждениях перед переднем краем обороны противника

51. Некоторые аспекты отравлений азотной кислотой и окислами азота при химических авариях

52. Россия. 21 век. Начало строительства (инфраструктурный комплекс как фактор организации экономического пространства России)

53. Основные направления научных исследований в России и за рубежом

54. Основные задачи и сферы государственного регулирования в экономике
55. Стандартизация. Задачи стандартизации в области объектов коммерчекой деятельности
56. Некоторые вопросы обеспечения прав обвиняемого на предварительном расследовании

57. Участие адвоката в исследовании доказательств

58. Переход к рыночной экономике в России и задачи ОВД

59. Содержание договора о передаче прав на программу для ЭВМ

60. Исследование удовлетворенности потребителя

61. Аграрный вопрос в программах политических партий начала 20 века

62. Создание Единого экономического пространства

63. Задачи, система и функции органов юстиции Российской Федерации

64. Международная организация труда- создание, структура, задачи и организация её работы

Набор карандашей цветных "Сафари", 36 цветов.
Цветные карандаши "Сафари" непременно, понравятся вашему юному художнику. Набор включает в себя 36 ярких насыщенных цветных
317 руб
Раздел: Более 24 цветов
Мягкая игрушка "Груффало".
Ой, мама, это груффало! Оно меня понюфало! Как этот страшный зверь сумел сюда попасть? Какие острые клыки, чудовищная пасть! Ножищи как
865 руб
Раздел: Персонажи мультфильмов, сказок
Шарики, 100 шт.
Диаметр: 8 и 6 см.
787 руб
Раздел: Шары для бассейна

65. Цели, задачи и функции прокуратуры Украины

66. Цели, задачи и структура Федерального закона № 122-ФЗ

67. Решение задач по курсу "семейное право"

68. Понятие и задачи таможенного оформления, порядок производства

69. Значение, цели, задачи и основные принципы трудового права

70. Substance abuse: Alcohol Consumption and alcohol dependence among the youth (Социологическое исследование проблемы алкоголизма среди студентов)
71. Предмет исследования теоретической грамматики. Грамматический строй английского языка
72. Культурологические и семиотические исследования Ролана Барта

73. Пространство и время как факторы специфики культуры

74. Фламенко: пространство души

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

76. Методы исследования литературы

77. Исследование знания юридических терминов

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

79. Некоторые аспекты новейшей истории Франции

80. Исследования Африки. Давид Ливингстон

Ведро Vileda "SuperMоcio" с отжимом ленточных швабр, 12 л.
Уникальная запатентованная система отжима подходит для любой ленточной швабры (не только бренда Vileda (ВИЛЕДА)). Прочное, устойчивое
679 руб
Раздел: С отжимом
Расчёска лазерная "Магия роста".
Регулярное использование расчески «Магия роста» позволит Вам восстановить нормальное кровообращение кожи головы, что благотворно повлияет
1091 руб
Раздел: Зеркала, расчески, заколки
Лестница-стремянка, 3 ступени, стальная.
Нескользящие пластиковые коврики. Размер ступеньки: 30x20 см. Материал: сталь. Высота на уровне верхней ступени: 67,5 см. Количество ступеней: 3.
1288 руб
Раздел: Лестницы

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

82. Первые шаги российского парламентаризма: задачи и причины роспуска I Государственной думы (май - июнь 1906г.)

83. Компьютерные вирусы и антивирусные программы

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

85. Алгебра логики

86. Проект учета пользовательских счетов для интернет-провайдеров на базе OS FreeBSD с применением программы "Billing ISP"
87. Управление потоками данных в параллельных алгоритмах вычислительной линейной алгебры
88. Система научно-технического перевода (пример перевода программой PROMT Гигант)

89. Периферийное устройство ПЭВМ, Характеристика этапов подготовки и решения задач на ПЭВМ в любой системе программирования. Электронная почта, особенности применения

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

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

92. Задача про транспортную систему. Подбор вариантов проезда с учетом кол-ва пересадо, длительности, видов транспорта (самолет, авто, поезд, водн.) (и класса)

93. По решению прикладных задач на языке FRED

94. Формирование структуры электронного учебника и решение задач на ней

95. Написание игровой программы Tetris и описание алгоритма

96. Защита программ от компьютерных вирусов

Карандаши цветные "Triocolor", 24 цвета, трехгранный корпус.
Трехгранная эргономичная форма корпуса. Яркие, насыщенные цвета, линии мягко ложатся на бумагу. Грифель устойчив к механическим
464 руб
Раздел: 13-24 цвета
Говорящий планшетик "Сказочка", 19x24 см.
Говорящий Планшетик "Сказочка для маленьких" - это незаменимый спутник Вашего малыша, с ним он точно не будет скучать! В памяти
513 руб
Раздел: Планшеты и компьютеры
Подгузники Huggies Elite Soft, (1), до 5 кг, 84 штуки.
Подгузники Huggies Classic обеспечат надежную защиту вашего малыша. Детские подгузники стали еще удобнее. Благодаря дополнительному слою,
879 руб
Раздел: 0-5 кг

97. Программа сложной структуры с использованием меню

98. Программа сложной структуры с использованием меню

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


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