Engineering Commons^™

A Formal Specification In Jml Of The Java Security Package, Poonam Agarwal, Carlos E. Rubio-Medrano, Yoonsik Cheon, Patricia J. Teller

Departmental Technical Reports (CS)

The Java security package allows a programmer to add security features to Java applications. Although the package provides a complex application programming interface (API), its informal description, e.g., Javadoc comments, is often ambiguous or imprecise. Nonetheless, the security of an application can be compromised if the package is used without a concrete understanding of the precise behavior of the API classes and interfaces, which can be attained via formal specification. In this paper, we present our experiences in formally specifying the Java security package in JML, a formal behavior interface specification language for Java. We illustrate portions of our JML …

Fast Computation Of Centroids For Constant-Width Interval-Valued Fuzzy Sets, Jerry M. Mendel, Hongwei Wu, Vladik Kreinovich, Gang Xiang

Departmental Technical Reports (CS)

Interval-valued fuzzy sets provide a more adequate description of uncertainty than traditional fuzzy sets; it is therefore important to use interval-valued fuzzy sets in applications. One of the main applications of fuzzy sets is fuzzy control, and one of the most computationally intensive part of fuzzy control is defuzzification. Since a transition to interval-valued fuzzy sets usually increases the amount of computations, it is vitally important to design faster algorithms for the corresponding defuzzification. In this paper, we provide such an algorithm for a practically important case of constant-width interval-valued fuzzy sets

Topaz: A Firefox Protocol Extension For Gridftp Based On Data Flow Diagrams, Richard Zamudio, Daniel Catarino, Michela Taufer, Brent Stearn, Karan Bhatia

Departmental Technical Reports (CS)

As grid infrastructures mature, an increasing challenge is to provide end-user scientists with intuitive interfaces to computational services, data management capabilities, and visualization tools. The current approach used in a number of cyber-infrastructure projects is to leverage the capabilities of the Mozilla framework to provide rich end-user tools that seamlessly integrate with remote resources such as web/grid services and data repositories.

In this paper we apply rigorous software engineering tools, Data Flow Diagrams or DFDs, to guide the design, implementation, and performance analysis of Topaz, a GridFTP protocol extension to the Firefox browser. GridFTP servers, similar to FTP servers used …

The Effect Of Gender Schematicity On The Assessment Of Male And Female Pilots’ Competence Given Identical Scenarios, Jan D. Laplante

Master's Theses - Daytona Beach

Gender has been identified as one of the top three categories, along with race, and age that are subject to stereotyping, prejudice and discrimination (Fiske, 1998). With the emergence of women in stereotypical male domains, gender research has never been more important. The aviation community is a prime example of one such domain.

This study examined the presence of an existing perception that male pilots are more competent then female pilots. It suggested that there does not appear to be evidence that would explain why there should be a difference in this perception of competence. It also discussed social theories …

Viscoplastic Finite-Element Simulation To Predict The Solder Joint Fatigue Life Of Different Flash Memory Die Stacking Architectures, Yong Je Lee

Mechanical and Aerospace Engineering Theses - Archive

This thesis focuses on the viscoplastic finite-element simulation to predict the solder joint fatigue life of different die stacking architectures for flash memory products. Four different stacked package architectures were evaluated as follows: pyramid, rotated, and spacer stacking, while interconnection (solder joint) was held constant. Number of dies for all four stacking configurations were varied from three, five and seven. To keep the package height constant, the die and die attach thickness were varied and the resulting effects on the stresses were investigated. A quarter and half symmetry model of stacked flash package are generated using ANSYS APDL script. The …

Statistical Analysis Of Compressive Strength Of Clay Brick Masonry Prisms, Saman Afqahi Aryana

Civil Engineering Theses - Archive

The Specification for Masonry Structures section of the current governing masonry design document in the U.S., reported by the Masonry Standards Joint Committee (MSJC), contains tables that can be used to determine the compressive strength of masonry, f'm, as a function of the mortar type and the compressive strength of the unit employed to construct the masonry. The majority of the data gathered to create the current values in the MSJC Specification were generated in studies done prior to 1970. There have been significant changes in materials and procedures since this time frame, and there is a need to gather …

