Loading...
Search for:
application-programs
0.007 seconds
Total 56 records
Constructing a Class Library to Implement the Project Scheduling Algorithms on Primavera
, M.Sc. Thesis Sharif University of Technology ; Shadrokh, Shahram (Supervisor)
Abstract
In this research we investigate one of the heuristic algorithms of scheduling, Squeaky Wheel Optimization (SWO) in order to solve an RCPSP problem with minimization of Makespan as the objective function; and we will implement this algorithm on Primavera which is one of the most popular software systems in Project Management. The main purpose of this project is to prepare a way to implement the scheduling algorithms on one of the popular Project Management Software Systems. Hence, we have created an application which can interact with this kind of systems, gets data from their databases, run a scheduling algorithm on it, and updates the data in the databases. One of the main characteristics...
Modeling User Behavior in Applications and Maximising User Lifecycle
, M.Sc. Thesis Sharif University of Technology ; Habibi, Jafar (Supervisor)
Abstract
Smartphones are ubiquitous nowadays. This fact would give the opportunity to the developers to earn lots of money and attention. One of the main factors in a successful business plan is user lifecycle, meaning that users use the app more and more in a specific period. For app developers, notifications are an effective way to interact with the users in different ways depending on the nature of the notification. However, hen a notification is sent out to a user, it is delivered directly without considering the users situationor psychological state. The notification could be perceived as a distraction or interruption, potentially causing inattentionand frustration for the recipient, even if the...
Traffic Engineering Design in Software-Defined Networks with Big Flow Applications
, M.Sc. Thesis Sharif University of Technology ; Akbari, Behzad (Supervisor)
Abstract
"Programmable networks" are to facilitate and evolve the computer networks. Specifically, Network Defined Software (SDN) is an advanced and innovative solution in the new computer network in which the hardwares are completely independent of the control and decision regarding data transfer. Based on this logic, network management becomes much simpler and enables innovation and new solutions for different parts of the network. In SDN, the program or network intelligence is logically present in software-based controllers (on the control panel) and can be changed and programmed, and network devices are converted into network packet sending hardware (on the data page) through an interface, Such...
Predicting API-Related Faults Using Crowd Knowledge
, Ph.D. Dissertation Sharif University of Technology ; Heydarnoori, Abbas (Supervisor)
Abstract
Software quality assurance activities such as debugging are considered one of the most important and effective tasks in software development life cycle. However, these activities are tedious and time consuming. Consequently, wide variety of studies have been conduced around the process of software debugging, such as predicting defects,which is one of the most important topics in this area.In spite of the popularity of software libraries and frameworks, and the use of application programming interfaces (API), most of the studies in the defect prediction area have not focused on predicting defects related to API usages. However, due to the lack of documentation and complexity of the APIs...
Analysis and Design of a Mooring System for Floating PV Power Plant
, M.Sc. Thesis Sharif University of Technology ; Khorasanchi, Mahdi (Supervisor) ; Abbaspour Tehrani Fard, Majid (Co-Supervisor)
Abstract
For the stability of floating solar PV power plants against environmental forces and the safety of operators during maintenance and repair, the mooring system ought to be designed based on the position of the plant, the size of the plant, and weather conditions. Floating solar PV power plants are mostly located in reservoirs with significant water level variations, or in some cases in inland seas where changes in water level are the most important challenge in their mooring system. In this project, different methods to overcome the water level variations have been studied and finally, a creative idea which covers the weaknesses of previous ones has been represented. By using programming...
Investigating the impacts of different price-based demand response programs on home load management
, Article Journal of Electrical Engineering and Technology ; Vol. 9, issue. 3 , 2014 , p. 1125-1131 ; ISSN: 19750102 ; Fotuhi-Firuzabad, M ; Choi, J ; Sharif University of Technology
Abstract
Application of residential demand response (DR) programs are currently realized up to a limited extent due to customers' difficulty in manually responding to the time-differentiated prices. As a solution, this paper proposes an automatic home load management (HLM) framework to achieve the household minimum payment as well as meet the operational constraints to provide customer's comfort. The projected HLM method controls on/off statuses of responsive appliances and the charging/discharging periods of plug-in hybrid electric vehicle (PHEV) and battery storage at home. This paper also studies the impacts of different time-varying tariffs, i.e., time of use (TOU), real time pricing (RTP), and...
Activities performed by programmers while using framework examples as a guide
, Article Proceedings of the ACM Symposium on Applied Computing ; 2014 , p. 1146-1151 ; Heydarnoori, A ; Kazemitabaar, M ; Sharif University of Technology
Abstract
It is now a common approach pursued by programmers to develop new software systems using Object-Oriented Application Frameworks such as Spring, Struts and, Eclipse. This improves the quality and the maintainability of the code. Furthermore, it reduces development cost and time. However, the main problem is that these frameworks usually have a complicated Application Programming Interface (API), and typically suffer from the lack of enough documentation and appropriate user manuals. To solve these problems, programmers often refer to existing sample applications of those frameworks to learn how to implement the desired functionality in their own code. This is called the Monkey See, Monkey Do...
A survey of dynamic software updating
, Article Journal of software: Evolution and Process ; Volume 25, Issue 5 , 2013 , Pages 535-568 ; 20477481 (ISSN) ; Abolhassani, H ; Moshkenani, M. S ; Sharif University of Technology
2013
Abstract
Application update at run-time remains a challenging issue in software engineering. There are many techniques with different evaluation metrics, resulting in different behaviours in the application being updated. In this paper, we provide an extensive review of research work on dynamic software updating. A framework for the evaluation of dynamic updating features is developed, and the articles are categorized and discussed based on the provided framework. Areas of online software maintenance requiring further research are also identified and highlighted. This information is deemed to not only assist practitioners in selecting appropriate dynamic updating techniques for their systems, but...
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) ; 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...
Using genetic algorithm to identify soft-error derating blocks of an application program
, Article Proceedings - 15th Euromicro Conference on Digital System Design, DSD 2012, 5 September 2012 through 8 September 2012 ; September , 2012 , Pages 359-367 ; 9780769547985 (ISBN) ; Rahmani, A. M ; Mansoor, A ; Miremadi, S. G ; Sharif University of Technology
2012
Abstract
Soft-errors are increasingly considered as a major cause for computer system failures. Software techniques are used as cost-effective and flexible techniques to tolerate soft-errors but the introduced overhead is not acceptable in some safety-critical real-time systems. The identification of the program blocks and protecting only vulnerable blocks against soft-errors reduces the performance overhead. In this paper, we present a genetic algorithm to identify the vulnerable program blocks as well as the derating program blocks against soft-errors. Then, only vulnerable blocks are protected by some software-based soft-error tolerance techniques to achieve a lower performance and space overhead....
Effects of transformer core modeling on Partial Discharge current pulses simulation accuracy
, Article Proceedings of the IEEE International Conference on Properties and Applications of Dielectric Materials, 19 July 2015 through 22 July 2015 ; Volume 2015 , October , 2015 , Pages 664-667 ; 9781479989034 (ISBN) ; Saniei, M ; Vakilian, M ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2015
Abstract
Partial Discharge (PD) measurements in Ultra High Frequency (UHF) band requires modern techniques for monitoring of power transformer. This is a topic of interest investigated in this field, especially in recent years. Different experimental models, such as: defect models, and winding models are used in PD studies of power transformer. The purpose in application of these models is to represent and simulate the real transformer performance using a simple model. The proposed model needs to be a simplified one which can be implemented of them. However, the applied simplifications may result in some changes (inaccuracy) into the recorded PD current signals captured by UHF sensors. These changes...
Investigating the effect of design parameters on the response time of a highly sensitive microbial hydrogen sulfide biosensor based on oxygen consumption
, Article Biosensors and Bioelectronics ; Volume 70 , 2015 , Pages 106-114 ; 09565663 (ISSN) ; Yazdian, F ; Amoabediny, G ; Hakim, M ; Sharif University of Technology
Elsevier Ltd
2015
Abstract
A novel hydrogen sulfide microbial biosensor was developed based on investigating the influence of four design parameters: cell concentration, immobilization bed type, hydrogen sulfide concentration, and geometrical shape of the biosensor. Thiobacillus thioparus was used as the recognition element and it was immobilized on sodium alginate as well as agarose bed. The results were optimized by the application of statistical optimization software based on response time of the system. Oxygen reduction was considered as the detection sign. Sodium alginate solution with a concentration of 2.3% (w/v) and optical density of 10 at 605. nm was found as the optimum conditions for immobilization with...
Operating system level data tiering using online workload characterization
, Article Journal of Supercomputing ; Volume 71, Issue 4 , April , 2015 , Pages 1534-1562 ; 09208542 (ISSN) ; Asadi, H ; Ebrahimi, S ; Sharif University of Technology
Kluwer Academic Publishers
2015
Abstract
Over the past decade, storage has been the performance bottleneck in I/O-intensive programs such as online transaction processing applications. To alleviate this bottleneck with minimal cost penalty, cost-effective design of a high-performance disk subsystem is of decisive importance in enterprise applications. Data tiering is an efficient way to optimize cost, performance, and reliability in storage servers. With the promising advantages of solid-state drives (SSDs) over hard disk drives (HDDs) such as lower power consumption and higher performance, traditional data tiering techniques should be revisited to use SSDs in a more efficient way. Previously proposed tiering solutions have...
Event-driven web application testing based on model-based mutation testing
, Article Information and Software Technology ; Volume 67 , 2015 , Pages 159-179 ; 09505849 (ISSN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
Elsevier
2015
Abstract
Context Event-Driven Software (EDS) is a class of software whose behavior is driven by incoming events. Web and desktop applications that respond to user-initiated events on their Graphical User Interface (GUI), or embedded software responding to events and signals received from the equipment in its operating environment are examples of EDS. Testing EDS poses great challenges to software testers. One of these challenges is the need to generate a huge number of possible event sequences that could sufficiently cover the EDS's state space. Objective In this paper, we introduce a new six-stage testing procedure for event-driven web applications to overcome EDS testing challenges. Method The...
Evaluation of transformer core contribution to partial discharge electromagnetic waves propagation
, Article International Journal of Electrical Power and Energy Systems ; Volume 83 , 2016 , Pages 40-48 ; 01420615 (ISSN) ; Saniei, M ; Vakilian, M ; Mortazavi, S. S ; Sharif University of Technology
Elsevier Ltd
Abstract
Accurate Partial Discharge (PD) measurement requires the expansion of the measurement frequency range to Ultra High Frequency (UHF) band. For this it is needed to implement modern techniques when monitoring an important element of power system, such as power transformer. Different kind of experimental models, such as insulation defect models, and the complete transformer windings models are used to simulate the partial insulation failure situations which occur in a real transformer. However, since in these models, some kind of simplifications are employed which may result in an electromagnetic waves (EM) propagation pattern different from what exists in a real transformer and encounter...
A practical scheme to involve degradation cost of lithium-ion batteries in Vehicle-to-Grid applications
, Article IEEE Transactions on Sustainable Energy ; Volume 7, Issue 4 , Volume 7, Issue 4 , 2016 , Pages 1730-1738 ; 19493029 (ISSN) ; Fotuhi Firuzabad, M ; Moeini Aghtaie, M ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
Abstract
This paper concentrates on degradation of electric vehicle (EV) lithium-ion batteries in vehicle-to-grid (V2G) programs and proposes a practical wear cost model for EVs charge scheduling applications. As the first step, all the factors affecting the cycle life of lithium-ion batteries are identified and their impacts on degradation process are investigated. Subsequently, a general model for battery loss of cycle life is devised incorporating all the pertinent factors associated with charging and discharging activities in V2G applications. Modeling the battery wear cost as a series of equal-payments over the cycle life, a mechanism for calculating the cost incurred by EV users due to...
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
, Article 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20 January 2016 through 22 January 2016 ; Volume 20-22-January-2016 , 2016 , Pages 327-342 ; 07308566 (ISSN) ; 9781450335492 (ISBN) ; Fu, H ; Novotný, P ; Hasheminezhad, R ; Majumdar, R ; Bodik, R ; Association for Computing Machinery (ACM) SIGPLAN ; Sharif University of Technology
Association for Computing Machinery
Abstract
In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs....
Modeling and parallel computation of the non-linear interaction of rigid bodies with incompressible multi-phase flow
, Article Computers and Mathematics with Applications ; Volume 72, Issue 4 , 2016 , Pages 1055-1065 ; 08981221 (ISSN) ; Ghasemi, A. M ; Nikbakhti, R ; Ghasemi, A. R ; Hedayati, F ; Sharif University of Technology
Elsevier Ltd
Abstract
A computational tool is developed to capture the interaction of solid object with two-phase flow. The full two-dimensional Navier–Stokes equations are solved on a regular structured grid to resolve the flow field. The level set and the immersed boundary methods are used to capture the free surface of a fluid and a solid object, respectively. A two-step projection method along with Multi-Processing (OpenMP) is employed to solve the flow equations. The computational tool is verified based on numerical and experimental data with three scenarios: a cylinder falling into a rectangular domain due to gravity, transient vertical oscillation of a cylinder by releasing above its equilibrium position,...
EXAF: A search engine for sample applications of object-oriented framework-provided concepts
, Article Information and Software Technology ; Volume 75 , 2016 , Pages 135-147 ; 09505849 (ISSN) ; Heydarnoori, A ; Sharif University of Technology
Elsevier
Abstract
Object-oriented application frameworks, such as Java Swing, provide reusable code and design for implementing domain-specific concepts, such as Context Menu, in software applications. Hence, use of such frameworks not only can decrease the time and the cost of developing new software applications, but also can increase their maintainability. However, the main problems of using object-oriented application frameworks are their large and complex APIs, and often incomplete user manuals. To mitigate these problems, developers often try to learn how to implement their desired concepts from available sample applications. Nonetheless, this introduces another hard and time-consuming challenge which...
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
, Article ACM SIGPLAN Notices ; Volume 51, Issue 1 , 2016 , Pages 327-342 ; 15232867 (ISSN) ; Fu, H ; Novotný, P ; Hasheminezhad, R ; Sharif University of Technology
Association for Computing Machinery
Abstract
In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs....