Digital Commons Network^™

A Contextual Interpretation Of Undefinedness For Runtime Assertion Checking, Yoonsik Cheon, Gary T. Leavens

Departmental Technical Reports (CS)

Runtime assertion checkers and static checking and verification tools must all cope with the well-known undefinedness problem of logic. This problem is particularly severe for runtime assertion checkers, since, in addition to the possibility of exceptions and errors, runtime assertion checkers must cope with non-executable expressions (such as certain quantified expressions). This paper describes how the runtime assertion checker of the Java Modeling Language (JML) copes with undefinedness. JML is interesting because it attempts to satisfy the needs of a wide range of tools; besides runtime assertion checking, these include static checking tools (like ESC/Java) and static verification tools. These …

Simple Public Key Infrastructure Analysis Protocol Analysis And Design, Alexander G. Vidergar

Theses and Dissertations

Secure electronic communication is based on secrecy, authentication and authorization. One means of assuring a communication has these properties is to use Public Key Cryptography (PKC). The framework consisting of standards, protocols and instructions that make PKC usable in communication applications is called a Public Key Infrastructure (PKI). This thesis aims at proving the applicability of the Simple Public Key Infrastructure (SPKI) as a means of PKC. The strand space approach of Guttman and Thayer is used to provide an appropriate model for analysis. A Diffie-Hellman strand space model is combined with mixed strand space proof methods for proving the …

Weapon Release Scheduling From Multiple-Bay Aircraft Using Multi-Objective Evolutionary Algorithms, Francis R. Lyons Iv

Theses and Dissertations

The United States Air Force has put an increased emphasis on the timely delivery of precision weapons. Part of this effort has been to us multiple bay aircraft such the B-1B Lancer and B-52 Stratofortress to provide Close Air Support and responsive strikes using 1760 weapons. In order to provide greater flexibility, the aircraft carry heterogeneous payloads which can require deconfliction in order to drop multiple different types of weapons. Current methods of deconfliction and weapon selection are highly crew dependent and work intensive. This research effort investigates the optimization of an algorithm for weapon release which allows the aircraft …

Accelerating Missile Threat Engagement Simulations Using Personal Computer Graphics Cards, Sean E. Jeffers

Theses and Dissertations

The 453rd Electronic Warfare Squadron supports on-going military operations by providing battlefield commanders with aircraft ingress and egress routes that minimize the risk of shoulder or ground-fired missile attacks on our aircraft. To determine these routes, the 453rd simulates engagements between ground-to-air missiles and allied aircraft to determine the probability of a successful attack. The simulations are computationally expensive, often requiring two-hours for a single 10-second missile engagement. Hundreds of simulations are needed to perform a complete risk assessment which includes evaluating the effectiveness of countermeasures such as flares, chaff, jammers, and missile warning systems. Thus, the need for faster …

Multi-Aoi-System For Easy Changing Angles Of Incidence In Ellipsometer, Polarimeter And Reflectometer Systems, Blaine D. Johs, Ping He, Martin M. Liphardt, Christopher A. Goeden, John A. Woollam, James D. Welch

Department of Electrical and Computer Engineering: Faculty Publications

Disclosed is a system for enabling easy sequential setting of different Angles-of-Incidence of a beam of electromagnetic radiation to a surface of a sample system, and to regression based methodology for evaluating and compensating the effects of the presence of electromagnetic beam intercepting angle-of-incidence changing systems, including where desired, parameterization of calibration parameters.

Generalized Phase Space Projection For Nonlinear Noise Reduction, Michael T. Johnson, Richard J. Povinelli

Electrical and Computer Engineering Faculty Research and Publications

Improved phase space projection methods, adapted from related work in the linear signal processing field based on subspace decomposition, are presented for application to the problem of additive noise reduction in the context of phase space analysis. These methods improve upon existing methods such as Broomhead–King singular spectrum analysis projection by minimizing overall signal distortion subject to constraints on the residual error, rather than using a direct least-squares fit. This results in a range of weighted projections which estimate and compensate for the portion of the principal component's singular values corresponding to noise rather than signal energy, and which include …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 5, February 2005, 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.

On Inverse Halftoning: Computational Complexity And Interval Computations, Sergio D. Cabrera, K. Iyer, Gang Xiang, Vladik Kreinovich

Departmental Technical Reports (CS)

We analyze the problem of inverse half-toning. This problem is a particular case of a class of difficult-to-solve problems: inverse problems for reconstructing piece-wise smooth images. We show that this general problem is NP-hard. We also propose a new idea for solving problems of this type, including the inverse halftoning problem.

