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

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

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

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

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