Моногород это википедия: Недопустимое название — Викисловарь

Содержание

моногород столичного типа и центр российского стрит-арта

В России около 330 моногородов. Отношение к ним неоднозначное: кто-то предлагает их сократить, другие выступают за увеличение их числа. Большинство моногородов существуют за счет больших предприятий, господдержки. А есть монопрофильное поселение Выкса, в котором большую роль в формировании городской среды играет ежегодный фестиваль стрит-арта

Фото: пресс-служба фестиваля «Выкса | Арт-Овраг»

Что делать с российскими моногородами, так по сей день и не решено окончательно. Одни говорят, что их список (а по данным 2019 года в России насчитывалось 320-330 монопрофильных поселений) надо серьезно сократить, и продолжать оказывать поддержку только тем, что еще реально живы — то есть, либо там не закрылись градообразующие предприятия, либо развивается альтернативная экономика. Другие, напротив, уверены, что список надо расширить, изменив при этом критерии отнесения к моногородам — это даст возможность претендовать на государственную помощь большему числу российских населенных пунктов, часть которых являются «моно» пусть не де-юре, но де факто. Третьи радикально призывают вообще перестать кормить монопрофильники — дескать, пусть это делает кто угодно,если хочет, но не государство и его налогоплательщики.

В любом случае, как только где-то звучит слово «моногород», в 99% из 100% случаев дальше речь пойдет о финансовой помощи, без которой мало какие из монопрофильных поселений способны выжить.

«Большинство из них ориентированы на государственные оборонные или минерально-сырьевые заказы. Спад производства вызывает в монопрофильных поселениях целый ряд проблем: падение уровня жизни, резкое ухудшение социально-экономической ситуации, сложности обслуживания жилищного фонда и объектов инженерной и социальной инфраструктуры. Органы местного самоуправления не способны решать социальные проблемы только за счет доходов собственников градообразующих предприятий» — этот отрывок из статьи в «Википедии» практически все объясняет.

Конечно, есть моногорода (это не стоящие особняком гиганты вроде Тольятти или Нижнего Тагила), жизнь которых течет по какому-то альтернативному сценарию. Обычно этот сценарий имеет в основе один из трех сюжетов. Первый — города-лидеры. По словам генерального директора Фонда развития моногородов Ирины Макиевой, которые приводит «Российская газета», они уже вышли за пределы приставки моно-, окрепли и требуют более масштабного подхода. «Это города, где не нужно спасать ситуацию и заниматься только лишь созданием рабочих мест. Им нужно больше: развитие городской экономики, городской среды», — считает Макеева.

В частности, по итогам ежегодного рейтинга моногородов 2020 года в топ-10 вошли Набережные Челны (Республика Татарстан), Тольятти (Самарская область), Первомайский (Тульская область), Губкин (Белгородская область), Кумертау (Республика Башкортостан), Череповец (Вологодская область), Костомукша (Республика Карелия), Невинномысск (Ставропольский край), Нижнекамск (Республика Татарстан) и Тутаев (Ярославская область).

Второй сюжет — госфинансирование и реновация. Так случилось, например, с Анжеро-Судженском, моногородом в Кемеровской области, где закрыли все шахты, организовали нефтеперерабатывающий кластер и построили предприятия по производству стройматериалов.

Сюжет третий — особое внимание властей на местах к грамотному бизнес-использованию какого-то другого, чаще всего туристического потенциала моногорода, как в случае с янтарной столицей Калининградской области — расположенным на побережье Гданьского залива поселком городского типа Янтарный.

Еще один, не традиционный даже для альтернативной реальности сюжет вот уже 11 лет разворачивается в Выксе. Историки скажут, что прежняя Выкса — это братья Баташовы, в XVIII веке сделавшие город центром своей металлургической империи. Экономисты добавят, что сегодняшняя Выкса — это входящий в состав Объединенной металлургической компании «Выксунский металлургический завод», один из российских лидеров трубного и колесопрокатного производства и один из самых заметных игроков рынка промышленного туризма.

Фото: Валерия Мозганова/Business FM

Урбанисты и культурологи согласятся, но добавят, что для них Выкса — это прежде всего знаменитый фестиваль новой культуры «Арт-Овраг», который теперь называется «Выкса | Арт-Овраг». Во многом благодаря ему небольшой монопрофильник в Нижегородской области с населением чуть больше 50 тысяч человек завоевал звание столицы российского стрит-арта. Как говорят погруженные в тему, это единственный город, для которого все, что стрит-арт, по определению хорошо. В 2021 году «Выкса | Арт-Овраг» состоялся в юбилейный, десятый раз. Никакого противоречия: фестиваль существует 11 лет, но прошлый год по известным всем причинам пришлось пропустить.

Итог десятилетия: более 100 стрит-арт-произведений. Среди них утраченные во время ремонтных работ и затем восстановленные на деньги выксунцев граффити «Сказка о потерянном времени» знаменитого, уже ушедшего из жизни художника Паши 183, его называли «русским Бэнкси»; созданные в 2013 году арт-объекты «Случайный акт деконструктивизма» Роба Малхолланда и «Единорог» Габора Миклоша Соке; самое большое произведение патриарха современного российского искусства Эрика Булатова — триптих «Стой — иди» и «Амбар в Нормандии»; арт-двор «Черный кортик», остановка «Арт-Овраг», инсталляция «PRO. Елка» Петра Виноградова; удивительная работа Тимофея Радя «Все это не сон» и так далее.

На сей раз выксунскую стрит-арт-коллекцию пополнил «Пустой пьедестал» Чарльза Ренфро, автора нью-йоркского High Line Park и московского парка «Зарядье». «Иногда пьедестал, как ему и положено, будет оставаться пустым, и на нем можно будет встречаться, общаться, кататься на скейтбордах, велосипедах и самокатах. Но мы хотим, чтобы каждые два-три месяца на нем появлялись новые работы паблик-арта, которые лучшие художники мира будут делать для Выксы. Потом эти работы будут переезжать в парк «Лесопосадка», где, я надеюсь, появится настоящий скульптурный парк», — рассказал на открытии «Пустого пьедестала» директор фестиваля «Выкса | Арт-Овраг» 2021 года Федор Павлов-Андреевич.

Фото: пресс-служба фестиваля «Выкса / Арт-Овраг»

Еще одна фестивальная стрит-премьера — мурал «Смайл», первое детское произведение в коллекции уличного искусства Выксы. Как рассказывает его идеолог, художник Наталья Стручкова, «прежде чем создать роспись, мы с детьми совершили прогулку по улицам Выксы. Мы надели на головы коробки (на самом деле, маски героев «Майнкрафта») с квадратными прорезями для глаз. Задание было такое: посмотреть на мир квадратными глазами и увидеть в нем неквадратные предметы: круглые, треугольные и так далее. Все, что дети увидели, изображено на этой стене. Вот только самый первый увиденный предмет — «пузо дяденьки в магазине» — мы рисовать не стали».

Поэт Наум Олев писал:

Огни большого города,

Огни большого города,

Мерещатся провинции

В честолюбивых снах.

Ах, золотые горы там,

Ах, золотые горы там,

И реки там молочные

В кисельных берегах…

Может ли фестиваль сделать жизнь маленького города разнообразней и привлекательней, создав ту самую комфортную городскую среду, которая не одним же масштабом определяется? Выкса доказывает, что может. Именно стрит-арт, выбранный когда-то стержневым направлением «Арт-Оврага», позволяет сохранить эту среду после того, как отшумит многоликий фестивальный уикенд.

По мнению Ирины Седых, главы фонда «ОМК-Участие» и основателя фестиваля, он одинаково важен с культурной, социальной и экономической точек зрения: «Для жителей это важно, потому что они сами непосредственные участники фестиваля и открывают для себя свой город немного с другой стороны. Особенно в этом году, потому что основа программы фестиваля — локальный контекст. Для гостей это еще одна возможность увидеть Россию другой, разной». Благодаря фестивалю и его сохраняющимся во времени и пространстве цитатам в виде стрит-арт-объектов, выксунцам дана редкая для малых городов и особенно для моногородов возможность избавиться от синдрома упущенной выгоды, от чувства, что все самое интересное и хорошее проходит где угодно, но точно не здесь. Ведь теперь не только они стремятся в соседние Владимир и Нижний Новгород или в совсем уж сладкую Москву. Столица и даже заграница сама едет в Выксу, заметную точку на культурной карте России.

Фото: пресс-служба фестиваля «Выкса / Арт-Овраг»

К тому же, как считает Ирина Седых, можно считать запущенным процесс привлечения в город инвестиций. «Это, наверное, задача не наша как компании, а городской власти, но фестиваль точно помогает. Выкса уже дважды становилась победителем конкурса проектов по созданию комфортной городской среды, который Минстрой проводит среди малых городов и исторических поселений. Результаты использования этих грантов выксунцы могут видеть и на набережной, и в центральном парке. Мне кажется важным, что это не частные, а именно государственные инвестиции, то есть государство, оказывая Выксе поддержку, оценивает тот вклад, который вносят в развитие города и его администрация, и наша компания, и «Арт-Овраг», и живущие тут люди», — подчеркивает Ирина Седых.

Вне стрит-арт-программы центром фестиваля этого года стал «сезон Петрушевской». От спектаклей по ее пьесам остается память, от прочитанного слова — мысль, от шляп ее собственного производства — вау-эффект. Еще Людмила Петрушевская хочет подарить Выксе новое имя парка, который, так уж получилось, испокон веков называется «Лесопосадка». Не звучит, не по-столичному. А ведь Выксе и ее городской среде пора бы привыкать к новому статусу.

