Digital Commons Network^™

Modal Logic And Its Applications, Explained Using Puzzles And Examples, Marek Perkowski

Electrical and Computer Engineering Faculty Publications and Presentations

1.We shall be concerned, at first, with alethicmodal logic, or modal logic tout court. 2.The starting point, once again, is Aristotle, who was the first to study the relationship between modal statements and their validity. 3.However, the great discussion it enjoyed in the Middle Ages. 4.The official birth date of modal logic is 1921, when Clarence Irving Lewis wrote a famous essay on implication.

Building America Industrialized Housing Partnership (Baihp Ii) Final Report Budget Periods 1-5, April 1, 2006 - November 30, 2010, Florida Solar Energy Center, Robert Abernethy

FSEC Energy Research Center®

This report summarizes the work conducted by the Building America Industrialized Housing Partnership (BAIHP - www.baihp.org) during the final budget period (BP5) of our contract, January 1, 2010 to November 30, 2010. Highlights from the four previous budget periods are included for context.

BAIHP is led by the Florida Solar Energy Center (FSEC) of the University of Central Florida. With over 50 Industry Partners including factory and site builders, work in BP5 was performed in six tasks areas:

• Task 1: Building America System Research Management, Documentation and Technical Support
• Task 2A: Stage G1A: Integrated Solutions for Specific Climate Regions
• Task …

Exploring Trade-Offs In Auv Controller Design For Shark Tracking, Louis James Bertsch Iv

Master's Theses

This thesis explores the use of an Autonomous Underwater Vehicle (AUV) to track and pursue a tagged shark through the water. A controller was designed to take bearing and range to the shark tag and then control the AUV to pursue it.

First, the ability of a particle filter to provide an accurate estimation of the location of the shark relative to the AUV is explored. Second, the ability of the AUV to follow the shark's path through the water is shown. This ability allows for localized environmental sampling of the shark's preferred path. Third, various path weightings are used …

Material Weight Station Optimization Senior Project, Douglas Peters, Michael Eng

Industrial Technology and Packaging

The main principle of all industry is that “time is money”. This senior project focuses on reducing operation times for Specialty Silicone Fabricators (SSFab) materials weighing station. Currently SSFab is set up so that multiple operators check the weights of materials. This is done to guarantee the accuracy of the readings and maintain tight quality control. This project will focus on eliminating the need of multiple weight checkers as a way to save time and ultimately save money.

Through detailed research and studies it has been determined that the most appropriate solution to this problem is a weight checking software …

Acuta Enews March 2011 Vol. 40, No. 3

ACUTA Newsletters

ln This lssue

Meet the Board for 2011-12

Tech Talk: Take Two Tablets and Catt Me in the Morning.......... Kevin Tanzillo, Dux PR

Free Webinars Coming Soon to ACUTA

Learn More about UC, Voice Trends, the Cloud, and More from Your Desktop

From ACUTA Headquarters: Member Years of Service ,Jeri A. Semer, CAE, Executive Dir

Board Report......... George Denbow, univ. of Texas, Austin

New to ICT or Not, ACUTA Members Are All Busy!........... Young Professionals Subcommittee

lT's Funny!

lnfo Links ........... .. Randy Hayes, Univ' of Northern lowa

ACUTA 2011 Event Calendar

Welcome New Members

Check lt Out: Press Releases...Job …

Optimizing Trajectories For Unmanned Aerial Vehicles (Uavs) Patrolling The Border, Chris Kiekintveld, Vladik Kreinovich, Octavio Lerma

Departmental Technical Reports (CS)

Estimating Covariance For Privacy Case Under Interval (And Fuzzy) Uncertainty, Ali Jalal-Kamali, Vladik Kreinovich, Luc Longpre

Departmental Technical Reports (CS)

Department Of Biological Systems Engineering Newsletter, Volume 7, Number 1, March 2011

BSE Department Magazine

No abstract provided.

Topscholar® Creating Opportunities [2011 Brochure], Connie Foster, Jennifer Wilson

TopSCHOLAR® Presentations and Reports

No abstract provided.

Discrete Event Simulation Manual: Manufacturing Applications, Brian T. Hughes

Industrial and Manufacturing Engineering

Simulation, specifically discrete event simulation, is a useful tool for industrial and manufacturing engineers when dealing with system analysis. Currently, manufacturing engineers are only exposed to simulation for only a few weeks of their curriculum at Cal Poly. A series of labs are directed by a teacher’s assistant on how to complete a successful simulation experiment. However, there is no text available for student use during this demanding learning period. The simulation learning process involves learning a software program called ProModel, which students with little experience are expected to code, run, and interpret data from complex systems. By creating a …