The Optimization Of Amplifiers For Uwb Applications, Kyoung D. Kim

Theses and Dissertations - UTB/UTPA

Optimizations of 0.18 μm and 0.5 μm MOSFET amplifiers without using inductors for UWB applications are presented. A 3 dB bandwidth from 3.1 GHz to 9.9 GHz with minimum 9.6 dB of transducer gain at 10.6 GHz and approximate 92.8 mWatts of total power consumption are achieved. The source and load impedances were 50 ohms. Also, the number of capacitors and resistors has been minimized. To predict characteristics more precisely, the pad capacitance is added to the output port. In addition, a different feedback topology is presented which gives a lower Noise Figure with maximum 7.73 dB at 10.6 GHz …

Identification Of Pavement Distress In Kentucky, Tim C. Scully Jr., R. Clark Graves, David L. Allen

Kentucky Transportation Center Research Report

In Kentucky, the roads are comprised primarily of two types of pavement. The first being Portland Cement Concrete (PCC) a rigid pavement, and the other is Asphaltic Concrete (AC), a flexible pavement. There is a noticeable difference in their appearance, ride, cost and performance. Since Kentucky utilizes both pavements, as many states do, it is necessary to have a system in place to consistently identify pavement distress and categorize their overall performance.

Dial 2004 Working Group Report On Acquisition Quality Control, Elisa H. Barney Smith, Henry Baird, William Barrett, Frank Le Bourgeois, Xiaofan Lin, George Nagy, Steve Simske

Electrical and Computer Engineering Faculty Publications and Presentations

This report summarizes the discussions of the Working Group on Acquisition Quality at the International Workshop on Document Image Analysis for Libraries, Palo Alto, CA, 23-24 January 2004. Acquisition of the image is one of the most time intensive components of forming a digital library, and the quality of the acquisition will affect all later stages of the digital library project. The current state of the art in acquisition is analyzed. Problems and suggested improvements for image acquisition and storage formats and the special problems associated with acquisition from microfilm follows. A list of general suggestions was developed which was …

Impulse, Dave Graves, Kyle Johnson, Andrea Kieckhefer, Miranda Reiman, Cindy Rickeman, Denise Watt

Impulse (Jerome J. Lohr College of Engineering Publication)

Features:
[Page] 2 New scoreboards put Jacks, alums on high-tech display: Daktronics installs its most unique system yet
[Page] 4 Lighting the way: New electrical engineering doctorate to focus on photovoltaics
[Page] 6 Minor approved in biomedical engineering: Students can now earn a minor degree in this hot field
[Page] 8 Construction Management program gets 'big gold star': The first and only CM program in the state is now accredited
[Page] 10 JEC brings Gibson, Boisjoly to campus: Former astronaut, aerospace engineer deliver their message
Students:
[Page] 11 Haskins + 3 = 4 Geotek interns: Gaining real-world experience
[Page] 12 …

Internet Use By Teachers And Students In Engineering Colleges Of Punjab, Haryana, And Himachal Pradesh States Of India: An Analysis, Rajeev Kumar, Amritpal Kaur

E-JASL: Electronic Journal of Academic and Special Librarianship (1999-2009, Volumes 1-10)

Abstract

The aim of this study is to analyze the use of the Internet and related issues among the teachers and the students of engineering colleges in India’s three States viz. Punjab, Haryana and Himachal Pradesh. A well-structured questionnaire was distributed among the 1980 teachers and students of all the engineering colleges of the three states of India under study. The response rate was 80.9 percent. The present study demonstrates and elaborates the various aspects of Internet use, such as frequency of Internet use, methods used for learning of Internet skill, most frequently used place for Internet use, purposes for …

E-Resources And Services In Engineering College Libraries – A Case Study, K. R. Mulla, M. Chandrashekra

E-JASL: Electronic Journal of Academic and Special Librarianship (1999-2009, Volumes 1-10)

Introduction

