Výsledky vyhledávání - logic/ mixed-(integer OR interier) programming*

STL-based multi-agent motion planning for multiple tasks with complex logic.

Autoři: Zhang, Yi Shen, Qian Wu, Shufan a další

Zdroj: Acta Astronautica. Jan2026:Part A, Vol. 238, p568-579. 12p.

Témata: *MIXED integer linear programming, *ROBOTIC path planning, *PROCESS optimization, *LOGIC, *MULTIAGENT systems, *DRONE aircraft, *CONSTRAINT satisfaction

Mixed logical dynamical modeling and model predictive control of piecewise affine systems with dead zone constraints.

Autoři: Cai, Xu Zhang, Xin Lou, Xuyang a další

Zdroj: International Journal of Robust & Nonlinear Control. 5/10/2025, Vol. 35 Issue 7, p2816-2834. 19p.

Témata: *PIECEWISE affine systems, *LINEAR programming, *PREDICTION models, *LOGIC

Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints.

Autoři: Cardona, Gustavo A. Vasile, Cristian-Ioan

Zdroj: International Journal of Robotics Research. Nov2024, Vol. 43 Issue 13, p2089-2111. 23p.

Témata: *MIXED integer linear programming, *ROBOT dynamics, *TRANSPORTATION planning, *FORMAL languages, *ROBOTS

Iterative Rule Extension for Logic Analysis of Data: An MILP-Based Heuristic to Derive Interpretable Binary Classifiers from Large Data Sets.

Autoři: Balvert, Marleen^1,2 (AUTHOR) m.balvert@tilburguniversity.edu

Zdroj: INFORMS Journal on Computing. May/Jun2024, Vol. 36 Issue 3, p723-741. 19p.

Témata: *BIG data, *MIXED integer linear programming, *RECEIVER operating characteristic curves, *DATA analysis, *LOGIC

Geografický termín: IRELAND

Optimizing Aircraft Weight and Balance for Two‐Leg Flight Operations.

Autoři: Zhao, Xiangling Dong, Yun Yuan, Yuan

Zdroj: Naval Research Logistics. Aug2025, p1. 28p. 25 Illustrations.

Témata: *RESOURCE allocation, MIXED integer linear programming, UNITIZED cargo systems, CENTER of mass

Logic-based Benders decomposition approaches for the distributed heterogeneous precast production scheduling problem with eligibility constraints and controllable processing times.

Autoři: Xiong, Fuli Ping, An Wu, Muming a další

Zdroj: Expert Systems with Applications. Feb2026:Part A, Vol. 297, pN.PAG-N.PAG. 1p.

Témata: *PRODUCTION scheduling, *MIXED integer linear programming, *CONSTRAINT programming, *MATRIX decomposition, *INDUSTRIALIZED building, *RESOURCE allocation, *SCHEDULING

A hierarchical integrated exact algorithm for multi-level capacitated arc routing problem in waste collection.

Autoři: Wei, Chenge Che, Ada Xue, Li

Zdroj: Transportation Research Part E: Logistics & Transportation Review. Dec2025, Vol. 204, pN.PAG-N.PAG. 1p.

Témata: *WASTE management, *EMPIRICAL research, *MOTOR vehicle fleets, *MATHEMATICAL optimization, MIXED integer linear programming, BRANCH & bound algorithms, DECOMPOSITION method, VEHICLE routing problem

Optimisation-based process synthesis of emerging reaction pathways for bio-based polymers and monomers : an effective mixed integer linear programming approach

Autoři: Kong, Qingyuan Shah, Nilay

Přispěvatelé: Kong, Qingyuan Shah, Nilay

Témata: 668.9

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.769658

Integrated batch process development based on mixed-logic dynamic optimization

Autoři: Moreno Benito, Marta

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Química

Thesis Advisors: Espuña, Antonio

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/145068
https://dx.doi.org/10.5821/dissertation-2117-95325

Logic-based benders decomposition methods for the distributed flexible job shop scheduling problem.

Autoři: Xiong, Fuli Liu, Hengchong

Zdroj: European Journal of Operational Research. Mar2026, Vol. 329 Issue 3, p778-797. 20p.

Témata: *PRODUCTION scheduling, *MATHEMATICAL optimization, *MATHEMATICAL programming, *RESOURCE allocation, MIXED integer linear programming, CONSTRAINT programming, BENCHMARK problems (Computer science), DECOMPOSITION method