Добавить BFM.ru в ваши источники новостей?

Генеральный прокурор уволил буйного – Картина дня – Коммерсантъ

Как стало известно “Ъ”, генпрокурор Игорь Краснов своим приказом уволил замначальника управления физической защиты и обеспечения безопасности Генпрокуратуры Игоря Мыльникова, который устроил пьяный дебош в ОМВД «Филевский парк». Основанием для приказа стало нарушение господином Мыльниковым кодекса этики прокурорского работника.

По данным “Ъ”, Игорь Мыльников был доставлен в ОМВД «Филевский парк» в понедельник поздно вечером сержантом полиции. Прокурорский работник, находящийся в неадекватном состоянии, пытался вломиться в один из элитных домов на территории, подведомственной ОМВД. Его охрана вызвала полицию, которая и задержала хулигана.

При этом не исключено, что прокурор, явно перебравший спиртного, просто ошибся адресом, возвращаясь к себе домой — живет он неподалеку.

Как бы там ни было, но о своем спецстатусе доставляемый в ОМВД прокурор предпочел полицейскому не сообщать, а проговорился только тогда, когда полицейские решили поместить его в камеру. Тогда явно неадекватный господин Мыльников предложил себя «загуглить». Кстати, в поисковики он попал только после инцидента. Затем напал на полицейского, который предложил нарушителю снять ремень. Стычка закончилась не в пользу надзорщика: полицейские его быстро скрутили.

После разбирательства господина Мыльникова передали сотрудникам прокуратуры, которые приехали в ОМВД. В отношении полицейских СКР начал проверку, так как по закону «не допускаются задержание, привод, личный досмотр прокурора, досмотр его вещей и используемого им транспорта, за исключением случаев, когда это предусмотрено федеральным законом для обеспечения безопасности других лиц и задержания при совершении преступления».

Проверка может закончиться возбуждением в отношении стражей порядка уголовного дела о превышении должностных полномочий (ст. 286 УК).

Как объяснил “Ъ” источник в силовых структурах, знакомый с ситуацией, проблемы у господина Мыльникова, который сам в прокуратуру пришел из органов внутренних дел, возникла из-за того, что у него при себе не оказалось служебного удостоверения.

«После предъявления его сотрудники полиции не должны были доставлять прокурорского работника в своей отдел»,— отметил собеседник “Ъ”. Именно поэтому сотрудник Генпрокуратуры и предлагал полицейским проверить его по интернету и отпустить, полагает источник. По его словам, в надзорном ведомстве господин Мыльников как раз и отвечал за взаимодействие с МВД, в руководстве которого его хорошо знали.

Генпрокурор Игорь Краснов, которому на следующий день доложили об инциденте с подчиненным из центрального аппарата, тут же распорядился провести в его отношении служебную проверку, а вскоре уволил Игоря Мыльникова из органов прокуратуры.

Отметим, что в прошлом году генпрокурор Юрий Чайка своим приказом наградил господина Мыльникова знаком «Почетный работник прокуратуры».

В соответствии с его статусом награжденному было выплачено крупное денежное поощрение, установлена доплата, он получил преимущественное право на получение или улучшение жилой площади, распределяемой органами прокуратуры, а также на ежегодный отпуск в удобное для него время и представление к досрочному присвоению классного чина. Наложение дисциплинарного взыскания в виде увольнения из органов прокуратуры работника, награждённого нагрудным знаком, может применяться только с согласия руководителя надзорного ведомства.

По данным источника “Ъ”, пострадал замначальника управления за нарушение кодекса этики прокурорского работника. В нем, в частности, говорится, что сотрудник надзорного ведомства даже во время внеслужебной деятельности должен быть «тактичным, выдержанным и эмоционально устойчивым», соблюдать «правила общежития» и не допускать использование своего служебного положения «для оказания давления на деятельность органов госвласти». Кстати, не исключено, что по результатам служебной проверки, которая еще продолжается, господин Мыльников не только лишится погон, но и будет привлечен к административной ответственности за неповиновение сотрудникам полиции.

Николай Сергеев

«Ржавый пояс», моногорода и что с ними делать / Комментарии / Хабр

vbif вы риторически спросили:
А почему города в России умирают? Почему предприятия становятся убыточными? Почему люди уезжают?

и вы там попытались ответить типа так:
… рычаги, как инфраструктура, внятное законодательство, гарантии соблюдения прав, подготовка специалистов — всё это не котируется, потому что никто из тех, кто должен этим заниматься, не умеет ими пользоваться.

Я вам попытаюсь ответить, почему подох мой поселок и мой район, и соседний район тоже и еще много, много таких вот районов. До начала 60-ых годов, место, на котором сейчас стоит мой поселок представлял из себя поле-лес. Там не было вообще ничего. В те годы, в стране во всю бушевали мега-стройки и она жизненно нуждалась в кирпиче, железобетонных плитах, блоках, щебенке, известняковой муке и всем-всем-всем, что можно было изготовить из известняковой породы. Поэтому колоссальные силы тратились на разведку известняковых месторождений. В результате такой разведки выяснилось, что в радиусе 300 км от г.Москвы, оказывается, овер дофига каких залежей этого известняка можно нарыть, при этом т.к. Москва сама начинала отстраиваться, это было очень и очень выгодно со всех сторон. Поэтому умные люди придумали такой хитрый план — просто так рыть карьер, и потом куда-то отправлять известняк — долго и хлопотно, лучше создавать сразу же производство полного цикла, когда конечный потребитель получает в основном не известняк, а готовый продукт — ту же железобетонную плиту, или кирпич, или крошку.

Но как это сделать? Да очень просто — рядом с карьером запилить завод ЖБИ, на вход которого будет подаваться известняк в виде муки, щебенки и других производных, а на выходе — что вам надо. Но если карьер организовать относительно просто, хоть он и будет территориально раскидан, то завод ЖБИ запилить в поле — это задача сродни строительства маленького паселка. Заводу нужны минимум газ и своя котельная, нужны очистные сооружения, нужны отдельная железнодорожная ветка с близ лежащей железной дороги, с которой будут поставлять материалы и полуфабрикаты, и посредством которой готовую продукцию будут с завода забирать. И самое главное — нужны рабочие. Инженерная мысль того времени все это осознала и приняла решение, что со всех сторон выгоднее, прямо при таком заводе запиливать поселок, где будут жить сотрудники. Такому поселку не нужна котельная отдельная — он будет получать горячую воду с котельной завода, его можно подключить ко всем коммуникациям завода, т.е. по-сути нужно от завода запитать жилищную инфраструктуру.
И сам поселок получается — это просто типовые пятиэтажки, построенные в лучшем случае в шаговой доступности до производства и что еще важнее — в шаговой доступности до железной дороги, ведь не забываем заводу нужна отдельная ветка от уже имеющейся железной дороги. И вот так началось строительство таких жби’шных карьерных поселочков. Но в те далекие годы никто не мог предположить, что стройки века будут настолько бурными, что мощности одного завода не будет хватать на обслуживание одного карьера! Т.е. завод работает в 3 смены, а план выполнить не может. Т.к. план-проект типового завода жби не предполагал расширения на сколь угодно большие объемы выпуска, то инженерная мысль того времени опять смекнула — зачем к имеющимся 20 цехам лепить сбоку еще 20, и по сути удваивать все инфраструктурные вложения (все нужно строить), хотя можно где-то в другом месте по этой же железной дороге слепить еще один завод ЖБИ и запилить там еще один поселок по этому же типовому плану? Так и пошли строиться заводы жби нашим районам.
Открывались новые карьеры, они обрастали заводами ЖБИ, которые в свою очередь обрастали поселками, которые в свою очередь были полностью инфраструктурно запитаны от промки. В последние годы, правда стали еще свои очистные делать, но не суть. Теперь, когда примерно понятно, откуда родился мой поселок, нужно задать вопрос — а вообще все это советское производство вот такое, оно экономически эффективным было или нет? Ну вот давайте попытаемся ответить: чтоб добыть щебень, нужно заложить в земле снаряд, рвануть его, экскаваторами здоровые булдыги известняка погрузить в белазы, кразы, которые по отдельной бетонке попрут это добро в дробилку. Вот давайте даже на этом маленьком этапе попробуем понять — эффективно ли это все было? Автопарк типового карьера: Краз, Белаз. Каждый автомобиль Краз приходил в разобранном виде в жд вагоне в составе на каждый экипаж по 2 комплекта. Что? Два краза на один состав водителей? Да, я не ошибся. Ровно два, и собиралось ровно две штуки с той целью, что если один внезапно ломался и его нельзя было в карьере при помощи кувалды починить, вызывался эвакуатор, а водитель пересаживался на второй, запасной.
Соответственно, сломанный в определенный день недели ставился на ремонт. Т.е. в карьере всегда боевой техники кразов было в 2 раза больше чем водителей, которые на них могли рулить. С Белазами такой фокус не катил, но запасные тоже были. Если мне память не изменяет, то советский краз жрал овер 40 литров соляры на сотку, а Белаз овер сотни (берем средние значения без учета зима-лето). Каждая машина за 12 часовую смену заправлялась с нуля минимум один раз. Карьер работал круглый год, 24 часа часа в сутки, он не останавливался ни на один день, ни в какие праздники, даже на нг. Это только карьерные машины. Плюсуем сюда весь автобусный парк, весь вспомогательный легковой и грузовой парк, и получаем, что для одного топливного питания такого монстра нужны заправки (несколько), расположенные в разных частях карьеров, нужно одно хранилище гсм, где можно было бы за раз слить десятку цистерн соляры. Солярка в то время была как вода. Вино было достать гораздо проще, чем ведро соляры. Это как ветошь у станочника.
Ее никто не считал. Что говорить о солярке, если водителям давалось по два комплекта боевых машин? Более, вы наверное не поверите, но факт — были единые нормы выработки на открытые горные работы, там где-то внутри них были указаны сроки эксплуатации этих машин в зависимости от. В наших краях их срок службы был 4 года. После этого, машина Краз своим ходом доезжала до карьера, и при полной комплектации сталкивалась вниз, где быстро засыпалась отсевом. Мне первые люди рассказывали, что бывало если краз работал как эвакуатор, то у него вторая машина вообще могла быть практически новой — все равно и ее нужно было закопать, т.к. план не терпет изменений. Писано в карьер и под отвал — значит туды его. Вы понимаете, как экономическая эффективность такой работы? Такого вопроса на повестке дня тогда не стояло — карьер должен работать по плану круглый год. ЖБИ должно работать круглый год. Поселки должны коптить небо круглый год. Ибо план! Электроэнергия — почти даром, даже не почти — а даром, ее стали считать только в перестройку.
Да, карьеры свое дело сделали — все стройки построили. И вот зачем я вам все это так расписал подробно? Вы задали вопрос:

