All Kinds Of Behavior Are Possible In Chemical Kinetics: A Theorem And Its Potential Applications To Chemical Computing, 2011 The University of Texas at El Paso
All Kinds Of Behavior Are Possible In Chemical Kinetics: A Theorem And Its Potential Applications To Chemical Computing, Vladik Kreinovich
Departmental Technical Reports (CS)
Until the late 1950s, it was believed that the processes described by the equations of chemical kinetics are simple: in the course of each chemical reaction, concentrations of some chemical substances decrease while concentrations of other substances increase. This belief was shattered when the first periodic reaction -- the famous Belousov-Zhabotinsky reaction -- was discovered. Since then, it was shown that many other types of unusual behavior are possible for chemical systems. This discovery led to the possibility of finding chemical reactions that emulate non-trivial transformations that occur during computations -- and thus, perform computations "in vitro", by actually performing …
Efficient Geophysical Technique Of Vertical Line Elements As A Natural Consequence Of General Constraints Techniques, 2011 The University of Texas at El Paso
Efficient Geophysical Technique Of Vertical Line Elements As A Natural Consequence Of General Constraints Techniques, Rolando Cardenas, Martine Ceberio
Departmental Technical Reports (CS)
A New Justification For Weighted Average Aggregation In Fuzzy Techniques, 2011 The University of Texas at El Paso
A New Justification For Weighted Average Aggregation In Fuzzy Techniques, Jaime Nava
Departmental Technical Reports (CS)
In many practical situations, we need to decide whether a given solution is good enough, based on the degrees ai to which different criteria are satisfied. In this paper, we show that natural requirements lead to the weighted average decision, according to which a solution is acceptable if w1 * a1 + ... + wn * an > t for some weights wi and threshold t.
Prediction In Econometrics: Towards Mathematical Justification Of Simple (And Successful) Heuristics, 2011 The University of Texas at El Paso
Prediction In Econometrics: Towards Mathematical Justification Of Simple (And Successful) Heuristics, Vladik Kreinovich, Hung T. Nguyen, Songsak Sriboonchitta
Departmental Technical Reports (CS)
How To Encourage Imperfect Individuals To Care More About Society In General: A Utility-Theory Approach, 2011 The University of Texas at El Paso
How To Encourage Imperfect Individuals To Care More About Society In General: A Utility-Theory Approach, Vladik Kreinovich
Departmental Technical Reports (CS)
For a society to function efficiently, it is desirable that all members of this society care no only about themselves, but also about the society as a whole, i.e., about all the other individuals from the society. In practice, most people are only capable of caring about a few other individuals. We analyze this problem from the viewpoint of decision theory and show that even with such imperfect individuals, it is possible to make sure that everyone's decisions are affected by the society as a whole: namely, it is sufficient to make sure that people have emotional attachment to those …
I-Complexity And Discrete Derivative Of Logarithms: A Symmetry-Based Explanation, 2011 The University of Texas at El Paso
I-Complexity And Discrete Derivative Of Logarithms: A Symmetry-Based Explanation, Vladik Kreinovich, Jaime Nava
Departmental Technical Reports (CS)
In many practical applications, it is useful to consider Kolmogorov complexity K(s) of a given string s, i.e., the shortest length of a program that generates this string. Since Kolmogorov complexity is, in general, not computable, it is necessary to use computable approximations K~(s) to K(s). Usually, to describe such an approximations, we take a compression algorithm and use the length of the compressed string as K~(s). This approximation, however, is not perfect: e.g., for most compression algorithms, adding a single bit to the string $s$ can drastically change the value K~(s) -- while …
The Cleanjava Language For Functional Program Verification, 2011 The University of Texas at El Paso
The Cleanjava Language For Functional Program Verification, Yoonsik Cheon, Cesar Yeep, Melisa Vela
Departmental Technical Reports (CS)
Accurate Circuit Model For Predicting The Performance Of Lead-Acid Agm Batteries, 2011 University of Nevada, Las Vegas
Accurate Circuit Model For Predicting The Performance Of Lead-Acid Agm Batteries, Wenxin Peng
UNLV Theses, Dissertations, Professional Papers, and Capstones
Energy storage technologies are becoming of great importance in many modern electrical systems. In particular, electrochemical batteries are rapidly gaining wide-spread application in transportation systems as well as in the electric utility sector, where they provide a means to convert non-dispatchable renewable resources into dispatchable generation sources. Hence, accurate battery models are needed during the design stage of such systems to forecast future performance.
A variety of models with a varying degree of complexity and accuracy currently exist that predict battery behavior. In the proposed paper, an existing battery model is modified to account for some battery irregularities while maintaining …
Improved Algorithms For Ear-Clipping Triangulation, 2011 University of Nevada, Las Vegas
Improved Algorithms For Ear-Clipping Triangulation, Bartosz Kajak
UNLV Theses, Dissertations, Professional Papers, and Capstones
We consider the problem of improving ear-slicing algorithm for triangulating a simple polygon. We propose two variations of ear-slicing technique for generating “good-quality” triangulation. The first approach is based on searching for the best triangle along the boundary. The second approach considers polygon partitioning on a pre-process before applying the ear-slicing. Experimental investigation reveals that both approaches yield better quality triangulation than the standard ear-slicing method.
Time-Dependent Crack Growth Behavior Of Alloy 617 And Alloy 230 At Elevated Temperatures, 2011 University of Nevada, Las Vegas
Time-Dependent Crack Growth Behavior Of Alloy 617 And Alloy 230 At Elevated Temperatures, Shawoon Kumar Roy
UNLV Theses, Dissertations, Professional Papers, and Capstones
Two Ni-base solid-solution-strengthened superalloys: INCONEL 617 and HAYNES 230 were studied to check sustained loading crack growth (SLCG) behavior at elevated temperatures appropriate for Next Generation Nuclear Plant (NGNP) applictaions with constant stress intensity factor (K max = 27.75 MPa[checkmark]m) in air. The results indicate a time-dependent rate controlling process which can be characterized by a linear elastic fracture mechanics (LEFM) parameter - stress intensity factor (K). At elevated temperatures, the crack growth mechanism was best described using a damage zone concept. Based on results and study, SAGBOE (stress accelerated grain boundary oxidation embrittlement) is considered the primary reason for …
Immersion Cooling Of Photovoltaic Cells In Highly Concentrated Solar Beams, 2011 University of Nevada, Las Vegas
Immersion Cooling Of Photovoltaic Cells In Highly Concentrated Solar Beams, Ahmed Darwish
UNLV Theses, Dissertations, Professional Papers, and Capstones
Concentrated solar radiation can be utilized to generate electrical power from photovoltaic cells, but concentrated solar radiation increases the photovoltaic cell’s temperature. This increase in temperature can lead to degradation of the cell efficiency, and too high of a temperature can damage the cell’s integrity. This is particularly important in dish and tower systems where a maximum uniform flux may be difficult to achieve. While a variety of approaches have been used to the keep the cells cool, most are based upon removal of heat from the back (opposite surface of the incident flux exposed surface) of the cell. This …
Raman Spectroscopic Study Of Solid Solution Spinel Oxides, 2011 University of Nevada, Las Vegas
Raman Spectroscopic Study Of Solid Solution Spinel Oxides, Brian D. Hosterman
UNLV Theses, Dissertations, Professional Papers, and Capstones
Solid solution spinel oxides of composition MgxNi1−xCr2O4, NiFexCr2−xO4, and FexCr3−xO4 were synthesized and characterized using x-ray diffraction and Raman spectroscopy. Frequencies of the Raman-active modes are tracked as the metal cations within the spinel lattice are exchanged. This gives information about the dependence of the lattice vibrations on the tetrahedral and octahedral cations. The highest-frequency Raman-active mode, A1g, is unaffected by substitution of the divalent tetrahedral cation, whereas the lower frequency vibrations are more strongly affected by substitution of the tetrahedral cation. The change in wavenumber of many phonons is nonlinear upon cation exchange. All detected modes of MgxNi1−xCr2O4 and …
Structural, Electrical And Thermoelectric Properties Of Chromium Silicate Thin Films, 2011 University of Nevada, Las Vegas
Structural, Electrical And Thermoelectric Properties Of Chromium Silicate Thin Films, Makram Abd El Qader
UNLV Theses, Dissertations, Professional Papers, and Capstones
Thermoelectric devices can generate electrical power as a result of their ability to produce electrical currents in the presence of thermal gradients. They can also produce refrigerative cooling when electrical power is supplied to them. Among the potential semiconducting silicides, CrSi 2 is attractive because of its high thermal and chemical stability and its potential for thermoelectric application. CrSi2 /SiO2 thin-film structures were prepared using RF sputtering. As deposited and annealed (300°C to 600°C) thin films were characterized for their structural, electrical, and thermoelectric transport properties. As-sputtered CrSi 2 film is amorphous at room temperature and crystallizes around …
Groundwater Contamination Potential In Northern Nevada From Mining, Associated Communities, And Agriculture As Forecasted By Two Vulnerability Methods, 2011 University of Nevada, Las Vegas
Groundwater Contamination Potential In Northern Nevada From Mining, Associated Communities, And Agriculture As Forecasted By Two Vulnerability Methods, John L. Swatzell
UNLV Theses, Dissertations, Professional Papers, and Capstones
Two methodologies, DRASTIC and the NDEP method, were used to compare the groundwater vulnerability of mining, associated towns, and agricultural areas in northern Nevada. The DRASTIC and NDEP methods were compared to determine which method produces a more accurate depiction of vulnerability. Vulnerability maps were created using the United States Environmental Protection Agency's (USEPA) DRASTIC and Nevada Department of Environmental Protection (NDEP) methodologies. The DRASTIC map uses seven aspect layers of geologic and hydrologic information with assigned values and weights that are applied to a mathematical equation. The NDEP method uses field data collection for potential contaminant sources and well …
Seismic Characterization Of Select Engineered Nanoparticles In Essentially Saturated Glass Beads, 2011 University of Nevada, Las Vegas
Seismic Characterization Of Select Engineered Nanoparticles In Essentially Saturated Glass Beads, Mohamed Nihad Rajabdeen
UNLV Theses, Dissertations, Professional Papers, and Capstones
A laboratory testing apparatus was developed for the study of seismic body wave propagation through nanoparticles dispersed in pore fluid that is essentially saturating glass beads. First, the responses of water-saturated glass bead specimens were studied to establish baseline signatures. Then the seismic responses in the presence of engineered nanoparticles of various concentrations dispersed in the pore fluid of the specimen chamber were studied to observe variances from baseline.
The testing apparatus incorporates piezoceramic bender elements to actuate and receive seismic body waves through a cylindrical column filled with glass beads and back-saturated at ambient pressure with liquid. The system …
Cyber Physical Complex Networks, Modeling, Analysis, And Control, 2011 University of Nevada, Las Vegas
Cyber Physical Complex Networks, Modeling, Analysis, And Control, Neveen Shlayan
UNLV Theses, Dissertations, Professional Papers, and Capstones
This research scrutinize various attributes of complex networks; mainly, modeling, sensing, estimation, safety analysis, and control. In this study, formal languages and finite automata are used for modeling incident management processes. Safety properties are checked in order to verify the system. This method introduces a systematic approach to incident management protocols that are governed by mostly unsystematic algorithms. A portion of the used data in this study is collected by means of radar and loop detectors. A weighted t-statistics methodology is developed in order to validate these detectors. The detector data is then used to extract travel time information where …
Comparison Of Design-Build And Design-Bid-Build Performance Of Public University Projects, 2011 University of Nevada, Las Vegas
Comparison Of Design-Build And Design-Bid-Build Performance Of Public University Projects, James David Fernane
UNLV Theses, Dissertations, Professional Papers, and Capstones
With an unsure market and scarce work, owners across the United States, especially universities, are finding themselves in situations where they are unable to complete their projects within cost and schedule using the traditional delivery method: Design-Bid-Build (DBB). Under the DBB project delivery method, many competent contractors are electing to send low bids on projects just to keep work on their books, with plans to receive change orders once the project is underway; this practice is leading to cost and schedule overruns. Public universities across the United States are beginning to elect to use Design-Build (DB) as an alternate project …
Traffic Safety: Modeling, Analysis And Visualization, 2011 University of Nevada, Las Vegas
Traffic Safety: Modeling, Analysis And Visualization, Puneet Lakhanpal
UNLV Theses, Dissertations, Professional Papers, and Capstones
Traffic Safety has always been one of the major issues of concern in United States. Every year, stringent efforts are made by the national agencies and safety offices to uplift the traffic safety standards and build systems which can guide them in policy making, reducing crashes and routing the financial resources in an optimal direction. This thesis studies the traffic safety from three different angles: modeling, analysis and visualization. In the beginning, these three components are explored in the domain of Injury Severity. Later on, the focus is shifted towards the Traffic Safety related to Safety Belts. Factors and models …
Characterizing Multi-Walled Carbon Nanotube Synthesis For Field Emission Applications, 2011 Air Force Institute of Technology
Characterizing Multi-Walled Carbon Nanotube Synthesis For Field Emission Applications, Benjamin L. Crossley, Nathan Glauvitz, Betty T. Quinton, Ronald A. Coutu Jr., Peter J. Collins
Electrical and Computer Engineering Faculty Research and Publications
No abstract provided.
A Three-Dimensional Hydro-Environmental Model Of Dublin Bay, 2011 Technological University Dublin
A Three-Dimensional Hydro-Environmental Model Of Dublin Bay, Zeinab Bedri, Michael Buen, Aodh Dowley
Articles
This paper compares a 3-dimensional hydro-ecological model with a 2-dimensional model simulating the distribution and fate of Escherichia Coli (E.Coli) discharges from a sewage treatment plant discharging into Dublin Bay, Ireland. Before being discharged, the effluent from the sewage treatment plant is mixed with cooling water from a thermal generation plant resulting in a warm buoyant sewage plume that can be 7 − 9oC higher than the ambient water in the Bay. The mixing of the stratified plume is complicated by the tidal currents which transport the plume into and out of the estuary. These processes have a direct impact …