Choice of metadata University Online Library
Page 4, Results: 135
Report on unfulfilled requests: 0
31.
Подробнее
Порфирьев, А. И.
Национальный суверенитет в правовой природе российского федерализма [Электронный ресурс] : монография / А. И. Порфирьев. - Москва : Книгодел, 2009. - 296 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9659-0050-3 : Б. ц.
Аннотация: В работе дается анализ явлению национального суверенитета и его месту в системе принципов российского федерализма. Анализируются проблемы регулирования реализации политического и этно-культурного самоопределения народов в Российской Федерации, а также рассматриваются пути совершенствования законодательства в целях повышения интеграционного потенциала Российской Федерации на постсоветском пространстве. Особое внимание уделяется воздействию процессов глобализации и регионализации на содержание национального и государственного суверенитета. Книга предназначена для преподавателей, студентов, слушателей и аспирантов юридических вузов, политологов, а также всех интересующихся проблемами федерализма и национальных отношений.
Доп.точки доступа:
Книгодел
Порфирьев, А. И.
Национальный суверенитет в правовой природе российского федерализма [Электронный ресурс] : монография / А. И. Порфирьев. - Москва : Книгодел, 2009. - 296 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9659-0050-3 : Б. ц.
Аннотация: В работе дается анализ явлению национального суверенитета и его месту в системе принципов российского федерализма. Анализируются проблемы регулирования реализации политического и этно-культурного самоопределения народов в Российской Федерации, а также рассматриваются пути совершенствования законодательства в целях повышения интеграционного потенциала Российской Федерации на постсоветском пространстве. Особое внимание уделяется воздействию процессов глобализации и регионализации на содержание национального и государственного суверенитета. Книга предназначена для преподавателей, студентов, слушателей и аспирантов юридических вузов, политологов, а также всех интересующихся проблемами федерализма и национальных отношений.
Доп.точки доступа:
Книгодел
32.
Подробнее
Кузык, Б. Н.
Россия - Германия - 2050: стратегия инновационного развития и партнерства [Электронный ресурс] : монография / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2007. - 46 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-93618-096-5 : Б. ц.
ББК 65.046.2
Аннотация: XX век принес новые вызовы экономике России и Германии – двух стран, которые все более тесно интегрируются в условиях глобализации и вполне готовы вести совместный поиск эффективных ответов на эти вызовы. В научном докладе директора Института экономических стратегий Б.Н. Кузыка и президента Международного института Питирима Сорокина – Николая Кондратьева Ю.В. Яковца выявляются тенденции социально-экономического развития России и Германии во второй половине XX в., характеризуются вызовы, которые первая половина XXI в. несет обеим странам, обосновывается необходимость стратегии инновационного прорыва для адекватного ответа на эти вызовы. Обоснованы приоритеты инновационного партнерства России и Германии в развитии социальной сферы, альтернативной энергетики, модернизации транспорта, возрождении российского агропромышленного комплекса. Предлагается механизм реализации приоритетов на основе партнерства государства, бизнеса, науки, образования и гражданского общества.
Доп.точки доступа:
Яковец, Ю. В.
Институт, экономических
Кузык, Б. Н.
Россия - Германия - 2050: стратегия инновационного развития и партнерства [Электронный ресурс] : монография / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2007. - 46 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-93618-096-5 : Б. ц.
Аннотация: XX век принес новые вызовы экономике России и Германии – двух стран, которые все более тесно интегрируются в условиях глобализации и вполне готовы вести совместный поиск эффективных ответов на эти вызовы. В научном докладе директора Института экономических стратегий Б.Н. Кузыка и президента Международного института Питирима Сорокина – Николая Кондратьева Ю.В. Яковца выявляются тенденции социально-экономического развития России и Германии во второй половине XX в., характеризуются вызовы, которые первая половина XXI в. несет обеим странам, обосновывается необходимость стратегии инновационного прорыва для адекватного ответа на эти вызовы. Обоснованы приоритеты инновационного партнерства России и Германии в развитии социальной сферы, альтернативной энергетики, модернизации транспорта, возрождении российского агропромышленного комплекса. Предлагается механизм реализации приоритетов на основе партнерства государства, бизнеса, науки, образования и гражданского общества.
Доп.точки доступа:
Яковец, Ю. В.
Институт, экономических
33.
Подробнее
Кузык, Б. Н.
На пути к водородной энергетике [Электронный ресурс] : монография / Б. Н. Кузык, В. И. Кушлин, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2005. - 160 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-93618-088-3 : Б. ц.
ББК 31.15
Аннотация: С целью обоснования реализации стратегии инновационного прорыва в ключевом направлении научно-технологического переворота XXI века — глобальной энергетической революции на основе разработки и крупномасштабного инновационного освоения водородной энергетики — в работе излагаются содержание перехода к водородной энергетике, опыт формирования программ в области водорода и топливных элементов в США, Европейском союзе, других странах, обосновывается структура национальной водородной программы, включающая исследовательский, инновационный и организационно-управленческий контуры, раскрывается содержание механизма реализации программы, основанного на инновационном партнерстве государства, науки, бизнеса и гражданского общества, излагаются региональный и международный аспекты программы.
Доп.точки доступа:
Кушлин, В. И.
Яковец, Ю. В.
Институт, экономических
Кузык, Б. Н.
На пути к водородной энергетике [Электронный ресурс] : монография / Б. Н. Кузык, В. И. Кушлин, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2005. - 160 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-93618-088-3 : Б. ц.
Аннотация: С целью обоснования реализации стратегии инновационного прорыва в ключевом направлении научно-технологического переворота XXI века — глобальной энергетической революции на основе разработки и крупномасштабного инновационного освоения водородной энергетики — в работе излагаются содержание перехода к водородной энергетике, опыт формирования программ в области водорода и топливных элементов в США, Европейском союзе, других странах, обосновывается структура национальной водородной программы, включающая исследовательский, инновационный и организационно-управленческий контуры, раскрывается содержание механизма реализации программы, основанного на инновационном партнерстве государства, науки, бизнеса и гражданского общества, излагаются региональный и международный аспекты программы.
Доп.точки доступа:
Кушлин, В. И.
Яковец, Ю. В.
Институт, экономических
34.
Подробнее
Россия - 2050: стратегия инновационного прорыва [Электронный ресурс] : монография / экономических Институт. - Москва : Институт экономических стратегий, 2005 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
Т. 3 (1) : монография / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2005. - 337 с. - ISBN 5-93618-062-Х : Б. ц.
ББК 60.033.145.2 +
65.9(2Рос)-55
Аннотация: Россия в начале XXI в. стоит перед необходимостью выбора долгосрочной стратегии социально-экономического и инновационно-технологического развития. Какой она будет, эта стратегия? Если сохранится инерционно-рыночный путь развития при минимизации роли и ответственности государства, страна, исчерпав внешние источники роста, окажется на обочине мирового научно-технологического прогресса, ее продукция потеряет конкурентоспособность. Противоречия будут нарастать. Авторы монографии — известные российские ученые член-корр. РАН Б. Н. Кузык и академик РАЕН Ю. В. Яковец — доказывают необходимость выбора и реализации стратегии инновационного прорыва. Несмотря на неблагоприятные стартовые позиции, Россия пока еще сохраняет возможности для такого прорыва. Для этого потребуется реструктуризировать научный потенциал и использовать отечественные изобретения, обеспечить подъем высокотехнологичного сектора, модернизировать энергосектор, трансформировать потребительский сектор, использовать резервы интеграции и глобализации. Ресурсы для прорыва — инновационное наполнение инвестиций, эффективное использование рентных доходов, инновационное партнерство предпринимателей, государства, творческих личностей и общества. Авторы подкрепляют свои выводы богатым статистическим материалом и расчетами с использованием воспроизводственно-цикличной макромодели, предлагают проект стратегии инновационного развития России на период до 2030 г. и прогноз инновационного развития России на период до 2050 г. с учетом мировых тенденций.
Доп.точки доступа:
Институт, экономических
Россия - 2050: стратегия инновационного прорыва [Электронный ресурс] : монография / экономических Институт. - Москва : Институт экономических стратегий, 2005 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
Т. 3 (1) : монография / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2005. - 337 с. - ISBN 5-93618-062-Х : Б. ц.
Аннотация: Россия в начале XXI в. стоит перед необходимостью выбора долгосрочной стратегии социально-экономического и инновационно-технологического развития. Какой она будет, эта стратегия? Если сохранится инерционно-рыночный путь развития при минимизации роли и ответственности государства, страна, исчерпав внешние источники роста, окажется на обочине мирового научно-технологического прогресса, ее продукция потеряет конкурентоспособность. Противоречия будут нарастать. Авторы монографии — известные российские ученые член-корр. РАН Б. Н. Кузык и академик РАЕН Ю. В. Яковец — доказывают необходимость выбора и реализации стратегии инновационного прорыва. Несмотря на неблагоприятные стартовые позиции, Россия пока еще сохраняет возможности для такого прорыва. Для этого потребуется реструктуризировать научный потенциал и использовать отечественные изобретения, обеспечить подъем высокотехнологичного сектора, модернизировать энергосектор, трансформировать потребительский сектор, использовать резервы интеграции и глобализации. Ресурсы для прорыва — инновационное наполнение инвестиций, эффективное использование рентных доходов, инновационное партнерство предпринимателей, государства, творческих личностей и общества. Авторы подкрепляют свои выводы богатым статистическим материалом и расчетами с использованием воспроизводственно-цикличной макромодели, предлагают проект стратегии инновационного развития России на период до 2030 г. и прогноз инновационного развития России на период до 2050 г. с учетом мировых тенденций.
Доп.точки доступа:
Институт, экономических
35.
Подробнее
Россия - 2050: стратегия инновационного прорыва [Электронный ресурс] : монография / экономических Институт. - Москва : Институт экономических стратегий, 2005 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
Т. 3 (II) : монография / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2005. - 297 с. - ISBN 5-93618-062-Х : Б. ц.
ББК 65.9(2)
Аннотация: Россия в начале XXI в. стоит перед необходимостью выбора долгосрочной стратегии социально-экономического и инновационно-технологического развития. Какой она будет, эта стратегия? Если сохранится инерционно-рыночный путь развития при минимизации роли и ответственности государства, страна, исчерпав внешние источники роста, окажется на обочине мирового научно-технологического прогресса, ее продукция потеряет конкурентоспособность. Противоречия будут нарастать. Авторы монографии — известные российские ученые член-корр. РАН Б. Н. Кузык и академик РАЕН Ю. В. Яковец — доказывают необходимость выбора и реализации стратегии инновационного прорыва. Несмотря на неблагоприятные стартовые позиции, Россия пока еще сохраняет возможности для такого прорыва. Для этого потребуется реструктуризировать научный потенциал и использовать отечественные изобретения, обеспечить подъем высокотехнологичного сектора, модернизировать энергосектор, трансформировать потребительский сектор, использовать резервы интеграции и глобализации. Ресурсы для прорыва — инновационное наполнение инвестиций, эффективное использование рентных доходов, инновационное партнерство предпринимателей, государства, творческих личностей и общества. Авторы подкрепляют свои выводы богатым статистическим материалом и расчетами с использованием воспроизводственно-цикличной макромодели, предлагают проект стратегии инновационного развития России на период до 2030 г. и прогноз инновационного развития России на период до 2050 г. с учетом мировых тенденций.
Доп.точки доступа:
Институт, экономических
Россия - 2050: стратегия инновационного прорыва [Электронный ресурс] : монография / экономических Институт. - Москва : Институт экономических стратегий, 2005 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
Т. 3 (II) : монография / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2005. - 297 с. - ISBN 5-93618-062-Х : Б. ц.
Аннотация: Россия в начале XXI в. стоит перед необходимостью выбора долгосрочной стратегии социально-экономического и инновационно-технологического развития. Какой она будет, эта стратегия? Если сохранится инерционно-рыночный путь развития при минимизации роли и ответственности государства, страна, исчерпав внешние источники роста, окажется на обочине мирового научно-технологического прогресса, ее продукция потеряет конкурентоспособность. Противоречия будут нарастать. Авторы монографии — известные российские ученые член-корр. РАН Б. Н. Кузык и академик РАЕН Ю. В. Яковец — доказывают необходимость выбора и реализации стратегии инновационного прорыва. Несмотря на неблагоприятные стартовые позиции, Россия пока еще сохраняет возможности для такого прорыва. Для этого потребуется реструктуризировать научный потенциал и использовать отечественные изобретения, обеспечить подъем высокотехнологичного сектора, модернизировать энергосектор, трансформировать потребительский сектор, использовать резервы интеграции и глобализации. Ресурсы для прорыва — инновационное наполнение инвестиций, эффективное использование рентных доходов, инновационное партнерство предпринимателей, государства, творческих личностей и общества. Авторы подкрепляют свои выводы богатым статистическим материалом и расчетами с использованием воспроизводственно-цикличной макромодели, предлагают проект стратегии инновационного развития России на период до 2030 г. и прогноз инновационного развития России на период до 2050 г. с учетом мировых тенденций.
Доп.точки доступа:
Институт, экономических
36.
Подробнее
Кузык, Б. Н.
Россия: стратегия перехода к водородной энергетике [Электронный ресурс] / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2007. - 402 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-93618-110-8 : Б. ц.
ББК 31.15
Аннотация: В книге обоснована стратегия инновационного прорыва в ключевом направлении научно-технологического переворота XXI века – глобальной энергоэкологической революции – на основе разработки и крупномасштабного инновационного освоения водородной энергетики, излагаются содержание перехода к водородной энергетике, опыт формирования программ в области водорода и топливных элементов в США, Европейском союзе, опыт работы ГМК «Норильский никель», Российской академии наук, Национальной инновационной компании «Новые энергетические проекты» по отбору и реализации исследовательских и инновационных проектов. Большое внимание уделено образовательным проектам, информационному обеспечению программ, обосновывается структура Национальной водородной программы, включающая исследовательский, инновационный и организационно-управленческий контуры, раскрывается содержание механизма реализации программы, основанного на инновационном партнерстве государства, науки, образования, бизнеса и гражданского общества, излагаются региональный и международный аспекты программы.
Доп.точки доступа:
Яковец, Ю. В.
Институт, экономических
Кузык, Б. Н.
Россия: стратегия перехода к водородной энергетике [Электронный ресурс] / Б. Н. Кузык, Ю. В. Яковец. - Москва : Институт экономических стратегий, 2007. - 402 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-93618-110-8 : Б. ц.
Аннотация: В книге обоснована стратегия инновационного прорыва в ключевом направлении научно-технологического переворота XXI века – глобальной энергоэкологической революции – на основе разработки и крупномасштабного инновационного освоения водородной энергетики, излагаются содержание перехода к водородной энергетике, опыт формирования программ в области водорода и топливных элементов в США, Европейском союзе, опыт работы ГМК «Норильский никель», Российской академии наук, Национальной инновационной компании «Новые энергетические проекты» по отбору и реализации исследовательских и инновационных проектов. Большое внимание уделено образовательным проектам, информационному обеспечению программ, обосновывается структура Национальной водородной программы, включающая исследовательский, инновационный и организационно-управленческий контуры, раскрывается содержание механизма реализации программы, основанного на инновационном партнерстве государства, науки, образования, бизнеса и гражданского общества, излагаются региональный и международный аспекты программы.
Доп.точки доступа:
Яковец, Ю. В.
Институт, экономических
37.
Подробнее
Яковец, Ю. В.
Послевоенное поколение. Научно-мемуарные очерки [Электронный ресурс] : публицистика / Ю. В. Яковец. - Москва : Институт экономических стратегий, 2008. - 897 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-93618-159-7 : Б. ц.
ББК 84.(2=411)6-49
Аннотация: В нестандартной по содержанию и форме монографии известного российского ученого Ю. В. Яковца теоретический и исторический анализ закона смены поколений и его реализации в судьбе тех, кто жил в XX веке, сочетается с ярким описанием характерных черт послевоенного поколения сквозь призму личного жизненного цикла, наблюдений и обобщений автора. Особая роль отведена увлечению научным творчеством, формированию современных научных циклов, преподавательской деятельности, участию в экономических реформах и общественно-политической жизни, погружению в мир искусства. Заметки и обобщения автора о путешествиях по странам и цивилизациям служат дополнением и иллюстрацией к ранее опубликованному пятитомнику Б. Н. Кузыка и Ю. В. Яковца «Цивилизации: теория, история, диалог, будущее». Автор дает прогноз становления поколений XXI века. Монография написана весьма образным языком, богато оснащена фотографиями и иллюстрациями и представляет большой интерес для читателей разных поколений и различных профессий.
Доп.точки доступа:
Институт, экономических
Яковец, Ю. В.
Послевоенное поколение. Научно-мемуарные очерки [Электронный ресурс] : публицистика / Ю. В. Яковец. - Москва : Институт экономических стратегий, 2008. - 897 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-93618-159-7 : Б. ц.
Аннотация: В нестандартной по содержанию и форме монографии известного российского ученого Ю. В. Яковца теоретический и исторический анализ закона смены поколений и его реализации в судьбе тех, кто жил в XX веке, сочетается с ярким описанием характерных черт послевоенного поколения сквозь призму личного жизненного цикла, наблюдений и обобщений автора. Особая роль отведена увлечению научным творчеством, формированию современных научных циклов, преподавательской деятельности, участию в экономических реформах и общественно-политической жизни, погружению в мир искусства. Заметки и обобщения автора о путешествиях по странам и цивилизациям служат дополнением и иллюстрацией к ранее опубликованному пятитомнику Б. Н. Кузыка и Ю. В. Яковца «Цивилизации: теория, история, диалог, будущее». Автор дает прогноз становления поколений XXI века. Монография написана весьма образным языком, богато оснащена фотографиями и иллюстрациями и представляет большой интерес для читателей разных поколений и различных профессий.
Доп.точки доступа:
Институт, экономических
38.
Подробнее
Бюрократия в современном мире:теория и реалии жизни [Электронный ресурс] / ред. В. Шевченко ; ред. В. Н. Шевченко. - Москва : Институт философии РАН, 2008. - 196 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9540-0090-0 : Б. ц.
Аннотация: Коллективный труд посвящен рассмотрению различных точек зрения на положение и роль бюрократии в современном обществе в условиях растущей глобализации. Особенность авторской позиции состоит в том, что анализ особенности бюрократии в прошлом и настоящем,причины бюрократизации тесно увязываются с типом государственности, в рамках которого складывается и функционирует бюрократия. В связи сэтим особое внимание обращается на типологическое сходство и различие западной (европейской), российской и китайской бюрократии. Интерес может представить для читателя анализ взаимоотношений государственной власти, принимающей политические решения, с бюрократией как инструментом их реализации в различные исторические периоды.Книга предназначена для научных работников, преподавателей, аспирантов, а также для широкого круга читателей, интересующихся современными проблемами государственной власти и управления, бюрократизма и борьбы с ним.
Доп.точки доступа:
ИФ, РАН
Шевченко, В. \ред.\
Бюрократия в современном мире:теория и реалии жизни [Электронный ресурс] / ред. В. Шевченко ; ред. В. Н. Шевченко. - Москва : Институт философии РАН, 2008. - 196 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9540-0090-0 : Б. ц.
Аннотация: Коллективный труд посвящен рассмотрению различных точек зрения на положение и роль бюрократии в современном обществе в условиях растущей глобализации. Особенность авторской позиции состоит в том, что анализ особенности бюрократии в прошлом и настоящем,причины бюрократизации тесно увязываются с типом государственности, в рамках которого складывается и функционирует бюрократия. В связи сэтим особое внимание обращается на типологическое сходство и различие западной (европейской), российской и китайской бюрократии. Интерес может представить для читателя анализ взаимоотношений государственной власти, принимающей политические решения, с бюрократией как инструментом их реализации в различные исторические периоды.Книга предназначена для научных работников, преподавателей, аспирантов, а также для широкого круга читателей, интересующихся современными проблемами государственной власти и управления, бюрократизма и борьбы с ним.
Доп.точки доступа:
ИФ, РАН
Шевченко, В. \ред.\
39.
Подробнее
Елизаров, А. М.
Задачи оптимизации формы в аэрогидродинамике [Электронный ресурс] : монография / А. М. Елизаров, А. Р. Касимов, Д. В. Маклаков. - Москва : Физматлит, 2008. - 479 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0999-4 : Б. ц.
ББК 22.19
Аннотация: Книга посвящена развитию теории вариационных краевых задач с неизвестными границами; созданию численно-аналитических методов исследования задач оптимизации формы в механике жидкости и газа; разработке методов оптимального аэродинамического проектирования гидропрофилей и крыловых профилей; решению новых задач оптимального проектирования формы в гидрогеологии, почвоведении и теории дисперсных сред; построению точных решений задач оптимального проектирования и получению точных оценок оптимизируемых характеристик; программной реализации созданных методов на персональных ЭВМ, а также решению конкретных задач по определению оптимальных гидроаэродинамических форм и режимов обтекания.Для научных работников, преподавателей, аспирантов и студентов, специализирующихся в области математики и ее приложений.
Доп.точки доступа:
Касимов, А. Р.
Маклаков, Д. В.
Физматлит
Елизаров, А. М.
Задачи оптимизации формы в аэрогидродинамике [Электронный ресурс] : монография / А. М. Елизаров, А. Р. Касимов, Д. В. Маклаков. - Москва : Физматлит, 2008. - 479 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0999-4 : Б. ц.
| УДК |
Аннотация: Книга посвящена развитию теории вариационных краевых задач с неизвестными границами; созданию численно-аналитических методов исследования задач оптимизации формы в механике жидкости и газа; разработке методов оптимального аэродинамического проектирования гидропрофилей и крыловых профилей; решению новых задач оптимального проектирования формы в гидрогеологии, почвоведении и теории дисперсных сред; построению точных решений задач оптимального проектирования и получению точных оценок оптимизируемых характеристик; программной реализации созданных методов на персональных ЭВМ, а также решению конкретных задач по определению оптимальных гидроаэродинамических форм и режимов обтекания.Для научных работников, преподавателей, аспирантов и студентов, специализирующихся в области математики и ее приложений.
Доп.точки доступа:
Касимов, А. Р.
Маклаков, Д. В.
Физматлит
40.
Подробнее
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц.
ББК 32.97
Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением [Электронный ресурс] : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Б. ц.
Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Доп.точки доступа:
Косачев, А. С.
Кулямин, В. В.
Физматлит
Page 4, Results: 135