Computer Engineering Commons^™

An Analysis Of Use Of Automated Tools For Improving The Process Of Software Verification And Validation In A Midwestern Company, Darshak Dodiya

Dissertations and Theses @ UNI

As the use of electronics and software in the modern off road vehicles tend to increase, there is a huge challenge of getting the electronics and software tested before making it available for customer use. There are a lot of interactions between the hardware and software for the vehicle to function. And with the amount of interactions in the hardware and software come a lot of problems in verifying the functionality of the vehicle. If proper verification is neglected, the customer might end up getting an unsafe vehicle which can lead to serious consequences. To make these vehicles safe and …

Effect Of Laser-Assisted Resonant Excitation On The Growth Of Gan Films, H. Rabiee Golgir, Y. Gao, Y. S. Zhou, L. S. Fan, Kamran Keramatnejad, Yongfeng Lu

Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research

Gallium nitride (GaN) films were grown using laser-assisted metal organic chemical vapor deposition (LMOCVD). The vibrational mode (1084.63 cm^-1) of ammonia (NH₃) molecules was resonantly excited using a wavelength-tunable CO₂ laser at a laser wavelength of 9.219 μm due to its high absorption cross-section. Through wavelength-matched resonant excitation of the NH3 molecules, highly c-axis oriented GaN films were successfully deposited on sapphire (α-Al₂O₃) substrates at low temperatures (250 to 600^oC). The strong (0001) GaN peak in Xray diffraction spectra confirmed the good crystalline quality of GaN films. Additionally, the …

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.

Neutrosophic Logic Approaches Applied To ”Rabot” Real Time Control, Alexandru Gal, Luige Vladareanu, Florentin Smarandache, Hongnian Yu, Mincong Deng

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present a way of deciding which control law should operate at a time for a mobile walking robot. The proposed deciding method is based on the new research field, called Neutrosophic Logic. The results are presented as a simulated system for which the output is related to the inputs according to the Neutrosophic Logic.

Evaluating Electronic Market Designs: The Effects Of Competitive Arousal And Social Facilitation On Electronic Group Buying, Yuecheng Yu, Karl R. Lang, Alex Pelaez

Research Collection School Of Computing and Information Systems

This article presents an evaluation approach foralternative electronic market designs and examines theimpact of competitive arousal under time pressure onmarket performance in a group-buying setting. Drawingon theory from economics, decision theory, andinformation systems, we present a competitive arousalmodel for a social buying setting that posits thatintroducing competitive arousal among buyers reducesbuyer profits and that social facilitation can mitigate thesecosts through better task completion and time tocompletion rates. Using an economic experiment, wefound that rivalry has a negative effect on buyer profitsbut also that competitive arousal increases the efficiencyof social facilitation in terms of group formation. Wediscuss the implications of these …

Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of distance between any two m  n matrices. If the distance is 0 or m  n there is nothing interesting. When the distance happens to be a value t; 0 < t < m  n the study is both innovating and interesting. The three cases of study which is carried out in this book are 1. If the difference between two square matrices is large, will it imply the eigen values and eigen vectors of those matrices are distinct? Several open conjectures in this direction are given. 2. The difference between parity check matrix and the generator matrix for the same C(n, k) code is studied. This will help in detecting errors in storage systems as well as in cryptography.

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

Chulalongkorn University Theses and Dissertations (Chula ETD)

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

An Intelligent System For High Resolution Radar Systems, Janette C. Briones

Open Access Theses & Dissertations

Cognitive radio is a recent, novel approach that integrates machine perception software into wireless systems. The term cognitive radio was first used by Joe Mitola. The concept and the term cognitive radio quickly caught the attention and interest of many in the communications field. Cognitive radios are capable of making decisions and selecting or modifying the operating parameters of a radio. Given these capabilities, it is feasible to build a cognitive radar system as introduced by Simon Haykin in 2006. Cognitive radar, as described by Haykin, is an intelligent system that must be aware of its environment, uses prior knowledge, …

Multi-Objective Border Patrolling Optimization Using Game Theory And Evolutionary Algorithms, Franciso Oswaldo Aguirre

Open Access Theses & Dissertations

