342 artigos
Este artigo introduz o conceito de número de Zarankiewicz duplo () para bipartidos com arestas simples e duplas, estabelecendo que ele fornece um limite inferior mais preciso para o posto de soma de quadrados (SOS) de formas biquadráticas e determinando seus valores exatos para diversos casos pequenos, como , superando assim as fronteiras anteriores conhecidas.
O artigo apresenta o U-OBCA, um método de planejamento de trajetória que utiliza restrições de chance distribucionalmente robustas baseadas em Wasserstein para lidar com incertezas em robôs e obstáculos poligonais, eliminando aproximações geométricas conservadoras e melhorando significativamente a eficiência de navegação em ambientes estreitos e clutterados.
Este artigo propõe o algoritmo NSGDA-M para resolver problemas de otimização minimax não convexos e estritamente côncavos sob condições de suavidade generalizada, demonstrando que ele encontra um ponto estacionário com complexidade de em avaliações de gradiente estocástico e validando sua eficácia em experimentos numéricos.
Este artigo apresenta um novo quadro teórico de controle ótimo estocástico que integra mecanismos feedforward e feedback para sistemas parcialmente observáveis, demonstrando que a co-contração muscular em humanos surge como uma adaptação ótima às demandas da tarefa e às incertezas sensoriais.
Este artigo propõe uma interpretação da Estabilidade Limite (Edge of Stability) através da suavidade direcional generalizada para normas não euclidianas, demonstrando experimentalmente que diversos otimizadores, incluindo descida de gradiente não euclidiana, exibem esse fenômeno de estabilização em torno de um limiar de curvatura definido pela geometria do espaço.
Este artigo apresenta um método para a síntese formal de controladores em sistemas estocásticos de estado contínuo que minimiza uma combinação linear do custo cumulativo e da entropia do sistema (medida pela divergência KL em relação à distribuição uniforme), garantindo limites rigorosos ao aproximar o sistema contínuo por discretizações finitas.
Este artigo propõe o algoritmo SOBASIP, uma extensão do método de descida de segunda ordem homogênea (HSODM) para otimização não linear com restrições de limites, que utiliza técnicas de escalonamento afim e homogeneização para alcançar uma complexidade global de O(ε⁻³/²) e convergência local superlinear.
O artigo propõe um algoritmo de Controle Preditivo Não Linear (NMPC) adaptativo e robusto baseado em tubos elipsoidais, que utiliza estimativa de parâmetros por conjunto de pertinência e linearização sucessiva para garantir o cumprimento de restrições, a viabilidade recursiva e a estabilidade em sistemas com parâmetros desconhecidos e distúrbios limitados.
Este trabalho demonstra a estabilização de fluxos em redes de canais abertos governados pelas equações de Saint-Venant com atrito, propondo uma nova função de Lyapunov que permite o controle ótimo apenas nos nós terminais e estabelece condições explícitas para os parâmetros de ajuste.
Este artigo aborda um problema de escalonamento em máquinas paralelas uniformes com duas opções de velocidade no contexto de otimização bilevel otimista, demonstrando sua NP-dificuldade forte e propondo um algoritmo de programação dinâmica, uma formulação MIP e um algoritmo branch-and-bound com geração de colunas para resolver instâncias de até 80 trabalhos e 4 máquinas.
Este artigo investiga problemas de otimização com restrições de desigualdades variacionais paramétricas em conjuntos móveis, demonstrando a continuidade Lipschitz da solução e a regularidade métrica automática, e propondo um Algoritmo de Gradiente Implícito Suavizado (SIGA) que converge para pontos estacionários e é validado empiricamente em gestão de carteiras.
Este artigo apresenta métodos para calcular exatamente o Gráfico Relativo Escalonado (SRG) de sistemas LTI discretos, tanto a partir de sua representação em espaço de estados quanto exclusivamente de dados de entrada-saída, incluindo uma versão robusta capaz de lidar com dados ruidosos.
Este artigo estabelece uma formulação integral equivalente à formulação diferencial padrão para processos de varredura prox-regulares em espaços de Hilbert, permitindo trajetórias de variação limitada e sets não convexos, e demonstra uma caracterização variacional do tipo Brézis-Ekeland-Nayroles que garante a estabilidade das soluções sob limites uniformes.
Este artigo introduz a otimização convexa como uma ferramenta eficaz para resolver o problema inverso de micromecânica em compósitos isotrópicos com inclusões esféricas, utilizando o modelo de Eshelby-Mori-Tanaka para determinar as frações volumétricas dos componentes a partir de suas constantes dielétricas e de condutividade.
Este artigo resolve duas questões em aberto ao provar que encontrar caminhos mais curtos em politopos simples e calcular seu diâmetro são problemas NP-difíceis, enquanto demonstra que é possível encontrar caminhos lineares em tempo polinomial através de formulações estendidas adequadas.
O artigo propõe um novo framework de otimização amortizada que combina pré-treinamento supervisionado com rótulos imperfeitos e refinamento auto-supervisionado para alcançar maior precisão e redução de custos em problemas complexos, demonstrando que apenas um número modesto de rótulos aproximados é necessário para posicionar o modelo em uma bacia de atração viável.
Este artigo apresenta um método de Newton multinível adaptativo que alterna automaticamente para o Newton completo ao atingir a fase de convergência quadrática, superando em eficiência e velocidade de convergência tanto o Gradiente Descendente quanto o método de Newton clássico e suas variantes multinível.
Este trabalho estende as garantias de rastreamento para desigualdades variacionais variantes no tempo, fornecendo limites para funções não monotônicas e sistemas periódicos, além de investigar a convergência e o comportamento caótico desses sistemas dinâmicos.
O artigo prova um teorema de superposição para a estabilidade entrada-saída (IOS) de uma ampla classe de sistemas não lineares de dimensão infinita, introduzindo novos conceitos de estabilidade e atratividade, generalizando resultados existentes para sistemas de dimensão finita e de estado completo, e ilustrando as desafios dessa extensão por meio de contraexemplos.
Este estudo desenvolve um modelo de fluxo de rede de duas camadas para otimizar o abastecimento de semicondutores, resultando em reduções significativas de custos e tempos de produção, além de aumentos substanciais na capacidade de transporte e armazenamento.