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

Physical Sciences and Mathematics Commons

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

Computer Engineering

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 10231 - 10260 of 12810

Full-Text Articles in Physical Sciences and Mathematics

An Rfid Based Indoor Tracking Method For Navigating Visually Impaired People, Ruşen Öktem, Eli̇f Aydin Jan 2010

An Rfid Based Indoor Tracking Method For Navigating Visually Impaired People, Ruşen Öktem, Eli̇f Aydin

Turkish Journal of Electrical Engineering and Computer Sciences

This paper tackles the RFID based tracking problem in an obscured indoor environment. The proposed solution is an integral part of a navigation aid for guiding visually impaired people in a store. It uses RF signal strengths and is based on the Bayes Decision Theory. An observation vector is formed by received radio signal strength indication values, transmitted from three transmitters at distinct frequencies in the UHF band. The indoor area is divided into square grids, where each grid is considered as a class. The problem of tracking is expressed as classifying the observed radio signal strengths to the most …


Stator Resistance Estimation Using Ann In Dtc Im Drives, Mustafa Aktaş, H. İbrahi̇m Okumuş Jan 2010

Stator Resistance Estimation Using Ann In Dtc Im Drives, Mustafa Aktaş, H. İbrahi̇m Okumuş

Turkish Journal of Electrical Engineering and Computer Sciences

Torque control of induction motors (IM) requires accurate estimation of the flux in the motor. But the flux estimate, when estimated from the stator circuit variables, is highly dependent on the stator resistance of the IM. As a result, the flux estimate is prone to errors due to variation in the stator resistance, especially at low stator frequencies. In this paper, an Artificial Neural Network (ANN) is used to adjust the stator resistance of an IM. A back propagation training algorithm was used in training the neural network for the simulation. The proposed ANN resistance estimator has shown good performance …


Stochastic Stability Of The Discrete-Time Constrained Extended Kalman Filter, Levent Özbek, Esi̇n Köksal Babacan, Murat Efe Jan 2010

Stochastic Stability Of The Discrete-Time Constrained Extended Kalman Filter, Levent Özbek, Esi̇n Köksal Babacan, Murat Efe

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, stability of the projection-based constrained discrete-time extended Kalman filter (EKF) as applied to nonlinear systems in a stochastic framework has been studied. It has been shown that like the unconstrained EKF, the estimation error of the EKF with known constraints on the states remains bounded when the initial error and noise terms are small, and the solution of the Riccati difference equation remains positive definite and bounded. Stability results are verified and performance of the constrained EKF is demonstrated through simulations on a nonlinear engineering example.


K-Anonymity Based Framework For Privacy Preserving Data Collection In Wireless Sensor Networks, Hayretdi̇n Bahşi̇, Albert Levi̇ Jan 2010

K-Anonymity Based Framework For Privacy Preserving Data Collection In Wireless Sensor Networks, Hayretdi̇n Bahşi̇, Albert Levi̇

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, k-anonymity notion is adopted to be used in wireless sensor networks (WSN) as a security framework with two levels of privacy. A base level of privacy is provided for the data shared with semi-trusted sink and a deeper level of privacy is provided against eavesdroppers. In the proposed method, some portions of data are encrypted and the rest is generalized. Generalization shortens the size of the data transmitted in the network causing energy saving at the cost of information loss. On the other hand, encryption provides anonymization with no information loss and without saving energy. Thus, there …


The Effect Of The Channel Reliability Factor In The Map Algorithm On Turbo Code Performance In Bluetooth Systems, Sali̇m Kahveci̇, İsmai̇l Kaya Jan 2010

The Effect Of The Channel Reliability Factor In The Map Algorithm On Turbo Code Performance In Bluetooth Systems, Sali̇m Kahveci̇, İsmai̇l Kaya

Turkish Journal of Electrical Engineering and Computer Sciences

The effects of the channel reliability factor on the performance of turbo decoders that use a maximum a posteriori probability algorithm are investigated for wireless communication fading channels, such as Bluetooth systems. The channel reliability factor is related to the channel signal-to-noise ratio. For various values of the channel reliability factor, the obtained performance curves of the maximum a posteriori probability algorithm are given for the case of DMx Bluetooth data packets. When the channel reliability factor increases, the bit-error-rate performance of the DMx Bluetooth data packets also increases over fading channels.


