Computer Engineering Commons^™

Paper Session Iii: Research Brief: A Curriculum For Teaching Information Technology Investigative Techniques For Auditors, Grover S. Kearns, Elizabeth V. Mulig

Annual ADFSL Conference on Digital Forensics, Security and Law

Recent prosecutions of highly publicized white-collar crimes combined with public outrage have resulted in heightened regulation and greater emphasis on systems of internal control. Because both white-collar and cybercrimes are usually perpetrated through computers, auditors’ knowledge of information technology (IT) is now more vital than ever. However, preserving digital evidence and investigative techniques, which can be essential to fraud examinations, are not skills frequently taught in accounting programs. Furthermore, many students are not instructed in the use of computer assisted auditing tools and techniques – applications that might uncover fraudulent activity. Only a limited number of university-level accounting classes provide …

Paper Session Ii: Forensic Scene Documentation Using Mobile Technology, Ibrahim Baggili

Annual ADFSL Conference on Digital Forensics, Security and Law

This paper outlines a framework for integrating forensic scene documentation with mobile technology. Currently there are no set standards for documenting a forensic scene. Nonetheless, there is a conceptual framework that forensic scientists and engineers use that includes note taking, scene sketches, photographs, video, and voice interview recordings. This conceptual framework will be the basis that a mobile forensic scene documentation software system is built on. A mobile software system for documenting a forensic scene may help in standardizing forensic scene documentation by regulating the data collection and documentation processes for various forensic disciplines.

Design Concepts And Process Analysis For Transmuter Fuel Manufacturing: Quarterly Progress Report #6, Kamalakar Alluri, Georg F. Mauer

Fuels Campaign (TRP)

Project Milestones

• Completed a systematic study seeking to arrive at an optimized plant configuration, using value engineering techniques in January 2006.

• Vision-based robot serving and automated plant safety monitoring is currently in progress.

An Lmi Approach To Discrete-Time Observer Design With Stochastic Resilience, Edwin E. Yaz, Chung Seop Jeong, Yvonne I. Yaz

Electrical and Computer Engineering Faculty Research and Publications

Much of the recent work on robust control or observer design has focused on preservation of stability of the controlled system or the convergence of the observer in the presence of parameter perturbations in the plant or the measurement model. The present work addresses the important problem of stochastic resilience or non-fragility of a discrete-time Luenberger observer which is the maintenance of convergence and/or performance when the observer is erroneously implemented possibly due to computational errors i.e. round off errors in digital implementation or sensor errors, etc. A common linear matrix inequality framework is presented to address the stochastic resilient …

2nd Annual Undergraduate Research Conference Abstract Book, University Of Missouri--Rolla

Undergraduate Research Conference at Missouri S&T

No abstract provided.

Combinatorial Fusion Criteria For Real-Time Tracking, D. Frank Hsu, Damian M. Lyons, Jizhou Ai

Faculty Publications

We address the problem of automated video tracking of targets when targets undergo multiple mutual occlusions. Our approach is based on the idea that as targets are occluded, selection of feature subsets and combinations of those features are effective in identifying the target and improving tracking performance. We use Combinatorial Fusion Analysis to develop a metric to select which subset of features will produce the most accurate tracking. In particular we show that the combination of a pair of features A and B will improve the accuracy only if (a) A and B have relative high performance, and (b) A …

Feature Selection For Real-Time Tracking, D. Frank Hsu, Damian M. Lyons, Jizhou Ai

Faculty Publications

We address the problem of selecting features to improve automated video tracking of targets that undergo multiple mutual occlusions. As targets are occluded, different feature subsets and combinations of those features are effective in identifying the target and improving tracking performance. We use Combinatorial Fusion Analysis to develop a metric to dynamically select which subset of features will produce the most accurate tracking. In particular we show that the combination of a pair of features A and B will improve the accuracy only if (a) A and B have relative high performance, and (b) A and B are diverse. We …

Optimized Sampling Frequencies For Weld Reliability Assessments Of Long Pipeline Segments, Cesar J. Carrasco, Vladik Kreinovich

Departmental Technical Reports (CS)

