Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

2006

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 2581 - 2610 of 3391

Full-Text Articles in Engineering

Agilla: A Mobile Agent Middleware For Sensor Networks, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu Jan 2006

Agilla: A Mobile Agent Middleware For Sensor Networks, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

All Computer Science and Engineering Research

Agilla is a mobile agent middleware for sensor networks. Mobile agents are special processes that can migrate across sensors. They increase network flexibility by enabling active in-network reprogramming. Neighbor lists and tuple spaces are used for agent coordination. Agilla was originally implemented on Mica2 motes, but has been ported to other platforms. Its Mica2 implementation consumes 41.6KB of code and 3.59KB of data memory. Agents can move five hops in less than 1.1s with over 92% success. Agilla was used to develop multiple applications related to fire detection and tracking, cargo container monitoring, and robot navigation.


Feature Detection Using Curvature Maps And The Min-Cut/Max-Flow Graph Cut Algorithm, Timothy Gatzke, Cindy Grimm Jan 2006

Feature Detection Using Curvature Maps And The Min-Cut/Max-Flow Graph Cut Algorithm, Timothy Gatzke, Cindy Grimm

All Computer Science and Engineering Research

Automatic detection of features in three-dimensional objects is a critical part of shape matching tasks such as object registration and recognition. Previous approaches to local surface matching have either focused on man-made objects, where features are generally well-defined, or required some type of user interaction to select features. Manual selection of corresponding features and subjective determination of the difference between objects are time consuming processes requiring a high level of expertise. Curvature is a useful property of a surface, but curvature calculation on a discrete mesh is often noisy and not always accurate. However, the em Curvature Map, which represents …


Distributed Utilization Control For Real-Time Clusters With Load Balancing, Yong Fu, Hongan Wang, Chenyang Lu, Ramu S. Chandra Jan 2006

Distributed Utilization Control For Real-Time Clusters With Load Balancing, Yong Fu, Hongan Wang, Chenyang Lu, Ramu S. Chandra

All Computer Science and Engineering Research

Recent years have seen rapid growth of online services that rely on large-scale server clusters to handle high volume of requests. Such clusters must adaptively control the CPU utilizations of many processors in order to maintain desired soft real-time performance and prevent system overload in face of unpredictable workloads. This paper presents DUC-LB, a novel distributed utilization control algorithm for cluster-based soft real-time applications. Compared to earlier works on utilization control, a distinguishing feature of DUC-LB is its capability to handle system dynamics caused by load balancing, which is a common and essential component of most clusters today. Simulation results …


Mobiwork: Mobile Workflow For Manets, Gregory Hackmann, Rohan Sen, Mart Haitjema, Gruia-Catalin Roman, Gill Jan 2006

Mobiwork: Mobile Workflow For Manets, Gregory Hackmann, Rohan Sen, Mart Haitjema, Gruia-Catalin Roman, Gill

All Computer Science and Engineering Research

The workflow model is well suited for scenarios where many entities work collaboratively towards a common goal, and is used widely today to model complex business processes. However, the fundamental workflow model is very powerful and can be applied to a wider variety of application domains. This paper represents an initial investigation into the possibility of using workflows to model collaboration in an ad hoc mobile environment. Moving to a mobile setting introduces many challenges as the mobility of the participants in a workflow imposes constraints on allocation of workflow tasks, coordination among participants, and marshaling of results. We present …


Efficient Mapping Of Virtual Networks Onto A Shared Substrate, Jing Lu, Jonathan Turner Jan 2006

Efficient Mapping Of Virtual Networks Onto A Shared Substrate, Jing Lu, Jonathan Turner

All Computer Science and Engineering Research

Virtualization has been proposed as a vehicle for overcoming the growing problem of internet ossification [1]. This paper studies the problem of mapping diverse virtual networks onto a common physical substrate. In particular, we develop a method for mapping a virtual network onto a substrate network in a cost-efficient way, while allocating sufficient capacity to virtual network links to ensure that the virtual network can handle any traffic pattern allowed by a general set of traffic constraints. Our approach attempts to find the best topology in a family of backbone-star topologies, in which a subset of nodes constitute the backbone, …


