From the Guest Editor—Special Cluster on Operations Research in Electrical and Computer Engineering
Pourquoi ce travail est dans la base
Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.
Notice bibliographique
Résumé
My research in optimization at the Department of Systems and Computer Engineering at Carleton University has brought me into contact with researchers in the Department of Electronics, our sister department in the general field of Electrical and Computer Engineering (ECE), which has a major research thrust in computer-aided design (CAD) of very large scale integrated (VLSI) circuits. I have come to realize that the design of VLSI systems consists in large part of solving incredibly massive mixed-integer nonlinear optimization problems, together with enormous circuit simulations. This is impossible without the use of CAD techniques. Over time, ECE-CAD researchers have both borrowed useful standard techniques from operations research (OR) and have invented their own, often to deal with the sheer scale and complexity of the design problems they face. Interaction between the OR and ECE-CAD communities would seem to be a natural development. Coincidentally, the INFORMS Journal on Computing had an area entitled “High Performance Computation” that covered (i) the solution of OR problems using new computing technologies, (ii) the application of OR techniques in the design and use of highperformance computing and communication systems, and (iii) solution methods for ultra-large-scale OR applications. The viability of this area was debated during 2003 as some of its aspects migrated to other areas (e.g., the new “Telecommunications and Electronic Commerce” area), and the number of submissions declined. The area was eventually closed, although I argued that the overlap between OR and ECE-CAD, essentially covering items (ii) and (iii), was a very active research area. This Special Cluster of papers was conceived as a way to test that argument. I was recruited at the same time to prepare a tutorial on ECE-CAD for the 2004 INFORMS Annual Meeting (see John W. Chinneck, Michel Nakhla, and Q. J. Zhang 2004. Computer-aided design for electrical and computer engineering. H. J. Greenberg, ed. Tutorials on Emerging Methodologies and Applications in Operations Research. Springer, New York, 6-1 to 6-44). The preparation of the article reinforced my observation about the research overlap between OR and ECE-CAD. A search of the electrical engineering literature for 2000 through early 2004 turned up 46,725 papers mentioning “simulate” or “simulation” as keywords in the abstract, 14,216 papers mentioning “optimization” or “optimize,” and relatively smaller numbers for specific techniques such as “neural network” (6,251), “genetic algorithm” (2,603), “linear programming” (576), “simulated annealing” (448), and “branch and bound” (199). One surprise was the relatively small number of papers using the generic keywords “mathematical programming” (68) or “operations research” (37). The general conclusion of the tutorial article is that the OR and the ECE-CAD communities have much to offer each other. This is certainly the case for the papers gathered in this Special Cluster. We see known OR techniques adapted for use in ECECAD. In “Integer Linear Programming Models for Global Routing,” Behjat et al. apply integer linear programming in a heuristic to solve enormous NPhard connection routing problems for VLSI circuits. In “Task Scheduling in a Finite-Resource, Reconfigurable Hardware/Software Codesign Environment,” Loo and Wells use simulated annealing, genetic algorithms, and random search techniques to solve scheduling problems in hardware-software co-design. We also see new techniques specifically developed by the ECE-CAD community to deal with problems of extreme scale. In “A Projection-Based Reduction Approach to Computing Sensitivity of Steady-State Response of Nonlinear Circuits,” Pai et al. develop methods for sensitivity analysis in extremely large nonlinear programs, especially those in which the objective function is very costly to evaluate. The methods have special relevance for simulation-based
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Prédiction distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,002 | 0,000 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 0,000 |
| Bibliométrie | 0,000 | 0,001 |
| Études des sciences et des technologies | 0,001 | 0,000 |
| Communication savante | 0,001 | 0,000 |
| Science ouverte | 0,001 | 0,000 |
| Intégrité de la recherche | 0,000 | 0,001 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,000 | 0,000 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle