Sharif University of TechnologyScientia Iranica1026-309822320150601A survey on formal, object-oriented program development approachesA survey on formal, object-oriented program development approaches100110173694ENM. NajafiFaculty of Electrical and Computer Engineering, Shahid Beheshti University G.C., Tehran, IranH. HaghighiFaculty of Electrical and Computer Engineering, Shahid Beheshti University G.C., Tehran, IranT. Zohdi NasabFaculty of Electrical and Computer Engineering, Shahid Beheshti University G.C., Tehran, IranJournal Article20150705Due to the popularity of object-oriented programming approaches, there is a growing interest in utilizing object-oriented concepts, such as encapsulation and reuse, when applying formal methods. The main contribution of this paper is to review and compare existing formal methods to develop object-oriented programs from formal specications. The secondary contribution is providing a comparison between widely used object-oriented formal specication languages. The results of this paper can be utilized by researchers wishing to know what open problems are outstanding in the areas of formal, objectoriented specication and program development. Our ndings are also useful for those who are looking for proper specication languages and program development methods to specify and develop object-oriented programs formally. In addition, the provided criteria are suitable for evaluating numerous object-oriented formal specication languages that are under development, either by extending existing formal approaches or formalizing informal OO-methods. As one consequence of this work, it can be mentioned that among formal specication languages, OZ and VDM++ support OO concepts more strongly in comparison to VDM++ and UML-B. Program development methods based on OZ have less tool support. Finally, most proposed methods for formal, object-oriented program development have been evaluated using only case studies, rather than employing formal approaches.Sharif University of TechnologyScientia Iranica1026-309822320150601A Multi-Objective Approach to Model-Driven Performance Bottlenecks MitigationA Multi-Objective Approach to Model-Driven Performance Bottlenecks Mitigation101810303695ENMaryam AmoozegarDepartment of Information Technology, Institute of Science and High Technology and Environmental Sciences, Graduate University of Advanced Technology,09132971922,03433776611, P.O. Box 76315-117, Kerman, IranHossien Nezamabadi-pourDepartment of Electrical Engineering, Shahid Bahonar University of Kerman, P.O. Box 76169-133, Kerman, IranJournal Article20150308Software Performance Engineering (SPE) evaluates the key performance factors such as response time and utilization in the entire life cycle of software development. One of the important issue of software performance is bottlenecks that is not investigated more till now in the process of SPE. Meanwhile, Bottleneck detection and mitigation in software modeling stage is quality-centered and cost effective. Layered bottleneck is a type of bottleneck that occurs in systems with layered services and affects its utilization more than flat bottlenecks. Presented approach in this paper has selected Layered Queening Network (LQN) as an appropriate performance model to present and analyze the layered bottlenecks. The process of SPE from software model to performance model has been automatically implemented. Also, an optimization stage is added to find the best specification of software model in a way that strength of the bottleneck, response time and cost will be minimized. To assess the proposed solution two recently proposed multi-objective gravitational search algorithms are employed. To evaluate the effectiveness of the applied algorithms, two well-known multi-objective algorithms: NSGA-II and MOPSO are also applied for a case study and a comprehensive comparison is presented.Sharif University of TechnologyScientia Iranica1026-309822320150601Discrete Particle Swarm Optimization for Player Trajectory Extraction in Soccer Broadcast VideosDiscrete Particle Swarm Optimization for Player Trajectory Extraction in Soccer Broadcast Videos103110443696ENM. ManafifardDept. of Photogrammetry and Remote Sensing, K.N. Toosi University of Technology, Valieasr Street, Tehran, IranH. EbadiDept. of Photogrammetry and Remote Sensing, K. N. Toosi University of Technology, Valieasr Street, Tehran, IranH. Abrishami MoghaddamDept. of Electrical Engineering, K. N. Toosi University of Technology, Seyedkhandan, Tehran, IranJournal Article20140902Tremendous broadcast soccer videos demand automatic semantic representation for event and tactic analysis. Player tracking is an important step which can be further processed and analyzed by sport experts to evaluate player or team performance. A novel scheme for player tracking in soccer broadcast videos is proposed in this research. Following player detection using Adaboost, player labeling, occlusion handling and mosaic construction, player tracking is formulated as an optimization problem allowing us to extract player trajectories using Particle Swarm Optimization (PSO). PSO is an optimization method inspired by the flocking behavior of birds which was originally customized for continuous function value optimization. In this paper, a new application of discrete particle swarm optimization for player tracking in soccer videos is proposed. Updating equations for particle swarm optimization algorithm are modified based on problem characteristics and discrete variables to extract player trajectory. Experimental results show that the modified PSO is promising in solving soccer player tracking problem.Sharif University of TechnologyScientia Iranica1026-309822320150601Optimal design of Interior Permanent Magnet Motor with wide flux weakening rangeOptimal design of Interior Permanent Magnet Motor with wide flux weakening range104510513697ENMehdi ArehpanahiTafresh University, Tafresh, IranVahid Sanaei TorabTafresh University, Tafresh, IranJournal Article20140901Increasing the Constant Power Speed Range (CPSR) and economical design are the main concern for designers. In this paper a new optimal design of the interior permanent magnetic motor for traction application is proposed. The magnet volume has been minimized and CPSR has been wide enough for traction applications. The new idea of this paper is combination of the PM segmented and using nonconventional air bridges in one design. The optimization process has been done using Genetic algorithm (GA). Verification of simulation results has been done using Finite Element Method (FEM)Sharif University of TechnologyScientia Iranica1026-309822320150601Comparison of solutions of systems of delay dierential equations using Taylor collocation method, Lambert W function and variational iteration methodComparison of solutions of systems of delay dierential equations using Taylor collocation method, Lambert W function and variational iteration method105210603698ENN. BildikMuradiye Campus, Department of Mathematics, Faculty of Arts & Science, Celal Bayar University, 45030, Manisa, TurkeyS. DenizMuradiye Campus, Department of Mathematics, Faculty of Arts & Science, Celal Bayar University, 45030, Manisa, TurkeyJournal Article20150705In this paper, solution of systems of delay dierential equations, with initial conditions, using numerical methods, including the Taylor collocation method, the Lambert W function and the variational iteration method, is considered. We have endeavored to show the most appropriate method by comparing the solutions of this system of equations with dierent types of methods. All numerical computations have been performed on the computer algebraic system, Matlab.Sharif University of TechnologyScientia Iranica1026-309822320150601A Robust Acoustic Signal for Smartphone-based Indoor Ranging and PositioningA Robust Acoustic Signal for Smartphone-based Indoor Ranging and Positioning106110673699ENS.P. GuanKey Laboratory of Intelligent Information Processing in Universities of Shandong (Shandong Institute of Business and Technology), Yantai 264005, P. R. ChinaJ.Y. HuaDepartment of Computer Science and Technology, Nanjing University, Nanjing 210046, P. R. ChinaS.Y. DuDepartment of Computer Science and Technology, Nanjing University, Nanjing 210046, P. R. ChinaS. ZhongDepartment of Computer Science and Technology, Nanjing University, Nanjing 210046, P. R. ChinaJournal Article20150204The acoustic signal is an important medium in communication, damage and leakage detecting, etc. They are also used in the wireless sensor network positioning in recent years. With the development of mobile communication technology, smartphone-based indoor positioning by acoustic signals becomes possible. In the indoor environment, however, acoustic signals will be interfered with by environmental noise and multipath effect. Moreover, when multiple users are positioning simultaneously, acoustic signals will interfere with each other. In order to eliminate various forms of interference, we design a robust acoustic signal for smartphone-based indoor positioning in this paper. The signal is generated by using the pseudo-random codes, Gold sequences to modulate 6 kHz cosine wave. It is detected through its auto-correlation properties in the receiver. The designed acoustic signal can resist various noises with its excellent cross-correlation characteristic. We conduct experiments on real smartphones and the results show the signals can work well in the presence of forms of interference.Sharif University of TechnologyScientia Iranica1026-309822320150601A new single CCII- based voltage-mode first-order all-pass filter and its quadrature oscillator applicationA new single CCII- based voltage-mode first-order all-pass filter and its quadrature oscillator application106810763700ENFirat YUCELDepartment of Informatics, Akdeniz University, 07059, Konyaalti-Antalya, TurkeyErkan YUCEDepartment of Electrical & Electronics Engineering, Pamukkale University, 20070, Kinikli-Denizli, TurkeyJournal Article20150111In this paper, a new voltage-mode (VM) first-order all-pass filter (APF) topology composed of only a grounded capacitor is proposed. The proposed APF uses a single minus-type second-generation current conveyor (CCII-) which can be constructed by only five MOS transistors. It has low power consumption. Resonance frequency of the proposed APF can be adjusted by changing only a resistor value. However, it needs a single matching condition. As an application, a quadrature oscillator example is given. A non-ideality analysis for the proposed APF is also given. A number of time domain and frequency domain simulation results and an experimental test result are included to confirm the theory.Sharif University of TechnologyScientia Iranica1026-309822320150601An Analysis on the Main Formulas of Z-Source InverterAn Analysis on the Main Formulas of Z-Source Inverter107710843701ENMohsen Shid PilehvarDepartment of Electrical and Electronics Engineering, Shiraz University of Technology, Shiraz, IranMohammad MardanehDepartment of Electrical and Electronics Engineering, Shiraz University of Technology, Shiraz, Iran0000-0002-7136-4587Amirhossein RajaeiDepartment of Electrical and Electronics Engineering, Shiraz University of Technology, Shiraz, IranJournal Article20150414This paper proposes an analysis on the calculation of voltage and current ripples, voltage stresses, switching device power, and switching loss in Z-source inverter.In this paper, the formulas of the inductor current ripple, capacitor voltage ripple, voltage stress on the devices and capacitors, switching device power, and switching loss are presented. Actually, computing these formulas will help us a lot in the performance improvement of Z-source inverter. A detailed analysis on the main formulas of Z-source inverter is presented in this paper. Simulation results are also given to confirm the analysisSharif University of TechnologyScientia Iranica1026-309822320150601A fuzzy-based method for road area detection in high resolution SAR imagesA fuzzy-based method for road area detection in high resolution SAR images108510933702ENM. SaatiDepartment of Geomatics Engineering, College of Engineering, Tehran University, Tehran, P.O. Box 11365-4563, IranJ. AminiDepartment of Geomatics Engineering, College of Engineering, Tehran University, Tehran, P.O. Box 11365-4563, IranJournal Article20150705Automatic road extraction from satellite images is one of the most important areas of research in the eld of remote sensing. The method proposed in this study is based on a fuzzy method for the detection of road areas from high resolution SAR images. In this method, the multiple features are extracted rst, using the backscatter coecients of each pixel and its neighboring pixels. The extracted features are combined with each other in the next step using a fuzzy algorithm, and, nally, the desired road areas are selected separately considering spatial and spectral criteria. The proposed algorithm is tested on dierent scenes of TerraSAR-X images. Experimental results reveal that the proposed method is eective.Sharif University of TechnologyScientia Iranica1026-309822320150601Territory Concept to Improve Transmission Expansion Planning Problem Solution AlgorithmsTerritory Concept to Improve Transmission Expansion Planning Problem Solution Algorithms109411013703ENM. R. HabibiKerman Graduate University of Technology, Kerman, IranM. RashidinejadShahid Bahonar University of Kerman, Kerman, IranJournal Article20141203This paper is devoted to solve transmission expansion planning (TEP) problems, via a constructive heuristic algorithm (CHA) that can be employed as a sub-routine in a meta-heuristic procedure. In such a strategic methodology, CHA may improve the quality of trial solutions that speed up the convergence of the main algorithm. By introducing a “territory concept” for each derived local optimum, this paper proposes an approach, forcing CHA sub-procedures to explore new areas in the problem sub-space. Such modification is enforced to Villasana-Garver-Salon (VGS) algorithm, as a well-known kind of CHA, to improve its performance. The improved VGS is called territory-based VGS (TBVGS). In order to evaluate the performance of TBVGS, it is implemented on a meta-heuristic algorithm in which the performance of the obtained meta-heuristic algorithm is examined with different standard test systems as well as practical cases. Simulation studies and results analysis show a promising improvement caused in computational efficiency of the algorithm and even more important, finding a higher quality set of TEP local optimums.