Adaptive Embedded Roadmaps For Sensor Networks, Gazihan Alankus, Nuzhet Atay, Chenyang Lu, Burchan Bayazit Jan 2006

Adaptive Embedded Roadmaps For Sensor Networks, Gazihan Alankus, Nuzhet Atay, Chenyang Lu, Burchan Bayazit

All Computer Science and Engineering Research

In this paper, we propose a new approach to wireless sensor network assisted navigation while avoiding moving dangers. Our approach relies on an embedded roadmap in the sensor network that always contains safe paths. The roadmap is adaptive, i.e., it adapts its topology to changing dangers. The mobile robots in the environment uses the roadmap to reach their destinations. We evaluated the performance of embedded roadmap both in simulations using realistic conditions and with real hardware. Our results show that the proposed navigation algorithm is better suited for sensor networks than traditional navigation field based algorithms. Our observations suggest that …


Control Of Decoherence In Open Quantum Systems, Narayan Ganesan Jan 2006

Control Of Decoherence In Open Quantum Systems, Narayan Ganesan

All Computer Science and Engineering Research

No abstract provided.


Knuth-Bendix Completion With Modern Termination Checking, Master's Thesis, August 2006, Ian Wehrman Jan 2006

Knuth-Bendix Completion With Modern Termination Checking, Master's Thesis, August 2006, Ian Wehrman

All Computer Science and Engineering Research

Knuth-Bendix completion is a technique for equational automated theorem proving based on term rewriting. This classic procedure is parametrized by an equational theory and a (well-founded) reduction order used at runtime to ensure termination of intermediate rewriting systems. Any reduction order can be used in principle, but modern completion tools typically implement only a few classes of such orders (e.g., recursive path orders and polynomial orders). Consequently, the theories for which completion can possibly succeed are limited to those compatible with an instance of an implemented class of orders. Finding and specifying a compatible order, even among a small number …


Sliver: A Bpel Workflow Process Execution Engine For Mobile Devices, Gregory Hackmann, Mart Haitjema, Christopher Gill, Catalin-Gruia Roman Jan 2006

Sliver: A Bpel Workflow Process Execution Engine For Mobile Devices, Gregory Hackmann, Mart Haitjema, Christopher Gill, Catalin-Gruia Roman

All Computer Science and Engineering Research

The Business Process Execution Language (BPEL) has become the dominant means for expressing traditional business processes as workflows. The widespread deployment of mobile devices like PDAs and mobile phones has created a vast computational and communication resource for these workflows to exploit. However, BPEL so far has been deployed only on relatively heavyweight server platforms such as Apache Tomcat, leaving the potential created by these lower-end devices untapped. This paper presents Sliver, a BPEL workflow process execution engine that supports a wide variety of devices ranging from mobile phones to desktop PCs. We discuss the design decisions that allow Sliver …


Reusable Models For Timing And Liveness Analysis Of Middleware For Distributed Real-Time And Embedded Systems, Venkita Subramonian, Christopher Gill, Cesar Sanchez, Henny Sipma Jan 2006

Reusable Models For Timing And Liveness Analysis Of Middleware For Distributed Real-Time And Embedded Systems, Venkita Subramonian, Christopher Gill, Cesar Sanchez, Henny Sipma

All Computer Science and Engineering Research

Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools and techniques play a key role in verifying and validating system properties. However, many DRE systems are built using middleware frameworks that have grown increasingly complex to address the diverse requirements of a wide range of applications. How to apply formal tools and techniques effectively to these systems, given the range of middleware configuration options available, is therefore an important research problem. This paper makes three contributions to research on formal verification and validation of middleware-based …


