Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 12451 - 12480 of 17340

Full-Text Articles in Engineering

Antiwindup Design For The Speed Loop Pi Controller Of A Pmsm Servo System, Ming Yang, Li Niu, Dian-Guo Xu Jan 2013

Antiwindup Design For The Speed Loop Pi Controller Of A Pmsm Servo System, Ming Yang, Li Niu, Dian-Guo Xu

Turkish Journal of Electrical Engineering and Computer Sciences

A novel antiwindup (AW) strategy for a proportional-integral (PI) regulator based on the back-calculation method is presented. The proposed method will calculate the gain of the back-calculation based on the input and output status of the PI regulator without the requirement of motor parameters, such as the inertial and torque-current coefficient, and the back-calculation gain will vary with the speed command in order to obtain the optimal dynamic performance. The proposed method avoids the problem caused by the fixed back-calculation gain in the classical AW strategy, and prevents the system from untimely saturation withdrawing or an unexpected overshoot due to …


Feature-Based Fault Detection Of Industrial Gas Turbines Using Neural Networks, Abbas Rasaienia, Behzad Moshiri, Mohammadamin Moezzi Jan 2013

Feature-Based Fault Detection Of Industrial Gas Turbines Using Neural Networks, Abbas Rasaienia, Behzad Moshiri, Mohammadamin Moezzi

Turkish Journal of Electrical Engineering and Computer Sciences

Gas turbine (GT) fault detection plays a vital role in the minimization of power plant operation costs associated with power plant overhaul time intervals. In other words, it is helpful in generating pre-alarms and paves the way for corrective actions in due time before incurring major equipment failures. Hence, finding an efficient fault detection technique that is applicable in the online operation of power plants involved with minor computations is an urgent need in the power generation industry. Such a method is studied in this paper for the V94.2 class of GTs. As the most leading stage for developing a …


Shifted-Modified Chebyshev Filters, Meti̇n Şengül Jan 2013

Shifted-Modified Chebyshev Filters, Meti̇n Şengül

Turkish Journal of Electrical Engineering and Computer Sciences

This paper introduces a new type of filter approximation method that utilizes shifted-modified Chebyshev filters. Construction of the new filters involves the use of shifted-modified Chebyshev polynomials that are formed using the roots of conventional Chebyshev polynomials. The study also includes 2 tables containing the shifted-modified Chebyshev polynomials and the normalized element values for the low-pass prototype filters up to degree 6. The transducer power gain, group delay, and impulse and step responses of the proposed filters are compared with those of the Butterworth and Chebyshev filters, and a sixth-order filter design example is presented to illustrate the implementation of …


Big Bang-Big Crunch Optimization Algorithm With Local Directional Moves, Hakki Murat Genç, İbrahi̇m Eksi̇n, Osman Kaan Erol Jan 2013

Big Bang-Big Crunch Optimization Algorithm With Local Directional Moves, Hakki Murat Genç, İbrahi̇m Eksi̇n, Osman Kaan Erol

Turkish Journal of Electrical Engineering and Computer Sciences