Libraries have witnessed a great metamorphosis in recent years both in their collection development and in their service structure. Over the last several years, a significant transformation has been noticed in collection development policies and practices. Print medium is increasingly giving way to the electronic form of materials. This study examines libraries by region within the State of Karnataka, India. It examines the level of effort taken by the engineering college libraries in Karnataka to build electronic resources.

Dynamics Of Nonlinear Diffusion Processes, Dustin A. Sipka

Master's Theses - Daytona Beach

The purpose of this thesis is to analyze nonlinear diffusion processes. In particular, some of the results arrived at by Newman and Sagan in their 1981 paper "Galactic Civilizations: Population Dynamics and Interstellar Diffusion," will be reproduced by different means. First, a thorough analysis of the linear diffusion equation will be performed in order to test a numerical algorithm that can solve the nonlinear diffusion equation and look at the processes of interest with sufficient accuracy. Once the algorithm is tested and shows good resolution it is used to solve the nonlinear equation. The post processing is then done to …

Six Sigma Applied To Flight Operations Quality Assurance: An Exemplar Case Study, Alan J. Stolzer, Han Wu, Carl Halford

School of Graduate Studies - Daytona Beach

“Due to the requirement to maintain and improve the safety record of commercial air transportation in the United States (U.S.) despite increasing traffic, several proactive safety programs have been introduced in recent years. Among these proactive safety programs is a form of Flight Data Monitoring (FDM) known in the U.S. as Flight Operational Quality Assurance (FOQA). FOQA is a program utilizing quantifiable, objective data collected from the air carrier aircraft’s data recording system. The data is then analyzed to identify trends and other indicators of potential safety problems. With few exceptions, FOQA data analysis has been rudimentary, often limited to …

Feasibility Study Of Options For Aging Hydro-Power Generation Facility, Sandip R. Sharma

Electrical Engineering Theses - Archive

Most of the hydro generation facilities are operating under derated capacity due to various factors. The availability of generation facilities is decreasing, the cost for maintenance is going up and plants are crippled with severe faults leading to outages. The feasibility study for aging hydro-power plant is carried out with an objective to find out the best possible alternative both with respect to reliability of operation and benefit to cost ratio. The multi-criterion weighted average condition evaluation of hydro-electric generator is carried out. A Visual Basic and Microsoft Excel based condition evaluation program is implemented for possible condition decision making …

Parallel Interference Cancellation Multiuser Detectors For Ds-Cdma Communication Systems, Feng Liu

Electrical Engineering Dissertations - Archive

A non-linear sub-optimal multiuser detector in the form of parallel interference cancellation (PIC) has been studied. The main objective of this thesis is to develop an analytical model for PIC performance analysis and propose new near-optimum approach. Since the exact performance analysis of PIC is difficult to derive due to its nonlinear decision function, previous work tends to adopt computer simulation method or evaluate through Gaussian approximation (GA) method. For PIC detector, the GA method may not apply since there may exist a dominate interference signal. In addition, the central limit theorem is not applicable to model the residual MAI …

Multi-Area Unit Commitment And Economic Dispatch With Market Operation Components, Chitra Yingvivatanapong

Electrical Engineering Dissertations - Archive

Unit commitment and economic dispatch, when combined together, is a useful tool to find the most economical generation schedule with which demand and spinning reserve requirement are supplied and all generating unit constraints, such as unit ramp rates, unit minimum and maximum generation capabilities, and unit minimum up-time and down-time, are satisfied over a time horizon. For systems consisting of multiple areas, area import/export capabilities and tie line capacity constraints also need to be taken into account. Enhanced Lagrangian relaxation, unit decommitment and lambda-iteration methods are applied in this dissertation to determine the optimal unit commitment and economic dispatch schedule …

Engineering@Nebraska - Spring 2006

Engineering@Nebraska (Alumni Magazine)

Table of Contents:

A Swine Sensation: William Velander is creating a safe, inexpensive treatment for hemophilia using protein from the milk of transgenic pigs.
Bridging a Community: UNL and the Nebraska Department of Roads join together to build the United States’ first tied-arch bridge in Ravenna.
Five Men and a Machine Shop: The Engineering and Science Research Support Facility helps UNL faculty turn ideas into reality.
From the Gridiron to G-forces: Graduate student Curt Tomasevicz makes his Olympic debut.
The Industry Standard: The new Charles Durham School of Architectural Engineering and Construction is expected to train the next generation of …