Multimodal Congestion Control For Low Stable-State Queuing, Maxim Podlesny, Sergey Gorinsky Jan 2006

Multimodal Congestion Control For Low Stable-State Queuing, Maxim Podlesny, Sergey Gorinsky

All Computer Science and Engineering Research

To discover an efficient fair sending rate for a flow, Transmission Control Protocol (TCP) saturates the bottleneck link and its buffer until the router discards a packet. Such TCP-caused queuing is detrimental for interactive and other delay-sensitive applications. In this paper, we present Multimodal Control Protocol (MCP) which strives to maintain low queues and avoid congestion losses at network links. The multimodal MCP engages routers and hosts in limited explicit communication. A distinguishing property of MCP is stable transmission after converging to efficient fair states. To ensure convergence to fairness, MCP incorporates an innovative mechanism that enables a flow to …


Dynamic Resource Management In A Static Network Operating System, Kevin Klues, Vlado Handziski, David Culler, David Gay, Phillip Levis Levis, Chenyang Lu, Adam Wolisz Jan 2006

Dynamic Resource Management In A Static Network Operating System, Kevin Klues, Vlado Handziski, David Culler, David Gay, Phillip Levis Levis, Chenyang Lu, Adam Wolisz

All Computer Science and Engineering Research

We present novel approaches to managing three key resources in an event-driven sensornet OS: memory, energy, and peripherals. We describe the factors that necessitate using these new approaches rather than existing ones. A combination of static allocation and compile-time virtualization isolates resources from one another, while dynamic management provides the flexibility and sharing needed to minimize worst-case overheads. We evaluate the effectiveness and efficiency of these management policies in comparison to those of TinyOS 1.x, SOS, MOS, and Contiki. We show that by making memory, energy, and peripherals first-class abstractions, an OS can quickly, efficiently, and accurately adjust itself to …


Link Layer Support For Unified Radio Power Management In Wireless Sensor Networks, Kevin Klues, Guoliang Xing, Chenyang Lu Jan 2006

Link Layer Support For Unified Radio Power Management In Wireless Sensor Networks, Kevin Klues, Guoliang Xing, Chenyang Lu

All Computer Science and Engineering Research

Radio power management is of paramount concern in wireless sensor networks that must achieve long lifetimes on scarce amounts of energy. While a multitude of power management protocols have been proposed in the past, the lack of system support for flexibly integrating them with a diverse set of applications and network platforms has made them difficult to use. Instead of proposing yet another power management protocol, this paper focuses on providing link layer support towards realizing a Unified Power Management Architecture (UPMA) for flexible radio power management in wireless sensor networks. In contrast to the monolithic approaches adopted by existing …


Cian: A Language And Middleware For Collaboration In Ad Hoc Networks, Rohan Sen, Gruia-Catalin Roman, Andrew Frank Jan 2006

Cian: A Language And Middleware For Collaboration In Ad Hoc Networks, Rohan Sen, Gruia-Catalin Roman, Andrew Frank

All Computer Science and Engineering Research

Designing software that supports collaboration among multiple users in mobile ad hoc networks is challenging due to the dynamic network topology and inherent unpredictability of the environment. However, as we increasingly migrate to using mobile computing platforms, there is a pertinent need for software that can support a wide range of collaborative activities anywhere and at any time without relying on any external infrastructure. In this paper, we adopt the workflow model to represent the structure of an activity that involves multiple tasks being performed in a structured, collaborative fashion by multiple users. Using the workflow model as a base, …


Virtualization For A Network Processor Runtime System, Brandon Heller, Jonathan Turner, John Dehart, Patrick Crowley Jan 2006

Virtualization For A Network Processor Runtime System, Brandon Heller, Jonathan Turner, John Dehart, Patrick Crowley

All Computer Science and Engineering Research

