Loading...
Search for: computer-software
0.014 seconds
Total 233 records

    μ-Synthesis control for an islanded microgrid with structured uncertainties

    , Article IECON Proceedings (Industrial Electronics Conference), 7 November 2011 through 10 November 2011 ; November , 2011 , Pages 3064-3069 ; 9781612849720 (ISBN) Babazadeh, M ; Karimi, H ; Sharif University of Technology
    2011
    Abstract
    This paper presents a robust control scheme for an islanded microgrid in the presence of structured uncertainties. The microgrid consists of parallel connection of two Distributed Generation (DG) units and a passive load. The DG units are connected to the passive load by using the power electronics converters. The microgrid model is structurally uncertain due to the large perturbations in the load parameters. To deal with the uncertainties, a Linear Fractional Representation (LFR) of the parametrically uncertain system is obtained. To achieve robust performance, the μ-synthesis approach is applied to the derived LFR model to design a μ controller. The resultant controller is structurally... 

    Vulnerability analysis in VGBPS using prolog

    , Article 2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, 17 April 2007 through 19 April 2007 ; Volume 4767 LNCS , 2007 , Pages 404-411 ; 03029743 (ISSN); 9783540756972 (ISBN) Rafiei, M. E ; Taherian, M ; Mousavi, H ; Movaghar, A ; Jalili, R ; Sharif University of Technology
    Springer Verlag  2007
    Abstract
    Vulnerabilities are now part of all software systems. To handle vulnerabilities, many approaches have been proposed till now. Many of these approaches try to analyze vulnerabilities based on model checking techniques. However, the models used in these approaches handle authorized and unauthorized rules separately. This basically cause in weaker modeling abilities and consequently weaker vulnerability analysis. From authorized and unauthorized rules, we mean those emanated from access control model and those originated from vulnerabilities respectively. Currently, a new general graph-based protection system concentrating on vulnerabilities called VGBPS is proposed to overcome the mentioned... 

    Vibration measurment and analysis using image processing method

    , Article Proceedings of the 7th Biennial Conference on Engineering Systems Design and Analysis - 2004, Manchester, 19 July 2004 through 22 July 2004 ; Volume 2 , 2004 , Pages 513-518 ; 0791841731 (ISBN); 9780791841730 (ISBN) Narimani, R ; Abadpour, A ; Hoviattalab, M ; Yadolahi, A ; Sharif University of Technology
    2004
    Abstract
    A large number of people are exposed to whole body vibration in their occupational life. Measuring vibration is an important tool in rehabilitation and biomechanical fields of research. We have proposed image processing as a new method to record and determine the frequency response of human body. The arranged set up for forced vibration consisted of an AC motor, a variable speed drive unit and a shaking table for producing one directional sinusoidal vibration. Volunteers were asked to stand on the shaking table at a relaxed posture. Two digital camcorders were used to capture the motion of colored pencil-dot markers on the skin of human body (forehead) and on the edge of the shaking table.... 

    Vibration band gap properties of a periodic beam-like structure using the combination of GDQ and GDQR methods

    , Article Waves in Random and Complex Media ; 2019 ; 17455030 (ISSN) Hajhosseini, M ; Mahdian Parrany, A ; Sharif University of Technology
    Taylor and Francis Ltd  2019
    Abstract
    In this study, a periodic beam-like structure consisting of the horizontal and inclined beam elements is proposed. Three models with three different angles of inclination are considered. The generalized differential quadrature (GDQ) and generalized differential quadrature rule (GDQR) methods are used to solve the differential equations of longitudinal and transverse vibrations, respectively. The effects of two geometrical parameters on the first three band gaps of each model are investigated, comprehensively. Results show that this periodic structure has wide band gaps at low frequency ranges. Furthermore, the band gaps can get close to each other by changing the geometrical parameters.... 

    Vibration band gap properties of a periodic beam-like structure using the combination of GDQ and GDQR methods

    , Article Waves in Random and Complex Media ; 2019 ; 17455030 (ISSN) Hajhosseini, M ; Mahdian Parrany, A ; Sharif University of Technology
    Taylor and Francis Ltd  2019
    Abstract
    In this study, a periodic beam-like structure consisting of the horizontal and inclined beam elements is proposed. Three models with three different angles of inclination are considered. The generalized differential quadrature (GDQ) and generalized differential quadrature rule (GDQR) methods are used to solve the differential equations of longitudinal and transverse vibrations, respectively. The effects of two geometrical parameters on the first three band gaps of each model are investigated, comprehensively. Results show that this periodic structure has wide band gaps at low frequency ranges. Furthermore, the band gaps can get close to each other by changing the geometrical parameters.... 

    Vibration band gap properties of a periodic beam-like structure using the combination of GDQ and GDQR methods

    , Article Waves in Random and Complex Media ; Volume 31, Issue 5 , 2021 , Pages 795-811 ; 17455030 (ISSN) Hajhosseini, M ; Mahdian Parrany, A ; Sharif University of Technology
    Taylor and Francis Ltd  2021
    Abstract
    In this study, a periodic beam-like structure consisting of the horizontal and inclined beam elements is proposed. Three models with three different angles of inclination are considered. The generalized differential quadrature (GDQ) and generalized differential quadrature rule (GDQR) methods are used to solve the differential equations of longitudinal and transverse vibrations, respectively. The effects of two geometrical parameters on the first three band gaps of each model are investigated, comprehensively. Results show that this periodic structure has wide band gaps at low frequency ranges. Furthermore, the band gaps can get close to each other by changing the geometrical parameters.... 

    Various aspects of open source software development

    , Article International Symposium on Information Technology 2008, ITSim, Kuala Lumpur, 26 August 2008 through 29 August 2008 ; Volume 3 , 2008 ; 9781424423286 (ISBN) Shirali Shahreza, S ; Shirali Shahreza, M ; Sharif University of Technology
    2008
    Abstract
    In recent years Open Source Software programs have caused great changes in software world. Open Source software development is something beyond a method of software development or technology. As a result, using open source software development has diverse aspects. In this article the open source software development has been studied and investigated through reviewing some of the carried out works. © 2008 IEEE  

    Using makeup water to recycle cooling tower evaporated water: A feasibility study using experimental data

    , Article International Journal of Energy Technology and Policy ; Volume 17, Issue 3 , 2021 , Pages 227-238 ; 14728923 (ISSN) Heidari, A ; Heidari, E ; Sharif University of Technology
    Inderscience Publishers  2021
    Abstract
    Wet cooling towers are one of the most water-intensive technologies, which are widely used in air conditioning applications, especially in dry regions. Considering the current water crisis around the world, it is essential to improve the design of these cooling towers to reduce their water consumption, while maintaining their cooling performance. Makeup water of cooling tower is usually a constant-temperature water which is cold enough to condensate the moisture content of the cooling tower exhaust air. Therefore, it has great potential to recycle water evaporation of cooling towers, which is not considered so far. This paper investigates a novel design for cooling towers utilising the... 

    Using formal methods in component based software development

    , Article 2008 International Conference on Systems, Computing Sciences and Software Engineering, SCSS 2008, Part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, 5 December 2013 through 13 December 2013 ; 2010 , Pages 429-432 ; 9789048136575 (ISBN) Shirali Shahreza, S ; Shirali Shahreza, M ; Sharif University of Technology
    2010
    Abstract
    Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a program library which has been already developed and using it in the new program. In view of precision and automation that formal methods can provide, we can use formal methods in retrieval appropriate components from the software libraries. In this paper, some of the works done in the field of retrieval of the components from the libraries by the help of formal methods have been surveyed and reviewed  

    Using design patterns for refactoring real-world models

    , Article Conference Proceedings of the EUROMICRO, 27 August 2009 through 29 August 2009 ; 2009 , Pages 436-441 ; 10896503 (ISSN) ; 9780769537849 (ISBN) Yaghoubi Shahir, H ; Kouroshfar, E ; Ramsin, R ; Sharif University of Technology
    Abstract
    Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, while in others, the real world is only considered as a preliminary source of insight into the physical business domain. Real-world modeling was pushed to the sidelines due to anomalies in real-world modeling approaches; however, with the advent of the Model-Driven Architecture (MDA), real-world conceptual modeling is likely to regain its importance. We propose a method for using Design Patterns in the context of model transformation, where real-world models are refactored through application of these patterns.... 

    Two studies of framework-usage templates extracted from dynamic traces

    , Article IEEE Transactions on Software Engineering ; Volume 38, Issue 6 , 2012 , Pages 1464-1487 ; 00985589 (ISSN) Heydarnoori, A ; Czarnecki, K ; Binder, W ; Bartolomei, T. T ; Sharif University of Technology
    2012
    Abstract
    Object-oriented frameworks are widely used to develop new applications. They provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implementing interfaces, and calling framework operations. Unfortunately, many modern frameworks are difficult to use because of their large and complex APIs and frequently incomplete user documentation. To cope with these problems, developers often use existing framework applications as a guide. However, locating concept implementations in those sample applications is typically challenging due to code tangling and scattering. To address this challenge, we introduce the notion of... 

    Turbocharged spark-ignition engine performance prediction in various inlet charged air temperatures fueled with gasoline–ethanol blends

    , Article International Journal of Engine Research ; Volume 22, Issue 7 , 2021 , Pages 2233-2243 ; 14680874 (ISSN) Farzam, R ; Jafari, B ; Kalaki, F ; Sharif University of Technology
    SAGE Publications Ltd  2021
    Abstract
    In this research, the effect of alternative fuels and the inlet charged air temperature is numerically investigated on the performance of a turbocharged spark-ignition engine. For this purpose, a one-dimensional engine and turbocharger model is created in an engine simulation and performance analysis software and validated with former experimental results. Then, the model is run with four fuel types, including two gasoline types with different octane numbers and two ethanol–gasoline blend fuels—E25 and E85. In each case, the inlet charged air temperature is changed from cold to hot condition and performance characteristics such as the spark advance timing, brake torque, brake-specific fuel... 

    Transient detection in COTS processors using software approach

    , Article Microelectronics Reliability ; Volume 46, Issue 1 , 2006 , Pages 124-133 ; 00262714 (ISSN) Rajabzadeh, A ; Miremadi, S. G ; Sharif University of Technology
    2006
    Abstract
    This paper presents a software-based error detection scheme called enhanced committed instructions counting (ECIC) for embedded and real-time systems using commercial off-the-shelf (COTS) processors. The scheme uses the internal performance monitoring features of a processor, which provides the ability to count the number of committed instructions in a program. To evaluate the ECIC scheme, 6000 software induced faults are injected into a 32-bit Pentium® processor. The results show that the error detection coverage varies between 90.52% and 98.18%, for different workloads. © 2004 Elsevier Ltd. All rights reserved  

    Towards a process factory for developing situational requirements engineering processes

    , Article Proceedings of the ACM Symposium on Applied Computing, 26 March 2012 through 30 March 2012 ; March , 2012 , Pages 1089-1090 ; 9781450308571 (ISBN) Jafarinezhad, O ; Ramsin, R ; Sharif University of Technology
    2012
    Abstract
    Selecting a suitable Requirements Engineering (RE) process is usually based on personal preferences or existing company practices rather than on the characteristics of the project at hand (project situation). Feature-oriented software development is the overall process of developing software systems in terms of their features. The Software Product Line (SPL) approach is a paradigm for systematic reuse of software products, and a Software Factory is a SPL aimed at the industrialization of software development. Based on the notion that a software/RE process can be developed via an engineering process, this research aims to provide a feature-based RE process factory to develop RE processes... 

    Towards an architecture-centric approach for method engineering

    , Article IASTED International Conference on Software Engineering, SE 2008, Innsbruck, 12 February 2008 through 14 February 2008 ; February , 2008 , Pages 74-79 ; 9780889867154 (ISBN) Moaven, S ; Habibi, J ; Ahmadi, H ; Kamandi, A ; Sharif University of Technology
    2008
    Abstract
    Due to the extreme use of method engineering and increasing attention to construct methods customized for a specific project, domain, organization or a generic method compatible with the team characteristics and needs, existence of suitable and formalized frameworks and guidelines is one of the challenges method engineers are encountered. In this area, considering method construction as the goal of method engineering brings to the mind the software development process in which the product is a method adapting the method users' needs. This paper, with a new approach of applying software architecture in method engineering and making use of architecture styles, tries to take advantage of... 

    Towards a knowledge based approach to style driven architecture design

    , Article Procedia Computer Science, 5 March 2015 through 6 March 2015 ; Volume 62 , 2015 , Pages 236-244 ; 18770509 (ISSN) Moaven, S ; Habibi, J ; Alidoosti, R ; Parvizi Mosaed, A ; Bahrami, M ; Sharif University of Technology
    Abstract
    Nowadays, knowledge is the key to success in all software engineering processes. This valuable knowledge, obtained through analysis, design, development, and maintenance processes of the system, should be saved and reused in designing and developing current and similar systems. Using pre-existing knowledge is a practical approach which reduces design complexity, improves software architecture design and manages software quality. In this paper, we describe an approach to create architecture design knowledge using a hierarchical structure of architectural styles based on quality attributes. Knowledge is most importance asset of our approach that reuses similar domains, correlates architectures... 

    Towards a generic framework for model-driven engineering of software process lines

    , Article ACM International Conference Proceeding Series, 31 August 2017 through 1 September 2017 ; Volume Part F130524 , 2017 ; 9781450348430 (ISBN) Agh, H ; Ramsin, R ; Rysavy, O ; Vranic, V ; Sharif University of Technology
    Abstract
    Situational Method Engineering (SME)1approaches help construct bespoke software development processes according to the specifications of the project at hand, but they are time-consuming and costly. A Software Process Line (SPrL) tackles this problem by allowing software processes to be constructed for specific project situations through reusing core process assets. Model-Driven Development (MDD) has been used for automating SPrL Engineering (SPrLE); however, existing model-driven SPrLE methods are deficient as to their coverage of key MDD features. We propose a novel model-driven SPrLE approach that aims to address these shortcomings; it can be regarded as a framework that specifies the... 

    Towards a general framework for evaluating software development methodologies

    , Article Proceedings - International Computer Software and Applications Conference, 19 July 2010 through 23 July 2020 ; July , 2010 , Pages 208-217 ; 07303157 (ISSN) ; 9780769540856 (ISBN) Hesari, S ; Mashayekhi, H ; Ramsin, R ; Sharif University of Technology
    2010
    Abstract
    It has become essential to scrutinize and evaluate software development methodologies, mainly because of their increasing number and variety. Evaluation is required to gain a better understanding of the features, strengths, and weaknesses of the methodologies. The results of such evaluations can be leveraged to identify the methodology most appropriate for a specific context. Moreover, methodology improvement and evolution can be accelerated using these results. However, despite extensive research, there is still a need for a feature/criterion set that is general enough to allow methodologies to be evaluated regardless of their types. We propose a general evaluation framework which addresses... 

    Toward an architecture-based method for selecting composer components to make software product line

    , Article ITNG2010 - 7th International Conference on Information Technology: New Generations, 12 April 2010 through 14 April 2010 ; April , 2010 , Pages 1233-1236 ; 9780769539843 (ISBN) Tanhaei, M ; Moaven, S ; Habibi, J ; Sharif University of Technology
    2010
    Abstract
    Nowadays, product line, as an important topic in software development domain, has been paid attention by software engineering practitioners. Finding suitable components to construct an efficient and comprehensive product line with low costs is one of the critical problems in this domain which demands to be satisfied. In this paper a method is presented which can manage and control complexities of component selection problem, an NP problem, and result in creation of declared product line. By making use of this method, a product line will be constructed with suitably-adopted components to cover up requirements based on architecture; that's why software product line development process will... 

    Toward a framework for evaluating heterogeneous architecture styles

    , Article Proceedings - 2009 1st Asian Conference on Intelligent Information and Database Systems, ACIIDS 2009, 1 April 2009 through 3 April 2009, Dong Hoi ; 2009 , Pages 155-160 ; 9780769535807 (ISBN) Moaven, S ; Kamandi, A ; Habibi, J ; Ahmadi, H ; Sharif University of Technology
    2009
    Abstract
    Evaluating architectures and choosing the correct one is a critical issue in software engineering domain, in accordance with extremely extension of architecturedriven designs. In the first years of defining architecture styles, some special quality attributes were introduced as their basic attributes. After a moment, by utilizing them in practice, some results were obtained confirming some of attributes; some others meanwhile were not witnessed. As software architecture construction process is dependent on and addressed by both usage conditions and quality attributes, in this paper a framework has been proposed to provide an environment and a platform that can cover evaluation of...