Computer Sciences Commons^™

Prediction Of Emissions And Exhaust Temperature For Direct Injection Diesel Engine With Emulsified Fuel Using Ann, Görkem Kökkülünk, Erhan Akdoğan, Vezi̇r Ayhan

Turkish Journal of Electrical Engineering and Computer Sciences

Exhaust gases have many effects on human beings and the environment. Therefore, they must be kept under control. The International Convention for the Prevention of Pollution from Ships (MARPOL), which is concerned with the prevention of marine pollution, limits the emissions according to the regulations. In Emission Control Area (ECA) regions, which are determined by MARPOL as ECAs, the emission rates should be controlled. Direct injection (DI) diesel engines are commonly used as a propulsion system on ships. The prediction and control of diesel engine emission rates is not an easy task in real time. Therefore, in this study, an …

A Low-Voltage And Low-Power Sinh-Domain Universal Biquadratic Filter For Low-Frequency Applications, Farooq Khanday, Nisar Shah

Turkish Journal of Electrical Engineering and Computer Sciences

Sinh-domain CMOS filters have favorable properties, such as a wide dynamic range at low supply voltage, compactness, linearity, and low power consumption. These properties are becoming increasingly important for biomedical applications that require extremely low-power dissipation and neuromorphic circuits that attempt to reproduce the biophysics of biological neurons and synapses. In this paper, a low-voltage sinh-domain universal biquadratic filter circuit is introduced. The circuit, aside from permitting the independent adjustment of pole frequency (\omega_0) and the quality factor (Q), is free from matching conditions, capable of absorbing the shunt parasitic capacitances, amenable for monolithic integration, and composed of merely a …

Control Of Diesel Engines Mounted On Vehicles In Mobile Cranes Via Can Bus, Muci̇z Özcan, Hi̇dayet Günay

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, the aim was to lift loads that required more force using the infrastructure of existing vehicles. To this end, a truck-mounted diesel engine was selected to be used in mobile crane applications. A control system was designed and implemented to obtain the appropriate hydraulic force by accessing the diesel engine with a controller area network bus via an electronic control unit (ECU). For this purpose, hydraulic pumps to be used to operate the crane were mounted on the selected mobile diesel engine with an ECU. Firms that manufacture cranes in the world produce cranes with infrastructure. This …

Stopping Spam With Sending Session Verification, Ahmet Baran

Turkish Journal of Electrical Engineering and Computer Sciences

Spam has become one of the most significant problems for Internet communication and users today. The traditional filtering methods and signature-based spam blocking systems that have come into prominence recently fall short, as statistics demonstrate that spam further mounts up day after day. In this study, a new method is recommended to block spam mails. In this recommended method, a mail sending session is verified during mail envelope communication by adding small attachments to the simple mail transfer protocol, so spam mails can be blocked before leaving the sender domain or relay machine. Additionally, hijacked user accounts are able to …

Xor-Based Artificial Bee Colony Algorithm For Binary Optimization, Mustafa Servet Kiran, Mesut Gündüz

Turkish Journal of Electrical Engineering and Computer Sciences

The artificial bee colony (ABC) algorithm, which was inspired by the foraging and dance behaviors of real honey bee colonies, was first introduced for solving numerical optimization problems. When the solution space of the optimization problem is binary-structured, the basic ABC algorithm should be modified for solving this class of problems. In this study, we propose XOR-based modification for the solution-updating equation of the ABC algorithm in order to solve binary optimization problems. The proposed method, named binary ABC (binABC), is examined on an uncapacitated facility location problem, which is a pure binary optimization problem, and the results obtained by …

Hybrid Spr Algorithm To Select Predictive Genes For Effectual Cancer Classification, Aruna Sundaram, Nandakishore Lellapalli Venkata, Rajagopalan Sarukai Parthasarathy

Turkish Journal of Electrical Engineering and Computer Sciences

Designing an automated system for classifying DNA microarray data is an extremely challenging problem because of its high dimension and low amount of sample data. In this paper, a hybrid statistical pattern recognition algorithm is proposed to reduce the dimensionality and select the predictive genes for the classification of cancer. Colon cancer gene expression profiles having 62 samples of 2000 genes were used for the experiment. A gene subset of 6 highly informative genes was selected by the algorithm, which provided a classification accuracy of 93.5%.