А почему города в России умирают? Почему предприятия становятся убыточными? Почему люди уезжают?

Стране резко стало не нужно столько известняка, вы понимаете это? Не нужен известняк — не нужен карьер. Не нужен карьер — не нужен завод ЖБИ. Не нужен завод ЖБИ — поселку кирдык, у него даже своей котельной нет — вы думаете откуда все эти страшные истории о замерзших поселочках в 200-300 км от Москвы в конце 90-ых? Пром.зона, откуда шло тепло — физически перестала существовать. Это полный тотальный крындец! Какие рычаги, какое внятное законодательство, какие гарантии соблюдения прав, — о чем вы вообще хоть пишите? Повторяю, стране не нужен больше известняк — все схлопнусь и по цепочке развалилось. Если ничего не изменится, пожилое поколение, которое доживает там свой век — вымрет, остальные по своей воле, либо по нужде, покинут эти гиблые места. И там опять будет поле-лес.

И теперь ставится вопрос — ну как же теперь все это реанимировать? Я выше уже высказал мысль о том, что вряд ли это целесообразно. Но если все таки кто-то хочет ответ, он есть у меня: нужны мега-стройки. Нужно запустить все с самого начала. Но нужно ли это?

МИАЦ Свердловской области — Региональная медицинская информационная система (РМИС)

>

>>>

Уважаемые пользователи!

Региональная медицинская информационная система (РМИС) — программное обеспечение регионального сегмента единой государственной информационной системы в сфере здравоохранения (РФ ЕГИСЗ) функционирует в соответствии с приказом Министерства здравоохранения Свердловской области от 24.01.2019 № 86-п .

РМИС обеспечивает автоматизацию основных процессов медицинского учреждения, а также обмен информацией между региональными и федеральными информационными ресурсами в лечебно-диагностическом процессе. 

Адрес РМИС: https://rmis66. mis66.ru.

Основные инструкции по работе в системе.

Руководства пользователей и инструкции

Основы работы в системе

Вывод услуги «Вызов врача на дом» на ЕПГУ для Администраторов МО

В 2019 году разработаны и приняты в эксплуатацию новые модули РМИС:

  1. Модуль «Реестр инвалидов» предназначен для автоматизации деятельности сотрудников медицинских организаций, в должностные обязанности которых входит проведение диспансерной работы с инвалидами, детьми-инвалидами и их семьями:  

        Инструкция об отключении кнопок передачи через шлюз

РА.Реестр инвалидов.docx

РП.Реестр инвалидов.docx

       Ссылки на видео

  2. Модуль Д-регистр, представляющий автоматизированное рабочее место врача диспансерного отделения лечебно-профилактического учреждения:

РП.РМИС.Регистр

   3. Модуль Интеграция с ЕГИССО. Модуль предназначен для обеспечения возможности назначений мер социальной защиты релевантных для здравоохранения и последующей передачи данных в ЕГИССО либо через СМЭВ, либо посредством выгрузки данных в КПИ ЕГИССО:

Руководство администратора модуля ЕГИССО-v20-20191225_072041. docx

РА_Свердловск_Заведение назначений МСЗ и интеграции с ЕГИССО.docx

 

Другие материалы:

Лекции: https://wiki.is-mis.ru/pages/viewpage.action?pageId=12554329

Видеоуроки: https://wiki.is-mis.ru/pages/viewpage.action?pageId=12555141

Канал Youtube: https://www.youtube.com/channel/UCoWilWMSupaKtxtQ34A7XHA/videos

Новая промышленная политика повлечет пересмотр подхода к моногородам

Реформа списка моногородов говорит о новой промышленной политике РФ, отметил в комментарии для ФБА «Экономика сегодня» профессор кафедры менеджмента и бизнес-технологий РЭУ им. Г. В. Плеханова, доктор экономических наук Валерий Масленников.

Министерство экономического развития предлагает сократить количество моногородов в России с 321 до 163, что приведет к уменьшению административной и финансовой помощи государства затронутым населенным пунктам.

Моногорода традиционны для России

Моногород является населенным пунктом, чья экономика выстроена на основе градообразующего предприятия. Моноспециализация поселения дает позитивные эффекты в среднесрочной перспективе в плане организации производства. Такой подход используется во всем мире, но в СССР он получил наибольшее распространение благодаря советской промышленной политике.

Ярким примером являются атомные станции, вокруг которых строился новый город с самостоятельной замкнутой экономикой, и куда приезжали люди со всей страны: в памяти населения слились такие понятия как Чернобыльская АЭС и город Припять.

Аналогичная схема выстраивалась вокруг крупных промышленных заводов и стратегических производств, получила она распространение и в тех регионах, куда неохотно едут люди: это прежде всего Восточная Сибирь и Дальний Восток.

wikipedia.org / RIA Novosti archive / Sergey Pyatakov / CC-BY-SA 3.0

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

В РФ часто поддерживают неэффективные производства для сохранения занятости и поддержки ряда населенных пунктов, но в долгосрочной перспективе это оборачивается низкой производительностью труда (доходами населения) и другими проблемами.

В материале «Известий» речь идет о письме Максима Орешкина (руководил Минэкономразвития РФ до 15 января 2020 года) на имя председателя комитета по экономической политике, промышленности, инновационному развитию и предпринимательству Госдумы РФ Сергея Жигарева.

Скорее всего, документ был подготовлен более года назад, до «коронакризисных» событий, и при другом составе Правительства РФ.

Ведомство напирает на то, что в российском перечне числится 321 моногород, однако критериям монопрофильности соответствуют только 190 из них. Другие населенные пункты, по мнению Минэкономразвития РФ, перестали быть монопрофильными.

Уровень безработицы в моногородах — ниже среднероссийского, ряд из них утратил необходимые для статуса качества, и там произошла адаптация рынка труда: они больше не зависят только от профильного предприятия, что позволяет государству пересмотреть приоритеты.

politexpert.net / Зайцев Евгений

В РФ реализуется новая промышленная политика

«Моногорода в РФ исторически являются объектами, вокруг которых создается промышленное производство. Сокращение количества моногородов означает перераспределение промышленности по территории страны», — констатирует Масленников.

Минэкономразвития предлагает актуализировать список моногородов и сконцентрировать ресурсы на населенных пунктах с менее устойчивым положением, но в отношении муниципалитетов, которых лишат такого статуса, все гособязательства будут выполнены.

«Раньше в РАН существовал совет по развитию производительных сил, определявший места производства и потребления, где и как эффективно это делать. В последнее время мы не наблюдаем решения, связанные с пространственным развитием промышленности. Мне кажется, что такое решение приведет к концентрации усилий в меньшем числе промышленных центров в РФ», — заключает Масленников.

Данный процесс является оптимизацией ресурсов, но нельзя забывать про то, что РФ является самой большой страной в мире, где существуют огромные территории со стабильным оттоком населения. Их развитие необходимо стимулировать из бюджета.

ФБА «Экономика сегодня» /

Сохранить экономический потенциал Сибири и Дальнего Востока без помощи государства нельзя: это должно учитываться в промышленной политике РФ. Оптимизация моногородов не должна ударить по развитию российских регионов.

«Моногорода созданы вокруг промышленных объектов. Это не просто место жительства людей, но и их работа. Если поддержка таких поселений прекратится, то это ухудшит ситуацию в данных населенных пунктах», — резюмирует Масленников.

В списке на понижение присутствуют как Череповец и Тольятти, где экономики давно устоялись, так и Алтайск (Алтайский край), Угловка (Новгородская область) и Котовск (Тамбовская область). Их предлагают убрать из-за низкого уровня безработицы.

Статус моногорода не является «священной коровой», но реформирование списка должно исходить из базовых программ промышленной политики и экономического развития, а не из категорий экономии, оптимизации бюджета и прочих фискальных решений.

wikipedia.org / ShinePhantom/CC BY-SA 3.0

«В РФ происходит реструктуризация промышленности: моногорода обслуживают производства, поэтому идет перераспределение в народном хозяйстве, создаются объекты в новых территориальных анклавах. Причина перераспределения не бухгалтерская, но заключается в том, что в России реализуется другая промышленная политика», — констатирует Масленников.

