Информатика

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

В течение почти трех десятилетий было предложено большое количество формальных методов, их цель состоит в том, чтобы снизить стоимость строительства компьютерных систем и улучшить их качество. Неофициально, формальный метод - это математическая техника или инструмент, который полезен в разработке аппаратного или программного обеспечения. В последнее время формальные методы сыграли значительно активную роль в проектировании аппаратных средств. Все больше и больше компаний, которые продают микропроцессоры и аппаратные чипы, такие как Intel, IBM, и Motorola, используют инструменты на основе формальных методов, например, модели контроллеров [1] и программы автоматического доказательства теорем [2], для обнаружения дефектов в проектах.Формальные методы всѐ реже применяются в разработке программного обеспечения, однако в недавних случаях, были обнаружены ранее неизвестные дефекты в программах. Один из ярких примеров является результат исследований в SLAM проекта от Microsoft, в котором Болл и Раджамани разработали несколько формальных методов для автоматического обнаружения дефектов в драйверах устройств [3]. В 2006 году Microsoft выпустила Статическую проверку драйверов (SDV-Static Driver Verifier) [4] в рамках Windows Vista, SDV использует SLAM программную модель для проверки двигателя, выявляя драйверы устройств, нарушающие правила из набора правил интерфейса. Таким образом SDV помогает раскрыть дефекты в драйверах устройств.
2014

В настоящее время на рынке программных продуктов наблюдается большой рост количества разрабатываемого программного обеспечения (ПО). Существует множество десятков тысяч различного программного обеспечения, и далеко немногие программные продукты пользуются доверием у пользователей. Здесь имеет значение такое понятие, как конкурентоспособность продукта. Конкурентоспособность продукта, как известно, зависит от его качества.Следует отметить, что на сегодняшний день одним из самых эффективных методов решения данной проблемы является разработка стандартов, регламентирующих процесс проектирования качественного ПО. Применение стандартов в области инженерии программного обеспечения играет очень важную роль.Необходимо знать и понимать, что качество программного продукта является достаточно сложным понятием, трудным для определения. Традиционно продукт считается качественным, если полностью соответствует техническим требованиям. В идеале такое определение должно быть применимо ко всем продуктам, в том числе и к программному обеспечению, но здесь есть некоторые проблемы:
2014

Совершенствование существующей учебно-лабораторной базы и организация современного учебно-лабораторного комплекса (УЛК) для повышения качества образовательных услуг по реализации образовательной программы (ОП) инженерных специальностей предусмотрены в стратегии развития ЕНУ им. Л.Н. Гумилева и в планах реализации научных программ кафедры Информатики.В этих мероприятиях профессорско-преподавательский состав кафедры Информатики ведет широкий круг научных и методических исследовании по укреплению состава материально-технической базы выпускающей кафедры и выбора направления развития создаваемого учебно-лабораторного комплекса для успешного чтения многих дисциплин модульной образовательной программы специальности «Информатика»
2014

Основной целью работы является разработка информационной системы для водоемов Казахстана, включающей базы разнокачественных данных о водоеме и его экосистеме, средства управления данными и их обработки, а также комплекс математических моделей функционирования экосистемы водоема. В качестве объекта исследования были выбраны водоемы Щучинско-Боровской курортной зоны, значимые с точки зрения водопользования и рекреации и в то же время экологическое состояние этого региона остается достаточно сложным.Щучинско-Боровская курортная зона имеет большое рекреационное и туристическое значение. В то же время экологическое состояние этого региона является достаточно сложным. Превышающие ПДК в десятки раз загрязнения захватывают п. Боровое, основные комплексы рекреационных учреждений, фиксируются на побережье озер Бурабай, Щучье, Большое и Малое Чебачье и протягиваются вдоль автомагистралей. В результате безвозвратного забора воды на промышленные и питьевые нужды, распашки земель на склонах, вырубок леса в водосборной площади происходит смыв загрязняющих и органических веществ, что увеличивает процессы заиливания озер.
2014

Класс практических задач и областей, в которых решаются проблемы интерполяции, постоянно расширяется [1]. Математическое решение задач интерполяции тесно связано с компьютерной графикой, так как современные технические системы реализуются с использованием компьютеров и информационных технологий, и существует вопрос оперативного отображения интерполируемой графической информации на экранах мониторов, компактного хранения интерполируемой информации в памяти компьютера.Необходимость интерполяции возникает при обработке метеорологических данных, так как необходимо заполнение интервалов между отдельными выборками. обработка данных о сейсмической активности участков земной поверхности, получаемых с разных сейсмических станций с целью предупреждения землетрясений, также требует решения задачи интерполяции, так как все измерения производятся через определенные промежутки времени. Также интерполяция используется в астрономии, при измерении распределения температуры поверхности Солнца. Решение задачи интерполяции требуется и в медицине, при ультразвуковой томографии головного мозга, при обработке данных о распределениитемпературы, электрических потенциалов и других параметров на теле человека. Задача актуальна при осуществлении мониторинга биологических параметров человека, например,для достоверной оценки влияния различных лекарственных средств [2, 3, 4, 5].
2014

Данная статья посвящена разработке системы мониторинга температуры тригенерационной установки с применением беспроводной технологии ZigBee.В работе исследуется процесс тригенерации, лабораторный стенд тригенерационной установки, рассматриваются особенности существующих разновидностей беспроводной технологии, а также выбор и обоснование реализации сети на основе стандарта 802.15.4.Разработан интерфейс в среде графического программирования LabVIEW Real-Time [1] для беспроводного мониторинга температуры тригенерационной установки с использованием оборудованиея National Instruments. Ситуация с энергообеспечением в последнее время становится все более тревожной, прежде всего, в связи с тем, что действующие генерирующие мощности в значительной степени исчерпаны. Задача повышения экономической и экологической эффективности использования топлива с каждым годом приобретает все большую актуальность. Одна из стратегических линий развития мировой энергетики – это ориентация на альтернативные источники энергии [2].
2014