Relativistic Electromagnetism In Rotating Media, Pierre Hillion Jan 2010

Relativistic Electromagnetism In Rotating Media, Pierre Hillion

Turkish Journal of Electrical Engineering and Computer Sciences

This work concerns relativistic electromagnetism in a cylindrical Frenet-Serret frame. The tensor formalism of Maxwell's equations and electromagnetic fields in a vacuum is first developed in terms of cylindrical coordinates and afterwards applied to a rotating frame using the relativistic Trocheris-Takeno description of rotations. The metric ds^2 = g_{\mu \nu} dx^{\mu} dx^{\nu} of this frame is then obtained to find the determinant g of the g_{\mu \nu} matrix intervening in the relativistic Maxwell's equations, where the Greek indices take on the values 1,2,3,4. The propagation of harmonic cylindrical waves in rotating media is analyzed and it is shown that these …


Remote Sensing Applications Of Hf Skywave Radar: The Australian Experience, Stuart Anderson Jan 2010

Remote Sensing Applications Of Hf Skywave Radar: The Australian Experience, Stuart Anderson

Turkish Journal of Electrical Engineering and Computer Sciences

Australia has conducted research into over-the-horizon radar (OTHR) for almost sixty years. Early programs focused exclusively on military capabilities, such as the detection of aircraft, missiles and ships, but in 1974 a team was formed to design a new OTHR for which a remote sensing mission was proposed. Oceanic wind mapping experiments in 1977-78 yielded promising results so remote sensing became a recognised mission assigned to the new radar, known as Jindalee Stage B. This capability was progressively expanded over the period 1982-87 to include mapping of wave height and other oceanographic variables. A real-time data link to the Australian …


Dual-Use Of Compact Hf Radars For The Detection Of Mid- And Large-Size Vessels, Hugh Roarty, Don Barrick, Josh Kohut, Scott Glenn Jan 2010

Dual-Use Of Compact Hf Radars For The Detection Of Mid- And Large-Size Vessels, Hugh Roarty, Don Barrick, Josh Kohut, Scott Glenn

Turkish Journal of Electrical Engineering and Computer Sciences

This paper describes the development of the SeaSonde High Frequency Radar system into a dual-use application for the mapping of ocean surface currents and detection of ships at sea. This development entailed the creation of a new radar waveform that would permit this dual-use as well as a detection algorithm to identify the ships in the radar spectra. The detection algorithm utilizes two methods for calculating a background signal level: an infinite impulse response (IIR) filter and a two-dimensional median filter. These two methods are employed simultaneously with multiple length averaging times to maximize the number of detections. The initial …


Oceanography Radar System Wera: Features, Accuracy, Reliability And Limitations, Thomas Helzel, Matthias Kniephoff, Leif Petersen Jan 2010

Oceanography Radar System Wera: Features, Accuracy, Reliability And Limitations, Thomas Helzel, Matthias Kniephoff, Leif Petersen

Turkish Journal of Electrical Engineering and Computer Sciences

The WERA system (WavE RAdar) is a shore based remote sensing system to monitor ocean surface currents, waves and wind direction. This long range, high resolution monitoring system based on short radio wave radar technology. The vertical polarised electromagnetic wave is coupled to the conductive ocean surface and follows the curvature of the earth. This over the horizon oceanography radar can pick up back-scattered signals from the rough ocean surface (Bragg effect) from ranges of up to 200 km. The physical background, technical concept and environmental boundary conditions are explained. Results for various installations from all over the world demonstrates …


Modeling And Simulation Strategies In High Frequency Surface Wave Radars, Levent Sevgi̇ Jan 2010

Modeling And Simulation Strategies In High Frequency Surface Wave Radars, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

Surface Wave High Frequency Radars (SWHFR) are taken into account in the content of modeling and simulation challenges. Examples related to multi-mixed path surface wave propagation, radar cross section (RCS) prediction, and total radar echo showing target, clutter, noise, and interference are presented.


Radar Cross-Section (Rcs) Analysis Of High Frequency Surface Wave Radar Targets, Gonca Çakir, Levent Sevgi̇ Jan 2010

