Telescoping MATLAB for DSP applications

Chauhan, Arun Rice University 2004 해외박사(DDOD)

소속기관이 구독 중이 아닌 경우 오후 4시부터 익일 오전 9시까지 원문보기가 가능합니다.

This dissertation designs and implements a prototype MATLAB compiler for Digital Signal Processing (DSP) libraries, based on a novel approach called telescoping languages for compiling high-level languages. The thesis of this work is that it is possible to effectively and efficiently compile DSP libraries written in MATLAB using the telescoping languages approach that aims to automatically develop domain-specific application development environments based on component libraries for high performance computing. Initial studies on DSP applications demonstrated that the approach was promising. During this study two new techniques, procedure strength reduction and procedure vectorization, were developed. In a joint work, a new approach to MATLAB type inference was developed. The inferred type information can be used to specialize MATLAB libraries and generate code in C or Fortran. A new technique to engineer the optimizing compiler emerged during the course of the compiler development. This technique allows the optimizations of interest to be expressed in an XML-based language and the optimizer in the compiler to be a light-weight specialization engine. The type inference engine and type-based specialization were evaluated on a set of DSP procedures that constitute an informal library used by researchers in the Electrical and Computer Engineering department at Rice. The evaluation validated the effectiveness of the library generation strategy driven by specialization.

METHANE EMISSION FROM IRRIGATED RICE CULTIVATION: QUANTITIES, MODELS AND PRACTICE (TEXAS, ITALY, CHINA, INDONESIA, PHILIPPINES)

c, YAO RICE UNIVERSITY 1997 국내박사

Software design for simulation driven optimization

Padula, Anthony D Rice University 2005 해외박사(DDOD)

소속기관이 구독 중이 아닌 경우 오후 4시부터 익일 오전 9시까지 원문보기가 가능합니다.

This thesis describes a flexible framework for abstract numerical algorithms which treats algorithms as objects and makes them reusable, composable, and modifiable. These algorithm objects are implemented using the Rice Vector Library (RVL) interface, decoupling the algorithmic code from the details of linear algebra and calculus in Hilbert Space. I made many improvements to the RVL design, including abstract return types for reductions. These improvements allowed me to demonstrate the breadth of this design by incorporating semantically similar objects from other packages which had significant syntatic differences to the RVL objects. By adapting other libraries, I gain access to a variety of tools, including parallel linear algebra implementations. The benefits of the algorithm framework can be seen when abstract numerical algorithms are coupled with parallel simulators without needing to modify either the algorithm or the simulator.

A Dynamic Coupled Magnetosphere-Ionosphere-Ring Current Model

Pembroke, Asher Rice University 2013 해외박사(DDOD)

소속기관이 구독 중이 아닌 경우 오후 4시부터 익일 오전 9시까지 원문보기가 가능합니다.

In this thesis we describe a coupled model of Earth's magnetosphere that consists of the Lyon-Fedder-Mobarry (LFM) global magnetohydrodynamics (MHD) simulation, the MIX ionosphere solver and the Rice Convection Model (RCM). We report some results of the coupled model using idealized inputs and model parameters. The algorithmic and physical components of the model are described, including the transfer of magnetic field information and plasma boundary conditions to the RCM and the return of ring current plasma properties to the LFM. Crucial aspects of the coupling include the restriction of RCM to regions where field-line averaged plasma-beta ¡=1, the use of a plasmasphere model, and the MIX ionosphere model. Compared to stand-alone MHD, the coupled model produces a substantial increase in ring current pressure and reduction of the magnetic field near the Earth. In the ionosphere, stronger region-1 and region-2 Birkeland currents are seen in the coupled model but with no significant change in the cross polar cap potential drop, while the region-2 currents shielded the low-latitude convection potential. In addition, oscillations in the magnetic field are produced at geosynchronous orbit with the coupled code. The diagnostics of entropy and mass content indicate that these oscillations are associated with low-entropy flow channels moving in from the tail and may be related to bursty bulk flows and bubbles seen in observations. As with most complex numerical models, there is the ongoing challenge of untangling numerical artifacts and physics, and we find that while there is still much room for improvement, the results presented here are encouraging. Finally, we introduce several new methods for magnetospheric visualization and analysis, including a fluid-spatial volume for RCM and a field-aligned analysis mesh for the LFM. The latter allows us to construct novel visualizations of flux tubes, drift surfaces, topological boundaries, and bursty-bulk flows.

Skirting the law : essays on corporate tax evaslon and avoidance

Rice, Eric Marshall Harvard University 1990 해외박사

Microbial nitrogen transformations in no-till soils

Rice, Charles William University of Kentucky 1983 국내박사

An investigation of the Yngve edpth hypothesis

Rice, Robert Max Washington State University 1983 해외석사

An Inverstigation of the yngve depth hypothesis

Rice, Robert Max University Microfilms International 1986 국내박사

Simulating the driven magnetosphere

Lemon, Colby Lee Rice University 2005 해외박사(DDOD)

소속기관이 구독 중이 아닌 경우 오후 4시부터 익일 오전 9시까지 원문보기가 가능합니다.

A significant effort is focused on understanding the behavior of the Earth's magnetosphere during times of southward interplanetary magnetic field, when the magnetosphere is in a driven state. In situ observations of the space environment provide us with real magnetic and electric field and plasma data with which to study magnetospheric processes, yet we lack the ability to experimentally control the parameters that influence these processes. On the other hand, a niche of computational modeling is the ability to experiment with these parameters in a straightforward effort to understand the magnetospheric response. The simulation model employed in this thesis (the Rice Convection Model-Equilibrium, or RCM-E) is unique in its ability to calculate the energy dependent drifts of plasma particles as well as their feedback on both the electric and magnetic fields. Three different RCM-E simulations are presented. First, the magnetospheric response to a moderate level of external driving is modeled, showing that the model reproduces several of the features of steady magnetospheric convection (SMC) events. The simulation is then repeated with a more rigorous calculation of the magnetic field that generally produces a higher quality result but suffers from excessive numerical noise in the important inner plasma sheet region. This simulation produces a more stressed magnetic field, but encounters numerical breakdown due largely to the numerical noise. The proper response to steady driving in the RCM-E is likely to be more stressed than the first simulation, yet more stable than the second simulation. Somewhat counter to conventional wisdom, these simulations suggest that enhanced convection by itself is insufficient to inject a ring current, since the magnetic field response acts to mitigate the injection. In the third simulation, a method for injecting plasma into the ring current without drastically affecting the near-Earth magnetic field configuration is demonstrated: significantly reduce the specific entropy of the injection source. The steady driving simulations apparently failed to produce a realistic ring current injection because the model equations conserve specific entropy as plasma is transported (adiabatic transport). These simulations suggest that a non-adiabatic plasma process---possibly the substorm---plays an important role in the dynamics of geomagnetic storms.

Site machines

Rice, Tivon ProQuest LLC 2016 국내박사