Sharif Digital Repository

Remote controlled switch deployment in distribution networks is usually justified via comparing the required investment with the expected decrease in interruption costs. Although the investment is known prior to the implementation, the stochastic nature of contingencies imposes significant uncertainty on interruption costs. The uncertainty may impose substantial financial risks on the distribution company. This paper aims at evaluating the financial risk and key affecting parameters. For doing so, a step-by-step method is presented to evaluate the risk. The method captures the stochastic nature of contingencies through a sequential Monte Carlo simulation approach. A mathematical formulation... 

This paper describes concepts, design, implementation, and performance evaluation of a 3D-based user interface for accessing IoT-based Smart Environments (IoT-SE). The generic interaction model of the described work addresses some major challenges of Human-IoT-SE-Interaction such as cognitive overload associated with manual device selection in complex IoT-SE, loss of user control, missing system image or over-automation. To address these challenges we propose a 3D-based mobile interface for mixed-initiative interaction in IoT-SE. The 3D visualization and 3D UI, acting as the central feature of the system, create a logical link between physical devices and their virtual representation on the... 

Context: Feature model is an appropriate and indispensable tool for modeling similarities and differences among products of the Software Product Line (SPL). It not only exposes the validity of the products’ configurations in an SPL but also changes in the course of time to support new requirements of the SPL. Modifications made on the feature model in the course of time raise a number of issues. Useless enlargements of the feature model, the existence of dead features, and violated constraints in the feature model are some of the key problems that make its maintenance difficult. Objective: The initial approach to dealing with the above-mentioned problems and improving maintainability of the... 

Smart environments are complex systems encompassing multitude of devices with complex interconnections and interactions. User must not only be able to figure out the devices’ functionalities, but also understand the architectural and semantic relations between various components. Providing such information leads to better understanding and user satisfaction, if users get the appropriate mental models. One way to train users about such smart environments is Interactive Realistic Virtual Reality based Simulations (IRVRS): multimedia rich collaborative 3D virtual environments. IRVRS also facilitate easy and inexpensive access to population masses, thus they can be used for conducting large... 

Background and objective: The human lungs exchange air with the external environment via the conducting airways. The application of an anatomically accurate model of the conducting airways can be helpful for simulating gas exchange and fluid distribution throughout the bronchial tree in the lung. Methods: In the current study, Lindenmayer system (L-system) has been formulated to generate the bronchial tree structure in a human lung. It has been considered that the structure of the bronchial tree is divided into two main segments: 1) The central airways (from the trachea to segmental bronchi) and 2) the dichotomous structure (from segmental bronchi to terminal bronchioles). Two sets of... 

This paper describes concepts, design, implementation, and performance evaluation of a 3D-based user interface for accessing IoT-based Smart Environments (IoT-SE). The generic interaction model of the described work addresses some major challenges of Human-IoT-SE-Interaction such as cognitive overload associated with manual device selection in complex IoT-SE, loss of user control, missing system image or over-automation. To address these challenges we propose a 3D-based mobile interface for mixed-initiative interaction in IoT-SE. The 3D visualization and 3D UI, acting as the central feature of the system, create a logical link between physical devices and their virtual representation on the... 

The study presented in this paper investigated online data loss in a substation automation system (SAS) under network faults or failures. Online data loss refers to the amount of data that become inaccessible when a failure occurs in the SAS. It is a mathematical index related to the network's topology and architecture, and the calculation of which requires knowledge of the physical characteristics of SAS elements. The elements that record data were identified, and then the online data lost due to failures in those elements were determined. Also, as a case study, a typical SAS was examined under various states of failure, and the online data loss occurring under each scenarios was calculated... 

Abstract ORM (Object Role Modeling) is a rich and popular conceptual modeling method. ORM has been used for data modeling, ontology engineering, modeling business rules, XML-Schemes and data warehouses, requirements engineering and web forms. Automated reasoning like satisfiability testing allows developers to detect modeling mistakes in the early stages of development. In this paper we propose a lightweight formalization of the ORM meta-model in Alloy. Using this meta-model as a toolkit one can easily specify ORM models in Alloy and verify various properties on them using the Alloy Analyzer. In order to achieve scalability, we use the cardinality of concepts to model their population. This... 

This paper presents a novel profit-based model for multistage distribution network expansion planning. In the proposed model, some capabilities of the distribution automation system are considered to achieve a plan that is more compatible with the strategic plan towards a smart distribution grid. Moreover, a method for reliability evaluation of a distribution network in the planning studies is proposed. The objective function of the planning problem is the net present value of the company's profit. The problem is solved by employing the genetic algorithm approach as a promising technique in solving the mixed-integer nonlinear programming problem. The proposed method is evaluated on an... 

The axial turbine is one of the most challenging components of gas turbines for industrial and aerospace applications. With the ever-increasing requirement for high-aerodynamic performance blades, three-dimensional aerodynamic shape optimization is of great importance. In this research, the rear part of a gas turbine consisting of a one-stage axial turbine is optimized numerically. A useful optimization algorithm is presented to improve the efficiency and/or pressure ratio of the axial turbine with two different objective functions. The three-dimensional blade-shape optimization is employed to study the effects of the turbine stator and rotor lean and sweep angles on the turbine performance.... 

