Computer Engineering Commons^™

Model-Free Controller With An Observer Applied In Real-Time To A 3-Dof Helicopter, Ahsene Boubakir, Salim Labiod, Fares Boudjema, Franck Plestan

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, a model-free controller with an observer is presented for a class of uncertain continuous-time multiinput-multioutput nonlinear dynamic systems. The proposed model-free control law consists of 2 parts: the first part is a linear control term used to specify the dynamics of the closed loop system, and the second part is a compensator of the effects of uncertainties and external disturbances. The compensator is synthesized from an estimator of the effects of uncertainties and disturbances based on the Lyapunov approach. In order to estimate the unavailable states of the controlled system, a linear state observer is designed. All …

Effective Entity Resolution Methodology For Improving Data Quality And Reliability Of Service-Oriented Applications, Ewa Musial

Legacy Theses & Dissertations (2009 - 2024)

This dissertation proposes new paradigms for improving the testing, reliability of service-oriented applications as well as the quality of data. Since it is difficult to track information flowing through the multiple tiers of an application, testing service-oriented systems can be very challenging. We present a methodology for testing service-oriented applications that takes into account all the components, including services, external services, and data components. The results of our experiments demonstrate that this approach greatly improves the effectiveness of testing service-oriented applications.

Federated Scheduling For Stochastic Parallel Real-Time Tasks, Jing Li, Kunal Agrawal, Christopher Gill, Chenyang Lu

All Computer Science and Engineering Research

Federated scheduling is a strategy to schedule parallel real-time tasks: It allocates a dedicated cluster of cores to high-utilization task (utilization >1); It uses a multiprocessor scheduling algorithm to schedule and execute all low-utilization tasks sequentially, on a shared cluster of the remaining cores. Prior work has shown that federated scheduling has the best known capacity augmentation bound of 2 for parallel tasks with implicit deadlines. In this paper, we explore the soft real-time performance of federated scheduling and address the average-case workloads instead of the worst-case values. In particular, we consider stochastic tasks -- tasks for which execution time …

Ghosts Of The Horseshoe, Heidi Rae Cooley, Richard Walker, Duncan Buell

Digital Projects

Ghosts of the Horseshoe (Ghosts) is a mobile interactive application that endeavors to bring into view--literally, on mobile micro screens (iPads and iPhones at present)--the largely unknown history of slavery at South Carolina College. It deploys game mechanics (i.e., ludic methods), as well as Augmented Reality (AR) and GPS functionality to generate awareness of and questioning about what otherwise seems ordinary: a grassy space at the center of a university campus. It organizes content into distinct but overlapping themes: (1) architectural ghosts (e.g., razed outbuildings); (2) human ghosts (e.g., un/named enslaved persons); and (3) the historic Wall delimiting the Horseshoe …

Graduate School Of Computer And Information Sciences Viewbook, Nova Southeastern University

College of Engineering and Computing Course Catalogs

No abstract provided.

Inferring Memory Map Instructions, Paul T. Scheid, Ari J. Spilo, Ron K. Cytron

All Computer Science and Engineering Research

We describe the problem of inferring a set of memory map instructions from a reference trace, with the goal of minimizing the number of such instructions as well as the number of unreferenced but mapped storage locations. We prove the related decision problem NP-complete. We then present and compare the results of two heuristic approaches on some actual traces.

Capacity Augmentation Bound Of Federated Scheduling For Parallel Dag Tasks, Jing Li, Abusayeed Saifullah, Kunal Agrawal, Christopher Gill

All Computer Science and Engineering Research

We present a novel federated scheduling approach for parallel real-time tasks under a general directed acyclic graph (DAG) model. We provide a capacity augmentation bound of 2 for hard real-time scheduling; here we use the worst-case execution time and critical-path length of tasks to determine schedulability. This is the best known capacity augmentation bound for parallel tasks. By constructing example task sets, we further show that the lower bound on capacity augmentation of federated scheduling is also 2 for any m > 2. Hence, the gap is closed and bound 2 is a strict bound for federated scheduling. The federated scheduling …

Performance Modeling Of Virtualized Custom Logic Computations, Michael J. Hall, Roger D. Chamberlain

All Computer Science and Engineering Research