Exact Bounds For Interval And Fuzzy Functions Under Monotonicity Constraints, With Potential Applications To Biostratigraphy, Emil Platon, Kavitha Tupelly, Vladik Kreinovich, Scott A. Starks, Karen Villaverde

Departmental Technical Reports (CS)

The age of fossil species in samples recovered from a well that penetrates an undisturbed sequence of sedimentary rocks increases with depth. The results of biostratigraphic analysis of such a sequence consist of several age-depth values -- both known with interval (or fuzzy) uncertainty -- and we would like to find, for each possible depth, the interval of the possible values of the corresponding age. A similar problem of bounding an intervally (fuzzily) defined function under monotonicity constraint occurs in many other application areas. In this paper, we provide an efficient algorithm for solving this problem.

To Properly Reflect Physicists' Reasoning About Randomness, We Also Need A Maxitive (Possibility) Measure, Andrei M. Finkelstein, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, Hung T. Nguyen

Departmental Technical Reports (CS)

According to the traditional probability theory, events with a positive but very small probability can occur (although very rarely). For example, from the purely mathematical viewpoint, it is possible that the thermal motion of all the molecules in a coffee cup goes in the same direction, so this cup will start lifting up.

In contrast, physicists believe that events with extremely small probability cannot occur. In this paper, we show that to get a consistent formalization of this belief, we need, in addition to the original probability measure, to also consider a maxitive (possibility) measure.

The Value Of Mobile Applications: A Utility Company Study, Fiona Fui-Hoon Nah, Keng Siau, Hong Sheng

Research Collection School Of Computing and Information Systems

The value proposition of mobile applications i.e. the net value of the benefits and costs associated with the adoption and adaptation of mobile applications is discussed. A means-ends network that depicts the fundamental relationships among the objectives such as efficiency, effectiveness, customer satisfaction, security, cost, and employee acceptance, was developed. The network is useful to researchers as it highlights the issues, concerns, and values of mobile applications. The network help the managers and practitioners to achieve their companies' objectives of implementing mobile and wireless applications.

Scalable Wide Area Ad-Hoc Networking, Nithin Bose

Theses

The scalability problem of routing algorithms in Mobile Ad-hoc networks (MANET) has conventionally been addressed by introducing hierarchical architectures, clusters, and neighborhood zones. In all of these approaches, some nodes are assigned different routing related roles than others. Examples include cluster heads, virtual backbones and border nodes. The selection of these nodes on a fixed or dynamic basis adds complexity to the routing algorithm, in addition to placing significant demands on mobility and power consumption of these nodes. Furthermore, the scalability achieved with hierarchical architectures or partitions is limited.

This thesis demonstrates that location awareness can greatly aid in MANET …

Smartacking: Improving Tcp Performance From The Receiving End, Daniel K. Blandford, Sally A. Goldman, Sergey Gorinsky, Yan Zhou, Daniel R. Dooly

All Computer Science and Engineering Research

We present smartacking, a technique that improves performance of Transmission Control Protocol (TCP) via adaptive generation of acknowledgments (ACKs) at the receiver. When the bottleneck link is underutilized, the receiver transmits an ACK for each delivered data segment and thereby allows the connection to acquire the available capacity promptly. When the bottleneck link is at its capacity, the smartacking receiver sends ACKs with a lower frequency reducing the control traffic overhead and slowing down the congestion window growth to utilize the network capacity more effectively. To promote quick deployment of the technique, our primary implementation of smartacking modifies only the …

Design Concepts And Process Analysis For Transmuter Fuel Manufacturing: Quarterly Progress Report #1, Jamil M. Renno, Georg F. Mauer

Fuels Campaign (TRP)

A Hot Cell robotic assembly: Pick and place dynamic simulation, including feedback control with Matlab, was developed for dispersion fuel manufacture.

The deployment of remote manufacturing of transmuter fuel is a necessity for the transmutation applications. In the reporting period, a virtual hot cell for the manufacturing of dispersion fuel was designed using MSC.visualNastran^©, ProEngineer^© and MATLAB^©. Atypical events were successfully simulated. Relevant physical quantities arising during such events were monitored as well.

Robust Control Techniques For State Tracking In The Presence Of Variable Time Delays, Jarrett Goodell, Marc Compere, Miguel Simon, Wilford Smith, Ronnie Wright, Mark Brudnak

