Другие работы
Ранее мы говорили о выводе общезначимых формул (тавтологий, тождеств) из базовой системы аксиом. Рассмотрим вопрос вывода шире. Пусть имеется множество необщезначимых формул (Е{), (Е2), (?3), (?"), обладающих тем свойством, что при некоторых интерпретациях они одновременно принимают значение И. Формула (В) выводима из множества {?}, если она может быть выведена из него путем применения правила…
Реферат В исследовании отмечено, что некоторые платформы, такие как iOS, Android и Windows Mobile намного более «завязаны» на мобильные приложения, нежели платформы, которые появились на рынке раньше. «Сетевой эффект», который рождается из взаимодействия пользователей смартфонов и разработчиков мобильных приложений, будет вести к усилению позиций наиболее популярных платформ, что будет привлекать еще…
Реферат Протокол был разработан для передачи только текста в кодировке ASCII, кроме того, первые спецификации требовали обнуления старшего бита каждого передаваемого байта. Это не даёт возможности отсылать текст на национальных языках (например, кириллице), а также отправлять двоичные файлы. Для снятия этого ограничения был разработан стандарт MIME — (Multipurpose Internet Mail Extensions), который…
Реферат Метод мозгового штурма (англ. brainstorming) является одним из наиболее популярных методов стимулирования творческой активности и позволяет найти решение сложных проблем путем применения специфических правил обсуждения проблемы. Он широко применяется во многих организациях для поиска необычных решений разнообразных задач. Данный метод был разработан А. Осборном в 1953 году и основан на допущении…
Реферат Возможность точного определения места нахождения в космическом пространстве разведывательного космического аппарата (КА) позволяет организовать эффективную временную скрытность объекту защиты. Это время рассчитывается по параметрам орбиты запущенного КА специальной службой, которая информирует заинтересованные организации о расписании его пролета. Включение не прошедшего специальную проверку…
Реферат Черви (Worms): данная категория вредоносных программ для распространения использует сетевые ресурсы. Название этого класса было дано исходя из способности червей «переползать» с компьютера на компьютер, используя сети, электронную почту и другие информационные каналы. Также благодаря этому черви обладают исключительно высокой скоростью распространения. Черви проникают на компьютер, вычисляют…
Реферат Целью OGC, по его утверждению, является мир, в котором каждый человек имеет возможность пользоваться преимуществами, которые дает доступ к пространственной информации и услугам на ее базе. Задачей соответственно является разработка спецификаций интерфейсов для работы с пространственными данными и предоставление их всем заинтересованным лицам. Продукты и услуги, разработанные с учетом спецификаций…
Реферат Организация производства в условиях единичного производства имеет свои особенности. Ввиду разнообразия деталей, порядка и способов их обработки производственные участки строятся по технологическому принципу с расстановкой оборудования по однородным группам. При такой организации производства детали в процессе изготовления проходят через различные участки. Поэтому при передаче их на каждую…
Реферат Возможности пользовательского интерфейса. Простой легко настраиваемый интуитивный интерфейс Outlook Express интегрирован с Web и хорошо согласуется с множеством инструментальных средств, в том числе с Microsoft Office. электронная почта рассылка спам Одним из основных свойств Outlook Express является средство «Область просмотра», с помощью которого можно просматривать темы приходящих сообщений…
Реферат Классификация — инструмент обобщения. Она позволяет перейти от рассмотрения единичных объектов к обобщенным понятиям, которые характеризуют некоторые совокупности объектов и являются достаточными для распознавания объектов, принадлежащих этим совокупностям (классам). Суть процесса формирования понятий заключается в нахождении закономерностей, свойственных классам. Для описания объектов…
Реферат Департамент торговых переговоров Минэкономразвития России проводит работу по выявлению торговых барьеров на пути экспорта российских товаров и пресечению дискриминационного характера их применения. Однако до настоящего времени нет единой схемы и методики учета ограничительных мер, данные не образуют единую информационную базу, и как следствие поиск, а тем более получение интегрированных…
Реферат Первые исследования саморазмножающихся искусственных конструкций проводились в середине нынешнего столетия. В работах фон Неймана, Винераи и других авторов дано определение и проведен математический анализ конечных автоматов, в том числе и самовоспроизводящихся. Термин «компьютерный вирус» появился позднее — официально считается, что его впервые употребил сотрудник Лехайского университета (США…
Реферат Улучшение условий движений транспорта можно достичь при осуществлении мер градостроительного характера: строительство мостов, тоннелей, пробивкой новых магистралей. Осуществление таких проектов требует значительных финансовых вложений и затрат времени. Однако, при усовершенствовании управления транспортными потоками можно смягчить ситуацию. C такой задачей может справиться как локальные АСУ ДД…
Реферат В данном определении в общем говорится о том, что клиент должен быть использован другими программными элементами, то есть быть элементом композиции. Второе определение — «Компонент — это единица композиции с контрактно определенными интерфейсами и только явными контекстными зависимостями». Данное определение явно указывает на то, что у компонента должен быть определен интерфейс, с помощью…
Реферат Успех проекта по внедрению информационной системы может сильно зависеть от результатов автоматизации отдельных бизнес-процессов, причем разные бизнес-процессы порождают неодинаковые риски. Наиболее распространенный источник осложнений при внедрении систем — вспомогательные бизнес-процессы, особенно процессы подготовки производства, а также управленческие бизнес-процессы планирования производства…
Реферат