Virtualization of custom logic computations (i.e., by sharing a fixed function across distinct data streams) provides a means of reusing hardware resources, particularly when resources are limited. This is common practice in traditional processors where more than one user can share processor resources. In this paper, we virtualize a custom logic block using C-slow techniques to support fine-grain context-switching. We then develop and present an analytic model for several performance measures (throughput, latency, input queue occupancy) for both fine-grained and coarse-grained context switching (to a secondary memory). Next, we calibrate the analytic performance model with empirical measurements. We then validate …

Rt-Openstack: A Real-Time Cloud Management System, Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky

All Computer Science and Engineering Research

Clouds have become appealing platforms for running not only general-purpose applications but also real-time applications. However, current clouds cannot provide real-time performance for virtual machines (VM) for two reasons: (1) the lack of a real-time virtual machine monitor (VMM) scheduler on a single host, and (2) the lack of a real-time aware VM placement scheme by the cloud manager. While real-time VM schedulers do exist, prior solutions employ either heuristics-based approaches that cannot always achieve predictable latency or apply real-time scheduling theory that may result in low CPU utilization. We observe the demand and advantage for co-hosting real-time (RT) VMs …

การควบคุมคุณภาพการให้บริการโดยใช้แผนราคาในโครงข่ายเข้าถึง, ธนชาติ วีระพันธุ์

Chulalongkorn University Theses and Dissertations (Chula ETD)

ปัจจุบันเทคโนโลยีการสื่อสารทั้งมีสายและไร้สายได้พัฒนาไปอย่างรวดเร็ว ประกอบกับความต้องการที่จะใช้บริการเทคโนโลยีการสื่อสารที่มากขึ้นอย่างต่อเนื่อง แต่ด้วยทรัพยากรที่มีอยู่อย่างจำกัด จึงทำให้เกิดความคับคั่งในระบบโครงข่ายเข้าถึง จึงเป็นสาเหตุทำให้โครงข่ายเกิดการประวิงและยากต่อการควบคุมคุณภาพการให้บริการ เพื่อแก้ปัญหาดังกล่าวจึงนำแผนราคาเข้ามาจูงใจในการเข้าใช้บริการ ในโครงข่าย ในวิทยานิพนธ์ฉบับนี้จำลองระบบด้วยแถวคอย M/M/1 โดยแบ่งรูปแบบของแถวคอยออกเป็น แบบเดี่ยว และ แบบลำดับความสำคัญ โดยกรณีของแถวคอยแบบเดี่ยว เมื่อระบบเกิดความคับคั่ง ทำให้มีการปรับราคา ผู้ใช้บริการที่ไม่ยอมรับราคาที่เปลี่ยนไปจะไม่ได้เข้าสู่ระบบ ส่วนในกรณีของแถว คอยแบบลำดับความสำคัญ เมื่อระบบเกิดความคับคั่ง ทำให้มีการปรับราคา ผู้ใช้บริการที่ไม่ยอมรับ ราคาที่เปลี่ยนไปสามารถเข้าสู่ระบบได้แต่ต้องรอให้ผู้ใช้บริการที่ยอมรับราคาที่เปลี่ยนไปใช้บริการเสร็จ ก่อน นอกจากนั้น แถวคอยลำดับความสำคัญยังแบ่งออกเป็นสองกรณี กรณีแรกคือผู้ใช้บริการ ที่ยอมรับราคาที่เปลี่ยนไปสามารถขัดจังหวะการใช้บริการของผู้ใช้บริการที่ไม่ยอมรับราคาที่เปลี่ยนไป ได้ทันที กรณีที่สองคือผู้ใช้บริการที่ยอมรับราคาที่เปลี่ยนไปต้องรอให้ผู้ใช้บริการที่ไม่ยอมรับราคาที่ เปลี่ยนไปใช้บริการเสร็จก่อน วิทยานิพนธ์ฉบับนี้เสนอการวิเคราะห์ทางคณิตศาสตร์และการจำลองระบบทางคอมพิวเตอร์เพื่อหาค่าที่เหมาะสมของความน่าจะเป็นที่ผู้ใช้บริการจะยอมรับราคาที่ปรับขึ้น ราคาใหม่ที่ปรับขึ้นอย่าง เหมาะสม เวลาประวิงของแพ็กเกตเฉลี่ย เวลาเฉลี่ยที่แพ็กเกตอยู่ในระบบ ความน่าจะเป็นที่เวลา ประวิงของแพ็กเกดจะมีค่ามากกว่าเวลาประวิงของแพ็กเกตที่กำหนด และรายได้ที่คาดหวังเฉลี่ย โดยผลลัพธ์จากการวิเคราะห์ทางคณิตศาสตร์และการจำลองระบบทางคอมพิวเตอร์ที่นำแผนราคามา ประยุกต์ใช้กับรูปแบบของแถวคอยทั้งสองสามารถควบคุมคุณภาพการให้บริการได้ตามค่าที่กำหนด จากการศึกษาด้วยการวิเคราะห์และการจำลองระบบด้วยคอมพิวเตอร์ให้ผลลัพธ์ที่สอดคล้องกัน

