Biquadratic SOS Rank and Double Zarankiewicz Number
본 논문은 이차형식의 최대 SOS 랭크 하한을 개선하기 위해 일반 -사이클을 포함하지 않는 일반화된 이분 그래프를 기반으로 한 '이중 자란키에비치 수' 을 정의하고, 이를 통해 기존 하한을 넘어선 새로운 하한을 제시하며 $4\times45\times3$ 등 다양한 매개변수에 대한 정확한 값을 구하거나 범위를 설정합니다.
342 편의 논문
본 논문은 이차형식의 최대 SOS 랭크 하한을 개선하기 위해 일반 -사이클을 포함하지 않는 일반화된 이분 그래프를 기반으로 한 '이중 자란키에비치 수' 을 정의하고, 이를 통해 기존 하한을 넘어선 새로운 하한을 제시하며 $4\times45\times3$ 등 다양한 매개변수에 대한 정확한 값을 구하거나 범위를 설정합니다.
본 논문은 불확실성 하에서 다각형 로봇과 장애물 간의 충돌 위험을 명시적으로 고려하여 기존 방법의 과도한 보수성을 완화하고 협소한 환경에서의 항법 효율성을 향상시키는 'U-OBCA'라는 새로운 최적화 기반 충돌 회피 프레임워크를 제안합니다.
이 논문은 립시츠 매끄러움 가정을 완화한 일반화된 매끄러움 조건 하에서 비볼록 - 강하게 오목한 미니맥스 최적화 문제를 해결하기 위해 NSGDA-M 알고리즘을 제안하고, 이 알고리즘이 기대값 및 고확률 하에서 -정상점을 찾는 수렴성을 증명하며 분포적 강건 최적화 실험을 통해 그 유효성을 입증합니다.
이 논문은 부분 관측 가능하고 확률적이며 비선형인 고차원 시스템의 최적 제어 정책을 유도하기 위해 피드백 불확실성과 지연을 명시적으로 고려한 새로운 확률적 최적 피드포워드 - 피드백 제어 프레임워크를 제안하며, 이를 인간 신경근역학에 적용하여 근육의 공수축이 감각운동 시스템의 특성에 따른 최적 적응임을 입증합니다.
이 논문은 방향성 매끄러움 (Directional Smoothness) 개념을 비유클리드 노름으로 확장하여 일반화된 날카로움 (sharpness) 지표를 정의함으로써, 다양한 옵티마이저에서도 안정성 한계 (Edge of Stability) 현상이 보편적으로 관찰됨을 이론적으로 해석하고 실험적으로 입증합니다.
이 논문은 연속 상태 확률 시스템의 엔트로피와 제어 성능을 동시에 고려하여, 이산화 오차에 대한 새로운 경계와 기존 형식적 추상화 기법을 결합해 예측 가능성과 제어 목표를 균형 있게 달성하는 형식적 엔트로피 규제 제어 방법을 제안합니다.
본 논문은 제약 없는 최적화 문제를 위해 제안된 이차 순서 하강 방법 (HSODM) 을 확장하여, 아핀 스케일링 내부점 기법을 기반으로 한 새로운 알고리즘 (SOBASIP) 을 제안하고, 이 알고리즘이 -근사 2 차 정류점을 찾는 전역 반복 복잡도 를 가지며 국소적으로 초선형 수렴함을 이론적으로 증명하고 수치 실험을 통해 그 성능을 입증합니다.
본 논문은 선형화 오차, 모델 오차 및 외란을 타원체 집합으로 포괄하여 제약 조건을 만족하고 재귀적 실현 가능성 및 안정성을 보장하는 계산 효율적인 강건 적응 비선형 모델 예측 제어 (NMPC) 알고리즘을 제안합니다.
이 논문은 마찰 항으로 인해 비균일 정상상태를 갖는 성형 및 트리형 개수로 네트워크의 경계 안정화 문제를 해결하기 위해, 기존 리아푸노프 함수를 대체할 새로운 효율적인 리아푸노프 함수를 구성하고 단말 노드에서의 최적 개수 제어만으로 시스템을 안정화하는 조건을 제시합니다.
이 논문은 산업 4.0 맥락에서 최적화적 이레벨 최적화 문제를 다루며, 두 가지 속도 옵션이 있는 균일 병렬 머신 스케줄링에서 리더는 지체된 작업의 가중치 합을, 팔로워는 총 완료 시간을 각각 최소화하는 문제를 제시하고, 이를 Numerical 3-Dimensional Matching 문제로부터의 환원을 통해 강한 NP-난해성임을 증명하고 동적 계획법, MIP 형식화, 열 생성을 내장한 분기 한정법으로 해결하는 알고리즘을 제안합니다.
이 논문은 이동 집합 상의 매개변수 변분부등식 제약조건을 가진 최적화 문제의 해 존재성, 리프시츠 연속성 및 정류점 특성을 분석하고, 매끄러운 근사를 기반으로 한 SIGA 알고리즘을 제안하여 포트폴리오 관리 실증 데이터를 통해 그 효율성을 입증합니다.
이 논문은 선형 행렬 부등식을 이용해 상태 공간 표현으로부터 이산 시간 LTI 시스템의 스케일드 리레이티브 그래프 (SRG) 를 정확히 계산하는 방법을 제시하고, 입력 - 출력 데이터와 잡음이 있는 궤적로부터도 SRG 를 데이터 기반으로 추정하는 새로운 접근법과 이를 포함하는 강건한 SRG 버전을 제안합니다.
이 논문은 불연속성을 가진 균일하게 근접-정규 집합에 의해 구동되는 힐베르트 공간의 스위핑 프로세스에 대해 새로운 적분 형식을 도입하고 이를 미분-측도 형식과 동등함을 증명하며, 브레지스-에켈랑드-네이롤스 유형의 변분 원리를 확립하여 비볼록 환경에서의 안정성과 근사 분석을 위한 통합된 변분적 틀을 제시합니다.
이 논문은 구형 입자를 포함하는 등방성 복합재료의 유전 상수로부터 구성 성분의 부피 분율을 결정하는 역 미시역학 문제를 에셸비 - 모리 - 타나카 모델을 기반으로 선형 프로그래밍을 활용한 볼록 최적화 기법으로 해결하고, 측정 노이즈 및 분산성 재료와의 관계를 분석합니다.
이 논문은 단순 다면체에서 선형 계획법의 최적해로 가는 최단 단조 경계 및 최단 피벗 시퀀스 계산이 NP-난해임을 증명하여 관련 오픈 문제를 해결하고, 다면체의 지름 계산의 NP-난해성을 입증한 반면, 특정 확장 형식을 통해 다항 시간 내에 경로를 찾을 수 있음을 보여줍니다.
이 논문은 고비용의 정밀 레이블에 의존하지 않고 저비용의 불완전한 레이블로 모델을 초기화한 후 자기지도 학습을 통해 정제하는 3 단계 프레임워크를 제안하여, 최적화 및 시뮬레이션 문제 해결 시 수렴 속도와 정확도를 향상시키고 오프라인 비용을 최대 59 배까지 절감하는 방법을 제시합니다.
이 논문은 초기 단계에서는 느릴 수 있는 뉴턴법의 한계를 극복하고, 최적점 부근에서 이차 수렴을 보장하는 적응형 멀티레벨 뉴턴 방법을 제안하여 1 차 및 기존 2 차 최적화 알고리즘보다 우수한 성능을 입증했습니다.
이 논문은 단조성이 보장되지 않거나 하위 선형 해 경로를 갖지 않는 주기적 시간 변화 변분 부등식에 대한 추적 한계를 제시하고, 주기적 시간 변화 변분 부등식의 이산 동역학 시스템이 혼돈을 보이거나 해로 수렴할 수 있음을 증명하며 실험을 통해 이를 검증합니다.
이 논문은 무한차원 비선형 시스템의 입력 - 출력 안정성 (IOS) 에 대한 초월 정리 (superposition theorem) 를 증명하고, 이를 위해 새로운 안정성 개념들을 도입하며 기존 유한차원 및 상태 기반 결과들을 일반화하고 반례를 통해 확장의 어려움을 규명합니다.
이 논문은 반도체 웨이퍼 공급망의 자원 할당과 물류 최적화를 위해 확률적 특성을 반영한 네트워크 흐름 모델을 개발하여 생산 비용과 시간을 20% 절감하고 자원 활용도를 23% 향상시키는 등 공급망 효율성을 크게 개선했음을 보여줍니다.