The big bang--big crunch (BB--BC) algorithm has been proposed as a novel optimization method that relies on one of the theories of the evolution of the universe, namely the big bang and big crunch theory. It has been shown that this algorithm is capable of quick convergence, even in long, narrow parabolic-shaped flat valleys or in the existence of several local extremes. In this work, the BB--BC optimization algorithm is hybridized with local search moves in between the ``banging'' and ``crunching'' phases of the algorithm. These 2 original phases of the BB--BC algorithm are preserved, but the representative point (``best'' …


Lightweight Wireless Protocol Based On Ieee 802.11 For Delay Sensitive Telerobotic Systems, Onur Toker, Haluk Gümüşkaya, Ci̇han Ulaş, Bora Tamer Yilmaz Jan 2013

Lightweight Wireless Protocol Based On Ieee 802.11 For Delay Sensitive Telerobotic Systems, Onur Toker, Haluk Gümüşkaya, Ci̇han Ulaş, Bora Tamer Yilmaz

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, we consider wireless telerobotic systems and protocol development for low-delay wireless communication. Telerobotics can be defined as the control of robot arms from a remote location. In a telerobotic system, there is a robot arm to be controlled that is identified as the `slave arm', and a remote operator at a distant location using a robotic manipulator that is called the `master arm'. In the control system measurements, actuator delays do degrade the system's performance. Therefore, communication delays between the master and slave arms, and their minimization, are of extreme importance in telerobotics. In this paper, we …


Efficient Feature Integration With Wikipedia-Based Semantic Feature Extraction For Turkish Text Summarization, Aysun Güran, Ni̇lgün Güler Bayazit, Mustafa Zahi̇d Gürbüz Jan 2013

Efficient Feature Integration With Wikipedia-Based Semantic Feature Extraction For Turkish Text Summarization, Aysun Güran, Ni̇lgün Güler Bayazit, Mustafa Zahi̇d Gürbüz

Turkish Journal of Electrical Engineering and Computer Sciences

This study presents a novel hybrid Turkish text summarization system that combines structural and semantic features. The system uses 5 structural features, 1 of which is newly proposed and 3 are semantic features whose values are extracted from Turkish Wikipedia links. The features are combined using the weights calculated by 2 novel approaches. The first approach makes use of an analytical hierarchical process, which depends on a series of expert judgments based on pairwise comparisons of the features. The second approach makes use of the artificial bee colony algorithm for automatically determining the weights of the features. To confirm the …


Review Of Distinctive Phonetic Features And The Arabic Share In Related Modern Research, Yousef Alotaibi, Ali Meftah Jan 2013

Review Of Distinctive Phonetic Features And The Arabic Share In Related Modern Research, Yousef Alotaibi, Ali Meftah

Turkish Journal of Electrical Engineering and Computer Sciences

Most research in the field of digital speech technology has traditionally been conducted in only a few languages, such as English, French, Spanish, or Chinese. Numerous studies using distinctive phonetic features (DPFs) with different techniques and algorithms have been carried out during the last 3 decades, mainly in English, Japanese, and other languages of industrialized countries. DPF elements are based on a technique used by linguists and digital speech and language experts to distinguish between different phones by considering the lowest level of actual features during phonation. These studies have investigated the best performances, outcomes, and theories, especially those regarding …


A Linearly Slotted Waveguide Antenna And Comparison Of It With A Sinusoidal One, Alp Oral Salman Jan 2013

A Linearly Slotted Waveguide Antenna And Comparison Of It With A Sinusoidal One, Alp Oral Salman

Turkish Journal of Electrical Engineering and Computer Sciences

A linearly slotted waveguide antenna (LSWA) is investigated. The slot is placed in one of the narrow faces of a rectangular waveguide, which operates at Ka-band (26.5--40 GHz), which is in a frequency range including upper microwaves and the lower edge of millimeter waves. Analytically, the magnetic current approach is applied. Some antenna parameters of this structure are experimentally measured and it is observed that the antenna radiates a single transversal-polarized beam that scans with frequency. The experimentally obtained patterns in 2 perpendicular planes are also correlated with analytical and numerical patterns that use the magnetic current model and HFSS, …


Simple Analytic Performance Models For Streaming Data Applications Deployed On Diverse Architectures, Jonathan C. Beard, Roger D. Chamberlain, Mark A. Franklin Jan 2013

Simple Analytic Performance Models For Streaming Data Applications Deployed On Diverse Architectures, Jonathan C. Beard, Roger D. Chamberlain, Mark A. Franklin

All Computer Science and Engineering Research

Modern hardware is inherently heterogeneous. With heterogeneity comes multiple abstraction layers that hide underlying complex systems. While hidden, this complexity makes quantitative performance modeling a difficult task. Designers of high-performance streaming applications for heterogeneous systems must contend with unpredictable and often non-generalizable models to predict performance of a particular application and hardware mapping. This paper outlines a computationally simple approach that can be used to model the overall throughput and buffering needs of a streaming application on heterogeneous hardware. The model presented is based upon a hybrid maximum flow and decomposed discrete queueing model. The utility of the model is …


Efficient Parallel Real-Time Upsampling Of Ultrasound Vectors, William D. Richard Ph.D. Jan 2013

Efficient Parallel Real-Time Upsampling Of Ultrasound Vectors, William D. Richard Ph.D.

All Computer Science and Engineering Research

Upsampling is required prior to the summation step in most receive digital beamforming implementations to produce an accurate summed RF line or vector. This is true in both annular and linear array systems where receive echos are digitized first and then time delayed in the digital domain to achieve proper signal alignment. The efficient, parallel, real-time upsampling circuit presented here produces M upsampled values per ADC clock, where M is the desired upsampling factor. A circuit implementation that upsamples by a factor of M=4 is presented as an example of the more general technique.


Ewa Model With Recency Effect And Limited Memory, Hang Xie Jan 2013

Ewa Model With Recency Effect And Limited Memory, Hang Xie

All Computer Science and Engineering Research

Game theory is an important field in economics; it studies how people make decisions amid conflict and cooperation. Various experiments have been carried to study the way people play those games, and economists study those data for various purposes. There has been a rise of need for using artificial agents to simulate the game, since we could save the cost of hiring human subjects for the experiments, and we could gain more control over the experiment settings.


Kernel Density Metric Learning, Yujie He, Wenlin Chen, Yixin Chen Jan 2013

Kernel Density Metric Learning, Yujie He, Wenlin Chen, Yixin Chen

All Computer Science and Engineering Research

This paper introduces a supervised metric learning algorithm, called kernel density metric learning (KDML), which is easy to use and provides nonlinear, probability-based distance measures. KDML constructs a direct nonlinear mapping from the original input space into a feature space based on kernel density estimation. The nonlinear mapping in KDML embodies established distance measures between probability density functions, and leads to correct classification on datasets for which linear metric learning methods would fail. Existing metric learning algorithms, such as large margin nearest neighbors (LMNN), can then be applied to the KDML features to learn a Mahalanobis distance. We also propose …


Self-Adapting Mac Layer For Wireless Sensor Networks, Mo Sha, Meng Xu, Chenyang Lu, Linh T.X. Phan, Tae-Suk Kim, Taerim Park Jan 2013

Self-Adapting Mac Layer For Wireless Sensor Networks, Mo Sha, Meng Xu, Chenyang Lu, Linh T.X. Phan, Tae-Suk Kim, Taerim Park

All Computer Science and Engineering Research

The integration of wireless sensors with mobile phones is gaining momentum as an enabling platform for numerous emerging applications. These mobile systems face dynamic environments where both application requirements and ambient wireless conditions change frequently. Despite the existence of many MAC protocols however, none can provide optimal performance along multiple dimensions, in particular when the conditions are frequently changing. Instead of pursuing a one-MAC-fit all approach we present a Self-Adapting MAC Layer (SAML) comprising (1) a Reconfigurable MAC Architecture (RMA) that can switch to different MAC protocols at run time and (2) a learning-based MAC Selection Engine that selects the …


Walkcompass: Finding Walking Direction Leveraging Smartphone's Inertial Sensors, Nirupam Roy Jan 2013

Walkcompass: Finding Walking Direction Leveraging Smartphone's Inertial Sensors, Nirupam Roy

Theses and Dissertations

Determining moving direction with smartphone's inertial sensors is a well known problem in the field of location service. Compass alone cannot solve this problem because smartphone's compass cannot achieve high accuracy. Moreover GPS is not suitable in indoor scenario. Another well known approach is dead-reckoning but dead-reckoning needs to know phones initial orientation and over time it keeps accumulating errors and after some time the estimation becomes to noisy to use. To overcome these limitations, we propose a solution called WalkCompass which is specially designed for pedestrians keeping in mind the variation of force during normal human walk. Therefore the …


Multi-Label Segmentation Propagation For Materials Science Images Incorporating Topology And Interactivity, Jarrell Waggoner Jan 2013

Multi-Label Segmentation Propagation For Materials Science Images Incorporating Topology And Interactivity, Jarrell Waggoner

Theses and Dissertations

Segmentation propagation is the problem of transferring the segmentation of an image to a neighboring image in a sequence. This problem is of particular importance to materials science, where the accurate segmentation of a series of 2D serial-sectioned images of multiple, contiguous 3D structures has important applications. Such structures may have prior-known shape, appearance, and/or topology among the underlying structures which can be considered to improve segmentation accuracy. For example, some materials images may have structures with a specific shape or appearance in each serial section slice, which only changes minimally from slice to slice; and some materials may exhibit …


Quasinovo: Algorithms For De Novo Peptide Sequencing, James Paul Cleveland Jan 2013

Quasinovo: Algorithms For De Novo Peptide Sequencing, James Paul Cleveland

Theses and Dissertations

High-throughput proteomics analysis involves the rapid identification and characterization of large sets of proteins in complex biological samples. Tandem mass spectrometry (MS/MS) has become the leading approach for the experimental identification of proteins. Accurate analysis of the data produced is a computationally challenging process that relies on a complex understanding of molecular dynamics, signal processing, and pattern classification. In this work we address these modeling and classification problems, and introduce an additional data-driven evolutionary information source into the analysis pipeline.

The particular problem being solved is peptide sequencing via MS/MS. The objective in solving this problem is to decipher the …


Scanner: An Efficient And Accurate Trimming Tool For Illumina Next Generation Sequencing Reads, Xiang Zhou Jan 2013

Scanner: An Efficient And Accurate Trimming Tool For Illumina Next Generation Sequencing Reads, Xiang Zhou

All Computer Science and Engineering Research

Recent advances in High-Throughput Sequencing (HTS) technology have greatly facilitated the researches in bioinformatics field. With the ultra-high sequencing speed and improved base-calling accuracy, Illumina Genome Analyzer is currently the most widely used platform in the field. To use the raw reads generated from the sequencing machine, the 3’ adapter sequence attached to the real read in the process of ligation needs to be correctly trimmed. This is often done by some inhouse scripts or different packages with various parameters. They either use the Smith-Waterman algorithm or search for an exact match of the 3’ adapter sequence. In this report, …


Adding Data Parallelism To Streaming Pipelines For Throughput Optimization, Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Chamberlain Jan 2013

Adding Data Parallelism To Streaming Pipelines For Throughput Optimization, Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Chamberlain

All Computer Science and Engineering Research

The streaming model is a popular model for writing high-throughput parallel applications. A streaming application is represented by a graph of computation stages that communicate with each other via FIFO channels. In this report, we consider the problem of mapping streaming pipelines — streaming applications where the graph is a linear chain — in order to maximize throughput. In a parallel setting, subsets of stages, called components can be mapped onto different computing resources. The through-put of an application is determined by the throughput of the slowest component. Therefore, if some stage is much slower than others, then it may …


Real-Time Multi-Core Virtual Machine Scheduling In Xen, Sisu Xi, Meng Xu, Chenyang Lu, Linh T.X. Phan, Christopher Gill, Olga Sokolsky, Insup Lee Jan 2013

Real-Time Multi-Core Virtual Machine Scheduling In Xen, Sisu Xi, Meng Xu, Chenyang Lu, Linh T.X. Phan, Christopher Gill, Olga Sokolsky, Insup Lee

All Computer Science and Engineering Research

Recent years have witnessed two major trends in the development of complex real-time systems. First, to reduce cost and enhance flexibility, multiple systems are sharing common computing platforms via virtualization technology, instead of being deployed separately on physically isolated hosts. Second, multicore processors are increasingly being used in real-time systems. The integration of real-time systems as virtual machines (VMs) atop common multicore platforms raises significant new research challenges in meeting the real-time performance requirements of multiple systems.


Parallel Real-Time Scheduling Of Dags, Abusayeed Saifullah, David Ferry, Jing Li, Kunal Agrawal, Chenyang Lu, Christopher Gill Jan 2013

Parallel Real-Time Scheduling Of Dags, Abusayeed Saifullah, David Ferry, Jing Li, Kunal Agrawal, Chenyang Lu, Christopher Gill

All Computer Science and Engineering Research

Recently, multi-core processors have become mainstream in processor design. To take full advantage of multi-core processing, computation-intensive real-time systems must exploit intra-task parallelism. In this paper, we address the open problem of real-time scheduling for a general model of deterministic parallel tasks, where each task is represented as a directed acyclic graph (DAG) with nodes having arbitrary execution requirements. We prove processor-speed augmentation bounds for both preemptive and non-preemptive real-time scheduling for general DAG tasks on multi-core processors. We first decompose each DAG into sequential tasks with their own release times and deadlines. Then we prove that these decomposed tasks …


Neural Network-Based Adaptive Event-Triggered Control Of Affine Nonlinear Discrete Time Systems With Unknown Internal Dynamics, Avimanyu Sahoo, Hao Xu, S. Jagannathan Jan 2013

Neural Network-Based Adaptive Event-Triggered Control Of Affine Nonlinear Discrete Time Systems With Unknown Internal Dynamics, Avimanyu Sahoo, Hao Xu, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the design of a neural network (NN) based adaptive model-based event-triggered control of an uncertain single input single output (SISO) nonlinear discrete time system in affine form is presented. The controller uses an adaptive estimator consisting of a single-layer NN not only to approximate the internal dynamics of an affine nonlinear discrete-time system but also to provide an estimate of the state vector during inter event interval. The NN weights of the adaptive NN estimator are tuned in a aperiodic manner at the event trigger instants unlike periodic updates in standard adaptive neural network (NN) control. A …


Design, Construction And Load Testing Of The Pat Daly Road Bridge In Washington County, Mo, With Internal Glass Fiber Reinforced Polymers Reinforcement, Zhibin Lin, Mostafa Fakharifar, Chenglin Wu, Genda Chen, Wesley James Bevans, Arun Vijay Kumar Gunasekaran, Sahra Sedigh Jan 2013

Design, Construction And Load Testing Of The Pat Daly Road Bridge In Washington County, Mo, With Internal Glass Fiber Reinforced Polymers Reinforcement, Zhibin Lin, Mostafa Fakharifar, Chenglin Wu, Genda Chen, Wesley James Bevans, Arun Vijay Kumar Gunasekaran, Sahra Sedigh

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

The overarching goal of this project is to deploy and assess an innovative corrosion-free bridge construction technology for long-term performance of new and existing bridges. The research objective of this project is to conduct a comprehensive study (instrumentation, construction, both laboratory and field evaluation) of a rapidly constructed and durable, three-span bridge with cast-in-place cladding steel reinforced concrete substructure and precast concrete decks/girders reinforced with glass fiber reinforced polymers (GFRP). The bridge has one conventional concrete-girder span, one conventional steel-girder span, and one innovative concrete box-girder span. The conventional concrete and steel girders were used to demonstrate the effective use …


Determining The Benefit Of Human Input In Human-In-The-Loop Robotic Systems, Christine Elizabeth Bringes Jan 2013

Determining The Benefit Of Human Input In Human-In-The-Loop Robotic Systems, Christine Elizabeth Bringes

USF Tampa Graduate Theses and Dissertations

This work analyzes human-in-the-loop robotic systems to determine where human input can be most beneficial to a collaborative task. This is accomplished by implementing a pick-and-place task using a human-in-the-loop robotic system and determining which segments of the task, when replaced by human guidance, provide the most improvement to overall task performance and require the least cognitive effort.

The first experiment entails implementing a pick and place task on a commercial robotic arm. Initially, we look at a pick-and-place task that is segmented into two main areas: coarse approach towards a goal object and fine pick motion. For the fine …


Efficient And Private Processing Of Analytical Queries In Scientific Datasets, Anand Kumar Jan 2013

Efficient And Private Processing Of Analytical Queries In Scientific Datasets, Anand Kumar

USF Tampa Graduate Theses and Dissertations

Large amount of data is generated by applications used in basic-science research and development applications. The size of data introduces great challenges in storage, analysis and preserving privacy. This dissertation proposes novel techniques to efficiently analyze the data and reduce storage space requirements through a data compression technique while preserving privacy and providing data security.

We present an efficient technique to compute an analytical query called spatial distance histogram (SDH) using spatiotemporal properties of the data. Special spatiotemporal properties present in the data are exploited to process SDH efficiently on the fly. General purpose graphics processing units (GPGPU or just …


A Robust Rgb-D Slam System For 3d Environment With Planar Surfaces, Po-Chang Su Jan 2013

A Robust Rgb-D Slam System For 3d Environment With Planar Surfaces, Po-Chang Su

Theses and Dissertations--Electrical and Computer Engineering

Simultaneous localization and mapping is the technique to construct a 3D map of unknown environment. With the increasing popularity of RGB-depth (RGB-D) sensors such as the Microsoft Kinect, there have been much research on capturing and reconstructing 3D environments using a movable RGB-D sensor. The key process behind these kinds of simultaneous location and mapping (SLAM) systems is the iterative closest point or ICP algorithm, which is an iterative algorithm that can estimate the rigid movement of the camera based on the captured 3D point clouds. While ICP is a well-studied algorithm, it is problematic when it is used in …


The Root Cause Of Failure In Complex It Projects: Complexity Itself, Kaitlynn M. Whitney, Charles B. Daniels Jan 2013

The Root Cause Of Failure In Complex It Projects: Complexity Itself, Kaitlynn M. Whitney, Charles B. Daniels

Engineering Management & Systems Engineering Faculty Publications

Increased demand for better technology and perpetual global expansion continue to provide developers with many project opportunities for success, as well as failure. While no industry is immune from project failure, the Information Technology (IT) industry is shown to be more susceptible to risk and failure than those of other industries. Agile project management, which facilitates adaptation to changing circumstances and alleviates rigid formal controls, has become more popular in the software development industry though is not entirely compatible with traditional project management approaches.In this paper we will examine the primary causes of IT project management failure stated in modern …


Detecting Semantic Method Clones In Java Code Using Method Ioe-Behavior, Rochelle Elva Jan 2013

Detecting Semantic Method Clones In Java Code Using Method Ioe-Behavior, Rochelle Elva

Electronic Theses and Dissertations

The determination of semantic equivalence is an undecidable problem; however, this dissertation shows that a reasonable approximation can be obtained using a combination of static and dynamic analysis. This study investigates the detection of functional duplicates, referred to as semantic method clones (SMCs), in Java code. My algorithm extends the input-output notion of observable behavior, used in related work [1, 2], to include the effects of the method. The latter property refers to the persistent changes to the heap, brought about by the execution of the method. To differentiate this from the typical input-output behavior used by other researchers, I …


Active Learning With Unreliable Annotations, Liyue Zhao Jan 2013

Active Learning With Unreliable Annotations, Liyue Zhao

Electronic Theses and Dissertations

With the proliferation of social media, gathering data has became cheaper and easier than before. However, this data can not be used for supervised machine learning without labels. Asking experts to annotate sufficient data for training is both expensive and time-consuming. Current techniques provide two solutions to reducing the cost and providing sufficient labels: crowdsourcing and active learning. Crowdsourcing, which outsources tasks to a distributed group of people, can be used to provide a large quantity of labels but controlling the quality of labels is hard. Active learning, which requires experts to annotate a subset of the most informative or …


An Exploration Of Unmanned Aerial Vehicle Direct Manipulation Through 3d Spatial Interaction, Kevin Pfeil Jan 2013

An Exploration Of Unmanned Aerial Vehicle Direct Manipulation Through 3d Spatial Interaction, Kevin Pfeil

Electronic Theses and Dissertations

We present an exploration that surveys the strengths and weaknesses of various 3D spatial interaction techniques, in the context of directly manipulating an Unmanned Aerial Vehicle (UAV). Particularly, a study of touch- and device- free interfaces in this domain is provided. 3D spatial interaction can be achieved using hand-held motion control devices such as the Nintendo Wiimote, but computer vision systems offer a different and perhaps more natural method. In general, 3D user interfaces (3DUI) enable a user to interact with a system on a more robust and potentially more meaningful scale. We discuss the design and development of various …


A Compiler-Based Framework For Automatic Extraction Of Program Skeletons For Exascale Hardware/Software Co-Design, Amruth Rudraiah Dakshinamurthy Jan 2013

A Compiler-Based Framework For Automatic Extraction Of Program Skeletons For Exascale Hardware/Software Co-Design, Amruth Rudraiah Dakshinamurthy

Electronic Theses and Dissertations

The design of high-performance computing architectures requires performance analysis of largescale parallel applications to derive various parameters concerning hardware design and software development. The process of performance analysis and benchmarking an application can be done in several ways with varying degrees of fidelity. One of the most cost-effective ways is to do a coarse-grained study of large-scale parallel applications through the use of program skeletons. The concept of a “program skeleton” that we discuss in this paper is an abstracted program that is derived from a larger program where source code that is determined to be irrelevant is removed for …