-
Введение в язык Promela и систему комплексной верификации Spin
Появление на рынке многоядерных процессоров поставила широкие массы программистов перед проблемой корректного написания параллельных программ. Поэтому умение выражать свойства поведения параллельных систем и проверять выполнение этих свойств в разработанных программах становится необходимым, фактически, каждому программисту. Данное пособие посвящено описанию программного средства верификации параллельных программ Spin. Пакет Spin позволяет:
-
ВВЕДЕНИЕ В ТЕОРИЮ ИНФОРМАЦИОННЫХ СИСТЕМ
тами организационных систем. Рассмотрены процессы информационной передачи, а также введены критерии рациональности использования материальных и интеллектуальных ресурсов. Предложенная методология может явиться научной основой построения организационных систем и нормативных документов , а также формирования образовательного процесса. Работа рассчитана на широкий круг читателей, интересующихся проблемами передачи информации и формирования организационных систем, а также может быть полезна студентам и аспирантам соответствующих специальностей при изучении вопросов построения системы образования и информационных технологий управлен
-
Томорқа боғдорчилиги
Ушбу рисола муаллифи - қишлоқ хўжалиги фанлари номзоди М.Собиров узоқ йиллардан буён мевачилик, узумчилик ва виночилик илмий-ишлаб чиқариш бирлашмасида бўлим мудири вазифасида ишлаб келяпти. У ўзининг кўп йиллик тажрибаларига асосланиб томорқа боғдорчилигига бағишлнган рисоласини яратди. Унда томорқаларда боғлар ташкил этиш таснифи, экиладиган мева дарахти навларининг қисқача таърифи берилиб, айрим касаллик ва зараркурандаларга қарши кураш бўйича тавсиялар баѐн этилгандир.
-
Microsoft Office PowerPoint 2007
В этой книге рассматривается наиболее удобное, универсальное и э ф ф ек тивное средство создания электронны х презентаций — программа M icrosoft Office Pow erPoint 2007. В ней детально описан пользовательский интерфейс программы, реализованны е в ней средства построения и оф орм ления слай дов, инструменты создания таких специальны х объектов, как таблицы , ди аграммы, рисунки Sm artArt, рассмотрены возмож ности добавления и н астройки аним ационны х эф ф ектов, гиперссылок, управляю щ их элементов. К нига содерж ит множ ество примеров, снабж енны х пош аговы м и инструкциями. и предназначена для ш ирокого круга читателей, имеющих хотя бы минимальны й опы т общ ения с компьютером.
-
Ўзбекистонда ижтимоий фанлар 7.1998
1998 йилнпнг 26 пюнида халкимнз маънавий хаётида мухим во- кеа рун берди. Шу кунп Президентпмиз Ислом Каримов бир гуруд тарихчи олимлар ва ижодип зиёлилар вакилларп билан учрашиб, Ва- таннмизнинг мустакилликка эришгани туфайли тарих фани олдида пайдо булган энг долзарб масаЛаларнп давлат ва миллат манфаатла- ри нудтаи назаридан руйи-рост курсатиб бердилар. Учрашувда урта- га цуйилган фикрлар орадан бир ой утгач, 27 июль, купи Республика Вазирлар АТадкамасининг «Узбекистан Рсспубликаси Фанлар академичен Тарих института' ф.аолиятпни такомиллаштприш тугрисида» иомли Карорида уз ифодасини топди.
-
ВВЕДЕНИЕ В СИСТЕМНОЕ ПРОЕКТИРОВАНИЕ ИНТЕЛЛЕКТУАЛЬНЫХ БАЗ ЗНАНИЙ
Книга вводит читателя в новую область теории и практики ин- форматизации человеческой деятельности - системное проектирова- ние интеллектуальных баз знаний. Издание содержит семь основных разделов системные принципы построения интеллектуальных баз зна- ний; языковые средства представления знаний; технологии представле- ния знаний; нейросетевые методы представления знаний; типовые мето- ды поиска решений в интеллектуальных базах знаний; оценка качества проектов по созданию интеллектуальных баз знаний; основы управле- ния проектами по созданию интеллектуальных баз знаний. В основу мо- нографии положены авторские методики, успешно апробированные при проектировании и разработке ряда информационно-коммуникационных систем в различных отраслях народного хозяйства. Для научных работников и специалистов в области автоматизиро- ванных систем управления. Будет полезна аспирантам и студентам стар- ших курсов, специализирующимся в области проблем информатизации социальных, экономических, технологических и других процессов.
-
Infinite loop spaces
The Hermann Weyl Lectures are organized and sponsored by the School of Mathematics of the Institute for Advanced Study. Their aim is to provide broad surveys of various topics in mathematics, accessible to nonspecialists, to be published eventually in the Annals of Mathematics Studies. The present monograph is the third in the series. It is an outgrowth of the sixth set of Hermann Weyl Lectures, which consisted of six lectures given by Professor J. F. Adams at the Institute for Advanced Study on March 18, 19, 24, 26, April 1, 2, 1975.
-
O`zbekistonda ijtimoiy fanlar
Адолатли ва эркин фукаролик жамиятинибарпо этиш Узбекистон халкининг улугвор мацсадларидан биридир. Шубхасиз бундам жамият шакллантирилишининг хукукий пойдеворини. Узбекистон Рес- публикасининг Конституцияси ташкил этади. Зеро, Конституция на- факат давлатимизнинг Асосий цонуни, балки жамият хаётининг дам дукуций замини сифатида майдонга чицади. Конституция халдимиз иродасини олий даражадаги конун сифатида мужассам этади. Унда давлатимизнинг хукукий киёфаеи, жамият ривожланишининг стратегия йуналищлар, унинг ижтимоий, иктисодий ва сиёсий тузуми асосла- ри, бошкарувининг демократии принциплари, фукароларнинг хукук ва эркинликлари, тарихан шаклланган маънавнй кадриятларимиз уз ифодасини тонган.
-
Техника молодежи 12.1989
Потери света в современных световодах должны быть во много раз меньше, чем в чистейшем горном воздухе. Оказывается, этого легче достичь в особых сверхтонких волокнах, диаметр которых строго соответствует одном определенной длине световой волны. Но такие световоды (они называются одномодоеыми) технологически значительно сложнее обычных. Промышленное изготовление одномодовых световодов пока освоила единственная фирма в мире — «Стандарт Электрик Лоренц» (ФРГ). Созданная здесь автоматизированная установка выпускает световоды диаметром 8 мкм с затуханием менее полдецибела на километр для волны инфракрасного диапазона.
-
Linux глазами хакера
Фленов М. Е. Linux глазами хакера. — СПб.: БХВ-Петербург, 2005. — 544 с.: ил. ISBN 5-94157-635-8 Рассмотрены вопросы настройки OC Linux на максимальную произво- дительность и безопасность. Описаны потенциальные уязвимости и реко- мендации по предотвращению возможных атак. Дается подробное описание настройки прав доступа и конфигурирования сетевого экрана. Показано, как действовать при атаке или взломе системы, чтобы максимально быстро вос- становить ее работоспособность и предотвратить потерю данных.
-
В В Е Д Е Н И Е В Н Е Л И Н Е Й Н О Е П Р О Г Р А М М И Р О В А Н И Е
Книга представляет собой перевод изданной в 1977 г. в ГДР монографии. Она содержит обширный материал по теории и методам математического программирования. Книгу отличает тщательность методических проработок, обилие примеров и интерпретаций, в частности геометрических. Для специалистов по прикладной математике и экономической кибернетике, а та
-
Inglizcha-ruscha-o‘zbekcha fizik atamalar hig'ati
Ushbu qo'llanma fizika yo'nalishidagi talabalar uchun mo'ljallangan bo'lib, unda fizik atamalar va iboralar ko'rsatib o'tilgan. Har bir atama ingliz-rus-o'zbek tillarida keng ma'nolari ham da o'qilish tartiblari bilan tushinarli tarzda yoritilgan.
-
Техника молодежи 6.1978
Казалось бы, какое отношение имеет авиамоделизм к сельскому хозяйству? Но студенты МАИ нашли между ними самую тесную связь. По статистическим данным, почти четвертая часть сельскохозяйственных культур погибает из-за нашествия вредителей. Существует такой термин в науке — «биологические методы борьбы», то есть борьба с насекомыми и вредными грызунами с помощью их естественных врагов, которых человек делает своими друзьями».
-
Введение в логическое программирование
Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др. Данная книга знакомит с теорией логического программирования, современными технологиями и популярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, запросы, обновления и т. д.) к практическому применению вычислительной логики. Книга удобно структурирована: рассмотрение новых терминов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал. Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим программированием
-
Алгоритмы и структуры данных Новая версия для Оберона + CD
В классическом учебнике тьюринговского лауреата Н.Вирта аккуратно, на тщательно подобранных примерах прорабатываются основные темы алго- ритмики сортировка и поиск, рекурсия, динамические структуры данных. Перевод на русский язык выполнен заново, все рассуждения и програм- мы проверены и исправлены, часть примеров по согласованию с автором переработана с целью максимального прояснения их логики (в том числе за счет использования цикла Дейкстры). Нотацией примеров теперь служит Оберон/Компонентный Паскаль наиболее совершенный потомок старого Паскаля по прямой линии.
-
Алгоритмы на Java,
Все названия программных продуктов являются зарегистрированными торговыми марками соот- ветствующих фирм. Никакая часть настоящего издания ни в каких целях не может быть воспроизведена какой бы то ни было форме и какими бы то ни было средствами, будь то электронные или механические, включая фотокопирование и запись на магнитный носитель, если на это нет письменного разреше- ния издательства Addison-Wesley Publishing Company, Inc.