Sharif Digital Repository

Strong designated verifier signature scheme is a concept in which a user (signer) can issue a digital signature for a special receiver; i.e. signature is produced in such way that only intended verifier can check the validity of produced signature. Of course, this type of signature scheme should be such that no third party is able to validate the signature. In other words, the related designated verifier cannot assign the issued signature to another third party. This article proposes a new ID-based strong designated verifier signature scheme which has provable security in the ROM (Random Oracle Model) and BDH assumption. The proposed scheme satisfies the all security requirements of an... 

Interactive and integrated design and manufacturing can be a useful strategy for designers to reach the efficient design through the cognitive or physical interactions. Process tolerance design is a key tool in the integrated design and manufacturing to reach a product with high quality and low cost. Since the optimal tolerance allocation involves several aspects of the design, manufacturing and quality issues, it is always a time consuming and difficult procedure, especially for complex products. Therefore, to overcome these difficulties, a computer-aided approach for optimal tolerance design of manufacturing process is needed in the design stage. In this paper, a novel interactive... 

In software programs, most of the time, there is a chance for occurrence of faults in general, and exception faults in particular. Localizing those pieces of code that are responsible for a particular fault is one of the most complicated tasks, and it can produce 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 such as context-awareness, use of sensors, being executable on various mobile devices, limited hardware resources, etc. To this aim, in this... 

In software programs, most of the time, there is a chance for occurrence of faults in general, and exception faults in particular. Localizing those pieces of code that are responsible for a particular fault is one of the most complicated tasks, and it can produce 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 such as context-awareness, use of sensors, being executable on various mobile devices, limited hardware resources, etc. To this aim, in this... 

Automation systems provide substantial improvement in service reliability through speeding up fault management procedure. However, this is at expense of high investments whose justification needs thorough cost/worth analyses. This paper introduces a mathematical model to optimally place automation system devices within distribution networks. The model establishes a trade-off between service reliability improvements and the relevant costs. Among different automation system devices, fault indicators and remote controlled switches are considered here. Also, the impact of manual switches is regarded since their number and location significantly affect the solution of the placement problem. The... 

In this paper, we present a comprehensive analysis of the impact of aging on the interconnection network of field-programmable gate arrays (FPGAs) and propose novel approaches to mitigate the aging effects on the routing network. We first show the insignificant impact of aging on data integrity of FPGAs, i.e., static noise margin and soft error rate of the configuration cells, as well as we show the negligible impact of the mentioned degradations on the FPGA performance. As such, we focus on the performance degradation of datapath transistors. In this regard, we propose a routing accompanied by a placement algorithm that prevents constant stress on transistors by evenly distributing the... 

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... 

Regarding the increasing number of electrical devices in the smart homes that leads to increase in total electricity consumption and cost, it is essential to use energy management methods to reduce the electricity cost. However, this can cause resident's dissatisfaction. Hence, it is important to define a method in which cost and dissatisfaction be optimized simultaneously. Among different services, an electric vehicle is the one that can be used as an energy storage system, so it can reduce the daily cost despite of increasing the total energy consumption. In this paper, we study the effect of the EV on the cost and dissatisfaction in our proposed method. © 2018 IEEE  

The great share of interruptions in distribution networks motivates distribution decision makers to establish various reliability enhancement strategies. Amongst, deploying remote controlled switch (RCS) can make a crucial contribution to the reduction of interruption costs. Nevertheless, the stochastic nature of contingencies affects the RCS worth and imposes substantial financial risk to RCS deployment projects. This paper proposes a mathematical model to consider the risk in the optimal RCS deployment problem. The model determines the number and location of RCSs such that the expected profit is maximized while financial risk is minimized. The risk is modeled through conditional... 

Due to the huge amount of resources needed for implementing distribution automation systems (DAS), distribution companies (DISCOs) should develop long term plans for this project. Similarly, DISCOs have network capacity expansion (NCX) plans which specify the scheme of constructing the feeders and substations. Since considering DAS may lead to more efficient NCX plans, the planner should revise the NCX plan through the DAS planning. On the other hand, for DAS planning it is necessary to consider a NCX plan as a platform to determine the time and location for installation of automation equipment. Therefore the planner should simultaneously work on two plans, each of them affects the other. To... 

Reliability of machinery and equipment in flexible manufacturing systems are among the most important issues to reduce production costs and to increase efficiency. This paper investigates the reliability of machinery in job shop production systems, where materials, parts, and other production needs are handled by automated guided vehicles (AGV). The failures time of the parallel machines in a given shop follow either an exponential or a Weibull distribution. As there is no closed-form equation to calculate the reliability of the shop in the Weibull case, a simulation approach is taken in this paper to estimate the reliability. Then, a bi-objective nonlinear optimization model is developed... 

