Search

The combinatorial nature of powertrain system design problems challenges system engineers as powertrain components can be interconnected, sized, and controlled in numerous ways. Hence, finding promising candidates considering, e.g., fuel economy, drivability, and complexity requires a systematic approach. A dedicated and novel framework for computational design synthesis is, therefore, presented in this paper. The underlying aim of this framework is to enable full-automated powertrain system optimization over multiple system layers, including topology selection, component sizing, and optimal control, and follows the principles of platform-based design. Based on a library of components, system topologies are automatically generated by solving a constraint satisfaction problem. Meanwhile, constraints originating from customers' requirements, application-specific design rules, and physical laws are respected. Furthermore, the topology generation can be applied to hierarchical decomposed systems on multiple system levels in order to reach the full potential of system design. Using a relevant automotive use case, it is demonstrated that possible topologies for powertrains equipped with a complex continuously variable transmission are automatically synthesized. Next, simulation-based evaluation (automated physical modeling and filtering) of these candidates by this framework results in a set of feasible topologies, satisfying the required functionality and physical constructibility. Along with this topology evaluation phase, a control-actuation scheme and an initial set of feasible component parameters are obtained that are required for full-automated multilayer optimization, which is seen as the next novel future step. The presented framework leads to novel and innovative powertrain and transmission designs with a total amount of 635 feasible transmission topologies based on maximum 13 components, whereas the overall time required to generate and evaluate all initial possible candidates (2.5 10 27) is relatively short, i.e., 5.5 and 20 h, respectively.

Contributions of this PHD take place on computer science research on complex systems, specifically in efficient andreproducible execution of large multi-agent simulations in a parallel and distributed high performance cluster type of context(HPC) systems. We are particularly interested in the design of models to facilitate their distribution, synchronization ofdistributed components and communication between agents. In this context, we are particularly interested in the designof models to facilitate their distribution, synchronization of distributed components and communication between agents.The first contribution of this thesis is the qualitative and quantitative comparison of the main parallel and distributedmulti-agent platforms targeting large scale simulations in a high performance environment. This work identified limitationsof existing platforms, mainly communication between agents, synchronization and the distribution of the load which isinflexible. To offer more flexibility in the distribution of simulations, we propose a modeling formalism based nested graphsallowing us to decompose and distributed simulations using powerful libraries. We then conducted a study on the impactof synchronization in PDMAS, proposing three different synchronization policies to provide modelers a level of resolutionadapted to the various synchronization problems. Finally, we define a communication schema between all entities thatmake up a simulation regardless of the process on which entities are running.These contributions are combined in a parallel multi-agent platform called FractalPMAS. This platform is a proof of conceptand allowed us to implement our different contributions to observe and compare the behavior of our algorithms. To validatethis work three recognized agents model, the predator-prey model, the Flocking model and contamination model wereused. We performed simulations using up to 512 cores and the results obtained, in terms of performance and scalabilityare promising.; Les travaux de cette thèse s’inscrivent dans le domaine des systèmes complexes et s’intéressent plus particulièrement à l’exécution efficace et reproductible de simulations multi-agents de grande taille dans un contexte parallèle et distribué de haute performance de type cluster (HPC). Dans ce contexte, nous nous intéressons plus particulièrement à la conception des modèles pour faciliter leur distribution, à la synchronisation des composants distribués et à la communication entre agents. La première contribution de cette thèse est la comparaison qualitative et quantitative des principales plateformes multi-agents parallèles et distribués qui ciblent les simulations à large échelle dans un environnement haute performance.Ce travail a permis d’identifier les limites ou manques des plateformes existantes, majoritairement la communication entre les agents, la synchronisation ainsi que la distribution de la charge peu flexible. Pour offrir plus de flexibilité à la distribution des simulations, nous proposons un formalisme de modélisation à base de graphes imbriqués qui nous permet de tirer parti de librairies performantes pour décomposer et distribuer les simulations. Nous avons ensuite effectué une étude sur l’impact de la synchronisation dans les PDMAS, en proposant trois politiques de synchronisation différentes afin de fournir aux modélisateurs un niveau de résolution adapté aux différents problèmes de synchronisation. Pour finir, nous définissons un schéma de communication entre toutes les entités qui composent une simulation indépendamment du processus sur lequel les entités s’exécutent. Ces propositions sont réunies au sein d’une plateforme multi-agents parallèle appelée FractalPMAS. Cette plateforme est une preuve de concept qui nous a permis de mettre en œuvre nos différentes contributions afin d’observer et de comparer les comportements de nos algorithmes. Pour valider ce travail trois modèles agents reconnus, le modèle proie-prédateur, le modèle Flocking et un modèle de contamination, ont été utilisés. Nous avons réalisé des simulations utilisant jusqu’à 512 cœurs et les résultats obtenus, en termes de performances et d’extensibilité, s’avèrent prometteurs.