Flow Velocity Measurement And Analysis Based On Froth Image Sift Features And Kalman Filter For Froth Flotation, Jinping Liu, Weihua Gui, Zhaohui Tang

Turkish Journal of Electrical Engineering and Computer Sciences

The flow velocity of flotation froth involves important information about the concentrate grade and the mineral recovery. It is significant to maintain the flow velocity of the froth at proper levels to achieve a good production performance in the machine vision-based process monitoring and control. However, the accurate velocity field measurement for the heavily deformed and seriously fragile froth bubbles is still a great challenge. Scale-invariant feature transform (SIFT) feature-based image matching provides an effective registration method for deformed objects, but most of the processing time would be wasted on the feature extraction and matching in irrelevant regions of the …

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …

Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.

Gpu-Optimized Code For Long-Term Simulations Of Beam-Beam Effects In Colliders, Y. Roblin, V. Morozov, B. Terzić, M. Aturban, D. Ranjan, M. Zubair

Computer Science Faculty Publications

We report on the development of the new code for long-term simulation of beam-beam effects in particle colliders. The underlying physical model relies on a matrix-based arbitrary-order symplectic particle tracking for beam transport and the Bassetti-Erskine approximation for beam-beam interaction. The computations are accelerated through a parallel implementation on a hybrid GPU/CPU platform. With the new code, a previously computationally prohibitive long-term simulations become tractable. We use the new code to model the proposed medium-energy electron-ion collider (MEIC) at Jefferson Lab.

Accelprint:Accelerometers Are Different By Birth, Sanorita Dey

Theses and Dissertations

This paper submits a hypothesis that smartphone accelerometers possess unique fingerprints. We believe that the fingerprints arise from hardware imperfections during the sensor manufacturing process, causing every sensor chip to respond differently to the same motion stimulus. The differences in responses are subtle enough that they do not affect most of the higher level functions computed on them. Nonetheless, upon close inspection, these fingerprints emerge with consistency, and can even be somewhat independent of the stimulus that generates them. Measurements and classification on 80 standalone accelerometer chips, 25 Android phones, and 2 tablets, show precision and recall upward of 96%, …

Accelerating Short Read Mapping Using A Dsp Based Coprocessor, Shaun I. Gause

Theses and Dissertations

Advances in next generation sequencing technologies have allowed short reads to be generated at an increasing rate, shifting the bottleneck of the sequencing process to the short read mapping computations. High costs and extended processing times drive researchers to pursue more efficient solutions with an overall goal of a short read mapping architecture capable of processing short reads as they are generated. Digital signal processors have shown high performance capabilities while maintaining low power consumption in a wide field of applications. This thesis explores the use of a DSP accelerated exact match short read mapping algorithm, focusing on a performance …

3d Grain Segmentation In Superalloy Images Using Multichannel Edge-Weighted Centroidal Voronoi Tessellation Based Methods, Yu Cao

Theses and Dissertations

Accurate grain segmentation on 3D superalloy images is very important in materials science and engineering. From grain segmentation, we can derive the underlying superalloy grains' micro-structures, based on which many important physical, mechanical and chemical properties of the superalloy samples can be evaluated. However, grain segmentation is usually a very challenging problem since: 1) even a small 3D superalloy sample may contain hundreds of grains; 2) carbides and noises may degrade the imaging quality; and 3) the intensity within a grain may not be homogeneous. In addition, the same grain may present different appearances, i.e. intensities, under different microscope settings. …

An Analysis Of Constructive Network Formation Models, Gary Fredericks

Theses and Dissertations

We study a family of network formation models to determine how payment rules affect the final network topologies that emerge. In our model a set of nodes starts out without any edges and the nodes must pay for the creation of edges using one of several different payment mechanisms. Example payment mechanisms include one node paying for the whole edge, and the cost being shared equally between the two nodes. We show how the set of networks formed by some payment rules are subsets of those formed by other rules. We also perform extensive empirical tests on networks of up …

Plc Code Vulnerabilities Through Scada Systems, Sidney E. Valentine, Jr.

Theses and Dissertations