Publications

In this paper, a distributed driver-in-the-Ioop and hardware-in-the-Ioop simulator is described with a driver on a motion simulator at the U.S. Army TARDEC Ground Vehicle Simulation Laboratory (GVSL). Realistic power system response is achieved by linking the driver in the GVSL with a full-sized hybrid electric power system located 2,450 miles away at the TARDEC Power and Energy Systems Integration Laboratory (P&E SIL), which is developed and maintained by Science Applications International Corporation (SAIC). The goal is to close the loop between the GVSL and P&E SIL over the Internet to provide a realistic driving experience in addition to realistic …

A Universal Sensor Model, Valery Mazin, Vladik Kreinovich

Departmental Technical Reports (CS)

No abstract provided.

Non-Verbal Communication With Autistic Children Using Digital Libraries, Gondy A. Leroy, John Huang '05, Serena Chuang '05, Marjorie H. Charlop

CGU Faculty Publications and Research

Autism spectrum disorder (ASD) has become one of the most prevalent mental disorders over the last few years and its prevalence is still growing. The disorder is characterized by a wide variety of symptoms such as lack of social behavior, extreme withdrawal, and problems communicating. Because of the diversity in symptoms and the wide variety in severity for those, each autistic child has different needs and requires individualized therapy. This leads to long waiting lists for therapy.

Websat: Web-Based Systems Administration Tool, Juyong Jeong

Theses Digitization Project

Discusses the development of WebSAT (Web-based systems administration tool), a computer network tool that allows systems administrators to create and delete accounts, disable and enable existing accounts, manage disk space conveniently, monitor the status of all network printers, and monitor network security. The WebSAT application was implemented using PHP, a server-side embedded scripting language, with a MySQL database.

Indoor Geo-Location And Tracking Of Mobile Autonomous Robot, Mahesh Ramamurthy

Electronic Theses and Dissertations

The field of robotics has always been one of fascination right from the day of Terminator. Even though we still do not have robots that can actually replicate human action and intelligence, progress is being made in the right direction. Robotic applications range from defense to civilian, in public safety and fire fighting. With the increase in urban-warfare robot tracking inside buildings and in cities form a very important application. The numerous applications range from munitions tracking to replacing soldiers for reconnaissance information. Fire fighters use robots for survey of the affected area. Tracking robots has been limited to the …

Creating Geo-Specific Road Databases From Aerial Photos For Driving Simulation, Dahai Guo

Electronic Theses and Dissertations

Geo-specific road database development is important to a driving simulation system and a very labor intensive process. Road databases for driving simulation need high resolution and accuracy. Even though commercial software is available on the market, a lot of manual work still has to be done when the road crosssectional profile is not uniform. This research deals with geo-specific road databases development, especially for roads with non-uniform cross sections. In this research, the United States Geographical Survey (USGS) road information is used with aerial photos to accurately extract road boundaries, using image segmentation and data compression techniques. Image segmentation plays …

Signal Flow Analysis, Partha P. Banerjee

Electrical and Computer Engineering Faculty Publications

Signal flow graphs are a viable alternative to block diagrammatic representation of a system. What makes signal flow graphs attractive is that certain features from graph theory can be applied to the simplification and the synthesis of complex systems.

Functional Nanoparticles In Thin Films As Sensing Media, Elena A. Guliants, Ryan Schwarb, Hope Bearbower, James R. Gord, Christopher E. Bunker

Electrical and Computer Engineering Faculty Publications

The combination of unique properties offered by materials on the nanoscale with the increased role of surface chemistry in nanostructured solids makes core-shell nanoparticles extremely attractive for application to "smart" thin-film coatings. Sensing properties of nanoparticle-based thin films were studied in several systems containing organic-coated semiconductor and metallic particles. In semiconductors, the interaction of organic shell and/or thin-film "matrix" with the environment results in changes in the nanoparticle's surface states, altering the optical properties of the thin film. Measuring the electrical properties of thin films composed of metallic cores with hydrocarbon shells offers another mechanism to monitor the local environment …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 4, January 2005, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Design And Evaluation Of Processes For Fuel Fabrication, Georg F. Mauer

Fuels Campaign (TRP)

The goal of this research project was to provide technical support to process designers working on the development of the fuel cycles for transmutation applications. Detailed process models were developed to better define the impact of fuel choice on the transmuter fuel cycle, including relative process losses, waste generation, and plant capital cost. These process models provide insight regarding required plant size and number of plants needed to mesh with the fuel recycling line. They also determine requirements for automation.