Piper: Impact Of Power-Awareness On Social-Based Opportunistic Advertising, Soumaia Al Ayyat

Papers, Posters, and Presentations

Interest and social-awareness can be valuable determinants in decisions related to content delivery in mobile environments. Under certain conditions, we can deliver content with less cost and better delivery ratios, while only involving users that are interested in the type of content being delivered. However, the depletion of valuable power resources poses a deterrent to node participation in such interest-aware forwarding systems. No significant research contribution has been identified to collectively maximize the benefits of social, interest, and power awareness. In this work, we propose a new algorithm called PIPeR which integrates power awareness with an interest and socially aware …

Human-Robot Interaction For Multi-Robot Systems, Bennie Lewis

Electronic Theses and Dissertations

Designing an effective human-robot interaction paradigm is particularly important for complex tasks such as multi-robot manipulation that require the human and robot to work together in a tightly coupled fashion. Although increasing the number of robots can expand the area that the robots can cover within a bounded period of time, a poor human-robot interface will ultimately compromise the performance of the team of robots. However, introducing a human operator to the team of robots, does not automatically improve performance due to the difficulty of teleoperating mobile robots with manipulators. The human operator’s concentration is divided not only among multiple …

Spectrum Map And Its Application In Cognitive Radio Networks, Saptarshi Debroy

Electronic Theses and Dissertations

Recent measurements on radio spectrum usage have revealed the abundance of underutilized bands of spectrum that belong to licensed users. This necessitated the paradigm shift from static to dynamic spectrum access. Cognitive radio based secondary networks that utilize such unused spectrum holes in the licensed band, have been proposed as a possible solution to the spectrum crisis. The idea is to detect times when a particular licensed band is unused and use it for transmission without causing interference to the licensed user. We argue that prior knowledge about occupancy of such bands and the corresponding achievable performance metrics can potentially …

Human Detection, Tracking And Segmentation In Surveillance Video, Guang Shu

Electronic Theses and Dissertations

This dissertation addresses the problem of human detection and tracking in surveillance videos. Even though this is a well-explored topic, many challenges remain when confronted with data from real world situations. These challenges include appearance variation, illumination changes, camera motion, cluttered scenes and occlusion. In this dissertation several novel methods for improving on the current state of human detection and tracking based on learning scene-specific information in video feeds are proposed. Firstly, we propose a novel method for human detection which employs unsupervised learning and superpixel segmentation. The performance of generic human detectors is usually degraded in unconstrained video environments …

New Operations On Intuitionistic Fuzzy Soft Sets Based On First Zadeh's Logical Operators, Florentin Smarandache, Said Broumi, Pinaki Majumdar

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper , we have defined First Zadeh’s implication , First Zadeh’s intuitionistic fuzzy conjunction and intuitionistic fuzzy disjunction of two intuitionistic fuzzy soft sets and some their basic properties are studied with proofs and examples.

Taming Wild Faces: Web-Scale, Open-Universe Face Identification In Still And Video Imagery, Enrique Ortiz

Electronic Theses and Dissertations

With the increasing pervasiveness of digital cameras, the Internet, and social networking, there is a growing need to catalog and analyze large collections of photos and videos. In this dissertation, we explore unconstrained still-image and video-based face recognition in real-world scenarios, e.g. social photo sharing and movie trailers, where people of interest are recognized and all others are ignored. In such a scenario, we must obtain high precision in recognizing the known identities, while accurately rejecting those of no interest. Recent advancements in face recognition research has seen Sparse Representation-based Classification (SRC) advance to the forefront of competing methods. However, …

