@article { author = {Mirzaei, H. and Heydarnoori, A.}, title = {Localizing exception faults in Android applications}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1567-1588}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.4966.1015}, abstract = {In software programs, most of the time, there is a chance of faults in general, and exception faults in particular. Localizing those pieces of code which are responsible for a particular fault is one of the most complicated tasks and it can make incorrect results if done manually. Semi-automated and fully-automated techniques have been introduced to overcome this issue. However, despite recent advances in fault localization techniques, they are not necessarily applicable to Android applications because of their special characteristics like context-awareness, use of sensors, being executable on various mobile devices, limited hardware resources, and so on. To this aim, in this paper, we introduce a semi-automated hybrid method that combines static and dynamic analysis to localize exception faults in Android applications. Our evaluations with a number of open source Android applications of different sizes with various exceptions show that our proposed technique can correctly identify the root causes of occurred exceptions. These results indicate that our proposed approach is effective in practice in localizing exception faults in Android applications.}, keywords = {Fault localization,Unhandled exceptions,Exception faults,Android applications}, url = {https://scientiairanica.sharif.edu/article_21040.html}, eprint = {https://scientiairanica.sharif.edu/article_21040_bc4fa7905572baf9b19f2c502d58cfcc.pdf} } @article { author = {Hassanpour, H. and Samadiani, N.}, title = {A new image enhancement method considering both dynamic range and color constancy}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1589-1600}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.5503.1312}, abstract = {This paper proposes an approach to improve color images suffering from low dynamic range, by employing both histogram matching and histogram stretching techniques. Firstly, the color image is transformed from RGB into HSV color space, in which the color information is separated from intensity. Then, an appropriate reference image is selected by comparing component V of the enhancing image with component V of the data base images using a similarity measure. This selected image is used as the goal image in histogram matching algorithm in order to enhance image brightness (Automatic Histogram Matching). Secondly, components V and S are linearly stretched in order to recover the image color information. Finally, using the treated V and S components and untreated component of H, the enhanced image is obtained in RGB color space by inverse transform. The qualitative and quantitative results show that the contrast and color of resultant images are greatly improved using the proposed method, which outperforms the current state-of-the-art methods.}, keywords = {image enhancement,histogram matching,similarity measure,histogram stretching}, url = {https://scientiairanica.sharif.edu/article_21011.html}, eprint = {https://scientiairanica.sharif.edu/article_21011_16d845710e23151b9d1a27216a09bd18.pdf} } @article { author = {Sadrizadeh, S. and Kiani, S. and Boloursaz, M. and Marvasti, F.}, title = {Iterative method for simultaneous sparse approximation}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1601-1607}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.5564.1347}, abstract = {This paper studies the problem of Simultaneous Sparse Approximation (SSA). This problem arises in many applications which work with multiple signals maintaining some degree of dependency such as radar and sensor networks. In this paper, we introduce a new method towards joint recovery of several independent sparse signals with the same support. We provide an analytical discussion on the convergence of our method called Simultaneous Iterative Method (SIM). Additionally, we compare our method with other group-sparse reconstruction techniques, i.e., Simultaneous Orthogonal Matching Pursuit (SOMP), and Block Iterative Method with Adaptive Thresholding (BIMAT) through numerical experiments. The simulation results demonstrate that SIM outperforms these algorithms in terms of the metrics Signal to Noise Ratio (SNR) and Success Rate (SR). Moreover, SIM is considerably less complicated than BIMAT, which makes it feasible for practical applications such as implementation in MIMO radar systems.}, keywords = {Simultaneous Sparse Approximation,Iterative Method,Joint Recovery}, url = {https://scientiairanica.sharif.edu/article_21095.html}, eprint = {https://scientiairanica.sharif.edu/article_21095_6113d03b6db5a5d8b14b0a32696b41c5.pdf} } @article { author = {Turan Dincel, A.T.}, title = {Solution to fractional-order Riccati differential equations using Euler wavelet method}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1608-1616}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.51246.2084}, abstract = {The fractional-order differential equations (FDEs) have the ability to model the real-life phenomena better in a variety of applied mathematics, engineering disciplines including diffusive transport, electrical networks, electromagnetic theory, probability and so forth. In most cases, there are no analytical solutions therefore a variety of numerical methods have been developed for the solution of the FDEs. In this paper, we derive the numerical solutions of the various fractional-order Riccati type differential equations using the Euler Wavelet Method (EWM). The Euler wavelet operational matrix method converts the fractional differential equations to a system of algebraic equations. Illustrative examples are included to demonstrate the validity and efficiency of the technique.}, keywords = {Euler wavelet,fractional calculus,operational matrix,numerical solution,Riccati differential equations}, url = {https://scientiairanica.sharif.edu/article_21122.html}, eprint = {https://scientiairanica.sharif.edu/article_21122_635e49eaf78c35526b9b41fd1b07a313.pdf} } @article { author = {Miao, P. and Wu, L. and Peng, L.}, title = {A new modulation scheme in polymer optical fiber communications using Jacket matrix spreading}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1617-1626}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2017.4382}, abstract = {To mitigate the high peak-to-average power ratio (PAPR) of discrete multi-tone (DMT) modulation in polymer optical fibers (POF) communication systems, a novel DMT scheme based on Jacket matrix spreading (JS) is proposed. Approximations of PAPR distribution for DMT signals are accurately presented. Single band JS-DMT and multi-band (MB)-JS-DMT are introduced in POF transmission link for PAPR reduction. Offline processing and simulations are adopted to investigate the performance of these new schemes with regard to the PAPR reduction, power spectral density (PSD), data rate and bit error rate (BER). The results demonstrate that, applying the JS methodology, up to 4dB PAPR reduction is achieved. JS-DMT is sensitive to the bandwidth range whereas MB-JS-DMT owns the robustness ability against fiber nonlinearity. Compared with some well known PAPR reduction techniques, the proposed schemes can be easily applied to the DMT modem and achieve the PAPR reduction efficiently without degrading the BER, data rate and PSD performance, which demonstrate the feasibility and validity of these two methods in POF transmission. }, keywords = {polymer optical fiber,peak to average power ratio,modulation scheme,Jacket matrix spreading}, url = {https://scientiairanica.sharif.edu/article_4382.html}, eprint = {https://scientiairanica.sharif.edu/article_4382_2e5375fff756c69ee7e6b2d8c9704eea.pdf} } @article { author = {Zarei, Ebrahim and Hemmatpour, Mohammad Hasan and Mohammadian, Mohsen}, title = {The effects of demand response on security-constrained unit commitment}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1627-1636}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2017.4536}, abstract = {This paper aims to study the effect of the hourly demand response (DR) on security-constraint unit commitment (SCUC) problem with considering economic and security objectives. The demand side participation can solve some of the electricity market problems. Here, DR is take into consideration as one of the demand side management (DSM) parts. The DR is consist of fixed and responsive loads. The fixed loads satisfy in any circumstance and responsive loads can curtail or shift to other operating hours. The combination of SCUC with DR is a complex and the mixed integer non-linear problem. The bender’s decomposition is used as an optimization technique for solve this problem. This technique solves the problem by decompose it into master and sub problems. One of the effective of this manner is reducing the processing time. The performance and effectiveness of the proposed method are demonstrated on 6-, 24- and 118-bus test systems.}, keywords = {Bender’s decomposition,Demand response,Real time pricing,Restructured power market,SCUC}, url = {https://scientiairanica.sharif.edu/article_4536.html}, eprint = {https://scientiairanica.sharif.edu/article_4536_388e5cb7210e0c9e83801b9f05011442.pdf} } @article { author = {Akhbari, A. and Rahimi, M.}, title = {Performance and stability analysis of single-phase grid-connected inverters used in solar photovoltaic systems}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1637-1651}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2017.4384}, abstract = {Single-phase voltage source inverters (SP-VSIs) are widely used in grid connected solar photovoltaic (PV) systems. This paper deals with the dynamic modeling and stability analysis of single-phase grid connected PV inverters taking the PLL dynamics into account. The PLL structure employed in this paper includes two control branches; the main branch, known as phase estimation loop, extracts the phase and frequency of the grid voltage and the other branch, known as voltage peak estimation loop, determines the grid voltage amplitude. In this way, the paper first proposes design considerations for the dc-link voltage control and PLL control loops. Then, unified dynamic modeling of the SP-VSI system comprising PLL, dc-link dynamics and grid is presented and linearized block diagram of the whole system is extracted. The linearized block diagram depicts the interaction between the control loops of the PLL and dc-link system, where the PLL control loops consist of phase/frequency and amplitude estimation loops of the grid voltage. Next, the small signal stability of the full system is presented, and impacts of grid strength, operating point, and PLL closed loop bandwidth on the performance of SP-VSI are investigated by the modal analysis and time domain simulations.}, keywords = {Photovoltaic system,Single phase inverter,phase locked loop,dynamic stability,grid strength}, url = {https://scientiairanica.sharif.edu/article_4384.html}, eprint = {https://scientiairanica.sharif.edu/article_4384_998f2c84a1e7c14b8c36e8792c9167ac.pdf} } @article { author = {Khandani, A. and Akbari Foroud, A.}, title = {Providing transient stability by excitation system response improvement methods through long-term contracts}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1652-1663}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2017.4511}, abstract = {Maintaining network stability and encouraging generation companies to involve in stability maintaining are major concerns of independent system operator (ISO) in deregulated power system. Excitation system of synchronous generators is effective and well-known equipment which has a significant effect on network stability. Therefore, improving performance of this system can enhance network stability. But utilizing of the methods, which improve performance of excitation system, imposes cost on generation companies. This paper proposes a motivation mechanism for enhancing transient stability which encourages generation companies to improve performance of excitation system. In this mechanism beside excitation system response improving methods, a transient stability constrained optimal power flow is solved in order to ensure maintaining transient stability in different contingencies. A 4-buses test system, the IEEE 14-buses test system, and the IEEE 118-buses test system are used to illustrate effectiveness of the proposed mechanism. Implementation results show that the proposed mechanism not only provides required transient stability margin with minimum operation cost, but also does not restrict generators production capability.}, keywords = {excitation systems,transient stability,Single Machine Equivalent (SIME),Transient Stability Constrained Optimal Power Flow (TSC-OPF)}, url = {https://scientiairanica.sharif.edu/article_4511.html}, eprint = {https://scientiairanica.sharif.edu/article_4511_f8322876b0abb788fd0f46ef2a7c2f36.pdf} } @article { author = {Saha, A. and Chakraborty, A.K. and Das, P.}, title = {Quasi-reflection-based symbiotic organisms search algorithm for solving static optimal power Flow problem}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1664-1689}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.20179}, abstract = {This paper offers a novel variant to the existing symbiotic organisms search (SOS) algorithm, to address optimal power flow (OPF) problems considering effects of valve-point loading (VE) and prohibited zones (POZ). Problem formulation includes minimization of cost, loss, voltage stability index (VSI) and voltage deviation (VD) and simultaneous minimization of their combinations. Quadratic cost function, effects of VE and effects of both VE and POZ have been considered. OPF formulation considering effects of both VE and POZ are not yet available in the literature. Efficacy of SOS in resolving OPF is recognized in the literature. An opposition based learning technique named quasi-reflection, is merged into existing SOS to enhance its prospects of getting nearer to superior quality solution. The proposed algorithm, named quasi-reflected symbiotic organisms search (QRSOS), is assessed for IEEE 30 and IEEE 118 bus test systems. It shows promising results in reducing the objective function values of both the systems by large margins (78.98 % in case of VD when compared to SOS and NSGA-II and 46.06 % in case of loss as compared to QOTLBO in IEEE 30 and IEEE 118 bus respectively). QRSOS also outperformed its predecessors, in terms of convergence speed and global search ability.}, keywords = {OPF,POZ,quadratic fuel cost function,QRSOS,SOS,Valve-point loading}, url = {https://scientiairanica.sharif.edu/article_20179.html}, eprint = {https://scientiairanica.sharif.edu/article_20179_803425d3945ad28f1b951f386f6dbce0.pdf} } @article { author = {Hajmohammadi, R. and Mobayen, S.}, title = {An effcient observer design method for singular discrete-time systems with time delays and nonlinearity: LMI approach}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1690-1699}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2017.4383}, abstract = {In this paper, the observer design method for linear and nonlinear singular discrete-time systems with constant time-delays is proposed. By constructing appropriate Lyapunov–Krasovskii functional and using linear matrix inequality (LMI) technique, the asymptotic convergence criterion is developed in terms of LMIs, which can be solved numerically using MATLAB® LMI® toolbox. The sufficient condition for the existence of a full-order observer is obtained and the states are estimated using Schur complement and S-procedure lemma very well. Moreover, an extension procedure for observer design of singular linear system with time-varying delay is presented. Simulation results are included to prove the efficiency of the suggested approach.}, keywords = {Singular discrete-time systems,state observer,time-delay,Nonlinearity,linear matrix inequality}, url = {https://scientiairanica.sharif.edu/article_4383.html}, eprint = {https://scientiairanica.sharif.edu/article_4383_3220a4d528b63bffb33efbf8bf397593.pdf} } @article { author = {Rabaninejad, R. and Ameri, M.Hassan. and Delavar, M. and Mohajeri, J.}, title = {An attribute-based anonymous broadcast encryption scheme with adaptive security in the standard model}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1700-1713}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2017.4517}, abstract = {In broadcast encryption schemes, a distribution center broadcasts an encrypted message to a subset chosen from a universe of receivers and only the intended users are able to decrypt the message. Most broadcast encryption schemes do not provide anonymity and the identities of target receivers are sent in plaintext. However, in several applications, the authorized users’ identities have the same sensitivity as the broadcasted messages. Yu, Ren and Lou (YRL) considered this issue and introduced an e€icient anonymous a‚ribute-based broadcast encryption scheme. In this paper, we first propose an a‚ack on the YRL scheme and showthat the unauthorized receivers can also decrypt the broadcasted message. Next, we propose the Improved-YRL scheme and prove that it achieves anonymity and semantic security under adaptive corruptions in the chosen ciphertext se‚ing. The proof is provided using the dual system encryption technique and is based on three complexity assumptions in composite order bilinear maps. The Improved-YRL scheme is a step forwardin solving the long-standing problem of secure and low overhead anonymous broadcast encryption.}, keywords = {Broadcast Encryption,Ciphertext-Policy Attribute-Based Encryption (CP-ABE),Access Structure,Anonymity,Provable Security,Attack}, url = {https://scientiairanica.sharif.edu/article_4517.html}, eprint = {https://scientiairanica.sharif.edu/article_4517_2006f30457ce34e09c9ae40bebc73355.pdf} } @article { author = {Kumar, J. and Basu, B. and Talukdar, F. A.}, title = {Modeling of a PIN diode RF switch for reconfigurable antenna application}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1714-1723}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.20110}, abstract = {The paper proffers the procedure to model a PIN diode RF switch using full-wave EM solver, HFSS and utilizes the switch to built a simple partial ground plane antenna with omnidirectional radiation pattern. The proposed antenna has ability to tune it from ultra-wideband to narrowband mode. The frequency reconfigurability is accomplished by incorporating a rectangular slot resonator and a PIN diode RF switch embedded in the partial ground plane. The antenna demonstrates -10 dB impedance bandwidth from 500 MHz to 6 GHz in the ultra-wideband mode and 1.125 GHz to 2 GHz in the narrowband mode. A parasitic is stacked in the ground plane to improve the impedance matching and a rectangular slot is fused to explore the bandwidth-limiting possibility of the antenna. The optimization of the antenna is done by full-wave EM solver, HFSS and Specific Absorption Rate (SAR) of the antenna is examined using the equivalent flat tissue phantom. A prototype of the proposed antenna is fabricated and execution is accepted by measured results. The proposed antenna has simple and miniature structure, low SAR (0.41 W/Kg), omnidirectional pattern and low cross-polarization (}, keywords = {Frequency Reconfigurable Antenna,PIN Diode Modeling,Microstrip antenna,SAR investigation,UWB to Narrow band switching}, url = {https://scientiairanica.sharif.edu/article_20110.html}, eprint = {https://scientiairanica.sharif.edu/article_20110_9a88f380ab3888ae1924adce5fcda77d.pdf} } @article { author = {Parsa, A. and Farhadi, A.}, title = {Reference tracking of nonlinear dynamic systems over AWGN channel using the describing function}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1724-1735}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.20108}, abstract = {This paper presents a new technique for mean square asymptotic reference tracking of nonlineardynamic systems over Additive White Gaussian Noise (AWGN) channel. The nonlinear dynamic systemhas periodic outputs to sinusoidal inputs and is cascaded with a bandpass filter acting as encoder.Using the describing function method, the nonlinear dynamic system is represented by an equivalentlinear dynamic system. Then, for this system, a mean square asymptotic reference tracking techniqueincluding an encoder, decoder and a controller is presented. It is shown that the proposed referencetracking technique results in mean square asymptotic reference tracking of nonlinear dynamic systemsover AWGN channel. The satisfactory performance of the proposed reference tracking technique isillustrated using practical example simulations.}, keywords = {Networked control system,nonlinear dynamic system,the describing function}, url = {https://scientiairanica.sharif.edu/article_20108.html}, eprint = {https://scientiairanica.sharif.edu/article_20108_2283a0c2843e5e0530d64569c030f3da.pdf} } @article { author = {azimi, S.M. and Miar-Naimi, H.}, title = {Designing an analog CMOS fuzzy logic controller for the inverted pendulum with a novel triangular membership function}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1736-1748}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.5224.1153}, abstract = {In this paper,a fuzzy analog controller circuit is provided for the inverted Pendulum problem which resulted in a simple analog circuit simply does the act of controlling without requiring to any processing structure.In other words,in case of constructing the proposed circuit,a small analog chip controls the inverted pendulum.For this purpose,the first step is the study of the dynamic model of the inverted pendulum and then a fuzzy controller is designed systematically.In the following,the number of membership functions and the formation of them are designed.In addition,the different MFs and different numbers are examined for each variable and the most efficient structure is selected as fuzzy controller.To assess efficiency of designed fuzzy controller,the controller is simulated in Simulink and then this design is implemented at transistor level in TSMC 0.18µm CMOS technology.In this work,the MFs,the circuits for realization of the knowledge-based and defuzzification circuits are designed in current mode.The proposed circuits are simulated and evaluated in Advanced Design System software based on CMOS technology.Simulation results show that the inverted pendulum is controlled with high accuracy and high speed,meanwhile the controllers have low power consumption and good robustness to outer large and fast disturbance rather than the previous works.}, keywords = {Fuzzy logic,Fuzzy Rules,Fuzzy Controller,Fuzzy Membership Function,PID controller,The Inverted Pendulum}, url = {https://scientiairanica.sharif.edu/article_20204.html}, eprint = {https://scientiairanica.sharif.edu/article_20204_732211390a77bfc5130e571e3f585c9e.pdf} } @article { author = {Mojahedian, M.Mahdi. and Aref, M.Reza and Gohari, A.}, title = {On the equivalency of reliability and security metrics for wireline networks}, journal = {Scientia Iranica}, volume = {26}, number = {3}, pages = {1749-1761}, year = {2019}, publisher = {Sharif University of Technology}, issn = {1026-3098}, eissn = {2345-3605}, doi = {10.24200/sci.2018.5695.1428}, abstract = {In this paper, we consider a secure network coding problem in which some secret keys are shared among legitimate nodes, and there exists an eavesdropper which is able to hear a subset of links. We show the equivalency of secure network coding under weak and strong secrecy conditions. For linear network coding, we show a stronger result: equivalency of "perfect secrecy and zero-error constraints" to "weak secrecy and $\epsilon$-error constraints". This is a secure version of the result obtained by Langberg and Effros, on the equivalence of zero-error and $\epsilon$-error regions in the network coding problem with co-located sources. Jalali and Ho exploit extractor functions to prove the weak and strong rate region equivalency for this network; however, to prove this equivalency, we develop some tools in random binning and prove the equivalency in a slightly more general setting.}, keywords = {Wireline networks,perfect secrecy,strong secrecy,weak secrecy,epsilon-error decoding,zero-error decoding,random binning}, url = {https://scientiairanica.sharif.edu/article_20434.html}, eprint = {https://scientiairanica.sharif.edu/article_20434_34be6cd00a8cdc123d5322440da48f55.pdf} }