ivdon3@bk.ru
Сведения об авторах выпуска №1 за 2011 год
Ключевые слова: авторы
В статье рассматривается механизм формирования графической компетенции курсантов военного вуза, основывающийся на применении методологических подходов, позволяющих раскрыть целостность исследования процесса формирования ключевых компетенций, учитывая многообразие связей.
Ключевые слова: методологические подходы, графическая компетенция, системный подход, интегративный подход, деятельностный подход, личностно-ориентированный подход, компетентностный подход, технологический подход.
В основу работы положена организация бесперебойной подачи и обеспечение необходимых уровней давления на всех участках системы водоснабжения, определяющие надежность работы насосной станции.
В статье отражены требования к эксплуатации станции, определяющие количественную оценку надежности её работы до и после ремонтных работ.Материал сконцентрирован на определении вероятности безотказной работы насосных станций, учитывающей технические, экономические и экологические составляющие.
Ключевые слова: эксплуатация насосных станций..
05.23.04 - Водоснабжение, канализация, строительные системы охраны водных ресурсов
В данной статье рассматриваются необходимость, проблемы и перспективы развития рынка лизинговых услуг для субъектов малого предпринимательства. Региональные особенности, пути совершенствования лизинга представлены на примере малого предпринимательства Республики Башкортостан.
Ключевые слова: Малое предпринимательство, Лизинг, Регион, Республика Башкортостан.
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
В статье проводится классификация методов верификации программного обеспечения (ПО), которые разнообразны по своему назначению, по способам достижения результата, по способу проверки и подтверждения у ПО предопределенных свойств.
В целом производится деление на структурные и функциональные, и имеющие в своей основе формальные математические модели. Методы первой группы представляют собой тестирование и экспертный анализ свойств ПО, второй – работают с моделями и абстрактными представлениями проверяемого ПО. Отличительной особенностью экспертизы является ориентированность на экспертные оценки, поэтому их нельзя отнести к универсальным и строго формализованным. Различные виды экспертиз применяются к различным свойствам ПО на различных этапах проектирования, что позволяет своевременно определять и устранять неполадки и дефекты в работе ПО.
Отличительная особенность формальных методов – удобство и экономичность, так как они проводятся без обращения к физической реализации. Для работы с формальными методами применяются специфические техники, такие как дедуктивный анализ (theorem proving), проверка моделей (model checking), абстрактная интерпретация (abstract interpretation).
Так же в статье перечисляются логические и алгебраические исчисления применимые для работы с формальными моделями.
Представленная в статье классификация частично формализованных и формальных методов верификации отражает современное состояние исследований в данной области.
Ключевые слова:верификация, частично формализованные методы верификации ПО, формальные модели верификации ПО, экспертиза, статический анализ, динамические методы, формальные методы, синтетические методы.
05.13.18 - Математическое моделирование, численные методы и комплексы программ
В статье рассмотрены экономико-правовые аспекты городского землепользования и правил градостроительной деятельности.
Ключевые слова: городское землепользование, экономико-правовые аспекты, эколого-экономический механизм регулирования системы городского землепользования.
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
В работе рассмотрена утилизация жидких отходов - шламов химводоподготовки ТЭС. Данные шламы образуются на стадии предварительной очистки воды в результате процессов коагуляции и известкования. Рассмотрена математическая модель и получено численное решение процесса адсорбционной очистки сточных вод ТЭС с использованием шлама химводоочистки.
Ключевые слова: шлам, химводоочистка, ТЭС, утилизация, адсорбция, модель
05.14.14 - Тепловые электрические станции, их энергетические системы и агрегаты
Методом атомно-силовой микроскопии исследованы полимерэластомерные композиты на основе бутадиен-нитрильного каучука БНКС-18 и сверхвысокомолекулярного полиэтилена СВМПЭ, создаваемых для изготовления морозостойких уплотнений. Показан способ исследования переходного слоя с помощью метода измерения силы адгезии и анализа изображения фазового контраста. Обнаружена зависимость изменения силы адгезии на поверхности композита от фазового распределения компонентов. Проанализировано влияние дисперсного наполнителя на свойства межфазного слоя.
Ключевые слова: атомно-силовая микроскопия (АСМ), полимер, БНКС-18, СВМПЭ, адгезия
С помощью созданного программного обеспечения NeuroNADS была решена задача определения ступени и времени торможения при управлении замедлителями на тормозных позициях сортировочной горки. Приведены общая характеристика и основные этапы решения поставленной задачи. В результате сделаны выводы, что применение технологии ИНС является оправданным для решения поставленной задачи.
Ключевые слова: нейронные сети, нейроэмулятор, железные дороги, сортировочная горка, тормозная позиция
05.13.18 - Математическое моделирование, численные методы и комплексы программ
Рентгенографическим методом исследовано напряженное состояние нитроцементованных слоев стали 20Х3МВФ-ш после различных обработок. Предложена формула для учета поправки на разгрузку образцов при стравливании в случае, если распределение остаточных напряжений имеет сложный характер. Построены эпюры внутренних макронапряжений в нитроцементованных слоях. Показано, что остаточные напряжения изменяются от сжимающих на поверхности до растягивающих на границе слоя.
Ключевые слова: высокотемпературная нитроцементация, остаточные напряжения, рентгенографический анализ, стравливание, эпюры.
В статье рассматриваются проблемы и предпосылки строительства жилья для молодежи, уточнено понятие молодежный жилищный комплекс. Предложена методика социально-экономической эффективности инвестиций в строительство молодежных жилищных комплексов с точки зрения собственника, предусматривающего их последующую эксплуатацию, и с позиции инвестора, рассчитывающего на доходы от продажи помещений или сдачи в аренду. Данная методика направлена на выполнение отбора инвестиционных проектов и организацию их финансирования.
Ключевые слова: социально-экономическая эффективность; молодежный жилищный комплекс; жилищное строительство.
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
В статье рассматриваются инвестиционные операции кредитных организаций в ценные бумаги, как необходимая мера для диверсификации активов в период современного финансово-экономического кризиса с целью получения дохода при сохранении достаточной ликвидности. Подробно рассмотрены конкретные виды используемых ценных бумаг.
Ключевые слова: финансово-экономический кризис, кредитные организации, ценные бумаги, облигации, акции, доход, ликвидность, надежность.
Предлагается методика формирования малых рабочих групп ― экспертов, команд проекта ― на основе модели отношений в группе в виде знакового неориентированного графа. Формирование сбалансированной группы сводится к задаче линейного программирования, которая решается в среде MS Excel путем итеративного использования надстройки Поиск решения и модуля VBA до тех пор, пока не будет сформирована оптимальная группа, соответствующая требованиям математической модели баланса.
Ключевые слова: знаковые графы, модели, малая группа, критерии сбалансированности, алгоритм формирования, уровень компетентности, линейное программирование, MSexcel, язык VBA, оптимальная сбалансированная группа.
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
В статье рассматриваются сущность устойчивого развития региональной экономики. Проведен анализ основных социально-экономических показателей, доказана необходимость и эффективность применения механизмов достижения устойчивого развития на основе мер государственного воздействия, действующих вкупе с саморегулирующими рыночными процессами.
Ключевые слова: регион, региональная экономика, устойчивое развитие, социально-экономические показатели
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
В статье проведен анализ активности домохозяйств на рынке недвижимости, динамика платежеспособного спроса на объекты жилой недвижимости. Построена модель развития рынка жилой недвижимости с учетом сопряжения предложения и спроса, а также регулирующей функции цены, которая и устанавливает баланс между ними.
Предложена методика оценки объектов жилой недвижимости с учетом инвестиционных предпочтений, основываясь на стоимости 1м2, уровне дохода домохозяйств и с учетом потребительских качеств жилья.
Данная методика оценка позволяет дифференцировать потребности по степени экономической доступности и таким образом определить приоритетные направления развития строительной отрасли России.
Ключевые слова: активность домохозяйств, рынок недвижимости, объекты жилой недвижимости, платежеспособный спрос инвестиционные предпочтения, потребительские качеств жилья, оценка объектов жилой недвижимости.
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)