Measuring Security: A Challenge For The Generation, Janusz Zalewski, Steven Drager, William Mckeever, Andrew J. Kornecki

Department of Electrical Engineering and Computer Science - Daytona Beach

This paper presents an approach to measuring computer security understood as a system property, in the category of similar properties, such as safety, reliability, dependability, resilience, etc. First, a historical discussion of measurements is presented, beginning with views of Hermann von Helmholtz in his 19th century work “Zählen und Messen”. Then, contemporary approaches related to the principles of measuring software properties are discussed, with emphasis on statistical, physical and software models. A distinction between metrics and measures is made to clarify the concepts. A brief overview of inadequacies of methods and techniques to evaluate computer security is presented, followed by …

Keeping The Skies Safe, Massood Towhidnejad, Andrew J. Kornecki

Department of Electrical Engineering and Computer Science - Daytona Beach

Professors Massood Towhidnejad and Andrew Kornecki shine a light on how their lab is helping government and the aviation industry to enhance the safety and security of software-intensive systems.

Evaluation And Analysis Of Distributed Graph-Parallel Processing Frameworks, Yue Zhao, Kenji Yoshigoe, Mengjun Xie, Suijian Zhou, Remzi Seker, Jiang Bian

Publications

A number of graph-parallel processing frameworks have been proposed to address the needs of processing complex and large-scale graph structured datasets in recent years. Although significant performance improvement made by those frameworks were reported, comparative advantages of each of these frameworks over the others have not been fully studied, which impedes the best utilization of those frameworks for a specific graph computing task and setting. In this work, we conducted a comparison study on parallel processing systems for large-scale graph computations in a systematic manner, aiming to reveal the characteristics of those systems in performing common graph algorithms with real-world …

Design Of A Double-Stator Linear Switched Reluctance Motor For Shunting Railway Channels, El Manaa Barhoumi, Mansour Hajji, Boujemaa Ben Salah

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents the design and modeling of a double-stator linear switched reluctance motor for motorizing a railway channels' shunting system. The magnetic behavior of this actuator is nonlinear due to the saturation and nonlinear magnetization curves of the materials used in this actuator. For this reason, the electromagnetic quantities such as force, flux linkage, and inductance are calculated with the finite element method using the Maxwell tool. The obtained results are presented and discussed. In order to elaborate some control strategies, a new model for the proposed actuator, based on the flux and force characteristics, is validated by the …

A Hypernet Architecture, Shufeng Huang

Theses and Dissertations--Computer Science

Network virtualization is becoming a fundamental building block of future Internet architectures. By adding networking resources into the “cloud”, it is possible for users to rent virtual routers from the underlying network infrastructure, connect them with virtual channels to form a virtual network, and tailor the virtual network (e.g., load application-specific networking protocols, libraries and software stacks on to the virtual routers) to carry out a specific task. In addition, network virtualization technology allows such special-purpose virtual networks to co-exist on the same set of network infrastructure without interfering with each other.

Although the underlying network resources needed to support …

Eastern Michigan University Honors College Application Online System, Andrew Greiner

Senior Honors Theses and Projects

No abstract provided.

Finding Evidence Of Wordlists Being Deployed Against Ssh Honeypots – Implications And Impacts, Priya Rabadia, Craig Valli

Australian Digital Forensics Conference

This paper is an investigation focusing on activities detected by three SSH honeypots that utilise Kippo honeypot software. The honeypots were located on the same /24 IPv4 network and configured as identically as possible. The honeypots used the same base software and hardware configurations. The data from the honeypots were collected during the period 17th July 2012 and 26th November 2013, a total of 497 active day periods. The analysis in this paper focuses on the techniques used to attempt to gain access to these systems by attacking entities. Although all three honeypots are have the same configuration settings and …

Using Internet Artifacts To Profile A Child Pornography Suspect, Marcus K. Rogers, Kathryn C. Seigfried-Spellar

Journal of Digital Forensics, Security and Law