In this paper, we describe new faster algorithms that design an optimal testing strategy for long pipeline segments.

Testing Hypotheses On Simulated Data: Why Traditional Hypotheses-Testing Statistics Are Not Always Adequate For Simulated Data, And How To Modify Them, Richard Aló, Vladik Kreinovich, Scott A. Starks

Departmental Technical Reports (CS)

To check whether a new algorithm is better, researchers use traditional statistical techniques for hypotheses testing. In particular, when the results are inconclusive, they run more and more simulations (n2>n1, n3>n2, ..., nm) until the results become conclusive. In this paper, we point out that these results may be misleading. Indeed, in the traditional approach, we select a statistic and then choose a threshold for which the probability of this statistic "accidentally" exceeding this threshold is smaller than, say, 1%. It is very easy to run additional simulations with ever-larger n. The probability of error is still 1% …

Expert System-Type Approach To Voice Disorders: Scheduling Botulinum Toxin Treatment For Adductor Spasmodic Dysphonia, Anthony P. Salvatore, Amitava Biswas, Vladik Kreinovich, Bertha Manriquez, Michael P. Cannito, Robert J. Sinard

Departmental Technical Reports (CS)

One of the most debilitating disorders is adductor spasmodic dysphonia (ADSD), a voice disorder caused by involuntary movements of the muscles of the larynx (voice box). For treating ADSD, botulinum toxin (BT) injections turned out to be very useful. However, the effects of BT are highly variable, so at present, there is no objective criterion of when such a BT treatment is necessary. It is therefore desirable to develop such a criterion.

In this paper, we show that traditional statistical techniques are unable to generate such a criterion, while a natural expert system approach seems to be capable of generating …

Estimating Information Amount Under Interval Uncertainty: Algorithmic Solvability And Computational Complexity, Gang Xiang, Olga Kosheleva, George J. Klir

Departmental Technical Reports (CS)

In most real-life situations, we have uncertainty: we do not know the exact state of the world, there are several (n) different states which are consistent with our knowledge. In such situations, it is desirable to gauge how much information we need to gain to determine the actual state of the world. A natural measure of this amount of information is the average number of "yes"-"no" questions that we need to ask to find the exact state. When we know the probabilities p1,...,pn of different states, then, as Shannon has shown, this number of questions can be determined as S=-p1 …

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 …

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 Multilane Pipelined Architecture For Real Time Enhancement Of Color Video Streams, Adam Redd Livingston

Electrical & Computer Engineering Theses & Dissertations

Video stream enhancement is a key fixture in a wide variety of applications from video surveillance, automatic navigation, medical imagery, to facial/object recognition systems. When a video stream contains non-uniform lighting it can be difficult to obtain what is in the darker regions without over enhancing brighter regions. The Adaptive and Integrated Neighborhood Dependant Approach for Nonlinear Enhancement (AINDANE) algorithm combines a tunable nonlinear transfer function, convolution by a multi-scale Gaussian kernel, and tunable contrast enhancement to address this problem for a single image. Luminance values are tuned based on the global cumulative distribution function (CDF) of an image. Contrast …

Mobius: An Omnidirectional Robotic Platform And Software Architecture For Network Teleoperation, Samuel Aaron Miller

Electrical & Computer Engineering Theses & Dissertations

The following thesis presents the results of a project to develop and test an omnidirectional robotic system (hardware and software) at NASA Langley Research Center's Robotics and Intelligent Machines Lab. The impetus for the project was the unique capabilities of omnidirectional systems. Some of the many potential benefits these systems have include improved material-handling capabilities in constrained environments (such as might be found in extraterrestrial manned habitats), efficient camera-based vehicle teleoperation, and simplified route planning for autonomous robot operations.

The project's focus was to design, build, and test a system that used Mecanum wheels to achieve omnidirectional motion. In addition …

Information Visualization Methods And Techniques Using Web Services, Kevin Dupigny

Computational Modeling & Simulation Engineering Theses & Dissertations

