Echo-time independent signal modulations for strongly coupled systems in triple echo localization schemes: an extension of S-PRESS editing.

The double spin-echo point resolved spectroscopy sequence (PRESS) is a widely used method and standard in clinical MR spectroscopy. Existence of important J-modulations at constant echo times, depending on the temporal delays between the rf-pulses, have been demonstrated recently for strongly coupled spin systems and were exploited for difference editing, removing singlets from the spectrum (strong-coupling PRESS, S-PRESS). A drawback of this method for in vivo applications is that large signal modulations needed for difference editing occur only at relatively long echo times. In this work we demonstrate that, by simply adding a third refocusing pulse (3S-PRESS), difference editing becomes possible at substantially shorter echo times while, as applied to citrate, more favorable lineshapes can be obtained. For the example of an AB system an analytical description of the MR signal, obtained with this triple refocusing sequence (3S-PRESS), is provided.

Probabilistic maximal covering location-allocation models with constrained waiting time or queue length for congested systems

When dealing with the design of service networks, such as healthand EMS services, banking or distributed ticket selling services, thelocation of service centers has a strong influence on the congestion ateach of them, and consequently, on the quality of service. In this paper,several models are presented to consider service congestion. The firstmodel addresses the issue of the location of the least number of single--servercenters such that all the population is served within a standard distance,and nobody stands in line for a time longer than a given time--limit, or withmore than a predetermined number of other clients. We then formulateseveral maximal coverage models, with one or more servers per service center.A new heuristic is developed to solve the models and tested in a 30--nodesnetwork.

Hybrid turbo FEC/ARQ systems and distributed space-time coding for cooperative transmission

Cooperative transmission can be seen as a "virtual" MIMO system, where themultiple transmit antennas are in fact implemented distributed by the antennas both at the source and the relay terminal. Depending on the system design, diversity/multiplexing gainsare achievable. This design involves the definition of the type of retransmission (incrementalredundancy, repetition coding), the design of the distributed space-time codes, the errorcorrecting scheme, the operation of the relay (decode&forward or amplify&forward) and thenumber of antennas at each terminal. Proposed schemes are evaluated in different conditionsin combination with forward error correcting codes (FEC), both for linear and near-optimum(sphere decoder) receivers, for its possible implementation in downlink high speed packetservices of cellular networks. Results show the benefits of coded cooperation over directtransmission in terms of increased throughput. It is shown that multiplexing gains areobserved even if the mobile station features a single antenna, provided that cell wide reuse of the relay radio resource is possible.

Targeted inactivation of hypocretin receptors in dopaminergic and noradrenergic systems alters brain activity in wakefulness