Развитие экономики должно происходить комплексно, а не в угоду экспорту или импорту: это должно касаться и моногородов.

Фонд развития моногородов и бизнес-школа СКОЛКОВО запускают программу обучения для 8 моногородов-новичков

Уникальную образовательную программу обучения управленческих команд 8 российских моногородов, получивших такой статус в 2019-2020 годах, запускает Фонд развития моногородов (группа ВЭБ.РФ). Программа стартует 17 августа на базе Московской школы управления СКОЛКОВО. Итогом обучения станут проекты городского развития, которые позволят сделать экономику моногородов устойчивее, а также запустить качественные изменения в городской экономике и городской среде.

«Успешное развитие городской экономики невозможно без квалифицированных кадров. Фонд МОНОГОРОДА.РФ и МШУ СКОЛКОВО ранее реализовали программу для обучения управленцев моногородов. Она стала началом масштабных изменений во всех сферах городского развития. Логично, что теперь программа тиражируется на новые города. Рассчитываю, что обучение позволит управленцам выработать и реализовать конкретные шаги по улучшению качества жизни горожан», — отметил председатель ВЭБ.РФ Игорь Шувалов.

Участниками образовательной программы станут моногорода: Новомичуринск Рязанской области, Прогресс Амурской области, Янтарный Калининградской области, Ермолино Калужской области, Печоры Псковской области, Козьмодемьянск Республики Марий Эл, Новокуйбышевск Самарской области, Кимовск Тульской области.

В состав управленческой команды каждого моногорода включены: глава города, его заместитель, представители региональных органов власти, градообразующего предприятия и бизнес-сообщества.

«Мы хотим, чтобы моногорода-новички прошли весь тот путь, который мы уже преодолели с нашей большой семьей моногородов. Основа обучения – развитие городской экономики. Мы будем прорабатывать проекты по обновлению транспорта, модернизации ЖКХ, благоустройству общественных пространств. Это все то, что важно для жителей. Главное – практический результат, который позволит создать новое качество жизни в моногородах», — отметила заместитель председателя ВЭБ.РФ, генеральный директор Фонда МОНОГОРОДА.РФ Ирина Макиева.

Андрей Шаронов, президент Московской школы управления СКОЛКОВО:

«Образовательная программа для управленческой команды моногорода – это фактически оснащение ее инструментами для работы и развития сегодня. Как показал наш опыт работы с моногородами, самый важный этап — посмотреть на город не с позиции выделенных бюджетных средств, а сложной экосистемы, где жители и предприниматели — значимые игроки. Подобный подход даёт как больше возможностей, так и сценариев развития. Задача команды: найти новых союзников, новые точки роста, привлечь новые деньги и мозги и, самое главное, отказаться от подхода «город- жилая пристройка к главному предприятию».

Программа будет состоять из 5 учебных модулей. Среди направлений обучения: развитие альтернативных производств, не связанных с градообразующим предприятием, работа с инвесторами и стимулирование предпринимательской деятельности, развитие городской экономики, благоустройство и вовлечение жителей в городскую повестку.

Преподавателями станут ведущие российские и международные эксперты, представители федеральных и региональных органов власти.

По итогам обучения управленческие команды сформируют проекты развития своих городов, которые помогут снизить зависимость от градообразующего предприятия, создать новые рабочие места, привлечь инвесторов, повысить качество жизни, а также в перспективе получить поддержку Фонда развития моногородов.

Напомним, в 2015-2017 г. Фонд развития моногородов провел обучение для более 1,5 тыс. человек из 319 российских моногородов в СКОЛКОВО и РАНХиГС. Программа позволила наладить взаимодействие власти с бизнесом, реализовать в моногородах проекты, направленные на улучшение жизни горожан.

FairVote — Монотонность

Монотонность и IRV. Почему критерий монотонности не имеет большого значения

Противники мгновенного стока голосования (IRV) утверждают, что оно не соответствует «критерию монотонности». Что это значит? И имеет ли это значение в реальных выборах? До объясняя, почему эта неудача не имеет большого значения — конечно гораздо меньшие последствия, чем критерий большинства и «позже не причинение вреда» критерий, которому соответствует IRV, но другие предлагаемые методы голосования нарушают — небольшая предыстория полезна.

Что такое критерии метода голосования?

Многочисленные формальные критерии, имеют смысл, были предложены для оценки методов голосования. Но ни один метод голосования не удовлетворяет всем им, поскольку некоторые из них являются взаимоисключающими. Поскольку ни один метод голосования не удовлетворяет всем критериям (часто и другие, которые еще предстоит придумать), важно иметь представление о том, как важен критерий и как часто тот или иной метод голосования скорее всего покажет проблему.

Причины могут быть разные за невыполнение критерия. Во-первых, выбор набора критериев для проверки может быть произвольным в том смысле, что не существует определенного набора критериев использовать – любой сторонник того или иного метода голосования мог бы поверить критерии, которым соответствует данный метод голосования, более важны, чем критерии того, что метод голосования не работает. Во-вторых, конкретный способ, которым критерий определен, может привести к тому, что некоторые методы голосования перевернутся с ошибкой к соответствию критерию.

Например, один критерий то, что большинство людей считает крайне важным, — это «большинство критерий.Это можно определить так: «Если более 50% избирателей считать конкретного кандидата абсолютно лучшим выбором, а затем этот кандидат должен победить». Некоторые предлагаемые методы голосования, такие как голосование по диапазону и голосование по одобрению не соответствуют этому критерию. Сторонники этих методы голосования обычно используют два подхода к противостоянию этой реальности. Либо они утверждают, что критерий большинства не так уж и важен, или они пытаются изменить определение критерия большинства таким образом, что их предпочтительный метод не подводит его.Например, большинство Критерий может быть переопределен так, чтобы голосование по одобрению прошло, сказав что до тех пор, пока любых кандидатов, которые  «одобрены», побеждает большинством избирателей (по правилам утверждения несколько кандидатов может превышать 50%), то переопределенный критерий соблюдается. Одобрительное голосование будет соответствовать этому пересмотренному критерию большинства, даже если кандидат что абсолютное большинство (более 50%) считает лучшим выбором терпит поражение от кандидата, которого никто (0%) не считает лучшим выбором, как это может случиться с голосованием одобрения.

Также важно быть четко понимать значение слов «соответствие» или «несоответствие» критерию. Невыполнение критерия не обязательно является абсолютным. Как используется на выборах теории, критерий соблюдается только в том случае, если метод голосования удовлетворяет ему на 100%. мыслимых выборов. Метод голосования может соответствовать критерию в 99,9999% случаев, но все равно считается «неудачным».

Что такое монотонность критерий?

Теперь перейдем к монотонности критерий.Монотонность можно определить следующим образом: кандидат x должен не пострадает (т. е. превратится из победителя в проигравшего), если x поднимается на одних бюллетенях без изменения относительного порядка других кандидаты.

Вот стандартное объяснение IRV не соответствует критерию монотонности, перефразированному из Википедии. Предположим, есть 3 кандидата и подано 100 голосов. Количество голосов Таким образом, для победы требуется 51. Предположим, что голоса распределены следующим образом. на выборах в ИРВ.

Количество бюллетеней 1 ст Предпочтение 2 Предпочтение
39 Andrea Belinda
35 Belinda Синтия
26 Синтия Andrea

Нет кандидата имеет большинство голосов. Кандидат на последнее место Синтия выбывает, и в мгновенный второй тур ее голоса засчитываются за Андреа, которая побеждает во втором туре с большинством 65 против 35.

Теперь предположим, что 10 избирателей Белинды отказаться от поддержки ее и вместо этого поставить Андреа на первое место.

Количество бюллетеней 1 ст Предпочтение 2 Предпочтение
49 Андреа Белинда
25 Белинда Синтия
26 Синтия Андреа

Андреа снова множество победитель по первому подсчету, но не набирает большинства.В этот раз, однако Белинда находится на последнем месте. На этот раз она устранена первой, а во втором туре все бюллетени, поданные за нее, засчитываются за Синтию, который прыгает к победе со счетом 51: 49. В этом случае преимущество Андреа между выборами повысился рейтинг — больше избирателей поставили ее на первое место — но это увеличение поддержки, по-видимому, привело к ее проигрышу, потому что они привели к тому, что Белинду устранили вместо Синтии.

Чтобы подчеркнуть внешний вид парадокса, критика ИРВ, основанная на немонотонности, часто представлены вводящим в заблуждение образом в следующих строках: «Имея больше избирателей ставят кандидата Андреа на первое место, что может привести к тому, что Андреа переключится из победителя в проигравшего.Однако это неправильно. Дело не в том, что Андреа получает больше голосов, что заставляет ее проигрывать. На самом деле получение большего количества первых предпочтений само по себе может никогда заставить кандидата проиграть с IRV. Что касается дополнительных избирателей Отдавая голоса, которые ставят Андреа на первое место, IRV действительно монотонна.

Действительная причина немонотонного флип с ИРВ — это смещение поддержки среди других кандидатов (снижение поддержки кандидата Белинды на примере Википедии выше), что меняет кандидата, с которым Андреа столкнется в финальном матче. Тот факт, что эти десять избирателей изменили на , Андреа, не имел значения, и разве не заставил Андреа проиграть. Результат был бы то же самое, если бы эти избиратели отдали свои голоса четвертому кандидату или вообще не был брошен.