Radar Cross-Section (Rcs) Analysis Of High Frequency Surface Wave Radar Targets, Gonca Çakir, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

Realistic high frequency surface wave radar (HFSWR) targets are investigated numerically in terms of electromagnetic wave -- target interactions. Radar cross sections (RCS) of these targets are simulated via both the finite-difference time-domain (FDTD) method and the Method of Moments (MoM). The virtual RCS prediction tool that was introduced in previous work is used for these investigations. The virtual tool automatically creates the discrete FDTD model of the target under investigation and performs the FDTD RCS analysis. It also automatically constructs a MoM wire grid model of the target; therefore, it is also possible to compare FDTD results against the …


New Approach Fpga-Based Implementation Of Discontinuous Svpwm}, Tole Sutikno, Auzani Jidin, Nik Rumzi Nik Idris Jan 2010

New Approach Fpga-Based Implementation Of Discontinuous Svpwm}, Tole Sutikno, Auzani Jidin, Nik Rumzi Nik Idris

Turkish Journal of Electrical Engineering and Computer Sciences

The discontinuous space vector pulse-width modulation (DSVPWM) is a well-known technique offering lower switching losses than continuous SVPWM. At the same, average switching frequency, or a switching frequency 1.5 times higher than utilized in continuous SVPWM, the discontinuous SVPWM results in lower current harmonic distortions than that obtained in continuous SVPWM at high modulation indices. This paper is concerned with the design and realization of new FPGA approach based a 5-segment discontinuous SVPWM operated at 40 kHz switching frequency. It will be shown that the implementation of the discontinuous SVPWM utilized in FPGA, to execute some complex tasks, is simplified …


Securing Fuzzy Vault Schemes Through Biometric Hashing, Cengi̇z Örenci̇k, Thomas Brochmann Pedersen, Erkay Savaş, Mehmet Keski̇nöz Jan 2010

Securing Fuzzy Vault Schemes Through Biometric Hashing, Cengi̇z Örenci̇k, Thomas Brochmann Pedersen, Erkay Savaş, Mehmet Keski̇nöz

Turkish Journal of Electrical Engineering and Computer Sciences

The fuzzy vault scheme is a well-known technique to mitigate privacy, security, and usability related problems in biometric identification applications. The basic idea is to hide biometric data along with secret information amongst randomly selected chaff points during the enrollment process. Only the owner of the biometric data who presents correct biometrics can recover the secret and identify himself. Recent research, however, has shown that the scheme is vulnerable to certain types of attacks. The recently proposed ``correlation attack'', that allows linking two vaults of the same biometric, pose serious privacy risks that have not been sufficiently addressed. The primary …


Washout Filter Based Control For The Hodgkin-Huxley Nerve Cell Dynamics, Reşat Özgür Doruk Jan 2010

Washout Filter Based Control For The Hodgkin-Huxley Nerve Cell Dynamics, Reşat Özgür Doruk

Turkish Journal of Electrical Engineering and Computer Sciences

In this work we present a washout filter based control approach for stabilizing the oscillations in Hodgkin-Huxley type neurons. The oscillations occur due to the bifurcations that arise from the potassium and sodium channel conductance deviations. The MATCONT toolbox software environment was used for analysis of the bifurcation points in conjunction with MATLAB. The simulations of the Hodgkin-Huxley (HH) model at those points are provided to validate the results obtained from the MATCONT software. Then a washout filter is proposed to stabilize the oscillations occur at the Hopf bifurcation points where the external current injection is used to provide the …


A Robust Method For State Estimation Of Power System With Upfc, Mehrdad Tarafdar Hagh, Mehdi Ahmadi Jirdehi Jan 2010

A Robust Method For State Estimation Of Power System With Upfc, Mehrdad Tarafdar Hagh, Mehdi Ahmadi Jirdehi

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a Least Absolute Value (LAV) state estimator for power system using a new method called Recursive Least Squares (RLS). Also, a suitable model is used for state estimation of power system that includes a Unified Power Flow Controller (UPFC). The IEEE 14-bus test system is used to show the validity of the proposed algorithm in estimation of power system states as well as the states of controllable parameters of UPFC.