The continuing ossification of the Internet is slowing the pace of network innovation. Network diversification presents one solution to this problem, by virtualizing the network at multiple layers. Diversified networks consist of a shared physical substrate, virtual routers (metarouters), and virtual links (metalinks). Virtualizing routers enables smooth and incremental upgrades to new network services. Our current priority for a diversified router prototype is to enable reserved slices of the network for researchers to perform repeatable, high-speed network experiments. General-purpose processors have well established techniques for virtualization, but do not scale efficiently to multi-gigabit speeds. To achieve these speeds, we employ …


Auto-Pipe And The X Language: A Toolset And Language For The Simulation, Analysis, And Synthesis Of Heterogeneous Pipelined Architectures, Master's Thesis, August 2006, Eric J. Tyson Jan 2006

Auto-Pipe And The X Language: A Toolset And Language For The Simulation, Analysis, And Synthesis Of Heterogeneous Pipelined Architectures, Master's Thesis, August 2006, Eric J. Tyson

All Computer Science and Engineering Research

Pipelining an algorithmis a popularmethod of increasing the performance of many computation-intensive applications. Often, one wants to form pipelines composed mostly of commonly used simple building blocks such as DSP components, simple math operations, encryption, or pattern matching stages. Additionally, one may desire to map these processing tasks to different computational resources based on their relative performance attributes (e.g., DSP operations on an FPGA). Auto-Pipe is composed of the X Language, a flexible interface language that aids the description of complex dataflow topologies (including pipelines); X-Com, a compiler for the X Language; X-Sim, a tool for modeling pipelined architectures based …


Molecular Mass And Dynamics Of Poly(Methyl Acrylate) In The Glass Transition Region, Burak Metin, Frank D. Blum Jan 2006

Molecular Mass And Dynamics Of Poly(Methyl Acrylate) In The Glass Transition Region, Burak Metin, Frank D. Blum

Chemistry Faculty Research & Creative Works

The segmental dynamics of bulk poly(methyl acrylate) (PMA) were studied as a function of molecular mass in the glass-transition region using 2H NMR and modulated differential scanning calorimetry (MDSC). Quadrupole-echo 2H NMR spectra were obtained for four samples of methyl-deuterated PMA-d3 with different molecular masses. The resulting spectra were fit using superpositions of simulated spectra generated from the MXQET simulation program, based on a model incorporating nearest-neighbor jumps from positions on the vertices of a truncated icosahedron (soccer-ball shape). The lower molecular-mass samples, influenced by the presence of more chain ends, showed more heterogeneity (broader distribution) and lower glass transitions …


Ceg 490/690-01: Technology-Based Ventures, Forouzan Golshani, S. Narayanan Jan 2006

Ceg 490/690-01: Technology-Based Ventures, Forouzan Golshani, S. Narayanan

Computer Science & Engineering Syllabi

No abstract provided.


Cs 205-04,05,06: Computer Literacy And Office Automation, Terri Bauer Jan 2006

Cs 205-04,05,06: Computer Literacy And Office Automation, Terri Bauer

Computer Science & Engineering Syllabi

No abstract provided.


Force Measurements On A Flapping And Pitching Wing At Low Reynolds Numbers, Kakkattukuzhy M. Isaac, Anthony Colozza, Jessica Rolwes Jan 2006

Force Measurements On A Flapping And Pitching Wing At Low Reynolds Numbers, Kakkattukuzhy M. Isaac, Anthony Colozza, Jessica Rolwes

Mechanical and Aerospace Engineering Faculty Research & Creative Works

Force measurements from experiments conducted in water on a flapping-and-pitching thin flat plate wing of semi-elliptic planform at low Reynolds numbers are reported. Time varying force data, measured using a force transducer, provide a means to understand the mechanisms that lead to enhanced performance observed in insect flight compared to fixed wing aerodynamics. Experimental uncertainties associated with low level (∼1N) fluid dynamic force measurements on flapping-and-pitching wings are addressed. a previously proposed pitching mode in which the leading edge and trailing edge switch roles to allow using cambered airfoils has been shown to be viable and may have advantages over …