Nebraska Blueprint – Spring 2006

Nebraska Blueprint (Student Publication)

Table of Contents:

Medical Marvels – "Biomedical engineering ties many branches of engineering together, encouraging teamwork and collaboration among departments as well as outside partners. This is a snapshot of some of the ongoing biomedical research at UNL."

Medication Nation: Pharmaceutical industry grows as it finds new uses for common drugs

The Freshman Connection – "The university's freshman learning community program"

E-Week 2006 [two photographs]

Semester Project For Engineering Management, Paul Savory

Department of Industrial and Management Systems Engineering: Instructional Materials

This is the team-based, semester project for my advanced engineering management course at the University of Nebraska-Lincoln. This project focuses on having student teams plan a successful, professional, innovative and enjoyable professional conference. This is an activity that many of of them will have the opportunity to be involved with during their career. The project is divided into nine tasks with peer feedback and rework part of the process.

Development Of Self-Assembled Monolayer-Based Cell Culture Platform Towards Fabrication Of A Three-Dimensional Bioreactor, Rajendra Kandoor Aithal

Doctoral Dissertations

The extracellular matrix (ECM) plays an important role in regulating a number of cellular properties and functions like cell differentiation, cell synthesis and degradation, cell viability and proliferation, cell function, and cell aging. Surface modification of planar substrates with self-assembled monolayers (SAMs) is a promising technique to achieve stable ECMs.

In this work, substrates such as silicon (Si), gallium arsenide (GaAs) and indium tin oxide (ITO) substrates were modified with SAMS containing amino (-NH2), methyl (-CH3), thiol (-SH) and carboxylic (-COOH) end groups and characterized using contact angle measurements, surface infrared (IR) spectroscopy and atomic force microscopy (AFM). Different cell …

Reliable In-Plane Velocity Measurements With Magnetic Resonance Velocity Imaging, Haosen Zhang, Sandra S. Halliburton, Andan K. Venkatachari, Randolph M. Setser, Richard D. White, George P. Chatzimavroudis

Chemical & Biomedical Engineering Faculty Publications

Magnetic resonance (MR) imaging is a well-known diagnostic imaging modality. In addition to its high-quality imaging capabilities, hydrogen-based MR can also provide non-invasively the velocity of water-based fluids in all three spatial directions (through-plane and in-plane) in an image. Many previous studies showed that MR velocity imaging can accurately measure the through-plane velocity. The aim of this study was to evaluate how reliable are the in-plane velocity measurements in an image. The axial velocity of water in horizontal tubes (inner diameter: 14.7–26.2 mm) was measured with segmented (fast) and non-segmented (slow) k-space MR velocity …

Biodiesel Basics, Czarena L. Crofcheck, Timothy S. Stombaugh, Michael D. Montross

Agricultural Engineering Extension Publications

Biodiesel is a renewable fuel for diesel engines. Biodiesel, defined by ASTM International (D6751), consists of longchain fatty acid alkyl esters and is made from renewable vegetable oils, recycled cooking oils, or animal fats. It can be used at full strength, but it is typically blended with petroleum diesel. A blend of 2 percent biodiesel and 98 percent diesel is referred to as B2. Other typical blends include B5, B10, and B20; pure biodiesel is sometimes referred to as B100. Biodiesel is safer for the environment and produces significantly less air pollution compared to petroleum diesel. Biodiesel can be produced …

Biodiesel Faq, Timothy S. Stombaugh, Czarena L. Crofcheck, Michael D. Montross

Agricultural Engineering Extension Publications

Biodiesel and other alternative fuels continue to gain popularity as petroleum fuel prices rise and we become more concerned about our environment. Introduction of these fuels raises many questions about actually using them in current equipment. The purpose of this factsheet is to address some of the common questions asked by those considering the use of biodiesel in existing diesel equipment.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 22, Number 6, April 2006, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