A Small Scale Education Experiment Kit With Wind Generator-Pem Electrolyser System And Modelling, Özcan Atlam Jan 2010

A Small Scale Education Experiment Kit With Wind Generator-Pem Electrolyser System And Modelling, Özcan Atlam

Turkish Journal of Electrical Engineering and Computer Sciences

A small scale experiment wind energy kit is prepared in order to introduce renewable energy applications. The kit consists of a wind turbine with horizontal axis, a direct current (dc) motor as generator and variable wind excitation system. Performance characteristics of the wind system are defined for different wind speeds. It is found that at the highest 10 m/s wind excitation, the maximum turbine mechanical power from wind is about 0.30 W at 5.3 V., maximum output power of the generator is about 0.18 W and maximum electrical efficiency is about 7% at 4.27 V., wind turbine power coefficients C_p …


A Novel Method For Lung Segmentation On Chest Ct Images: Complex-Valued Artificial Neural Network With Complex Wavelet Transform, Murat Ceylan, Yüksel Özbay, Osman Nuri̇ Uçan, Erkan Yildirim Jan 2010

A Novel Method For Lung Segmentation On Chest Ct Images: Complex-Valued Artificial Neural Network With Complex Wavelet Transform, Murat Ceylan, Yüksel Özbay, Osman Nuri̇ Uçan, Erkan Yildirim

Turkish Journal of Electrical Engineering and Computer Sciences

Image segmentation is an important step in many computer vision algorithms. The objective of segmentation is to obtained an optimal region of convergences (ROC). Error in this stage will impact all higher level activities. This paper focuses on a new efficient method denoted as Complex-Valued Artificial Neural Network with Complex Wavelet Transform (CWT-CVANN) for the segmentation of lung region on chest CT images. In this combined architecture is composed of two cascade stages: feature extraction with various levels of complex wavelet transform and segmentation with complex-valued artificial neural network. Here, 32 CT images of 6 female and 26 male patients …


Fault Detection And Identification For Voltage Sag State Estimation In Power Systems, Jamal Beiza, Seyed Hossein Hosseinian, Behrooz Vahidi Jan 2010

Fault Detection And Identification For Voltage Sag State Estimation In Power Systems, Jamal Beiza, Seyed Hossein Hosseinian, Behrooz Vahidi

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a novel approach for fault detection and identification in order to estimate voltage sag during a fault. One of the best approaches for voltage sag estimation is instantaneous voltage estimation. The approach uses traditional state estimation where redundant measurements are available. The proposed method is used to estimate voltage sag performance during a fault. At the fault duration, the grid topology is changed. In such a case the measurement matrix must be re-determined at the fault duration. The proposed approach is an efficient method for fault detection and identification which is based on residual analysis and topology …


Robust Feedback Design For Nonlinear Systems: A Survey, Alberto Isidori Jan 2010

Robust Feedback Design For Nonlinear Systems: A Survey, Alberto Isidori

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.


Sdre Optimal Control Of Drug Administration In Cancer Treatment, Mehmet İti̇k, Meti̇n Uymaz Salamci̇, Stephen Paul Banks Jan 2010

Sdre Optimal Control Of Drug Administration In Cancer Treatment, Mehmet İti̇k, Meti̇n Uymaz Salamci̇, Stephen Paul Banks

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, we apply State Dependent Riccati Equation (SDRE) based optimal control technique to a nonlinear tumor growth model. The model consists of three biological cells which are normal tissue, tumor and immune cells. The effect of chemotherapy treatment is also included in the model. Chemotherapy administration is considered as a control input to the nonlinear cancer dynamics and the amount of administered drug is determined by using SDRE optimal control. The optimal control is applied to the model in order not only to drive the tumor cells to the healthy equilibrium state but also to minimize the amount …


Fractional Order Sliding Mode Control With Reaching Law Approach, Mehmet Önder Efe Jan 2010

Fractional Order Sliding Mode Control With Reaching Law Approach, Mehmet Önder Efe

Turkish Journal of Electrical Engineering and Computer Sciences