Manufacturing models for large-scale production in a hot cell environment were also developed. Combined, these two models allow the assessment …

Ultra Wide-Band : State Of The Art; Implementation Of A Performance-Controllable Low-Noise Amplifier, Serigne Dia, Balwant Godora, Frederic Alicalapa, Alain Fabre

Turkish Journal of Electrical Engineering and Computer Sciences

Ultra Wide-Band (UWB) transmissions exhibit performances vastly superior to existing wireless systems - superlative data-rate capacity, high security, low cost, low power consumption - and are emerging as the hottest topic of research for upcoming wireless generations. This communication protocol is studied in detail, with mention of the history and estimates for the near future; the present and possible applications are mentioned; the advantages and unresolved issues are detailed; a typical UWB transceiver architecture is studied; the modulation and coding schemes are enumerated; and the possibility of long-range communication is touched upon. Finally, a new performance-controllable low-noise amplifier (LNA) destined …

A New Cmos Differential Otra Design For The Low Voltage Power Supplies In The Sub-Micron Technologies, Alper Duruk, Hakan Kuntman

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a new CMOS differential OTRA topology is proposed. This topology can operate with a very low voltage power supply as \pm 0.6V. In this design, CMOS 0.13 \mu m STMicroelectronics technology transistor models are used for the simulations. The designed CMOS OTRA has a transresistance gain (Rm) of 7478 V/I with a 28.1 MHz bandwidth (-3 dB) and a transresistance unity-gain bandwidth of 2 GHz. To demonstrate the performance of the OTRA, designed low pass, high pass and band pass filters employing a single CMOS differential OTRA and passive elements are tested with SPICE simulation program to …

Sigma-Delta Voltage To Frequency Converter With Phase Modulation Possibility, Milan Stork

Turkish Journal of Electrical Engineering and Computer Sciences

Voltage to frequency converter (VFC) is an oscillator whose frequency is linearly proportional to control voltage. There are two common VFC architectures: the current steering multivibrator and the charge-balance VFC. For higher linearity, the charge-balancing method is preferred. The charge balanced VFC may be made in asynchronous or synchronous (clocked) forms. The synchronous charge balanced VFC or "sigma delta" (\Sigma-\Delta) VFC is used when output pulses are synchronized to a clock. The charge balance VFC is more complex, more demanding in its supply voltage and current requirements, and more accurate. It is capable of 16 to18 bit linearity. In this …

An Algorithm For Image Clustering And Compression, Meti̇n Kaya

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a new approach to image compression based on fuzzy clustering. This new approach includes pre-filtering, and fuzzy logic image enhancing to reduce undesirable noise effects on segmentation result; separation of image into 4x4 blocks and two dimensional discrete cosine transform; obtaining of peak values of cosine membership functions by combining of performing the zig-zag method with discrete cosine transform coefficients; obtaining of membership values and cluster centroids; and finally, creation of segmented image and compression. After applying the new method on sample images at different number of clusters, better compression ratio, performing time and good validity measure …

Design, Simulation And Tests Of A Low-Cost Microstrip Patch Antenna Arrays For The Wireless Communication, Gonca Çakir, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

Typical low-cost, low-weight microstrip base station antenna arrays with beam-scanning capabilities are taken into account. In downtowns of large cities like New York, Chicago, and in historical cities like Istanbul, where high buildings are separated by narrow but densely occupied streets, antenna arrays with approximately 20°-35° beam-widths are required to complete the cellular communication coverage. To meet this requirement, new antenna arrays are designed with 35° beam-widths and 60° electronic scanning capabilities. Their characteristics are investigated both numerically and experimentally. An FDTD-based antenna simulation package (M-PATCH) is prepared, tested on canonical structures and against the literature first, for verification and …

Computation Of Association Probabilities For Single Target Tracking With The Use Of Adaptive Neuro-Fuzzy Inference System, İlke Türkmen, Keri̇m Güney

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a simple method based on the adaptive neuro-fuzzy inference system (ANFIS) is presented for computing the association probabilities. The computed association probabilities are used to track the single manoeuvring target in the cluttered environment. A hybrid learning algorithm, which combines the least square method and the backpropagation algorithm, is used to identify the parameters of ANFIS. The tracks estimated by using the method proposed in this study are in very good agreement with the true tracks. Better accuracy with respect to the well known nearest neighbour Kalman filter and probabilistic data association algorithms is obtained.