Digital evidence plays a crucial role in child pornography investigations. However, in the following case study, the authors argue that the behavioral analysis or “profiling” of digital evidence can also play a vital role in child pornography investigations. The following case study assessed the Internet Browsing History (Internet Explorer Bookmarks, Mozilla Bookmarks, and Mozilla History) from a suspected child pornography user’s computer. The suspect in this case claimed to be conducting an ad hoc law enforcement investigation. After the URLs were classified (Neutral; Adult Porn; Child Porn; Adult Dating sites; Pictures from Social Networking Profiles; Chat Sessions; Bestiality; Data Cleaning; …

On Cyber Attacks And Signature Based Intrusion Detection For Modbus Based Industrial Control Systems, Wei Gao, Thomas H. Morris

Journal of Digital Forensics, Security and Law

Industrial control system communication networks are vulnerable to reconnaissance, response injection, command injection, and denial of service attacks. Such attacks can lead to an inability to monitor and control industrial control systems and can ultimately lead to system failure. This can result in financial loss for control system operators and economic and safety issues for the citizens who use these services. This paper describes a set of 28 cyber attacks against industrial control systems which use the MODBUS application layer network protocol. The paper also describes a set of standalone and state based intrusion detection system rules which can be …

Idiographic Digital Profiling: Behavioral Analysis Based On Digital Forensics, Chad M. Steel

Journal of Digital Forensics, Security and Law

Idiographic digital profiling (IDP) is the application of behavioral analysis to the field of digital forensics. Previous work in this field takes a nomothetic approach to behavioral analysis by attempting to understand the aggregate behaviors of cybercriminals. This work is the first to take an idiographic approach by examining a particular subject's digital footprints for immediate use in an ongoing investigation. IDP provides a framework for investigators to analyze digital behavioral evidence for the purposes of case planning, subject identification, lead generation, obtaining and executing warrants, and prosecuting offenders.

On Identities In Modern Networks, Libor Polcak, Radek Hranick, Tomas Martınek

Journal of Digital Forensics, Security and Law

Communicating parties inside computer networks use different kind of identifiers. Some of these identifiers are stable, e.g., logins used to access a specific service, some are only temporary, e.g., dynamically assigned IP addresses. This paper tackles several challenges of lawful interception that emerged in modern networks. The main contribution is the graph model that links identities learnt from various sources distributed in a network. The inferred identities result into an interception of more detailed data in conformance with the issued court order. The approach deals with network address translation, short-lived identifiers and simultaneous usage of different identities. The approach was …

Exploring Forensic Implications Of The Fusion Drive, Shruti Gupta, Marcus Rogers

Journal of Digital Forensics, Security and Law

This paper explores the forensic implications of Apple’s Fusion Drive. The Fusion Drive is an example of auto-tiered storage. It uses a combination of a flash drive and a magnetic drive. Data is moved between the drives automatically to maximize system performance. This is different from traditional caches because data is moved and not simply copied. The research included understanding the drive structure, populating the drive, and then accessing data in a controlled setting to observe data migration strategies. It was observed that all the data is first written to the flash drive with 4 GB of free space always …

Multi-Stakeholder Case Prioritization In Digital Investigations, Joshua I. James

Journal of Digital Forensics, Security and Law

This work examines the problem of case prioritization in digital investigations for better utilization of limited criminal investigation resources. Current methods of case prioritization, as well as observed prioritization methods used in digital forensic investigation laboratories are examined. After, a multi-stakeholder approach to case prioritization is given that may help reduce reputational risk to digital forensic laboratories while improving resource allocation. A survey is given that shows differing opinions of investigation priority between Law Enforcement and the public that is used in the development of a prioritization model. Finally, an example case is given to demonstrate the practicality of the …

An Efficient Similarity Digests Database Lookup – A Logarithmic Divide & Conquer Approach, Frank Breitinger, Christian Rathgeb, Harald Baier

Journal of Digital Forensics, Security and Law

Investigating seized devices within digital forensics represents a challenging task due to the increasing amount of data. Common procedures utilize automated file identification, which reduces the amount of data an investigator has to examine manually. In the past years the research field of approximate matching arises to detect similar data. However, if n denotes the number of similarity digests in a database, then the lookup for a single similarity digest is of complexity of O(n). This paper presents a concept to extend existing approximate matching algorithms, which reduces the lookup complexity from O(n) to O(log(n)). Our proposed approach is based …