Data, even in small amounts, can be difficult to interpret quickly and efficiently. Data domains are continually expanding and making this data available and usable in collaborative data environment is a challenge that was not addressed by legacy systems. Such a framework would make the existence of a global information sharing system feasible. Visualizing this complex dataset presents a complex task for current static interface solutions. A flexible layered service oriented model is presented in this work to approach this challenge. The visual scope of human perception is largely untapped by today's data visualization applications. Human mental processes are adept …

A Component Based Formal Ontology Model, A Method For Evaluating Such A Model, And The Results Of An Application Of That Method, Charles Tumitsa

Computational Modeling & Simulation Engineering Theses & Dissertations

For systems to truly communicate effectively, more than just data interchange is necessary. The systems must achieve conceptual interoperability, which implies communicating with understanding.

The LCIM (Levels of Conceptual Interoperability Model) describes a number of levels of interoperability, each of which shows systems with an increased amount of conceptual understanding of the other systems they are communicating with. The lowest levels of this model, technical and syntactic interoperability, are achieved (and there are many existing examples) via data exchange in a number of different ways. Research has shown, however, that to attain higher levels of conceptual understanding, that there must …

Cs 141: Computer Programming - I, Michael Ondrasek

Computer Science & Engineering Syllabi

This course provides a general introduction to the fundamentals of computer programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. The concepts covered will be applied to the Java programming language. Students must register for both lecture and one laboratory section. 4 credit hours. Prerequisite: MTH 127 (College Algebra) or equivalent.

Cs 209: Computer Programming For Business Ii, Dennis Kellermeier

Computer Science & Engineering Syllabi

No abstract provided.

Cs 240: Introduction To Computer Science I, Praveen Kakumanu

Computer Science & Engineering Syllabi

This course is the first in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. This course presents a general introduction to C++ programming language. It introduces the fundamental capabilities of C++ language as a problem solving tool. Topics include data representation. debugging and program verification. Note: For all CS 24X students, concurrent registration into CS 24X lab is a must.

Cs 242-02: Computer Science Iii, Eric Maston

Computer Science & Engineering Syllabi

This is the third and final course in the Introduction to Computer Science series. This course focuses on data structures with abstract data types, such as trees, stacks, queues and tables.

Cs 466/666: Introduction To Formal Languages, Thomas Sudkamp

Computer Science & Engineering Syllabi

CS 466/666 is an introduction to formal language and automata theory. In this course we will examine methods for defining syntax of languages and recognizing patterns: the syntax of languages can be defined using grammars and patterns accepted by finite state machines. Along with presenting the fundamentals of these two topics, the course will develop and investigate the relationships between language definition and pattern recognition. The text will be the third edition of Languages and Machines: An Introduction to the Theory of Computer Science.

Cs 205-07: Computer Literacy And Office Automation, John P. Herzog

Computer Science & Engineering Syllabi

Basic computer terminology, word processing, spreadsheets, databases, and graphics.

Cs 214: Object-Based Programming, Eric Maston

Computer Science & Engineering Syllabi

This course is a basic introduction to object oriented programming utilizing the Visual Basic programming language.

Cs 208: Computer Programming For Business I, Dennis Kellermeier

Computer Science & Engineering Syllabi

No abstract provided.

Cs 241-01: Computer Science Ii, L. Jane Lin

Computer Science & Engineering Syllabi

This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. It focuses on tools for building abstract data types (using structure and class concepts in C++) and Object-Oriented Programming. We also begin the study of data structures in this course. For All CS 241 students, concurrent registration into CS 241 lab is a must.

Cs 206: Advanced Concepts/Techniques And Software Productivity Tools, John P. Herzog

Computer Science & Engineering Syllabi

By the end of this course, the students will have a greater depth of understanding in the areas of spreadsheets, databases, and presentation software using Microsoft Excel, Access, and PowerPoint.

Cs 142: Computer Programming - Ii, Ronald F. Taylor

Computer Science & Engineering Syllabi

Concepts introduced in CS 141 are developed in greater detail and depth with the Java programming language. Topics include object oriented programming, graphics, development of user interfaces and handling runtime errors with an emphasis on program verification and testing. Students must register for both lecture and one laboratory section. 4 credit hours. Prerequisite: CS 141 (Computer Programming I) and MTH 127 (College Algebra) or equivalent.