Все выпуски

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

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

Рассматривается новое конструктивное понимание логических формул, согласованное с интуицией и с традиционными средствами конструктивного логического вывода. Новое понимание логически проще традиционной реализуемости (в смысле кванторной глубины), но является также естественным с точки зрения алгоритмического решения задач. Это понимание, кроме свидетельства (реализации, подтверждения) понимаемой формулы, привлекает понятия теста (противодействия, препятствия) этой реализации на данной формуле. Для понимания формулы $A$ рассматриваются предложения вида $a:A:b.$ Это предложение означает, что объект $a$ (выдвигаемый в подтверждение формулы $A$) выигрывает у объекта $b$ (который противодействует выполнению формулы $A$) формулу $A$ в процессе осуществления специальной процедуры сопоставления этих объектов друг с другом и с данной формулой. Данная процедура может считаться некоторой процедурой арбитража для вынесения необходимого решения. Базис процедуры арбитража для атомарных формул задается интерпретацией языка. Процедура для сложных предложений задается специальными правилами определения смысла логических связок. При наиболее естественном определении процедура арбитража имеет полиномиальную временную сложность. Формула $A$ считается истинной в новом смысле этого слова, если имеется подтверждение, выигрывающее ее у всех возможных противодействий. Рассматривается логический язык без отрицаний. Доказана теорема о корректности в новом смысле традиционных интуиционистских аксиом и правил вывода. При этом рассматривается секвенциальное логическое исчисление, ориентированное на обратный метод поиска вывода.

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

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