The objective of the present study is to investigate the capability of field-programmable gate array hardware in numerical simulation of a model of a dielectric barrier discharge plasma actuator to accelerate the calculations. The reconfigurable hardware is designed such that it is possible to reprogram its architecture after manufacturing. This provides the capability to design and implement various architectures for several applications. Two reconfigurable chips are used in the present study, one of which consists of a programmable logic unit and a typical microprocessor. This hybrid architecture makes the high performance of the reconfigurable hardware in custom computing and the... 

Characteristics and way of behavior of attacks and infiltrators on computer networks are usually very difficult and need an expert. In addition; the advancement of computer networks, the number of attacks and infiltrations is also increasing. In fact, the knowledge coming from expert will lose its value over time and must be updated and made available to the system and this makes the need for expert person always felt. In machine learning techniques, knowledge is extracted from the data itself which has diminished the role of the expert. Various methods used to detect intrusions, such as statistical models, safe system approach, neural networks, etc., all weaken the fact that it uses all the... 

Fault indicator (FI) plays a crucial rule in enhancing service reliability in distribution systems. This device brings substantial benefits for fault management procedure by speeding up fault location procedure. This paper intends to develop a new optimization model to optimally deploy FI in distribution systems. The proposed model aims to consider a tradeoff between the total customer interruption cost and FI relevant costs, including capital investment, installation, and maintenance costs. As the main contribution of this paper, the problem is formulated in mixed integer programing, which guarantees global optimum solution achieved in an effective runtime. Moreover, the model takes... 

Interactive and integrated design and manufacturing can be a useful strategy for designers to reach the efficient design through the cognitive or physical interactions. Process tolerance design is a key tool in the integrated design and manufacturing to reach a product with high quality and low cost. Since the optimal tolerance allocation involves several aspects of the design, manufacturing and quality issues, it is always a time consuming and difficult procedure, especially for complex products. Therefore, to overcome these difficulties, a computer-aided approach for optimal tolerance design of manufacturing process is needed in the design stage. In this paper, a novel interactive... 

This paper presents a multi-model robust control scheme to control the depth of hypnosis during intravenous administration of propofol. The objective of the proposed control scheme is to provide an adequate drug administration regime for propofol to avoid overdosing and underdosing of patients. The proposed scheme is designed to withstand the patient's inherent drug response variability, to achieve good output disturbance and sensor noise rejection, and to attain a good set point response. A comprehensive simulation study of 44 patients is presented to assess the performance of the proposed control scheme. © 2017 Elsevier Ltd  

Automation systems provide substantial improvement in service reliability through speeding up fault management procedure. However, this is at expense of high investments whose justification needs thorough cost/worth analyses. This paper introduces a mathematical model to optimally place automation system devices within distribution networks. The model establishes a trade-off between service reliability improvements and the relevant costs. Among different automation system devices, fault indicators and remote controlled switches are considered here. Also, the impact of manual switches is regarded since their number and location significantly affect the solution of the placement problem. The... 

The aim of this article is the requirement analysis, design, proof-of-concept implementation and user evaluation of a novel user interface that is specifically developed to support interaction with ambient intelligence systems. The focus of the user interface is rather on interacting with ambient intelligence, a meta system that comes into existence as the result of the coherent behavior and collective intelligence of interconnected smart devices and systems of a domain such as meeting rooms or smart homes. To design the user interface, we conducted an empirical user and task analysis and elaborated requirements, defining the scope of human interaction with ambient intelligence. The captured... 

This chapter presents the optimal switch deployment in distribution systems. First, an explanation regarding different types of switches and their functionality is introduced. Then, a fundamental description of fault management procedure in distribution networks is presented. Thereafter, the mathematical formulation of optimal fault management process is described. Optimal switch deployment problem is formulated in the format of mixed integer programming (MIP). The impact of remote controlled switch (RCS) and manual switch (MS) is scrutinized on the interruption cost once they are installed either individually or simultaneously. The concept of switch malfunctions is explained and the... 

Path planning is crucial in constructability analysis and heavy construction equipment scheduling, particularly in industrial plants. The main purpose of construction equipment path planning is devising the shortest path between its initial and aimed location. This suggested path is supposed to be safe, and collision-free. The current planning practice, even in industrial projects whose sites are extremely congested, is manual based on the expert judgment. Thus, this sophisticated manual process is not only prone to errors, but also time-consuming. This research presents an automated path planning approach based on an obstacle avoidance technique in robotics to support the decision-making...