Это различие очень важно. Риторическое воздействие этой реальности менее убедительно и, безусловно, звучит гораздо менее парадоксально, т. е. теперь неудача становится «Если поддержка других кандидатов сместится так, что кандидату Андреа грозит более сильного соперника в финальном туре, Андреа могла перейти из победителем быть проигравшим.Ведь именно этот «парадокс» и есть часто является основой для первичных избирательных кампаний в нашей системе, где кандидат претендует на «избираемость». По сути, этот кандидат говорит: «Может быть, вам больше нравится мой главный оппонент, но я более сильный кандидат на всеобщих выборах».

Обратите внимание, как этот пример иллюстрирует важный момент о гипотетических примерах голосования, придуманных для демонстрации патологии. Часто они крайне нереалистичны, и их можно потерять в вихре А, В и С.В этом случае, чтобы переключиться с Белинды на Андреа, 10 избирателей должны пропустить свой первоначальный второй выбор, Синтию, в пользу их оригинальный последний выбор. И это должно произойти без каких-либо других изменений происходит на электорате. Как часто это будет происходить в настоящие выборы?

По частоте немонотонность в реальных выборах: нет никаких доказательств того, что это когда-либо играло роль на любых выборах IRV — не на президентских выборах IRV. выборы в Ирландии, ни буквально тысячи горячо оспариваемых Федеральные выборы IRV, которые происходили в течение нескольких поколений в Австралии, ни на каких-либо выборах IRV в Соединенных Штатах.

Верно, теоретически, в закрытом выборах, если бы достаточное количество сторонников кандидата А знало достаточно о вероятные рейтинги других избирателей, которые они могли бы в некоторых редких ситуациях голосуйте стратегически следующим образом: вместо того, чтобы ранжировать своих истинных фаворитов как номер один, они могли отдать первое место более слабому из двух вероятных противников в вероятном финальном матче с А, в надежде помогая своему любимому кандидату победить в финальном туре. Верно вы можете увидеть, как это происходит в традиционных системах стока или в «открытых первичные» системы — вспомним «операционный хаос» Раша Лимбо. стратегии в выдвижении кандидата в президенты от Демократической партии 2008 года, где он призвал его консервативные радиослушатели проголосовали на предварительных выборах Демократической партии за Хиллари Клинтон, уверенная в том, что Джон Маккейн уже уверен в получении кандидатуры от республиканцев.

Но этот сценарий надуманный на выборах IRV по ряду причин. Во-первых, это чрезвычайно рискованное предприятие, поскольку, если слишком много избирателей будут следовать стратегии, это может иметь серьезные неприятные последствия и привести к устранению предпочтительного кандидата до достижения финального тура или проиграть в финальном туре. в отличие Стратегия Лимбо на праймериз Демократической партии 2008 г. выбор не гарантирует место в финальной паре без реальной поддержки – с IRV избиратели не могут переключать свой первый выбор между раундов, поэтому нехватка монотонности менее значительна, чем при двухраундовом повторные выборы, которые также не соответствуют критерию. Во-вторых, стратегия потребуются также значительные объемы надежной информации о вероятные первые и альтернативных рейтингов других избирателей — информация это будет нелегко получить, и уж точно не таким способом, который вероятно, регулируют решения голосования. В сочетании с тем, что стратегия противоречит здравому смыслу, эти факты делают его использование крайне маловероятным.

Критерий «последующее отсутствие вреда» гораздо важнее, чем монотонность, потому что, в отличие от монотонности провал, это имеет прямые стратегические последствия.Одним словом, голосование. метод не соответствует критерию отсутствия вреда в последующем, если существует риск того, что каким-либо образом указывающее на второй выбор (ранжирование, как в подсчете Борда или системы Баклина, еще одно голосование, как при голосовании за одобрение, и баллы, как при голосовании по диапазону) избиратель может помочь победить свой первый выбор. Этот критерий имеет серьезные практические последствия, поскольку свидетельство того, что это приводит к тому, что некоторые избиратели честно ранжируют только своих фаворитов выбор по таким методам, как одобрение, Баклин, Борда, Кондорсе и Диапазонное голосование. Еще хуже, пожалуй, было бы, если бы многие избиратели усвоили стратегической ценности такие «бюллетени» и многие другие не имели, тем самым давая неискренним тактическим избирателям большое преимущество перед искренними избиратели голосуют в соответствии с инструкциями. Таким образом все математические тонкости этих других методов вылетают в окно отказом избирателей подыгрывать и рискнуть навредить своему первому выбору.

Монотонность незначительна, если любое влияние на реальный мир и методы голосования, которые удовлетворяют этому критерию склонны не соответствовать критериям большинства, а затем и критерию отсутствия вреда, что может резко влиять на поведение при голосовании и производить то, что большинство считает недемократические результаты.

gcurvep — auerbachs/bmdexpress-3 Wiki

Взаимодействие биологических эффектов и/или артефактов в измерениях доза-реакция может усложнить взаимосвязь доза-реакция и привести к несоответствующей аппроксимации кривой. Чтобы упростить образец сигнала, GcurveP применяется для обеспечения монотонности. Целью GcurveP является захват и представление направления изменения сигнала с предположением, что определенные значения отклика являются артефактами.

GcurveP — это непараметрический алгоритм коррекции кривой, работающий на основе предположения, что правильная кривая доза-реакция должна демонстрировать монотонное поведение.Алгоритм находит минимальный набор поправок, необходимых для наложения монотонного поведения на кривую доза-реакция. В качестве входного параметра принимает направление монотонности (возрастающее, плоское или убывающее). Он итеративно ищет в каждой дозовой группе кривой нарушения монотонности и подсчитывает, сколько других точек кривой потребуют корректировок для восстановления монотонности. Затем он сдвигает соответствующие группы доз для достижения цели. Полученное решение представляет собой набор данных с минимальным количеством таких точек, требующих коррекции.

Ниже приведен пример одной такой коррекции, где красные квадраты представляют нескорректированные значения данных, а синие — значения, скорректированные с помощью GcurveP. Две группы лечения с максимальной дозой смещаются в сторону увеличения ответа, что приводит к монотонному поведению на кривой. Для каждой дозовой группы предполагаемый средний ответ и стандартное отклонение показаны пунктирными синими линиями.

Алгоритм

Нарушения монотонности выявляются на основе повторных измерений в каждой дозовой группе.

  1. Средневзвешенный ответ (wAR) и взвешенное стандартное отклонение (wSD) каждой дозовой группы рассчитываются с использованием двухвесовой функции Тьюки. Объединенная дисперсия по всем дозовым группам также используется для расчета объединенного стандартного отклонения (PSD) с поправкой на вес. PSD используется как минимально допустимое значение стандартного отклонения для любой из групп доз (иногда из-за избыточных повторов или артефактов некоторые группы доз имеют почти нулевую дисперсию). Если PSD ниже, чем SD группы дозы, SD сбрасывается до PSD.
  2. Затем предполагается, что средневзвешенный ответ (wAR) для группы с контрольной дозой является истинным исходным сигналом. Все последующие группы доз проверяются относительно друг друга на соответствие предполагаемому направлению кривой. На каждом шаге проверяется wAR данной дозовой группы D, если она находится в пределах одного SD от wAR текущей доверенной дозовой группы C. Если находится в пределах, то D принимается монотонной, C заменяется на D и проверяется следующая дозовая группа . Если wAR(D) находится за пределами одной SD из wAR(C), но в желаемом (заранее заданном) направлении, то D обрабатывается так же, как и выше, в противном случае оно помечается как нарушение, и в этом случае C не обновляется, и точка следующей группы доз проверяется по C.
  3. После того, как все группы доз оценены таким образом, количество нарушений представляет собой стоимость восстановления монотонности для первоначального выбора C (доверенная опорная точка). Итеративно пробуя различные группы доз в качестве C, GcurveP ищет минимальный набор групп доз, которые необходимо скорректировать. Как только такой набор найден, каждая из его дозовых групп соответствующим образом сдвигается со всеми своими точками повторения, чтобы сохранить первоначальную вариацию ответа, но обеспечить монотонность среднего ответа.

После монотонизации результирующая кривая может пройти другие этапы анализа, включая параметрическую аппроксимацию, а также расчет различных метрик кривой (см. альфа = 0,05, см. ниже). Этот процесс коррекции монотонности повторяется n раз путем бутстрепной выборки (с типичным входным параметром n = 1000) ответов от дозовых групп исходной кривой для оценки стабильности монотонных поправок.Затем возвращается показатель качества коррекции кривой (от 0 до 1), который можно интерпретировать как вероятность того, что средний ответ на кривой после монотонного лечения будет таким же, как и на исходной кривой.

Существенные особенности алгоритма GcurveP

  • не зависит от масштаба сигнала (не использует значения сигнала для количественной подгонки, только для относительных сравнений).
  • может работать с двухфазными и частичными кривыми, которые в противном случае трудно подобрать параметрическими моделями только для нескольких групп доз.
  • представляет собой кривую доза-реакция с помощью соединенных отрезков линии и использует это представление для вменения дозы в точке отправления без подгонки кривой
  • требует, чтобы направление кривой сигнала было предварительно задано (пользователем или каким-либо другим автоматическим средством), чтобы выполнить желаемую коррекцию. В случае двухфазных кривых оба направления могут быть полезны для представления соответствующих эффектов 90–191.

отрицание — W3C RIF-WG Wiki