Border security has evolved significantly since the days when no more than 75 Mounted Guards patrolled the U.S. border in the early 1900's. The border region includes thousands of miles of both land and maritime borders that must be controlled, as well as commercial transportation networks. One of the primary components of the Department of Homeland Security (DHS) is the U.S. Customs and Border Protection (CBP) agency. One of the most typical activities performed by CBP is patrolling the expansive open areas in between official points of entry (POEs) to prohibit illegal entry attempts. Roving patrols are routinely conducted by …

Numerical Investigation Of Impact Of Relative Humidity On Droplet Accumulation And Film Cooling, Luz Irene Bugarin

Open Access Theses & Dissertations

During the summer, high inlet temperatures affect the power output of gas turbine systems. Evaporative coolers have gained popularity as an inlet cooling method for these systems. Wet compression has been one of the common evaporative cooling methods implemented to increase power output of gas turbine systems due to its simple installation and low cost. This process involves injection of water droplets into the continuous phase of compressor to reduce the temperature of the flow entering the compressor and in turn increase the power output of the whole gas turbine system. This study focused on a single stage rotor-stator compressor …

Implementing Mechatronics Design Methodology In Mechanical Engineering Technology Senior Design Projects At The Old Dominion University, Vukica M. Jovanovic, Jennifer G. Michaeli, Otilia Popescu, Moustafa R. Moustafa, Mileta Tomovic, Alok K. Verma, Cheng Y. Lin

Engineering Technology Faculty Publications

In recent years, the nature of engineering design has changed due to advances in embedded system design and computer technologies. It is rare to engineer a purely mechanical design that does not incorporate electrical and electronic components. Mechanical engineers and mechanical engineering technologists must possess a multi-disciplinary knowledge with the understanding of both mechanical and electrical systems. For this purpose, undergraduate programs in engineering technology have added mechatronics courses to their curriculum. Mechatronics is a design process that is multi-disciplinary in nature and integrates principles of many engineering disciplines including, but not limited to, mechanical engineering, electrical engineering, and controls …

Thermal Tuning Of Mems Buckled Membrane Actuator Stiffness, Robert A. Lake, Kyle K. Ziegler, Ronald A. Coutu Jr.

Electrical and Computer Engineering Faculty Research and Publications

The thermal tuning characteristics of a microelectromechanical systems (MEMS) buckled membrane exhibiting regions of both positive and negative stiffness is examined and analyzed using finite element method (FEM) simulation and through experimentation. The membranes are fabricated by releasing a silicon/silicon dioxide (Si/SiO₂) laminated membrane from a silicon on insulator (SOI) wafer. The difference in thermal expansion coefficients between Si and SiO2 induces a compressive stress in the SiO₂ layer causing out-of-plane buckling of the membrane. This structure is found to have positive and negative stiffness regions when actuated with a transverse force. It is demonstrated that the …

Non-Local Model For The Spatial Distribution Of Impact Ionization Events In Avalanche Photodiodes, David A. Ramirez, Majeed M. Hayat, Andrew S. Huntington, George M. Williams

Electrical and Computer Engineering Faculty Research and Publications

We report an extension of the analytical dead space multiplication theory that provides the means to theoretically determine the spatial distribution of electron and hole impact-ionization events in an arbitrarily specified heterojunction multiplication region. The model can be used to understand the role of the dead space in regularizing the locations of impact ionization. It can also be utilized to analyze, design, and optimize new generations of ultra-low noise, multistaged gain avalanche photodiodes based upon judiciously energizing and relaxing carriers to enhance electron impact ionization and suppress hole impact ionization.

Cross-Domain Password-Based Authenticated Key Exchange Revisited, Liqun Chen, Hoon Wei Lim, Guomin Yang

Research Collection School Of Computing and Information Systems

We revisit the problem of secure cross-domain communication between two users belonging to different security domains within an open and distributed environment. Existing approaches presuppose that either the users are in possession of public key certificates issued by a trusted certificate authority (CA), or the associated domain authentication servers share a long-term secret key. In this article, we propose a generic framework for designing four-party password-based authenticated key exchange (4PAKE) protocols. Our framework takes a different approach from previous work. The users are not required to have public key certificates, but they simply reuse their login passwords, which they share …