Supervisory Control and Data Acquisition (SCADA) systems are widely used in automated manufacturing and in all areas of our nation's infrastructure. Applications range from chemical processes and water treatment facilities to oil and gas production and electric power generation and distribution. Current research on SCADA system security focuses on the primary SCADA components and targets network centric attacks. Security risks via attacks against the peripheral devices such as the Programmable Logic Controllers (PLCs) have not been sufficiently addressed.

Our research results address the need to develop PLC applications that are correct, safe and secure. This research provides an analysis of …

Book Review: Placing The Suspect Behind The Keyboard: Using Digital Forensics And Investigative Techniques To Identify Cybercrime Suspects, Thomas Nash

Journal of Digital Forensics, Security and Law

In this must read for any aspiring novice cybercrime investigator as well as the seasoned professional computer guru alike, Brett Shaver takes the reader into the ever changing and dynamic world of Cybercrime investigation. Shaver, an experienced criminal investigator, lays out the details and intricacies of a computer related crime investigation in a clear and concise manner in his new easy to read publication, Placing the Suspect behind the Keyboard. Using Digital Forensics and Investigative techniques to Identify Cybercrime Suspects. Shaver takes the reader from start to finish through each step of the investigative process in well organized …

Automating Vendor Fraud Detection In Enterprise Systems, Kishore Singh, Peter Best, Joseph Mula

Journal of Digital Forensics, Security and Law

Fraud is a multi-billion dollar industry that continues to grow annually. Many organizations are poorly prepared to prevent and detect fraud. Fraud detection strategies are intended to quickly and efficiently identify fraudulent activities that circumvent preventative measures. In this paper, we adopt a DesignScience methodological framework to develop a model for detection of vendor fraud based on analysis of patterns or signatures identified in enterprise system audit trails. The concept is demonstrated by developing prototype software. Verification of the prototype is achieved by performing a series of experiments. Validation is achieved by independent reviews from auditing practitioners. Key findings of …

Book Review: Professional Penetration Testing: Creating And Learning In A Hacking Lab 2e, Joshua Bartolomie

Journal of Digital Forensics, Security and Law

Organizations often strive for proactive information security programs in an effort to limit occurrence and impact of security breaches. However, traditional security programs run the risk of being unable to provide adequate insight and proactive awareness into real attack vectors that may exist within their organizations. With attack methods and efforts becoming increasingly aggressive, and effective, organizations must take equally assertive measures to protect their critical information and assets. Penetration testing is one of those tools that is often misunderstood, overlooked, and undervalued. A true adversary would not hesitate to exploit every potential to gain entry or cause a disruption …

Technology Corner: Calculating The Number Of Android Lock Patterns: An Unfinished Study In Number Theory, Gary C. Kessler

Journal of Digital Forensics, Security and Law

Although one is unlikely to ever want to brute-force an Android lock pattern, many do wonder about the relative strength of the lock pattern versus a multidigit personal identification number (PIN). It becomes obvious pretty quickly that there are many more lock patterns than the 10,000 possible four-digit PINs.

Science Column: Reconstruction: The Experimental Side Of Digital Forensics, Fred Cohen

Journal of Digital Forensics, Security and Law

Many in digital forensics seem to forget that the science part of digital forensics means experimentation and that implies a whole lot of things that most practitioners never learned.

Book Review: Iphone And Ios Forensic: Investigation, Analysis And Mobile Security For Apple Iphone, Ipad And Ios Devices, Simson Garfinkel

Journal of Digital Forensics, Security and Law

In April 2011 news outlets around the world revealed shocking news about Apple’s iPhone: for reasons that were not apparently clear, every iPhone contained a small SQLite database that logged where and when the user had been whenever the phone was turned on, and those records went back for pretty much as long as the user had owned their phone. Apple eventually declared that the data cache was the result of a bug and issued a software update to prune the database (it had previously grown without limit). Privacy activists rejoiced that their beloved iPhones were once again trustworthy. But …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Prevention And Detection Of Intrusions In Wireless Sensor Networks, Ismail Butun

USF Tampa Graduate Theses and Dissertations

Wireless Sensor Networks (WSNs) continue to grow as one of the most exciting and challenging research areas of engineering. They are characterized by severely constrained computational and energy

resources and also restricted by the ad-hoc network operational

environment. They pose unique challenges, due to limited power