В продолжающейся дискуссии о монотонности и монотонности.немонотонное отрицание (более известное как отрицание как отказ), часто упускается из виду, что не только немонотонность является проблемой, но на самом деле в литературе существует несколько определений как монотонных, так и немонотонных форм отрицания) с тонкими, но важными различия. На этой странице мы стремимся пролить свет на «ландшафт» различных форм отрицания и уточнить терминологию. Этот обзор ни в коем случае не следует понимать как исчерпывающий, но он должен охватывать и разъяснять наиболее известные формы отрицания в контексте логики и языков правил, особенно те, которые упоминались в обсуждениях в рамках рабочей группы RIF.

Для простоты ограничимся пропозициональным случаем, хотя все упомянутые логики имеют расширения первого порядка.

Монотонное отрицание

Прежде всего, мы рассматриваем наиболее важные формы отрицания в немонотонных логиках. Монотонность означает, что всякий раз, когда некоторое предложение φ доказуемо из теории T, φ все равно будет доказуемо из любого надмножества T.

Классическое отрицание

Чтобы проиллюстрировать различия между различными формами отрицания, мы выбираем здесь аксиоматическое представление классической логики.Как известно, классическая логика может быть охарактеризована следующей аксиоматизацией (φ ∧ ψ) → φ

  • (φ ∧ ψ) → ψ
  • (φ → ψ) → ((φ → χ) → (φ → (ψ ∧ χ)))
  • φ → (φ ∨ ψ)
  • ψ → (φ ∨ ψ)
  • (φ → χ) → ((ψ → χ) → ((φ ∨ ψ) → χ))
  • (φ → ψ) → ((φ → ¬ψ) → ¬φ)
  • ¬φ → (φ → ψ)
  • φ ∨ ¬φ
  • плюс modus ponens как его единственные правила вывода.Последняя аксиома, так называемый закон исключенного третьего (LEM) , заслуживает особого интереса. Поскольку это позволяет делать неконструктивные выводы, например. аксиома двойного отрицания

    доказуема в классической логике.

    Интуиционистское отрицание

    Интуиционистская логика является частью классической логики, то есть все формулы, доказуемые в интуиционистской логике, доказуемы и в классической логике. Однако интуиционистская логика не допускает косвенных доказательств, то есть все интуиционистские доказательства должны быть конструктивными.Для получения более подробной информации см., например, [Wolfram Mathworld http://mathworld.wolfram.com/IntuitionisticLogic.html]:

    Интуиционистская логика (согласно Гейтингу [2]) — это просто логика, аксиоматизированная с помощью 1-10 сверху, т.е. LEM отбрасывается и двойное отрицание аксиома больше не выполняется.

    В качестве альтернативы, интуиционистское отрицание можно охарактеризовать, рассматривая ¬φ как аббревиатуру формулы φ→ ⊥, где ⊥ можно интерпретировать как противоречие. Тогда интуиционистская логика может быть аксиоматизирована аксиомами позитивной логики (1-8 сверху) плюс дополнительная аксиома

    . Таким образом, интуиционистское доказательство ¬φ можно рассматривать как «доказательство предположения φ приводит к противоречию», а не доказательство что φ неверен.

    Заметим, что замечания об интуиционистском отрицании здесь в основном служат для пояснения исторического развития логики, где интуиционистское отрицание играет значительную роль. Поскольку язык условий RIF, скорее всего, не будет включать правильную связку импликации (в отличие от «интуиционистских логических программ», см., например, [5]), нам не нужно рассматривать тяжелый аппарат семантики Крипке для интуиционистской (или промежуточной) логики. для того, чтобы понять проблему наличия двух видов отрицания.Частичная логика [6] проще и, вероятно, достаточна для наших целей.

    Конструктивное (иначе сильное) отрицание

    Как упоминалось выше, интуиционистская логика в некотором смысле «конструктивна», поскольку только вытекающие из нее формулы могут быть конструктивно доказаны. Конструктивное отрицание (по Нельсону в 1949 г.) добавляет к интуиционистской логике понимание того, что примитивные суждения могут быть не только конструктивно проверены, но и конструктивно фальсифицированы. Две существенные черты характеризуют понятие конструктивного отрицания:

    1. конструктивным отрицанием можно охарактеризовать атомарную отрицательную информацию.
    2. существует эффективная процедура сведения фальсификации сложных утверждений к проверке или фальсификации их частей путем преобразования нормальной формы.

    Мы будем использовать символ ‘-‘ для обозначения сильного отрицания, чтобы отличить его от ‘¬’ в дальнейшем. На самом деле Нельсон представил сильное отрицание как альтернативу интуиционистскому отрицанию, но мы рассматриваем их здесь в общих рамках, представляя конструктивную логику как расширение интуиционистской логики Воробьева.Действительно, интуиционистское отрицание в конструктивной логике определяется как:

    , где конструктивная логика аксиоматизируется аксиомами интуиционистской логики плюс следующее:

    • N1. -(φ → ψ) ↔ (φ ∧ -ψ) N2. -(φ ∧ ψ) ↔ (-φ ∨ -ψ) N3. -(φ ∨ ψ) ↔ (-φ ∧ -ψ) N4. φ ↔ — — φ N5. —φ ↔ φ N6. (для атомарного φ) -φ → ¬φ

    Конструктивная логика с этими дополнительными аксиомами является консервативным расширением интуиционистской логики в том смысле, что любая формула конструктивной логики без сильного отрицания в конструктивной логике является теоремой тогда и только тогда, когда она является теоремой в интуитивистская логика. Аксиомы N1-N5 допускают обычное преобразование нормальной формы, известное из классической логики, путем устранения двойного отрицания и законов де Моргана, чтобы ставить отрицания только перед атомарными формулами. По N6 мы видим, почему конструктивное отрицание также называют «сильным» отрицанием. Это, очевидно, остается в силе, если мы снова введем ЛЭМ в комбинированную логику, т. е. конструктивное отрицание действительно сильнее классического отрицания.

    Для нас важно сильное отрицание, так как оно также было введено в диалекты логического программирования.В частности, то, что Гельфонд и Лифшиц назвали «классическим» отрицанием в [7], на самом деле является сильным отрицанием.

    Два вида отрицания в частичной логике

    Интуиционистская логика — это в основном логика о связке импликации →, которая фиксирует конструктивную дедукцию. Поскольку язык условий RIF, вероятно, не будет включать связку импликации, использование интуиционистской логики или конструктивной логики с сильным отрицанием для RIF было бы равносильно разрыву мухи на колесе. Гораздо более простая логика, позволяющая различать два вида отрицания, — это частичная логика , которая присваивает как расширение истинности, так и расширение ложности предикату таким образом, что они не обязательно должны быть теоретико-множественным дополнением друг друга.

    Это допускает «пробелы в истинностных значениях» (частичность) и «конфликты в истинностных значениях» («паранепротиворечивость»). Таким образом, частичная логика определяет небольшое семейство трех- и четырехзначных логик (в зависимости от требований, предъявляемых к интерпретациям, и выбора предложений определения для связок). Это также позволяет различать разные виды предикатов, которые могут быть частичными или полными. Классическую логику можно рассматривать как частный (сверхидеализированный) случай частичной логики, когда все предикаты тотальны (предположение, которое кажется оправданным для математики, но не для представления знаний).

    В частичной логике существует сильное отрицание (также называемое «отрицанием Клини») и слабое отрицание , предложенное Лукасевичем. В то время как сильное отрицание представляет явную ложь, слабое отрицание представляет неправду. Частичная логика лучше подходит для представления знаний, чем классическая логика. Например. понятие минимальной модели на самом деле не имеет особого смысла в классической логике. Классические интерпретации, как задания тотальной истинности, несопоставимы друг с другом по своей информативности.Однако минимальное означает информационно минимальное и, следовательно, требует понятия интерпретаций с информационным содержанием, обеспечиваемым частичными интерпретациями.

    Отрицание-как-неудача может быть объяснено как слабое отрицание в предпочтительной семантике частичных минимальных/стабильных моделей.

    Немонотонное отрицание как отказ

    Отрицание-как-неудача, часто также называемое «отрицанием-недоказыванием» или отрицанием по умолчанию, не ведет себя монотонно: в следующем правиле (мы используем те же символы ‘ ←’ и ‘¬’, что и выше, для обозначения импликации и отрицание как несостоятельность)

    a выводится из этого правила всякий раз, когда b недоказуемо. Таким образом, если предположить, что b не доказуемо из теории T, a будет выводимо, когда правило будет добавлено к T, но всякий раз, когда мы добавим b к T, a больше не будет выводиться из этого правила, т. е. ¬ ведет себя немонотонно. Следовательно, монотонная логика не может служить основой для определения семантики отрицания как неудачи, и поэтому в литературе было определено несколько альтернативных семантик для определения немонотонного отрицания.

    В дальнейшем всякий раз, когда мы говорим о правиле (или наборе правил, соотв.), мы имеем в виду вообще (наборы) формул вида:

    где φ и ψ возможные комплексные формулы, построенные из связок ∧, ∨, ¬ как обычно. Мы говорим, что правило (набор правил) является нормальным , если φ является атомарным и ψ представляет собой конъюнкцию атомарных формул с возможным отрицанием, и дизъюнктивным , если φ является дизъюнктом атомарных формул, а ψ является конъюнкцией атомарных формул с возможным отрицанием .

    Отрицание как отказ в случае стратифицированного набора правил

    Нормальный набор правил называется стратифицируемым, если отрицание ациклично, т. е.е., ни один атом отрицательного тела не ссылается рекурсивно на себя. Например, набор правил, содержащий следующее правило

    , не поддается стратификации.

    Существует широкое согласие в отношении семантики стратифицируемых правил: они имеют уникальную минимальную модель , которая является их единственной предполагаемой моделью, в соответствии с семантикой совершенной модели [8]. В двух словах, эта семантика позволяет поэтапно вычислять единственную минимальную модель нормального набора правил, разделяя его на страты, которые зависят друг от друга посредством отрицания, т.е.е. только главам правил более низких слоев разрешается негативно встречаться в сводах правил более высоких слоев.

    Кроме того, при добавлении сложных формул в тела правил существует соглашение о том, как поступать с этим обобщением [9].

    Отрицание как отказ в случае нестратифицируемого набора правил

    Для наборов правил, которые не поддаются стратификации, семантика отрицания-как-неудачи становится намного сложнее: нет простой интуиции относительно предполагаемых моделей набора правил, не поддающихся расслоению. Понятно, что не все минимальные модели являются предполагаемыми моделями, но также кажется, что не все предполагаемые модели минимальны из-за инклюзивной семантики дизъюнкции. Двумя наиболее известными предложениями по семантике нестратифицируемых правил являются семантика стабильной модели и обоснованная семантика (см. Ниже).

    Два полезных тестовых примера для семантики нестратифицируемых правил: нечетная петля a ← ¬ a и четная петля a ← ¬ b, b ← ¬ a.

    Обратите внимание, что в соответствии с классической логикой нечетная петля позволяет вывести a, в то время как согласно интуиционистской логике она позволяет сделать интуитивистский вывод только ¬¬a, который не эквивалентен a.

    Четная петля, кажется, представляет дизъюнктивную информацию a ∨ b. На это указывает не только классическая логика, но также семантика минимальной модели и семантика стабильной модели.

    Стабильная модель и семантика набора ответов

    Семантика стабильной модели для отрицания как неудачи была определена в [10]. Стабильные модели не обязательно уникальны, набор нормальных правил может иметь несколько устойчивых моделей (как в случае с четным циклом) или не иметь стабильной модели (как в случае с нечетным циклом).

    Семантика стабильной модели была расширена, чтобы дополнительно учесть сильное отрицание (называемое здесь «классическим») и дизъюнктивные правила в [7], где от термина стабильная модель отказались в пользу набора ответов .

    Расширения нормальных правил, позволяющие использовать больше связок, были определены в [11,12], полиномиальная редукция к дизъюнктивным правилам была предложена в [13].

    -НЕОБХОДИМО ЗАВЕРШИТЬ-

    Обоснованная семантика

    Обоснованная семантика для нормальных наборов правил определена в [14]. Каждый нормальный набор правил имеет уникальную хорошо обоснованную модель , которая, однако, не фиксирует неявную дизъюнктивную информацию, представленную четными циклами. Таким образом, в случае четного цикла обоснованная модель является пустым набором.

    В настоящее время нет соглашения о том, как расширить обоснованную семантику до дизъюнктивных или более общих правил.Эта проблема вместе с тем фактом, что хорошо обоснованная семантика игнорирует неявную дизъюнктивную информацию, по-видимому, указывает на то, что она определяет скорее теорию доказательств, а не теоретико-модельную семантику.

    -БУДЕТ ЗАВЕРШЕНО-

    Благодарности

    Некоторые пояснения на этой странице основаны на обсуждениях и заметках Сергея Одинцова и Дэвида Пирса.

    Дополнительная литература

    1. Д. Пирс: Отсюда туда: стабильное отрицание в логическом программировании.В D. M. Gabbay and H. Wansing, editors, What is Negation?, стр. 161–181. Kluwer Academic Publishers, 1999.
    2. A. Heyting: Die formaten regeln der intuitionistischen logik. Sitzungsberichte der Preussischen Akademie von Wissenschaften. Physikalisch-mathematische Klasse, 42—56, 1930.
    3. Д. Нельсон: Конструктируемая ложь. J. Symbolic Logic, 14(1):16—26, 1949.
    4. Н. Воробьев: Конструктивное исчисление высказываний с сильным отрицанием. Труды Института Стеклова, 72: 195-227, 1964.На русском.
    5. А. Дж. Боннер, L.T. Маккарти: добавление отрицания как неудачи к интуиционистскому логическому программированию. проц. на Североамериканской конференции по логическому программированию (NACLP). MIT Press, 681–703, 1990. http://citeseer.ist.psu.edu/bonner92adding.html

    6. Х. Эрре, Дж. Джаспарс, Г. Вагнер: неполные логики с двумя видами отрицания как Основа рассуждений, основанных на знаниях. В Д.М. Габбай и Х. Вансинг (ред.), Что такое отрицание? , Kluwer Academic Publishers, 1999.http://www.informatik.tu-cottbus.de/~gwagner/papers/PartialLogics.pdf

    7. М. Гельфонд, В. Лифшиц: Классическое отрицание в логических программах и дизъюнктивных базах данных. New Generation Computing 9(3/4):365—386, 1991. http://citeseer.ist.psu.edu/gelfond91classical.html

    8. T.C. Przymusinski: Perfect Model Semantics, Proc. 5-й междунар. конф. и Симп. по логическому программированию, MIT Press, Cambridge, Ma, 1988, стр. 1081-1096.
    9. Дж.В. Ллойд и Р. В. Топор. Делаем Пролог более выразительным.Journal of Logic Programming, 3:225-240, 1984.
    10. М. Гельфонд и В. Лифшиц. Семантика стабильной модели для логического программирования, В: Proc. Пятой совместной международной конференции и симпозиума. MIT Press, 1988, 1070–1080. http://citeseer.ist.psu.edu/gelfond88stable.html

    11. Х. Эрре и Г. Вагнер: стабильные модели генерируются стабильной цепью. Журнал логического программирования 30: 2 (1997). http://citeseer.ist.psu.edu/herre97stable.html

    12. В.Лифшиц, Л. Танг и Х. Тернер. Вложенные выражения в логических программах. Анналы математики и искусственного интеллекта, 25(3-4):369–389, 1999. http://citeseer.ist.psu.edu/lifschitz99nested.html

    13. Д. Пирс, В. Сарсаков, Т. Шауб , Х. Томпитс, С. Уолтран. Полиномиальные переводы программ вложенной логики в программы дизъюнктивной логики. Технический отчет, 2002 г. http://citeseer.ist.psu.edu/550878.html

    14. А. Ван Гелдер, К.А. Росс и Дж.С. Шлипф. Обоснованная семантика для программ общей логики.Journal of the ACM 38(3):620—650, 1991. http://citeseer.ist.psu.edu/gelder91wellfounded.html

    Возрастающие и убывающие функции и монотонность

    В этой статье мы хотели бы Обсуждение возрастающих и убывающих функций. Но прежде чем мы продолжим, давайте обсудим, что такое функция. Функция называется отношением между входом и выходом таким образом, что каждый вход связан ровно с одним выходом.

    Функции могут увеличиваться, уменьшаться или оставаться постоянными для интервалов во всей своей области.Они непрерывны и дифференцируемы на заданных интервалах. Интервал, определяемый как непрерывная или связная часть реальной линии.

    Возрастающая убывающая функция является одним из наиболее часто используемых приложений производных. Производные используются для определения того, увеличивается или уменьшается данная функция в определенном интервале.

    Вы бы знали, что если что-то увеличивается, оно движется вверх, а если что-то уменьшается, оно движется вниз. Поэтому, если говорить графически, если график функции идет вверх, то она называется возрастающей функцией.Точно так же, если график идет вниз, то это называется убывающей функцией.

     

    Возрастающие убывающие функции

    Рассмотрим следующую диаграмму:

     

    (Изображение будет загружено в ближайшее время) . Как видно из приведенного выше рисунка, справа от начала координат кривая движется вверх по мере того, как вы идете вправо, поэтому она называется возрастающей функцией.

    Функция называется убывающей функцией, если значение y уменьшается с увеличением значения x. Как и выше, слева от начала координат кривая движется вниз, если вы двигаетесь слева направо.

     

    Определение возрастающей функции

    Вот определение функции, возрастающей на интервале.

    Рассмотрим функцию y = f(x)

    Функция возрастает на интервале, если для каждого x1 и x2 в интервале x1 < x2 и f( x1) ≤ f(x2).

     

    (Изображение будет загружено в ближайшее время)

     

    Это строго возрастающая функция на интервале, если для каждого x1 и x2 в интервале x1 < x2, и

    f( x1) < f(x2 )

    Вы можете видеть, что есть разница в символах в обеих вышеуказанных функциях увеличения.

     

    Определение убывающей функции

    Рассмотрим функцию y = f(x)

    Эта функция убывает на интервале , если для каждого x1 и x2 в интервале x1 < x2, и

    f( x1) ≥ f(x2)

     

    (Изображение будет загружено в ближайшее время)

     

    Функция является строго убывающей функцией на интервале, если для каждого x1 и x2 в интервале x1 < x2, а f( x1) > ф(х2).

    Вы можете заметить разницу в символах в обеих приведенных выше функциях убывания.

     

    Монотонные функции

    Возрастание или убывание функций называется монотонностью функции.

    Монотонной функцией называется любая заданная функция, соответствующая одному из четырех упомянутых выше случаев. Монотонный обычно имеет два термина. Моно относится к единице, а тоник относится к тону. Оба эти слова вместе означают «в один тон».Когда вы говорите, что функция не убывает, означает ли это, что она возрастает? Ответ — нет. Это также может означать, что Функция вообще не меняется. Проще говоря, Функция имеет постоянное значение для определенного интервала. Убедитесь, что не перепутали неубывающее с возрастающим.

     

    Примеры возрастающих и убывающих функций

    Теперь давайте рассмотрим пример возрастающих и убывающих функций. Понятия, которые объяснялись выше о возрастающих функциях и убывающих функциях, могут быть представлены в более компактной форме.

    1. Возрастающая или неубывающая

    Функция y = f(x) называется возрастающей или неубывающей функцией на интервале (a, b), если

    ∀ x1, x2 ∈ (a, b) : x1

    ⇒ f (x1) ≤ f (x2)

    (изображение будет загружено в ближайшее время)

    1. Строго увеличения

    Функция y = f (x) называется строго Возрастающая функция на интервале (a, b), если:

    ∀ x1, x2 ∈ (a, b): x1 < x2

    ⇒f(x1) < f(x2)

     

    (Изображение будет загружено в ближайшее время )

     

    1. Убывающая или невозрастающая функция

    Функция y = f(x) называется убывающей или невозрастающей функцией на интервале (a, b), если:

    , x ∈ ∀ x1 (a, b): x1 < x2

    ⇒f(x1) ≥ f(x2)

     

    (Изображение будет загружено в ближайшее время)

     

    1. Строго убывающая функция ion

    Функция y = f(x) называется строго убывающей функцией на интервале (a, b), если:

    ∀ x1, x2 ∈ (a, b): x1

    ⇒f(x1 ) > f(x2)

     

    (Изображение будет загружено в ближайшее время)

     

    Если заданная Функция f(x) дифференцируема на интервале (a,b) и принадлежит любому из четырех рассматриваемых типов, то есть это либо Возрастающая, Строго Возрастающая, Убывающая, либо Строго Убывающая, Функция называется Монотонной Функцией на этом конкретном интервале.

     

    Монотонная функция

    Монотонно возрастающие функции

    Графики экспоненциальной и логарифмической функций очень важны. Из этих графиков видно общее правило:

    Если a>1, то обе эти функции монотонно возрастают:

    f(x)=a x

    )

     

    Пример монотонно возрастающей функции

    Рассмотрим данные два графика:

     

    (Изображение будет загружено в ближайшее время)

     

    график обозначается g(x) = 3 x+1 .

    Когда x увеличивается, f(x) также увеличивается. Следовательно,

    g(x) = 3 x+1

    = 3 . 3 x

    = 3 f(x)

    Следовательно, g(x) — монотонно возрастающая функция.

     

    Монотонно убывающая функция

    Монотонно убывающая функция в основном противоположна монотонно возрастающей функции.

    Если f(x) является монотонно возрастающей функцией на заданном интервале, то −f(x) называется монотонно убывающей функцией на том же интервале, и наоборот.

     

    Пример монотонно убывающей функции

    Рассмотрим следующий график, где f(x) = -5 x .

     

    (Изображение будет загружено в ближайшее время)

     

    Как видите, здесь функция 5 x монотонно возрастает, следовательно, f(x) = -5 x должно монотонно убывать.

    На графике при увеличении 5 x f(x) уменьшается.

    Советы по изучению возрастающих и убывающих функций и монотонности

    Изучив вышеизложенное, вы могли понять функции, возрастающие функции, убывающие функции и монотонные функции с большим количеством примеров каждого типа.

    Студентам рекомендуется попрактиковаться в ответах на большое количество вопросов, чтобы проверить свои знания и понимание после того, как они получат концептуальную ясность после изучения учебного материала.

    Когда дело доходит до такого практического предмета, как математика, единственное, что может помочь вам добиться успеха, — это достаточная практика.

    Давайте разберемся с некоторыми советами и приемами, чтобы взломать лучший способ подготовиться к этому предмету.

    Поскольку у каждого учащегося свои привычки и модели учебы, не может быть одного способа, который бы работал для всех.Следовательно, студентам рекомендуется внимательно наблюдать и контролировать свои учебные привычки. Еще один важный момент, который вы должны помнить, это то, что вам не нужно всегда соответствовать другим, ваш друг может сидеть и заниматься 3 часа подряд, тогда как вам может понадобиться небольшой перерыв через час или около того. Поймите, что оба случая нормальны, и от вас зависит, как вы должны планировать свои действия.

    Подготовка расписания, которое является реалистичным, основанным на времени и выполнимым, является навыком, которым должны овладеть учащиеся. Это может помочь вам освоить технику управления своим временем и быть максимально продуктивным в большинстве случаев. Студенты часто составляют нереалистичные расписания, которые невозможно выполнить, и это не делает ничего, кроме как демотивирует вас. Поэтому рекомендуется следить за своими учебными привычками, а затем составить надлежащий план и обязательно придерживаться его.

    Еще один метод, который следует использовать для отслеживания вашей подготовки, — это составление ментальной карты. Это неотъемлемая часть учебного процесса. Это помогает учащимся узнать и понять, куда и как нужно приложить усилия.Учащиеся должны следовать целеустремленному подходу и постоянно выполнять поставленные задачи.

    Отслеживание тем, которые вы подготовили, и тех, которые остались, является важной привычкой, которой должны обладать студенты. Это поможет вам следить за тем, какие дальнейшие действия следует предпринять, чтобы двигаться вперед. Кроме того, вы также должны быть терпеливы и доверять процессу. Если вы излишне напрягаете себя, ничего не будет достигнуто, и вы только снизите уровень своей продуктивности.

    Пересмотр следует делать в соответствии с вашими привычками в учебе, а не в соответствии с тем, чему следуют другие. Два наиболее эффективных метода повторения, которые вы, несомненно, можете использовать перед экзаменами, — это метод 4R, который включает в себя чтение важных тем, просмотр заметок, повторение пробных тестов и повторное чтение сложных тем, а другой — метод 3R, который включает в себя пересмотр, чтение и обзор. Оба они одинаково важны, и при этом успех гарантирован.

    Темп является важным фактором в процессе обучения. Вы должны понимать, что быть слишком напряженным или вообще не беспокоиться, обе эти вещи чрезвычайно сложны и вредны для вас, как для студентов. Следовательно, вам рекомендуется следовать промежуточному подходу к нему, что означает, что вы сможете поддерживать хороший баланс.

    Практика — самый важный шаг, так как практика делает вашу подготовку более интересной и результативной. Он должен включать в себя три шага: тщательное чтение учебного материала, повторный просмотр заметок и регулярные попытки задать набор вопросов.*$, называется монотонным, если

    $$\operatorname{Re}(Ax_1-Ax_2,x_1-x_2)\geq0\label{1}\tag{1}$$

    для любых $x_1,x_2\in E$. Оператор $A$ называется полунепрерывным, если для любых $u,v,w\in E$ числовая функция $(A(u+tv),w)$ непрерывна в $t$. Примером полунепрерывного монотонного оператора является градиент выпуклого дифференцируемого по Гато функционала. Многие функционалы в вариационном исчислении выпуклы и, следовательно, порождают монотонные операторы; они полезны при решении нелинейных интегральных уравнений и фактически были впервые применены там.

    Различные применения монотонных операторов в вопросах разрешимости нелинейных уравнений основаны на следующей теореме (см. [1], [2]). Пусть $E$ — рефлексивное банахово пространство (ср. Рефлексивное пространство), а $A$ — полунепрерывный монотонный оператор со свойством коэрцитивности:

    $$\lim_{\|u\|\to\infty}\frac{\operatorname{Re}(Au,u)}{\|u\|}=\infty. *$, называется монотонным на $D$, если выполняется \eqref{1} для любых $x_1,x_2\in D$, и называется максимальным монотонным, если оно монотонно на $D$ и не имеет монотонного собственного (строгого) расширения.

    Исследования уравнений с монотонными операторами в значительной степени стимулированы задачами теории квазилинейных эллиптических и параболических уравнений. Например, краевые задачи для квазилинейных параболических уравнений приводят к уравнениям вида

    $$\Lambda x+Ax=f\label{2}\tag{2}$$

    в подходящем банаховом пространстве $E$. Это же уравнение естественно возникает и при исследовании задачи Коши для абстрактного эволюционного уравнения с нелинейным оператором в банаховых пространствах.*$. Идея монотонности применялась и в задаче о почти периодических решениях нелинейных параболических уравнений.

    Ссылки
    [1] Ф. Браудер, «Нелинейные параболические краевые задачи произвольного порядка» Bull. амер. Мат. соц. , 69 (1963) стр. 858–861
    [2] Г.Дж. Минти, «О методе «монотонности» решения нелинейных задач в банаховых пространствах», , Proc.Нац. акад. науч. США , 50 (1963) стр. 1038–1041
    [3] М.М. Вайнберг, Р.И. Качуровский, «К вариационной теории нелинейных операторов и уравнений» Докл. акад.
    [4] М.М. Вайнберг, «Вариационный метод и метод монотонных операторов в теории нелинейных уравнений», Wiley (1973) (перевод с русского)
    [5] Дж.-Л. Лайонс, «Quelques méthodes de résolution des problèmes aux limites nonlineaires», Dunod (1969)
    [6] B.M. Левитан, В.В. Жиков, «Почти периодические функции и дифференциальные уравнения», пер. Press (1982) (Перевод с русского)
    [7] Качуровский Р.
    Опубликовано в категории: Разное

    Добавить комментарий

    Ваш адрес email не будет опубликован. Обязательные поля помечены *

    2019 © Все права защищены.