Effects Of Welding Current In Gas Metal Arc Welding, Junling Hu, Tai Lung Tsai Jan 2006

Effects Of Welding Current In Gas Metal Arc Welding, Junling Hu, Tai Lung Tsai

Mechanical and Aerospace Engineering Faculty Research & Creative Works

In gas metal arc welding (GMAW), current is one of the most important factors affecting the mode of metal transfer, weld pool dynamics and subsequently the weld quality. in this paper, the comprehensive model recently developed by the authors was used to study the effects of different current levels on the droplet formation, plasma generation, metal transfer, and weld pool dynamics in GMA welding. Two welding currents were studied, including one low current and one high current. at each current level, the transient temperature and velocity distributions of the arc plasma and the molten metal, and the shapes of the …


Mimo Communications In Ad Hoc Networks, Biao Chen, Michael J. Gans Jan 2006

Mimo Communications In Ad Hoc Networks, Biao Chen, Michael J. Gans

Electrical Engineering and Computer Science - All Scholarship

We study in this paper the network spectral efficiency in terms of bits/s/Hz of a MIMO (multiple-input multiple output) ad hoc network with K simultaneous communicating transmitter-receiver pairs. Assume that each transmitter is equipped with t antennas and each receiver implements single user detection. We show that in the absence of channel state information (CSI) at the transmitters, the asymptotic network spectral efficiency is limited by r nats/s/Hz as K -> ∞ and is independent of t and the transmit power. With CSI corresponding to the desired receiver available at the transmitter, we demonstrate that the asymptotic spectral efficiency is …


Analysis Of Damage In Laminated Automotive Glazing Subjected To Simulated Head Impact, Shuangmei Zhao, Li Chai, S. D. Barbat, Lokeswarappa R. Dharani Jan 2006

Analysis Of Damage In Laminated Automotive Glazing Subjected To Simulated Head Impact, Shuangmei Zhao, Li Chai, S. D. Barbat, Lokeswarappa R. Dharani

Mechanical and Aerospace Engineering Faculty Research & Creative Works

During vehicle accidents, occupant's head impacting on windshield or side window is commonly observed. Any attempt to design glazing that minimizes injury to and death of occupants during a vehicle accident requires a thorough understanding of the mechanical behavior of automotive glazing subjected to head impact loads. A continuum damage mechanics (CDM) based constitutive model is developed and implemented into an axisymmetric finite element model to study the failure and impact resistance of laminated automotive glazing subjected to simulated head impact. An anisotropic elastic damage tensor with a linear damage evolution law is chosen to model the failure of the …


Neural Network Approach For Obstacle Avoidance In 3-D Environments For Uavs, Vivek Yadav, Xiaohua Wang, S. N. Balakrishnan Jan 2006

Neural Network Approach For Obstacle Avoidance In 3-D Environments For Uavs, Vivek Yadav, Xiaohua Wang, S. N. Balakrishnan

Mechanical and Aerospace Engineering Faculty Research & Creative Works

In this paper a controller design is proposed to get obstacle free trajectories in a three dimensional urban environment for unmanned air vehicles (UAVs). The controller has a two-layer architecture. In the upper layer, vision-inspired Grossberg neural network is proposed to get the shortest distance paths. In the bottom layer, a model predictive control (MPC) based controller is used to obtain dynamically feasible trajectories. Simulation results are presented for to demonstrate the potential of the approach.


Nonlinear Control Concepts For A Ua, Vijayakumar Janardhan, Derek Schmitz, S. N. Balakrishnan Jan 2006

Nonlinear Control Concepts For A Ua, Vijayakumar Janardhan, Derek Schmitz, S. N. Balakrishnan

Mechanical and Aerospace Engineering Faculty Research & Creative Works