Towards Faster Estimation Of Statistics And Odes Under Interval, P-Box, And Fuzzy Uncertainty: From Interval Computations To Rough Set-Related Computations, Vladik Kreinovich

Departmental Technical Reports (CS)

Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds $\Delta$ on the measurement errors. In interval computations, at each intermediate stage of the computation, we have intervals of possible values of the corresponding quantities. As a result, we often have bounds with excess width. One way to remedy this problem is to extend interval technique to rough-set computations, where on each stage, in addition to intervals of possible values of the quantities, we also keep rough sets representing possible values of pairs (triples, etc.).

How To Combine Probabilistic And Possibilistic (Expert) Knowledge: Uniqueness Of Reconstruction In Yager's (Product) Approach, Nitaya Buntao, Vladik Kreinovich

Departmental Technical Reports (CS)

Often, about the same real-life system, we have both measurement-related probabilistic information expressed by a probability measure P(S) and expert-related possibilistic information expressed by a possibility measure M(S). To get the most adequate idea about the system, we must combine these two pieces of information. For this combination, R. Yager -- borrowing an idea from fuzzy logic -- proposed to use the simple product t-norm, i.e., to consider a set function f(S) = P(S) * M(S). A natural question is: can we uniquely reconstruct the two parts of knowledge from this function f(S)? In this paper, we prove that while …

Led Spotlight, Eric Toussaint

Electrical Engineering

This report details the development and construction of an LED spotlight useable in a theatrical or architectural setting.  In depth background information, initial design concepts, lighting instrument specifications, assembly, testing, and conclusions from results are highlighted in this document.  Project goals include efforts to support more energy efficient lighting in the arts and general lighting applications and a decrease in overall costs for energy used in all dramatic and architectural lighting applications.

Reactive Routing In Hidra Networks, Scott Michael Marshall

Computer Engineering

In recent years, the Internet has grown so large that the future scalability of the Internet has become a major concern. The two primary scalability concerns are the size of the forwarding table and the ability for BGP to converge while distributing hundreds of thousands of routes.

HIDRA is a new Internet routing architecture that is backwards-compatible with existing routing technologies and protocols that focuses on feasibility-of-implementation. HIDRA remedies the first Internet scalability concern by proposing a means to reduce the number of entries in the default-free zone (DFZ) forwarding table.

This project extends HIDRA by designing a complete reactive …

Pipeline Design For Reclaimed Spill Water For West Stanislaus Irrigation District, Daniel Bays

BioResource and Agricultural Engineering

The goal of this project was to design a pipeline that could be installed to replace an existing drain in West Stanislaus Irrigation District.  The pipeline would give the district the ability to divert drain water back into their delivery system or send water down the existing drain.

The design attempted to use pipe and material the district already has and provided construction drawings and installation instructions for the construction of this design in the future.

Economic Analysis Of Reverse Osmosis Desalination Of Water For Agricultural Irrigation Applications, Ashley Hemping

BioResource and Agricultural Engineering

The combination of an ever-increasing population and a diminishing usable water supply threatens the sustainability of humanity’s existence on a global scale, especially in California, where agriculture is so integral to the state’s economy.  Due to widespread recognition of this problem, there has been a growing trend in the development of alternative water resources, one of which involves the desalination of salt or brackish waters.  Several different desalination technologies exist, including microfiltration, multi-stage flash, and multi-effect distillation.

This senior project investigates the economic viability of implementing reverse osmosis desalination for treatment of agricultural wastewater or other unusable water sources.  These …

Optimization Of Point-Of-Use Water Treatment Device For Disaster Relief, Margaret June Herzog

Master's Theses

Point-of-use (POU) drinking water treatment is a common method of providing drinking water in disaster relief situations when critical water infrastructure is damaged. In these cases, POU treatment devices can be used to treat local water until relief organizations set up more permanent water provision methods. One such POU technology is PŪR^® Purifier of Water, a combined coagulation/flocculation and disinfection chemical treatment sachet produced by Procter & Gamble. PŪR^® has been shown to treat contaminated water to meet water quality standards and guidelines set by the U.S. EPA for water purifiers and by the World Health Organization and …

A Study Into The Use Of Microprocessor Relays For Motor Operated Valve (Mov) Electrical Protection In Nuclear Power Plants, James Andrew Tuccillo

Master's Theses

Motor Operated Valves (MOVs) are electro-mechanical components used to isolate, divert, or introduce fluid flow. The use of microprocessor relays for actuator motor electrical protection within nuclear power plants is the focus of this thesis and is implemented by providing a new and enhanced protection scheme that provides the adequate conservatism necessary to ensure valve operation while still maintaining electrical safety and continued operational availability. The comprehensive protection scheme is designed around an advanced microprocessor relay that has the ability to simulate the thermal overload conditions of a motor operating into a destructive thermal region. Through laboratory testing, the validity …