Since the discovery of hypocretins/orexins (Hcrt/Ox) in 1998, several narcoleptic mouse models, such as Hcrt-KO, Hcrtrl-KO, Hcrtr2-KO and double receptors KO mice, and orexin-ataxin transgenic mice were generated. The available Hcrt mouse models do not allow the dissection of the specific role of Hcrt in each target region. Dr. Anne Vassalli generated loxP-flanked alleles for each Hcrt receptor, which are manipulated by Cre recombinase to generate mouse lines with disrupted Hcrtrl or Hcrtr2 (or both) in cell type-specific manner. The role of noradrenaline (NA) and dopamine (OA) in ttie regulation of vigilance states is well documented. The purpose of this thesis is to explore the role of the Hcrt input into these two monoaminergic systems. Chronic loss of Hcrtrl in NA neurons consolidated paradoxical sleep (PS), and altered wakefulness brain activity in baseline, during the sleep deprivation (SD), and when mice were challenged by a novel environment, or exposed to nest-building material. The analysis of alterations in the sleep EEG delta power showed a consistent correlation with the changes in the preceding waking quality in these mice. Targeted inactivation of Hcrt input into DA neurons showed that Hcrtr2 inactivation present the strongest phenotype. The loss of Hcrtr2 in DA neurons caused modified brain activities in spontaneous wakefulness, during SD, and in novel environmental conditions. In addition to alteration of wakefulness quality and quantity, conditional inactivation of Hcrtr2 in DA neurons caused an increased in time spent in PS in baseline and a delayed and less complete PS recovery after SD. In the first 30 min of sleep recovery, single (i.e. for Hcrtrl or Hcrtr2) conditional knockout receptor mice had opposite changes in delta activity, including an increased power density in the fast delta range with specific inactivation of Hcrtr2, but a decreased power density in the same range with specific inactivation of Hcrtrl in DA cells. These studies demonstrate a complex impact of Hcrt receptors signaling in both NA and DA system, not only on quantity and quality of wakefulness, but also on PS amount regulation as well as on SWS delta power expression. -- Depuis la découverte des hypocrétines/orexines (Hcrt/Ox) en 1998, plusieurs modèles de souris, narcoleptiques telles que Hcrt-KO, Hcrtr2-KO et récepteurs doubles KO et les souris transgéniques orexine-ataxine ont été générés. Les modèles de souris Hcrt disponibles ne permettaient pas la dissection du rôle spécifique de l'Hcrt dans chaque noyau neuronal cible. Notre laboratoire a généré des allèles loxP pour chacun des 2 gènes codant pour les récepteurs Hcrtr, qui sont manipulés par recombinase Cre pour générer des lignées de souris avec Hcrtrl inactivé, ou Hcrtr2 inactivé, (ou les deux), spécifiquement dans un type cellulaire particulier. Le rôle de la noradrénaline (NA) et la dopamine (DA) dans la régulation des états de vigilance est bien documentée. Le but de cette thèse est d'étudier le rôle de l'afférence Hcrt dans ces deux systèmes monoaminergiques au niveau de l'activité cérébrale telle qu'elle apparaît dans l'électroencéphalogramme (EEG). Mon travail montre que la perte chronique de Hcrtrl dans les neurones NA consolide le sommeil paradoxal (PS), et l'activité cérébrale de l'éveil est modifiée en condition spontanée, au cours d'une experience de privation de sommeil (SD), et lorsque les souris sont présentées à un nouvel environnement, ou exposées à des matériaux de construction du nid. Ces modifications de l'éveil sont corrélées à des modifications de puissance de l'activité delta du sommeil lent qui le suit. L'inactivation ciblée des Hcrtrs dans les neurones DA a montré que l'inactivation Hcrtr2 conduit au phénotype le plus marqué. La perte de Hcrtr2 dans les neurones DA mène à des modification d'activité cérébrale en éveil spontané, pendant SD, ainsi que dans des conditions environnementales nouvelles. En plus de l'altération de la qualité de l'éveil et de la quantité, l'inactivation conditionnelle de Hcrtr2 dans les neurones DA a provoqué une augmentation du temps passé en sommeil paradoxal (PS) en condition de base, et une reprise retardée et moins complète du PS après SD. Dans les 30 premières minutes de la récupération de sommeil, les modèles inactivés pour un seul des récepteurs (ie pour Hcrtrl ou Hcrtr2 seulement) montrent des changements opposés en activité delta, en particulier une densité de puissance accrue dans le delta rapide avec l'inactivation spécifique de Hcrtr2, mais une densité de puissance diminuée dans cette même gamme chez les souris inactivées spécifiquement en Hcrtrl dans les neurones DA. Ces études démontrent un impact complexe de l'inactivation de la neurotransmission au niveau des récepteurs d'Hcrt dans les deux compartiments NA et DA, non seulement sur la quantité et la qualité de l'éveil, mais aussi sur la régulation de quantité de sommeil paradoxal, ainsi que sur l'expression de la puissance delta pendant le sommeil lent.

Methods of Design and Testing of Real Time Systems