We concern with both time and cost optimization in an automated manufacturing system. In our proposed system, material handling is carried out by automated guided vehicles and robots for the manufacturing functions. In this way, defect rates, breakdown times, waiting time, processing time, and certain other parameters are not expected to be deterministic. Therefore, we apply stochastic programming to optimize the production time and material handling cost. The proposed stochastic program is a nonlinear model, for this reason we apply a successive linear programming (SLP) technique for its optimization. Numerical test results point to the inefficacy of the proposed optimization method for... 

New technologies such as smart homes and appliances and renewable energy production have been attracting much attention in recent years. In practice, the management of these technologies to get the minimum household payment has become a challenge due to the time-varying electricity price. In this paper, we propose a real time energy management system to manage the appliances and storages. The solar energy is charged in the storages and used together with the grid electricity to supply the appliances. The proposed management system uses an ILP-based Home Energy Management (ILPHEM) optimization engine. ILPHEM schedules appliances requests and storage usage based on updated real time input data... 

A number of challenges including instability, nonconvergence, nonuniqueness, nonoptimality, and lack of a general guideline for inverse modelling have limited the application of automatic calibration by generic inversion codes in solving the saltwater intrusion problem in real-world cases. A systematic parameter selection procedure for the selection of a small number of independent parameters is applied to a real case of saltwater intrusion in a small island aquifer system in the semiarid region of the Persian Gulf. The methodology aims at reducing parameter nonuniqueness and uncertainty and the time spent on inverse modelling computations. Subsequent to the automatic calibration of the... 

Demand response (DR) as a state-of-the-art program is accommodated in the energy efficiency contexts of the smart grid. Lack of the customer knowledge about how to respond to the time-differentiated tariffs and offered controlling signals is the major obstacle in the way of broad DR implementing. As a solution, an optimization method, namely load control (LC), is proposed to automatically control the on/off status of the responsive appliances in a smart home. This paper focuses on the direct load control (DLC) program in the category of incentive-based DR programs. LC is extended to consider inconvenience cost of the DLC implementation for DLC program participants. Outputs of the extended LC... 

We propose a cost estimation model based on a fuzzy rule backpropagation network, configuring the rules to estimate the cost under uncertainty. A multiple linear regression analysis is applied to analyze the rules and identify the effective rules for cost estimation. Then, using a dynamic programming approach, we determine the optimal path of the manufacturing network. Finally, an application of this model is illustrated through a numerical example showing the effectiveness of the proposed model for solving the cost estimation problem under uncertainty  

This study aims at quantitatively assessing the availability indices of various substation automation systems. In order to illustrate the proposed technique, first, nine types of substation automation architectures are reviewed. The reliability block diagrams of various substation automation architectures are then developed. Subsequently, comparative studies are performed to demonstrate the most reliable architectures in comparison with the others. The results obtained by the proposed approach show the impact of repair on availability indices of the automation system. Finally, different sensitivity analyses are conducted for all architectures, where the impact of varying availability of all... 

Visual tracking has attracted a significant attention in the last few decades. The recent surge in the number of publications on tracking-related problems have made it almost impossible to follow the developments in the field. One of the reasons is that there is a lack of commonly accepted annotated data-sets and standardized evaluation protocols that would allow objective comparison of different tracking methods. To address this issue, the Visual Object Tracking (VOT) workshop was organized in conjunction with ICCV2013. Researchers from academia as well as industry were invited to participate in the first VOT2013 challenge which aimed at single-object visual trackers that do not apply... 

Here, an approach for finding an optimal path in a flexible jobshop manufacturing system considering two criteria of time and cost is proposed. A network is configured in which the nodes are considered to be the shops with arcs representing the paths among the shops. An automated guided vehicle functions as a material handling device through the manufacturing network. To account for uncertainty, time is considered to be a triangular fuzzy number and apply an expert system to infer the cost. The expert system based on fuzzy rule backpropagation network to configure the rules for estimating the cost under uncertainty is proposed. A multiple linear regression model is applied to analyze the... 

Modeling arbitrary connectivity changes of mobile ad hoc networks (MANETs) makes application of automated formal verification challenging. We introduced constrained labeled transition systems (CLTSs) as a semantic model to represent mobility. To model check MANET protocol with respect to the underlying topology and connectivity changes, we here introduce a branching-time temporal logic interpreted over CLTSs. The temporal operators, from Action Computation Tree Logic with an unless operator, are parameterized by multi-hop constraints over topologies, to express conditions on successful scenarios of a MANET protocol. We moreover provide a bisimilarity relation with the same distinguishing... 

Automatic extraction of the varying regions of magnetic resonance images is required as a prior step in a diagnostic intelligent system. The sparsest representation and high-dimensional feature are provided based on learned dictionary. The classification is done by employing the technique that computes the reconstruction error locally and non-locally of each pixel. The acquired results from the real and simulated images are superior to the best MRI segmentation method with regard to the stability advantages. In addition, it is segmented exactly through a formula taken from the distance and sparse factors. Also, it is done automatically taking sparse factor in unsupervised clustering methods...