On The Security Of Auditing Mechanisms For Secure Cloud Storage, Yong Yu, Lei Niu, Guomin Yang, Yi Mu, Willy Susilo

Research Collection School Of Computing and Information Systems

Cloud computing is a novel computing model that enables convenient and on-demand access to a shared pool of configurable computing resources. Auditing services are highly essential to make sure that the data is correctly hosted in the cloud. In this paper, we investigate the active adversary attacks in three auditing mechanisms for shared data in the cloud, including two identity privacy-preserving auditing mechanisms called Oruta and Knox, and a distributed storage integrity auditing mechanism.We show that these schemes become insecure when active adversaries are involved in the cloud storage. Specifically, an active adversary can arbitrarily alter the cloud data without …

Measuring And Modelling The Thermal Performance Of The Tamar Suspension Bridge Using A Wireless Sensor Network, Nicholas De Battista, James M. W. Brownjohn, Hwee-Pink Tan, Ki Young Koo

Research Collection School Of Computing and Information Systems

A study on the thermal performance of the Tamar Suspension Bridge deck in Plymouth, UK, is presented in this paper. Ambient air, suspension cable, deck and truss temperatures were acquired using a wired sensor system. Deck extension data were acquired using a two-hop wireless sensor network. Empirical models relating the deck extension to various combinations of temperatures were derived and compared. The most accurate model, which used all the four temperature variables, predicted the deck extension with an accuracy of 99.4%. Time delays ranging from 10 to 66 min were identified between the daily cycles of the air temperature and …

Detection And Control Of Small Civilian Uavs, Matthew Peacock

Theses : Honours

With the increasing proliferation of small civilian Unmanned Aerial Vehicles (UAVs), the threat to critical infrastructure (CI) security and privacy is now widely recognised and must be addressed. These devices are easily available at a low cost, with their usage largely unrestricted allowing users to have no accountability. Further, current implementations of UAVs have little to no security measures applied to their control interfaces. To combat the threat raised by small UAVs, being aware of their presence is required, a task that can be challenging and often requires customised hardware.

This thesis aimed to address the threats posed by the …

Enhanced Optical Bistability With Film-Coupled Plasmonic Nanocubes, Christos Argyropoulos, Cristian Ciraci, David R. Smith

Department of Electrical and Computer Engineering: Faculty Publications

Colloidally synthesized nanocubes strongly coupled to conducting films hold great promise for enhancing different nonlinear optical processes. They exhibit a robust and sensitive scattering response that can be easily controlled by their geometrical and material parameters. Strong local field enhancement is generated at the gap regions between the nanocubes and the metallic film. We show that strong optical bistability and all-optical switching behavior can be obtained by loading these nanogaps with Kerr nonlinear materials. Relatively low input intensities are required to obtain these nonlinear effects. The proposed design can lead to efficient, low-power, and ultrafast all-optical memories and scattering nanoswitches.

Using Software-Based Decision Procedures To Control Instruction-Level Execution, William B. Kimball

AFIT Patents

An apparatus, method and program product are provided for securing a computer system. A digital signature of an application is checked, which is loaded into a memory of the computer system configured to contain memory pages. In response to finding a valid digital signature, memory pages containing instructions of the application are set as executable and memory pages other than those containing instructions of the application are set as non-executable. Instructions in executable memory pages are executed. Instructions in non-executable memory pages are prevented from being executed. A page fault is generated in response to an attempt to execute an …

Mobile Sensor Data Mining, Jeff Lockhart Fcrh '13

The Fordham Undergraduate Research Journal

At an ever increasing rate, the smartphones and other devices people carry with them in their everyday lives are packed with sensors and processing power. This provides an unprecedented opportunity to apply data mining techniques to people’s activities as they go about their daily lives, without changing their routine. The goal of the Wireless Sensor Data Mining (WISDM) Project is to explore the possibilities of data mining on these powerful mobile platforms.1 Data mining involves extracting knowledge from data using computer algorithms. A major sensor in these devices is the tri-axial accelerometer originally included for screen rotation and advanced gaming. …