Teollusuussovelluksissa vaaditaan nykyisin yhä useammin reaaliaikaista tiedon käsittelyä. Luotettavuus on yksi tärkeimmistä reaaliaikaiseen tiedonkäsittelyyn kykenevän järjestelmän ominaisuuksista. Sen saavuttamiseksi on sekä laitteisto, että ohjelmisto testattava. Tämän työn päätavoitteena on laitteiston testaaminen ja laitteiston testattavuus, koska luotettava laitteistoalusta on perusta tulevaisuuden reaaliaikajärjestelmille. Diplomityössä esitetään digitaaliseen signaalinkäsittelyyn soveltuvan prosessorikortin suunnittelu. Prosessorikortti on tarkoitettu sähkökoneiden ennakoivaa kunnonvalvontaa varten. Uusimmat DFT (Desing for Testability) menetelmät esitellään ja niitä sovelletaan prosessorikortin sunnittelussa yhdessä vanhempien menetelmien kanssa. Kokemukset ja huomiot menetelmien soveltuvuudesta raportoidaan työn lopussa. Työn tavoitteena on kehittää osakomponentti web -pohjaiseen valvontajärjestelmään, jota on kehitetty Sähkötekniikan osastolla Lappeenrannan teknillisellä korkeakoululla.

Towards input/output-free modelling of linear infinite-dimensional systems in continuous time

This dissertation describes a networking approach to infinite-dimensional systems theory, where there is a minimal distinction between inputs and outputs. We introduce and study two closely related classes of systems, namely the state/signal systems and the port-Hamiltonian systems, and describe how they relate to each other. Some basic theory for these two classes of systems and the interconnections of such systems is provided. The main emphasis lies on passive and conservative systems, and the theoretical concepts are illustrated using the example of a lossless transfer line. Much remains to be done in this field and we point to some directions for future studies as well.

Comparison between dSPACE and NI systems based on real-time intelligent control of a teleoperated hydraulic servo system

The Laboratory of Intelligent Machine researches and develops energy-efficient power transmissions and automation for mobile construction machines and industrial processes. The laboratory's particular areas of expertise include mechatronic machine design using virtual technologies and simulators and demanding industrial robotics. The laboratory has collaborated extensively with industrial actors and it has participated in significant international research projects, particularly in the field of robotics. For years, dSPACE tools were the lonely hardware which was used in the lab to develop different control algorithms in real-time. dSPACE's hardware systems are in widespread use in the automotive industry and are also employed in drives, aerospace, and industrial automation. But new competitors are developing new sophisticated systems and their features convinced the laboratory to test new products. One of these competitors is National Instrument (NI). In order to get to know the specifications and capabilities of NI tools, an agreement was made to test a NI evolutionary system. This system is used to control a 1-D hydraulic slider. The objective of this research project is to develop a control scheme for the teleoperation of a hydraulically driven manipulator, and to implement a control algorithm between human and machine interaction, and machine and task environment interaction both on NI and dSPACE systems simultaneously and to compare the results.

Real-time simulation of multibody systems with applications for working mobile vehicles