A Comparison Of Data Assimilation Methods Using A Planetary Geostrophic Model, Edward D. Zaron

Civil and Environmental Engineering Faculty Publications and Presentations

Assimilating hydrographic observations into a planetary geostrophic model is posed as a problem in control theory. The cost functional is the sum of weighted model and data residuals. Model errors are assumed to be spatially correlated, and hydrographic station data are assimilated directly. Searches in state space and data space, for minimizing the cost functional, are compared to a direct matrix inversion algorithm in the data space. State-space methods seek the minimizer of the cost functional by performing a preconditioned search in an N-dimensional space of state or control variables, where N is approximately 650 000 in the present calculations. …

Extraction Of Dispersive Material Parameters Using Vector Network Analyzers And Genetic Algorithms, Jianmin Zhang, Marina Koledintseva, David Pommerenke, James L. Drewniak, Konstantin Rozanov, Giulio Antonini, Antonio Orlandi

Electrical and Computer Engineering Faculty Research & Creative Works

A novel method to extract dispersive properties for dielectrics over a wide frequency range is proposed. This method is based on measuring scattering parameters for planar transmission lines and applying genetic algorithms. The scattering parameters are converted into ABCD matrix parameters. The complex propagation constant of the TEM wave inside the line is obtained from A-parameters of the ABCD matrix. For planar transmission lines, analytical or empirical formulas for dielectric loss,conductor loss, anaphase constant are known. The genetic algorithm is then used to extract the Debye parameters for the dielectric substrates. FDTD modeling is used to verify the dispersive parameter …

Ultrasonically Set Glass Polyalkenoate Cements For Orthodontic Applications, D. A. Tanner, N. Rushe, Mark R. Towler

Chemical and Biochemical Engineering Faculty Research & Creative Works

There is an accepted clinical requirement for a luting cement that can be command set upon satisfactory placement of an orthodontic appliance onto dentition. This work evaluates the suitability of ultrasound, imparted from a dental scaler, as a potential mechanism for achieving this. The net setting times and subsequent compressive strengths of a range of commercial and experimental glass polyalkenoate cements (GPCs) were evaluated, using modified ISO 9917 methods, when set both chemically and by ultrasound. The ultrasound was applied to the GPC through an orthodontic brace. It was possible to command set GPCs by the application of five to …

Optimisation Of The Composition Of An Acrylic Bone Cement: Application To Relative Amounts Of The Initiator And The Activator/Co-Initiator In Surgical Simplex®P, S. Madigan, M. R. Towler, G. Lewis

Chemical and Biochemical Engineering Faculty Research & Creative Works

In cemented arthroplasties, the two-part self-curing acrylic bone cement is currently the only material used for anchoring the total joint replacement to the contiguous bone. In virtually all commercially available formulations of this cement, the agents used for the initiation and activation/co-initiation of the radical polymerisation reaction are benzoyl peroxide (BPO) and N, N dimethyl-paratoluidine (DMPT), respectively. There are no reports in the open literature on the rationale for the amounts of these and other constituents in the formulations of the cement. Given the concerns that have been raised in the literature regarding the effect of residual DMPT on the …

Automated Oxidase-Coupled Amperometric Microsensor With Integrated Electrochemical Actuation System For Continuous Sensing Of Saccharoids, Yadunandana Yellambalase, Jongwon Park, Chang-Soo Kim, Minsu Choi, Nohpill Park, Fabrizio Lombardi

Electrical and Computer Engineering Faculty Research & Creative Works

Recent developments for biosensors have been mainly focused on miniaturization and exploratory use of new materials. It should be emphasized that the absence of a novel "in-situ self-calibration/diagnosis technique" that is not connected to an external apparatus is a key obstacle to the realization of a biosensor for continuous use with minimum attendance. To address this deficiency, a novel needle-type biosensor system with fully automated operations is being developed, in which a novel oxidase-coupled amperometric sensor with oxygen depleting/generating actuator is interfaced with an electrochemical instrument and a perfusion system. Labview virtual instrument has been also developed to oversee the …