Stereo: Assignment and Scheduling in MPSoC Under Process Variation by Combining Stochastic and Decomposition Approaches.

Autoři: Khodabandeloo, Behnam Khonsari, Ahmad Behnam, Payman a další

Zdroj: IEEE Transactions on Computers. Nov2022, Vol. 71 Issue 11, p2940-2954. 15p.

Témata: *SCHEDULING, STEREO vision (Computer science), MIXED integer linear programming, ELECTRONIC design automation

A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form

Autoři: Pavlis, Yannis Recker, Will

Zdroj: Transportation Science, 2009 Feb 01. 43(1), 98-116.

Přístupová URL adresa: https://www.jstor.org/stable/25769435

Robust parallel machine selection and scheduling with uncertain release times.

Autoři: Hu, Linyuan Zhang, Yuli Wen, Muyang a další

Zdroj: European Journal of Operational Research. Dec2025, Vol. 327 Issue 3, p838-856. 19p.

Témata: *PARALLEL processing, *SCHEDULING, *TIME management, ROBUST optimization, MIXED integer linear programming, DECOMPOSITION method

A framework for solving mixed-integer semidefinite programs.

Autoři: Gally, Tristan Pfetsch, Marc E. Ulbrich, Stefan

Zdroj: Optimization Methods & Software. Jun2018, Vol. 33 Issue 3, p594-632. 39p.

Témata: *SEMIDEFINITE programming, *MIXED integer linear programming, *DUALITY (Logic), *HEURISTIC, *HEURISTIC algorithms

Mixed integer linear programming formulations for probabilistic constraints

Autoři: Vielma, J.P. Ahmed, S. Nemhauser, G.L.

Zdroj: Operations Research Letters. May2012, Vol. 40 Issue 3, p153-158. 6p.

Témata: *OPERATIONS research, *MATHEMATICAL analysis, *INDUSTRIAL engineering, MIXED integer linear programming, DISJUNCTION (Logic)

A Constrained Planning Method: Considering Storage Space Limitations and Soft Logic for Cruise Cabin Assembly Scheduling.

Autoři: Li, Jinghua Huang, Wenhao Song, Dening a další

Zdroj: Journal of Construction Engineering & Management. Aug2025, Vol. 151 Issue 8, p1-14. 14p.

Témata: *CONSTRAINT programming, *LINEAR programming, *BUILDING sites, *TALL buildings, *PARALLEL processing

Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS.

Autoři: Chen, Gang Kong, Zhaodan Xie, Longhan

Zdroj: International Journal of Control. Dec2024, Vol. 97 Issue 12, p2935-2950. 16p.

Témata: *SEMIDEFINITE programming, *LINEAR systems, *FORMAL languages, *SATISFACTION, *PARTICIPATORY design

Optimal plate design problem in steel production.

Autoři: Zhao, Shengnan Meng, Ying Su, Lijie a další

Zdroj: International Journal of Production Research. Mar2023, Vol. 61 Issue 5, p1575-1590. 16p. 4 Diagrams, 6 Charts.

Témata: *NONLINEAR programming, *INTEGER programming, *HEURISTIC, HEURISTIC algorithms, STEEL

Distributed mixed-integer fuzzy hierarchical programming for municipal solid waste management. Part I: System identification and methodology development.

Autoři: Cheng G Huang G Dong C a další

Zdroj: Environmental science and pollution research international [Environ Sci Pollut Res Int] 2017 Mar; Vol. 24 (8), pp. 7236-7252. Date of Electronic Publication: 2017 Jan 18.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Springer Country of Publication: Germany NLM ID: 9441769 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1614-7499 (Electronic) Linking ISSN: 09441344 NLM ISO Abbreviation: Environ Sci Pollut Res Int Subsets: MEDLINE

Výrazy ze slovníku MeSH: Fuzzy Logic* , Models, Theoretical* , Solid Waste*, Waste Management/*methods, Beijing ; Nonlinear Dynamics

V\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {V}$$\end{document}-polyhedral disjunctive cuts.

Autoři: Balas, Egon Kazachkov, Aleksandr M.

Zdroj: Mathematical Programming. May2025, p1-31.

Témata: *MIXED integer linear programming, *MATHEMATICAL optimization, *DISJUNCTION (Logic), *MATHEMATICAL inequalities, *MATHEMATICAL models