This dissertation describes an approach for developing a real-time simulation for working mobile vehicles based on multibody modeling. The use of multibody modeling allows comprehensive description of the constrained motion of the mechanical systems involved and permits real-time solving of the equations of motion. By carefully selecting the multibody formulation method to be used, it is possible to increase the accuracy of the multibody model while at the same time solving equations of motion in real-time. In this study, a multibody procedure based on semi-recursive and augmented Lagrangian methods for real-time dynamic simulation application is studied in detail. In the semirecursive approach, a velocity transformation matrix is introduced to describe the dependent coordinates into relative (joint) coordinates, which reduces the size of the generalized coordinates. The augmented Lagrangian method is based on usage of global coordinates and, in that method, constraints are accounted using an iterative process. A multibody system can be modelled as either rigid or flexible bodies. When using flexible bodies, the system can be described using a floating frame of reference formulation. In this method, the deformation mode needed can be obtained from the finite element model. As the finite element model typically involves large number of degrees of freedom, reduced number of deformation modes can be obtained by employing model order reduction method such as Guyan reduction, Craig-Bampton method and Krylov subspace as shown in this study The constrained motion of the working mobile vehicles is actuated by the force from the hydraulic actuator. In this study, the hydraulic system is modeled using lumped fluid theory, in which the hydraulic circuit is divided into volumes. In this approach, the pressure wave propagation in the hoses and pipes is neglected. The contact modeling is divided into two stages: contact detection and contact response. Contact detection determines when and where the contact occurs, and contact response provides the force acting at the collision point. The friction between tire and ground is modelled using the LuGre friction model, which describes the frictional force between two surfaces. Typically, the equations of motion are solved in the full matrices format, where the sparsity of the matrices is not considered. Increasing the number of bodies and constraint equations leads to the system matrices becoming large and sparse in structure. To increase the computational efficiency, a technique for solution of sparse matrices is proposed in this dissertation and its implementation demonstrated. To assess the computing efficiency, augmented Lagrangian and semi-recursive methods are implemented employing a sparse matrix technique. From the numerical example, the results show that the proposed approach is applicable and produced appropriate results within the real-time period.

Data Security in Fault Tolerant Hard Real Time Systems- Use of Time Dependant Multiple Random Cipher Code

The present research problem is to study the existing encryption methods and to develop a new technique which is performance wise superior to other existing techniques and at the same time can be very well incorporated in the communication channels of Fault Tolerant Hard Real time systems along with existing Error Checking / Error Correcting codes, so that the intention of eaves dropping can be defeated. There are many encryption methods available now. Each method has got it's own merits and demerits. Similarly, many crypt analysis techniques which adversaries use are also available.

Investigations on Stochastic Storage Systems with Positive Service Time

In this thesis the queueing-inventory models considered are analyzed as continuous time Markov chains in which we use the tools such as matrix analytic methods. We obtain the steady-state distributions of various queueing-inventory models in product form under the assumption that no customer joins the system when the inventory level is zero. This is despite the strong correlation between the number of customers joining the system and the inventory level during lead time. The resulting quasi-birth-anddeath (QBD) processes are solved explicitly by matrix geometric methods

Solution of the time dependent Dirac-Fock-Slater equation for many-electron collisions systems using a time window method

We present a new scheme to solve the time dependent Dirac-Fock-Slater equation (TDDFS) for heavy many electron ion-atom collision systems. Up to now time independent self consistent molecular orbitals have been used to expand the time dependent wavefunction and rather complicated potential coupling matrix elements have been neglected. Our idea is to minimize the potential coupling by using the time dependent electronic density to generate molecular basis functions. We present the first results for 16 MeV S{^16+} on Ar.

Incremental Verification of Timing Constraints for Real-Time Systems

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.

An LMI approach to H∞ synchronization of second-order neutral master-slave systems

The H∞ synchronization problem of the master and slave structure of a second-order neutral master-slave systems with time-varying delays is presented in this paper. Delay-dependent sufficient conditions for the design of a delayed output-feedback control are given by Lyapunov-Krasovskii method in terms of a linear matrix inequality (LMI). A controller, which guarantees H∞ synchronization of the master and slave structure using some free weighting matrices, is then developed. A numerical example has been given to show the effectiveness of the method

New delay-dependent stability criteria for uncertain neutral systems with mixed time-varying delays and nonlinear perturbations

The problem of stability analysis for a class of neutral systems with mixed time-varying neutral, discrete and distributed delays and nonlinear parameter perturbations is addressed. By introducing a novel Lyapunov-Krasovskii functional and combining the descriptor model transformation, the Leibniz-Newton formula, some free-weighting matrices, and a suitable change of variables, new sufficient conditions are established for the stability of the considered system, which are neutral-delay-dependent, discrete-delay-range dependent, and distributeddelay-dependent. The conditions are presented in terms of linear matrix inequalities (LMIs) and can be efficiently solved using convex programming techniques. Two numerical examples are given to illustrate the efficiency of the proposed method