A reconfigurable flight control method is developed to be implemented on an Unmanned Aircraft (UA), a thirty percent scale model of the Cessna 150. This paper presents the details of the UA platform, system identification, reconfigurable controller design, development, and implementation on the UA to analyze the performance metrics. A Crossbow Inertial Measurement Unit provides the roll, pitch, and yaw accelerations and rates along with the roll and pitch. The 100-400 mini-air data boom from SpaceAge Control provides the airspeed, altitude, angle of attack, and the side slip angles. System identification is accomplished by commanding preprogrammed inputs to the control …


Dynamic Re-Optimization Of A Spacecraft Attitude Controller In The Presence Of Uncertainties, Nishant Unnikrishnan, S. N. Balakrishnan, Radhakant Padhi Jan 2006

Dynamic Re-Optimization Of A Spacecraft Attitude Controller In The Presence Of Uncertainties, Nishant Unnikrishnan, S. N. Balakrishnan, Radhakant Padhi

Mechanical and Aerospace Engineering Faculty Research & Creative Works

Online trained neural networks have become popular in recent years in the design of robust and adaptive controllers for dynamic systems with uncertainties due to their universal function approximation capabilities. This paper discusses a technique that dynamically reoptimizes a Single Network Adaptive Critic (SNAC) based optimal controller in the presence of unmodeled plant uncertainties. The SNAC based optimal controller designed for the nominal plant model no more retains optimality in the presence of uncertainties/unmodeled dynamics that may creep up in the system equations during operation. This calls for a strategy to re-optimize the existing SNAC controller with respect to the …


Experimental Simulation Of Lightning Optical Emissions In Clouds, Anil Ogale, Kunal Mitra, Arindam Banerjee Jan 2006

Experimental Simulation Of Lightning Optical Emissions In Clouds, Anil Ogale, Kunal Mitra, Arindam Banerjee

Mechanical and Aerospace Engineering Faculty Research & Creative Works

The objective of the study is to experimentally determine the information content of lightning optical emissions through clouds. Clouds affect the amplitude of lightning signals and the apparent dimensions of the optical source. Multiple scattering from the cloud media also alters the shape of the temporal profile of the lightning signal. The goal is to provide accurate estimates of the arrival time delay and temporal pulse width broadening of output signals emitted from clouds for different cloud and lightning parameters. Experiments conducted in the laboratory yield a temporally broadened pulse with an overall decrease in the peak and a delay …


Optimal Impulse Control Of Systems With Control Constraints And Application To Hiv Treatment, Vivek Yadav, S. N. Balakrishnan Jan 2006

Optimal Impulse Control Of Systems With Control Constraints And Application To Hiv Treatment, Vivek Yadav, S. N. Balakrishnan

Mechanical and Aerospace Engineering Faculty Research & Creative Works

In this paper, conditions for optimal impulse control of an impulsive system with constraints on control are derived. These hold for a system whose states can be changed instantaneously at discrete times with impulses while a continuous control is being applied between those times. The conditions derived are applied to the problem of optimal HIV treatment. Simulation results are presented to show the treatment procedure. The results obtained show that the intervention method developed leads to good results.


University Of Texas At Tyler Catalog, 2006 - 2008, University Of Texas At Tyler Jan 2006

University Of Texas At Tyler Catalog, 2006 - 2008, University Of Texas At Tyler

Catalogs

No abstract provided.


Robust Shape Design Techniques For Steady-State Metal Forming Processes, Jalaja Repalle Jan 2006

Robust Shape Design Techniques For Steady-State Metal Forming Processes, Jalaja Repalle

Browse all Theses and Dissertations

Metal forming is a process that transforms a simple shape of a workpiece into a predetermined complex shape through the application of compressive/tensile forces exerted by dies. In the design of a forming process, the only factors that are known are the final component shape and the material with which it is to be made. Then the engineer has to design a process to make defect-free product, subject to limitations of shape, material properties, cost, time, and other such factors. The design cycle can be enhanced if performance sensitivity information is available that could be used with any commercially available …