Hardware design of a multiconverter for hybrid vehicle applications

Hybridiajoneuvosovellukset vaativat usein sekä korkea- että matalajännitejärjestelmän. Korkeajännitejärjestelmä sisältää yleensä energiavaraston, joka on joko superkondansaattori tai korkeajänniteakusto, dieselgeneraattorin tai range extenderin ja ajokäytön. Korkeajännitejärjestelmään liitetään usein myös erilaisia apukäyttöjä kuten kompressoreita ja hydraulipumppuja. Matalajännitejärjelmä koostuu yleensä ohjausyksiköistä, ajovaloista, yms. laitteista. Perinteisesti matalajännitejärjestelmää on syötetty dieselmoottorin laturista, mutta korkeajännitejärjestelmien myötä DC/DC-hakkurin käyttäminen korkea- ja matalajännitejärjestelmien välillä on herättänyt kiinnostusta, koska tällöin laturin voisi poistaa ja matalajänniteakustoa pienentää. Tässä työssä kuvatun monilähöisen tehonmuokkaimen invertterisilta soveltuu apukäyttöjen ajamiseen, ja erotettu DC/DC-hakkuri matalajännitejärjestelmän syöttämiseen. Tässä työssä käydään läpi edellä mainitun tehonmuokkaimen suunnittelu, keskittyen eritoten laitteen korkeajänniteosien mitoitukseen ja termiseen suunniteluun. DC/DC-hakkurin osalta perinteisiä piistä valmistettuja IGBT transistoreja vertaillaan piikarbidi MOSFET transistoreihin. Lämpömallilaskujen paikkaansapitävyyttä tutkitaan suorittamalla prototyyppilaitteelle hyötysuhdemittaus, jonka tuloksia verrataan laskettuihin tuloksiin. Lämpömallin parannusmahdollisuuksia käsitellään myös hyötysuhdemittauksen tulosten perusteella.

STRUCTURAL ANALYSIS, LAYER THICKNESS MEASUREMENTS AND MINERALOGICAL INVESTIGATION OF THE LARGE INTERIOR LAYERED DEPOSIT WITHIN GANGES CHASMA, VALLES MARINERIS, MARS

The interior layered deposit (ILD) in Ganges Chasma, Valles Marineris, is a 4.25 km high mound that extends approximately 110 km from west to east. The deposition, deformation, and erosion history of the Ganges ILD records aids in identifying the processes that formed and shaped the Chasma. To interpret structural and geomorphic processes acting on the ILD, multiple layer attitudes and layer thickness transects were conducted on the Ganges ILD. Mineralogical data was analyzed to determine correlations between materials and landforms. Layer thickness measurements indicate that the majority of layers are between 0.5 m and 4 m throughout the ILD. Three major benches dominate the Ganges ILD. Layer thicknesses increase at the ILD benches, suggesting that the benches are formed from the gradual thickening of layers. This indicates that the benches are depositional features draping over basement topography. Layer attitudes indicate overall shallow dips generally confined to a North-South direction that locally appear to follow bench topography. Layering is disrupted on a scale of 40 m to 150 m in 12 separate locations throughout the ILD. In all locations, underlying layering is disturbed by overlying folded layers in a trough-like geometry. These features are interpreted to have formed as submarine channels in a lacustrine setting, subsequently infilled by sediments. Subsequently, the channels were eroded to the present topography, resulting in the thin, curved layering observed. Data cannot conclusively support one ILD formation hypothesis, but does indicate that the Ganges ILD postdates Chasma formation. The presence of water altered minerals, consistently thin layering, and layer orientations provide strong evidence that the ILD formed in a lacustrine setting.

Community Detection in Multi-Layer Networks

In the scope of the current thesis we review and analyse networks that are formed by nodes with several attributes. We suppose that different layers of communities are embedded in such networks, besides each of the layers is connected with nodes' attributes. For example, examine one of a variety of online social networks: an user participates in a plurality of different groups/communities – schoolfellows, colleagues, clients, etc. We introduce a detection algorithm for the above-mentioned communities. Normally the result of the detection is the community supplemented just by the most dominant attribute, disregarding others. We propose an algorithm that bypasses dominant communities and detects communities which are formed by other nodes' attributes. We also review formation models of the attributed networks and present a Human Communication Network (HCN) model. We introduce a High School Texting Network (HSTN) and examine our methods for that network.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont. A. Jeffrey says that he will be able to supply Mr. Woodruff with glass and iron pipe, June 7, 1875.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont. regarding breakage and freight, June 23, 1875.

Receipt from A. Jeffrey importer of Hardware, Iron, Steel, Nails and etc

Receipt from A. Jeffrey importer of Hardware, Iron, Steel, Nails and etc. regarding payment received on glass panes, Nov. 12, 1875.

Receipt from Pratt and Company for hardware

Receipt from Pratt and Company for hardware, Aug. 22, 1876.

Receipt from W.J. McCalla, Groceries, Hardware, Paints and Oils, St. Catharines

Receipt from W.J. McCalla, Groceries, Hardware, Paints and Oils, St. Catharines for groceries and cutlery, March 21, 1887.

Receipt from A. Jeffrey, Hardware, St. Catharines

Receipt from A. Jeffrey, Hardware, St. Catharines for hardware items, April 1, 1887.

Aplicación de conceptos de desarrollo organizacional, planeación estratégica y reingeniería en el departamento de soporte técnico de una empresa comercializadora de software y hardware.

Tesis (Maestro en Ciencias de la Administración con Especialidad en Relaciones Industriales) UANL, 2010.

La monnaie en droit : nature d'une abstraction outre fondée : essai dialectique et logique sur la dualité dans la catégoricité juridique et sur l'abstraction d'hérédité monétaire

"Thèse présentée à la Faculté des études supérieures en vue de l'obtention du grade de Docteur en droit (LL.D.)"

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.