Scalable Correct Memory Ordering Via Relativistic Programming, Josh Triplett, Philip William Howard, Paul E. Mckenney, Jonathan Walpole

Computer Science Faculty Publications and Presentations

We propose and document a new concurrent programming model, relativistic programming. This model allows readers to run concurrently with writers, without blocking or using expensive synchronization. Relativistic programming builds on existing synchronization primitives that allow writers to wait for current readers to finish with minimal reader overhead. Our methodology models data structures as graphs, and reader algorithms as traversals of these graphs; from this foundation we show how writers can implement arbitrarily strong ordering guarantees for the visibility of their writes, up to and including total ordering.

Computational Intelligence In Wireless Sensor Networks: A Survey, Raghavendra V. Kulkarni, Anna Förster, Ganesh K. Venayagamoorthy

Electrical and Computer Engineering Faculty Research & Creative Works

Wireless sensor networks (WSNs) are networks of distributed autonomous devices that can sense or monitor physical or environmental conditions cooperatively. WSNs face many challenges, mainly caused by communication failures, storage and computational constraints and limited power supply. Paradigms of computational intelligence (CI) have been successfully used in recent years to address various challenges such as data aggregation and fusion, energy aware routing, task scheduling, security, optimal deployment and localization. CI provides adaptive mechanisms that exhibit intelligent behavior in complex and dynamic environments like WSNs. CI brings about flexibility, autonomous behavior, and robustness against topology changes, communication failures and scenario changes. …

A Study Of Osteocyte Apoptosis By Region And Quadrant In Murine Cortical Bone, Jessica Kristen Chan

Master's Theses

ABSTRACT

A Study of Osteocyte Apoptosis by Region and Quadrant in Murine Cortical Bone

Jessica Kristen Chan

Osteocytes undergo apoptosis to spatially and temporally initiate bone remodeling.  This study investigates the distribution of apoptotic osteocytes within different quadrants and regions of cortical bone and compares the frequency of osteocyte apoptosis to regional factors associated with bone remodeling.  Specifically, the quantity of apoptosis was compared to levels of the bone morphagenic protein antagonists noggin and gremlin.  Samples of unloaded right tibial bone obtained from C57/Bl/6 mice underwent TUNEL staining for apoptotic osteocytes and were counterstained with methyl green to detect osteocyte …

The State Of Software Engineering Maturity And Licensure, Travis Lawrence Dean

Master's Theses

IEEE-CS is pursuing licensing for software engineers, but ACM believes that software engineering is too immature, and regulating the profession would be premature. In 1996, Norman Gibbs and Gary Ford from Carnegie Mellon University performed a qualitative survey of the maturity of the software engineering profession. I apply this model to the present state of the art in software engineering and analyze the results for 2010. I analyze the maturity of software engineering to determine that the profession is not yet ready for licensure. This is not because the infrastructure of software engineering is too immature, but because we have …

A Proposal For Introduction Of Geothermal Energy To The Energy Sector Of Bangladesh, Wafi Danesh, Sandip Bhowmick, Nomir Muktadir, Mohammad Alam

Electrical Engineering Student Publications

Due to the rapid industrialization over the last two decades, Bangladesh has witnessed a high demand for uninterrupted electricity, which keeps on increasing every day. With the power sector in Bangladesh beset by many infrastructural problems such as an inefficient transmission system, overdependence on natural gas reserves and a cumbersome decision making process for expansion of current power system to name a few, it has become the imperative to seek new energy sources that are relatively cheap, quick to set up and operate and have a low overall loss. The current energy demand stands at around 5,500 MW against a …

Ambulatory Healthcare Utilization In The United States: A System Dynamics Approach, Rafael Diaz, Joshua G. Behr, Mandar Tulpule

VMASC Publications

Ambulatory health care needs within the United States are served by a wide range of hospitals, clinics, and private practices. The Emergency Department (ED) functions as an important point of supply for ambulatory healthcare services. Growth in our aging populations as well as changes stemming from broader healthcare reform are expected to continue trend in congestion and increasing demand for ED services. While congestion is, in part, a manifestation of unmatched demand, the state of the alignment between the demand for, and supply of, emergency department services affects quality of care and profitability. The central focus of this research is …

Synthesis Of Latex Based Antibacterial Acrylate Polymer/Nanosilver Via In Situ Miniemulsion Polymerization, Mostafa Yazdi Mamaghani, Malihe Pishvaei, Babak Kaffashi