Fractional order sliding mode control is studied in this paper. The control objectives are achieved by adopting the reaching law approach of sliding mode control. The main contribution of this work is to show that the philosophy of integer order sliding mode control is valid also for the systems represented by fractional order operators. A sufficient condition and its implications for stability are given. Matched and unmatched uncertainties are studied. The attractor nature of the switching manifold is analyzed together with a stable sliding subspace design condition. The claims are justified through a set of simulations and the results obtained …


Asynchronous Particle Swarm Optimization-Based Search With A Multi-Robot System: Simulation And Implementation On A Real Robotic System, Sali̇h Burak Akat, Veysel Gazi̇, Lino Marques Jan 2010

Asynchronous Particle Swarm Optimization-Based Search With A Multi-Robot System: Simulation And Implementation On A Real Robotic System, Sali̇h Burak Akat, Veysel Gazi̇, Lino Marques

Turkish Journal of Electrical Engineering and Computer Sciences

In this article we consider a version of the Particle Swarm Optimization (PSO) algorithm which is appropriate for search tasks of multi-agent systems consisting of small robots with limited sensing capability. The proposed method adopts asynchronous mechanism for information exchange and position (way point) updates of the agents. Moreover, at each (information exchange) step the agents communicate with only a possibly different subset of the other agents leading to a dynamic neighborhood topology. We implement the algorithm using the Player/Stage realistic robot simulator as well as on real KheperaIII robots using experimentally collected realistic data of ethanol gas concentration. Simulation …


A Novel Algorithm For Sensorless Motion Control Of Flexible Structures, Islam Shoukry Mohammed Khalil, Emrah Deni̇z Kunt, Asif Sabanovic Jan 2010

A Novel Algorithm For Sensorless Motion Control Of Flexible Structures, Islam Shoukry Mohammed Khalil, Emrah Deni̇z Kunt, Asif Sabanovic

Turkish Journal of Electrical Engineering and Computer Sciences

This article demonstrates the validity of using an actuator as a single platform for measurements during a motion control assignment of flexible systems kept free from any kind of measurement. System acceleration level dynamics, parameters and interaction forces with the environment are coupled in an incident reaction torque that naturally rises when a flexible system is subjected to an action imposed by an attached actuator to the system. This work attempts to decouple each of the system parameters out of the incident coupled reaction torque at the interface point of the actuator with the flexible system by way of measurements …


Experimental Investigation Of Shaft Transducerless Speed And Position Control Of Ac Induction And Interior Permanent Magnet Motors, Ömer Göksu, Ahmet Masum Hava Jan 2010

Experimental Investigation Of Shaft Transducerless Speed And Position Control Of Ac Induction And Interior Permanent Magnet Motors, Ömer Göksu, Ahmet Masum Hava

Turkish Journal of Electrical Engineering and Computer Sciences

In order to drive AC motors with high efficiency and high motion performance, and to provide accurate speed/position control, motor shaft speed and/or position feedback is required. For this purpose, usually transducers (encoder, tachogenerator, resolver, etc.) are installed on the shaft. However, transducers are not preferred in most of the applications since they increase the cost and decrease the reliability of the drive due to their failure prone structure and connections. In such applications, the speed and/or position information of the motor is obtained by estimation methods without using shaft transducers. In this work, motor types and speed/position estimation methods …


Direct Discrete-Time Control Of Port Controlled Hamiltonian Systems, Yaprak Yalçin, Leyla Gören Sümer Jan 2010

Direct Discrete-Time Control Of Port Controlled Hamiltonian Systems, Yaprak Yalçin, Leyla Gören Sümer

Turkish Journal of Electrical Engineering and Computer Sciences

The direct discrete time control of Port Controlled Hamiltonian Systems (PCHS) in the sense of energy shaping and damping injection is considered. In order to give a direct discrete time design method for PCHS, firstly an appropriate discrete gradient is proposed, which enables the derivation of a discrete time equation corresponding to the discrete time counterpart of Hamiltonian Systems. Using this proposed discrete-time model, the discrete-time counterpart of Passivity Based Control (PBC) technique is developed for n-degrees-of-freedom mechanical systems. The discrete-time control rules which correspond to the energy shaping and damping assignment are obtained directly using the discrete time model …