Spektralna teorija grafova je grana matematike koja je nastala pedesetih godina pro²log veka i od tada se neprestano razvija. Njen zna£aj ogleda se u brojnim primenama, naro£ito u hemiji, zici, ra£unarstvu i drugim naukama. Grane matematike, kao ²to su linearna algebra i, posebno, teorija matrica imaju vaºnu ulogu u spektralnoj teoriji grafova. Postoje razli£ite matri£ne reprezentacije grafa. Najvi ²e su izu£avane matrica susedstva grafa i Laplasova (P.S. Laplace) matrica, a zatim i Zajdelova (J.J. Seidel) i takozvana nenegativna Laplasova matrica. Spektralna teorija grafova u su²tini uspostavlja vezu izme u strukturalnih osobina grafa i algebarskih osobina njegove matrice, odnosno razmatra o kojim se strukturalnim osobinama (kao ²to su povezanost, bipartitnost, regularnost i druge) mogu dobiti informacije na osnovu nekih svojstava sopstvenih vrednosti njegove matrice. Veliki broj dosada²njih rezultata iz ovog ²irokog polja istraºivanja moºe se na¢i u slede¢im monograjama: [20], [21], [23] i [58]. Disertacija sadrºi originalne rezultate dobijene u nekoliko podoblasti spektralne teorije grafova. Ti rezultati izloºeni su u tri celine glave, od kojih je svaka podeljena na poglavlja, a neka od njih na potpoglavlja. Na po£etku svake glave, u posebnom poglavlju, formulisan je problem koji se u toj glavi razmatra, kao i postoje¢i rezultati koji se odnose na zadati problem, a neophodni su za dalja razmatranja. U ostalim poglavljima predstavljeni su originalni rezultati, koji se nalaze i u radovima [3], [4], [47], [48], [49], [50], [51] i [52]. U prvoj glavi razmatra se druga sopstvena vrednost regularnih grafova. Postoji dosta rezultata o grafovima £ija je druga po veli£ini sopstvena vrednost ograni£ena odozgo nekom (relativno malom) konstantom. Posebno, druga sopstvena vrednost ima zna£ajnu ulogu u odre ivanju strukture regularnih grafova. Poznata je karakterizacija regularnih grafova koji imaju samo jednu pozitivnu sopstvenu vrednost (videti [20]), a razmatrani su i regularni grafovi sa osobinom 2 ≤ 1 (videti [64]). U okviru ove disertacije pro²iruju se rezultati koji se nalaze u radu [64], a predstavljaju se i neki op²ti rezultati koji se odnose na vezu odre enih spektralnih i strukturalnih osobina regularnih nebipartitnih grafova bez trouglova... Spectral graph theory is a branch of mathematics that emerged more than sixty years ago, and since then has been continuously developing. Its importance is reected in many interesting and remarkable applications, esspecially in chemistry, physics, computer sciences and other. Other areas of mathematics, like linear algebra and matrix theory have an important role in spectral graph theory. There are many dierent matrix representations of a given graph. The ones that have been studied the most are the adjacency matrix and the Laplace matrix, but also the Seidel matrix and the so-called signless Laplace matrix. Basically, the spectral graph theory establishes the connection between some structrural properties of a graph and the algebraic properties of its matrix, and considers structural properties that can be described using the properties of the eigenvalues of its matrix. Systematized former results from this vast eld of algebraic graph theory can be found in the following monographs: [20], [21], [23] i [58]. This thesis contains original results obtained in several subelds of the spectral graph theory. Those results are presented within three chapters. Each chapter is divided into sections, and some sections into subsections. At the beginning of each chapter (in an appropriate sections), we formulate the problem considered within it, and present the existing results related to this problem, that are necessary for further considerations. All other sections contain only original results. Those results can also be found in the following papers: [3], [4], [47], [48], [49], [50], [51] and [52]. In the rst chapter we consider the second largest eigenvalue of a regular graph. There are many results concerning graphs whose second largest eigenvalue is upper bounded by some (relatively small) constant. The second largest eigenvalue plays an important role in determining the structure of regular graphs. There is a known characterization of regular graphs with only one positive eigenvalue (see [20]), and regular graphs with the property 2 ≤ 1 have also been considered (see [64]). Within this thesis we extend the results given in [64], and we also present some general results concerning the relations between some structural and spectral properties of regular triangle-free graphs...

LMNtalは階層グラフ書き換えに基づく言語モデルであり、さまざまな計算モデルの統合を目指すモデルである。そのような言語的特性を生かし、本論文ではLMNtalをセキュリティプロトコルの検証に用いることにした。LMNtalで検証するにあたって、セキュリティプロトコルで多用されるグローバルな値を表現しやすくするために、hyperlinkを導入し、HyperLMNtalという言語モデルに拡張した。さらに、その上でnondeterministic LMNtalを定義し、セキュリティプロトコルを有限状態の書き換え系として扱うことによって検証する方法を提案した。本論文では実際のセキュリティプロトコルであるNeedham-Schroderプロトコルをはじめ、いくつかのプロトコルに対して拡張されたLMNtalで実際に記述できることを確認し、Loweらによって指摘された脆弱性を検証できることを確認した。, 修士論文