supplies, low transmission bandwidth, small memory sizes and limited energy. Therefore, security techniques used in traditional networks cannot be directly adopted. So, new ideas and approaches are needed, in order to increase the overall security of the network. Security applications in such resource constrained WSNs with minimum overhead provides significant challenges, and is the …

Human Intention Recognition Based Assisted Telerobotic Grasping Of Objects In An Unstructured Environment, Karan Hariharan Khokar

USF Tampa Graduate Theses and Dissertations

In this dissertation work, a methodology is proposed to enable a robot to identify an object to be grasped and its intended grasp configuration while a human is teleoperating a robot towards the desired object. Based on the detected object and grasp configuration, the human is assisted in the teleoperation task. The environment is unstructured and consists of a number of objects, each with various possible grasp configurations. The identification of the object and the grasp configuration is carried out in real time, by recognizing the intention of the human motion. Simultaneously, the human user is assisted to preshape over …

Automated Color Calibration Of Display Devices, Andrew Shulman

All Computer Science and Engineering Research

If you compare two identical images on two different monitors, they will likely appear different. Every display device is supposed to adhere to a particular set of standards regulating the color and intensity of the image it outputs. However, in practice, very few do. Color calibration is the practice of modifying the signal path such that the colors produced more closely match reference standards. This is essential for graphics professionals who are mastering original content. They must ensure that the source material appears correct when viewed on a reference monitor. When viewed on a consumer panel, however, some error will …

A Method For Identifying Personalized Representations In Web Archives, Mat Kelly, Justin F. Brunelle, Michele C. Weigle, Michael L. Nelson

Computer Science Faculty Publications

Web resources are becoming increasingly personalized — two different users clicking on the same link at the same time can see content customized for each individual user. These changes result in multiple representations of a resource that cannot be canonicalized in Web archives. We identify characteristics of this problem by presenting a potential solution to generalize personalized representations in archives. We also present our proof-of-concept prototype that analyzes WARC (Web ARChive) format files, inserts metadata establishing relationships, and provides archive users the ability to navigate on the additional dimension of environment variables in a modified Wayback Machine.

Coupling Numerical Simulation And Pattern Recognition To Model Production And Evaluate Carbon Dioxide Injection In Shale Gas Reservoir, Amirmasoud Kalantari-Dahaghi

Graduate Theses, Dissertations, and Problem Reports (ETD)

Massive multi-cluster, multi-stage hydraulic fractures have significantly increased the complexity of the flow behavior in shale. This has translated into multiple challenges in the modeling of production from shale wells.

Most commonly used numerical techniques for modeling production from shale wells are Explicit Hydraulic Fracture (EHF) and Stimulated Reservoir Volume (SRV). Model setup for the EHF technique is long and laborious and its implementation is computationally expensive, such that it becomes impractical to model beyond a single pad. On the other hand, identifying the extent and conductivity of SRV is a challenging proposition. SRV technique is commonly used to simplify …

Adaptive Event-Triggered Control Of A Uncertain Linear Discrete Time System Using Measured Input And Output Data, Avimanyu Sahoo, Hao Xu, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, an adaptive model-based event-triggered control of an uncertain linear discrete time system is developed. Measured input and output vectors and their history are utilized to express the unknown linear discrete-time system as an autoregressive Markov representation (ARMarkov). A novel adaptive model in the form of AR Markov is proposed and an update law is derived in order to estimate parameters of the ARMarkov model at triggered instants unlike periodic updates in standard adaptive control. Lyapunov method is used to derive the event trigger condition, prove boundedness of the parameter vector and asymptotic convergence of the outputs and …

Neural Network-Based Optimal Control Of Mobile Robot Formations With Reduced Information Exchange, Travis Dierks, Bryan Brenner, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel formation control scheme for mobile robots is introduced in the context of leader-follower framework with reduced communication exchange. The dynamical controller inputs for the robots are approximated from nonlinear optimal control techniques in order to track the designed control velocities generated by the kinematic controller. The proposed nonlinear optimal control technique, referred to as adaptive dynamic programming, uses neural networks (NNs) to solve the optimal formation control problem in discrete time in the presence of unknown internal dynamics and a known control coefficient matrix. A modification to the follower's kinematic controller is used to allow the desired formation …