Design And Evaluation Of A Linear Switched Reluctance Actuator For Positioning Tasks, António Espírito Santo, Rosário Calado, Carlos Cabrita Jan 2010

Design And Evaluation Of A Linear Switched Reluctance Actuator For Positioning Tasks, António Espírito Santo, Rosário Calado, Carlos Cabrita

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents the development of a new linear switched reluctance actuator and confirms its applicability to perform positioning tasks. After the explanation of the actuator working principle and the presentation of its electromechanical topology, an analysis is accomplished using a finite elements tool. Based on the theoretical results, an experimental prototype that can develop 150 N was constructed. Its behaviour is observed under two different control methods implemented with microcontrollers. Initially, position is controlled applying a single pulse-driving scheme. Meanwhile, significant improvements are obtained with the introduction of a sliding-mode controller, allowing movements with 1 mm of resolution.


Transmitter Optimization In Multiuser Wireless Systems With Quality Of Service Constraints, Danda B. Rawat Jan 2010

Transmitter Optimization In Multiuser Wireless Systems With Quality Of Service Constraints, Danda B. Rawat

Electrical & Computer Engineering Theses & Dissertations

In this dissertation, transmitter adaptation for optimal resource allocation in wireless communication systems are investigated. First, a multiple access channel model is considered where many transmitters communicate with a single receiver. This scenario is a basic component of a. wireless network in which multiple users simultaneously access the resources of a wireless service provider. Adaptive algorithms for transmitter optimization to meet Quality-of-Service (QoS) requirements in a distributed manner are studied. Second, an interference channel model is considered where multiple interfering transmitter-receiver pairs co-exist such that a given transmitter communicates with its intended receiver in the presence of interference from other …


Multi-Tier Diversified Service Architecture For Internet 3.0: The Next Generation Internet, Subharthi Paul, Raj Jain, Jianli Pan, Chakchai So-In Jan 2010

Multi-Tier Diversified Service Architecture For Internet 3.0: The Next Generation Internet, Subharthi Paul, Raj Jain, Jianli Pan, Chakchai So-In

All Computer Science and Engineering Research

The next generation Internet needs to support multiple diverse application contexts. In this paper, we present Internet 3.0, a diversified, multi-tier architecture for the next generation Internet. Unlike the current Internet, Internet 3.0 defines a new set of primitives that allows diverse applications to compose and optimize their specific contexts over resources belonging to multiple ownerships. The key design philosophy is to enable diversity through explicit representation, negotiation and enforcement of policies at the granularity of network infrastructure, compute resources, data and users. The basis of the Internet 3.0 architecture is a generalized three-tier object model. The bottom tier consists …


Against All Probabilities: A Modeling Paradigm For Streaming Applications That Goes Against Common Notions, Rahav Dor Jan 2010

Against All Probabilities: A Modeling Paradigm For Streaming Applications That Goes Against Common Notions, Rahav Dor

All Computer Science and Engineering Research

Hardware and software design requires the right portion of skills and mental faculties. The design of a good system is an exercise in rational thinking, engineering, and art. The design process is further complicated when we aspire to build systems that exploit parallelism or are targeted to be deployed on architecturally diverse computing devices, FPGAs or GPUs to name just a few. The need to develop systems that can take advantage of computing devices beyond general purpose CPUs is real. There are several application domains and research efforts that will simply not be able to adequately perform or yield answers …


Optimal Design-Space Exploration Of Streaming Applications, Shobana Padmanabhan, Yixin Chen, Roger D. Chamberlain Jan 2010

Optimal Design-Space Exploration Of Streaming Applications, Shobana Padmanabhan, Yixin Chen, Roger D. Chamberlain

All Computer Science and Engineering Research

Many embedded and scientific applications are frequently pipelined asynchronously and deployed on architecturally diverse systems to meet performance requirements and resource constraints. We call such pipelined applications streaming applications. Typically, there are several design parameters in the algorithms and architectures used that, when customized, impact the tradeoff between different metrics of application performance as well as resource utilization. Automatic exploration of this design space is the goal of this research. When using architecturally diverse systems to accelerate streaming applications, the design search space is often complex. We present a global optimization framework comprising a novel domain-specific variation of branch-and-bound that …