Chemical and Biochemical Engineering Faculty Research & Creative Works

Silver nanoparticles were incorporated into poly-{methyl methacrylate-butyl acrylate-acrylic acid} using two different approaches. The first approach was based on dispersing the nano silver particles in acrylic latex (previously synthesized by the emulsion polymerization) and the second is the in-situ polymerization of acrylate monomers in the presence of silver nanoparticles by Mini emulsion polymerization. Mini emulsion polymerization can yield a better dispersion of nano silver in the polymeric particles because organic particles can be dispersed directly in the monomer droplets becoming encapsulated upon polymerization. Morphological investigations were performed using SEM and TEM. FTIR and thermal analyses revealed the silver nanoparticles to …

Electrocatalytic Oxidation Of Hydrazine At Rutin Carbon Nanotubes Modified Electrode, Hong-Fang Zhang, Qing-Lin Sheng, Jian-Bin Zheng

Journal of Electrochemistry

The electrochemical behavior and electrocatalytic oxidation of hydrazine on rutin multiwall carbon nanotubes modified glassy carbon electrode were studied by cyclic voltammetry.The experimental results indicated that the electrode exhibits good electrocatalytic activity to hydrazine at a reduced oxidation potential of 262 mV.The amperometric response of the modified electrode showed linear increase after successive addition of hydrazine in the concentration range of 2.5×10^-6~1.0×10^-4 mol·L-1 with a detection limit of 5×10^-7 mol·L^-1.

Surface-Enhanced Raman Imaging Of Intracellular Bioreduction Of Chromate In Shewanella Oneidensis, Sandeep P. Ravindranath, Kristene Henne, Dorothea Thompson, Joseph Irudayaraj

Birck and NCN Publications

This proposed research aims to use novel nanoparticle sensors and spectroscopic tools constituting surface-enhanced Raman spectroscopy (SERS) and Fluorescence Lifetime imaging (FLIM) to study intracellular chemical activities within single bioremediating microorganism. The grand challenge is to develop a mechanistic understanding of chromate reduction and localization by the remediating bacterium Shewanella oneidensis MR-1 by chemical and lifetime imaging. MR-1 has attracted wide interest from the research community because of its potential in reducing multiple chemical and metallic electron acceptors. While several biomolecular approaches to decode microbial reduction mechanisms exist, there is a considerable gap in the availability of sensor platforms to …

Radio-Frequency Breast Cancer Imaging Results For A Simplified Cylindrical Phantom, Giuseppe Ruvio, Raffaele Solimene, Antonietta D'Alterio, Max Ammann, Rocco Pierri

Conference Papers

Microwave imaging is a pervasive research field and
is useful in numerous applicative diagnostic noninvasive contexts. This paper focuses on two aspects. First, we perform a numerical investigation to assess the role played by fundamental parameters (i.e. number of sensors, operating frequency bandwidth) on cancer detection. To this end, a simplified cylindrical phantom probed by ideal two-dimensional dipoles (i.e. infinitely long along the axis of invariance) is considered. Second, in order to focus on the role of the antennas, we analyze, still by numerical simulations and for a simplified breast model, how performances vary when a realistic antenna is adopted.

Identifying Horizontal Gene Transfer Using Anomalies In Protein Structures And Sequences, Venkat Ram B. Santosh

School of Computing: Dissertations, Theses, and Student Research

Genetics has traditionally focused on vertical gene transfer, which is the passing of the genetic material of an organism to its offspring. However, recent studies in genetics increased the awareness that horizontal gene transfer, which is the passing of the genetic material of an organism to another organism that is not its offspring, is also a significant phenomenon. Horizontal gene transfer is thought to play a major role in the natural evolution of bacteria, such as, when several different types of bacteria all suddenly develop the same drug resistance genes. Artificial horizontal gene transfer occurs in genetic engineering.

This thesis …

Security Monitoring System For A Bulk Foodstuff Transport Container, Christopher Dwight Thompson, Suraj M. Alexander, William L. Christ, Brian D. Luck, James Ryan Moore, Jonathan C. Paschal, Frederick Payne, Timothy S. Stombaugh, Nasrin Tabayehnejad, Phillip C. Womble

Biosystems and Agricultural Engineering Faculty Patents

A security monitoring system provides for the secure transport of a bulk foodstuff container. The system includes an electromechanical locking mechanism allowing access by only authorized persons, a positional locator for determining the geographical position of the bulk foodstuff transport container, and a controller associated with the transport container. The controller controls operation of the electromechanical locking mechanism, stores data received from the electromechanical locking mechanism and the positional locator, and communicates with a remote data processor in near real time. A handheld user interface device is configured to control operation of the controller, to process and store data received …