Sharif Digital Repository

Constraint automata have been proposed as the operational semantics of Reo, a glue-code language for the exogenous composition and orchestration of components in a software system. In this paper we recast the theory of constraint automata into that of Büchi automata on infinite strings of records. We use records to express simultaneity constraints of I/O operations and show that every constraint automaton can be expressed as a Büchi automaton on an appropriate alphabet of records. Further, we give examples of component compositions that are expressible as Büchi automata but not as constraint automata. Finally, we show that the join composition operator for constraint automata and its... 

Reo is an exogenous coordination language for component connectors extending data flow networks with synchronization and context-dependent behavior. We propose an operational model of Reo based on Büchi automata in which port synchronization is modeled by records labeling the transitions, whereas context dependencies are stored in the states. We provide a composition operator which models the joining of two connectors, and show that it can be obtained by using two standard operators: alphabet extension and automata product. Our semantics has the advantage over previous models in that it is based on standard automata theory, so that existing theories and tools can be easily reused. Moreover,... 

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

Remote-controlled switch (RCS) placement problem is used to optimally deploy the switches in distribution networks to enhance system reliability. The candidate locations of RCSs are usually assumed at the main feeder while the possible locations on the laterals are ignored. This study studies the impact of considering laterals as potential switch locations and demonstrates that deploying RCSs in laterals would change the optimal number and location of the switches. To do so, this study proposes a mathematical model for the switch deployment problem by taking into account the laterals. The proposed model is formulated in mixed integer linear programming format which can be solved via... 

Model checking is a formal method for verifying finite state systems properties. μ-calculus is a very expressive fix point logic capable of specifying a wide range of properties of finite state, reactive and concurrent systems. In this paper, we present a new model checking algorithm for linear and a fragment of indexed modal μ - calculus. This algorithm is based on the method of characterization of fixed point temporal logics formulae using automata. We use first recurrence automata for this purpose. Our algorithm is linear time on the size of the system model. The main contributions of this work are the efficiency of the algorithm and the first use of first recurrence automata for μ... 

In the last three decades, optimality-based autolanding designs have been considered to the most effective way by many authors. However, it is known that the straight forward solution to the optimal control problem leads to Two Point Boundary Value Problem (TPBVP)(Riccati equation), which is usually too complex in solution, backward in the time, and real-time onboard implementation, or the final time, as a boundary condition, may also not be known precisely. To avoid these problems, first, a suboptimal solution by assuming tf →∞ has been considered and its inapplicability has been discussed. Then an optimal controller for landing phase of a typical commercial aircraft has been designed.... 

Mobile Ad-hoc Networks (MANETs) are forming dynamically by joining or leaving the nodes into/from the network without any fix infrastructure. It is also possible that each mobile node act as a host or router. This kind of wireless network is prone to various security threats or attacks due to its unique characteristics like dynamic topology, open medium, lack of central monitoring, etc. So security is a vital scope in MANET to protect communication between mobile nodes. Ad-hoc On-demand Distance Vector (AODV) is one of the on-demand reactive routing protocols in MANET that initially was improved without considering security protection. Significant attempts have been done to secure AODV... 

Spectrum sensing is the basic step in cognitive radio networks. Its accuracy directly affects spectrum utilization. In this paper we propose a new method for blind cooperative spectrum sensing using spatial information. We model our sensing matrix as a graph, taking advantage of signal and spatial correlation of antennas. We prove that the general settings of the problem are hard to approximate. Taking spatial information into account, we propose a new scheme to find white space subregions. Cognitive radio users residing in the region may be able to transmit, but must keep their transmission power to the extent that no interference is caused to primary receivers out of the region  

Lumbar disc diseases are the commonest complaint of Lower Back Pain (LBP). In this paper, a new method for automatic diagnosis of lumbar disc herniation is proposed which is based on clinical Magnetic Resonance Images (MRI) data. We use T2-W sagittal and myelograph images. Our method uses Otsu thresholding method to extract the spinal cord from MR images of Lumbar disc. In the next step, a third-order polynomial is aligned on the extracted spinal cords, and in the end of preprocessing step all the T2-W sagittal images are prepared for extracting disc boundary and labeling. After labeling and extracting a ROI for each disc, intensity and shape features are used for classification. The... 

In the past decades, remote control switches have been broadly integrated into distribution systems to achieve a certain level of service reliability. To take utmost benefits of them, a cost-benefit analysis should be conducted. In this regard, the budget restriction plays a crucial role in remote control switch placement. This paper is aimed at proposing a model to determine the optimal number and location of remote control switches in a distribution system. As the main contribution of the paper, the model is developed in multistage planning format to address the issue of budget limitation. To this end, the model is formulated in mixed integer linear programming format, which tries to... 

Assessment of architectural evolution is a challenge and plays a significant role in system evolution management. Although the evolution rules of the software architecture are defined by some expert engineers or architects, there is no guarantee that applying them will end to the desired change. So, having a reliable assessment technique promotes the overall accuracy and quality of the evolution process. Compliance checking with expert-defined rules is a well-known assessment approach that can be applied in architectural evolution. In this paper, an approach is proposed for compliance checking of evolution processes. To this end, evolution paths and processes are modeled by Reo coordination... 

This paper presents a mathematical model for simultaneous deployment of protective devices (PDs) and controlling devices (CDs) in distribution networks. The PDs include fuses and reclosers and the CDs are remote controlled switches (RCSs) and manual switches (MSs). The model is to minimize equipment costs as well as sustained and momentary interruption costs. It considers the coordination of fuses and reclosers during temporary faults involving fuse saving and fuse blowing schemes. The model is in mixed integer programming (MIP) fashion which can be effectively solved with available solvers. The performance of the proposed model is verified through applying it to Bus 4 of Roy Billinton test... 

This paper presents a mathematical model for simultaneous deployment of protective devices (PDs) and controlling devices (CDs) in distribution networks. The PDs include fuses and reclosers and the CDs are remote controlled switches (RCSs) and manual switches (MSs). The model is to minimize equipment costs as well as sustained and momentary interruption costs. It considers the coordination of fuses and reclosers during temporary faults involving fuse saving and fuse blowing schemes. The model is in mixed integer programming (MIP) fashion which can be effectively solved with available solvers. The performance of the proposed model is verified through applying it to Bus 4 of Roy Billinton test... 

A self-report questionnaire survey was conducted online to collect big data from over 16000 Iranian families (who were the residents of 1000 urban and rural areas of Iran). The resulting data storage contained over 1 M records of data and over 1G records of automatically inferred information. Based on this data storage, a series of machine learning experiments was conducted to investigate the relationship between nutrition and the risk of contracting COVID-19. With highly accurate scores, the findings strongly suggest that foods and water sources containing certain natural bioactive and phytochemical agents may help to reduce the risk of apparent COVID-19 infection. © 2022 The Author(s)  

In directional drilling, the most important thing that leads to pulling out the drill string is end of mud motor working life. Considering the working conditions of down hole mud motors; increasing the mechanical properties of their stator’s elastomer is crucial. Some attempts were done to increase the motor performance through geometrical changes but lack of material improvement is significant in previous studies. In this study, NBR/nanoclay composite samples were prepared through melt intercalation in an internal mixer and tested with regard to the temperature and drilling mud of down hole. Hardness, tear, fatigue and tensile test results of neat NBR elastomer and nanocomposite of NBR and... 

Designing an intelligent controller for landing phase of a jet transport aircraft in presence of different wind patterns, in order to expand the flight safety envelope has been considered. There are some dangerous conditions like gusts and downbursts which may occur rarely in service life of aircraft, though, aircraft must be tested for these dangerous conditions. Then it is desired to design a controller that not only acts well in usual conditions but also has an acceptable performance in those hazardous conditions. Four different types of controllers have been designed named PID, Neuro, hybrid Neuro-PID and Anfis-PID (Adaptive Network-based Fuzzy Inference System) controllers. Simulation... 

Increasing efficiency, improving energy consumption, and optimizing energy in industries are more than ever considered by researchers. Some methods such as nanoparticles use and porous medium are used to increase the heat transfer rate. For this reason, in this paper, simulation and optimization of a two-dimensional tube with the presence of water–silver nanofluid and porous media have been performed to improve heat transfer. Different profiles of the rate, pressure, and temperature of the two-dimensional tube at volume fraction, porosity coefficient and Darcy numbers have been obtained and finally, the results are compared. Then, the Nusselt number and the friction coefficient in the range... 

Previously, we have proposed a computational model for decision-making in crisis situations called C-RPD (Computational Recognition Primed Decision). In this paper, a software development process customized for Crisis Situations Decision-Making Systems (CSDMSs) is proposed. Agile processes can skillfully manage uncertainty in software requirements and some of their features like incremental development can solve some problems in developing CSDMSs. However, these processes do not provide comprehensive solutions for issues like the lack of enough knowledge about CSDMSs, very rapid changes, urgent need to overcome security challenges, high development unpredictability, and the performance test.... 

In this paper the velocity and temperature fields during hot strip rolling are determined using a rigid-viscoplastic finite element method together with a microstructural model for handling dynamic phase transformation during hot deformation. Based on these fields, the strain distributions within the rolled metal at different positions in the deformation zone are estimated. The analysis is capable of considering the effects of metallurgical phase transformations as well as various process parameters such as initial strip temperature, rolling speed, lubrication on the strain inhomogeneity produced during the hot rolling process. To assess the reliability of the theoretical analysis, a... 

Text processing, as one of the main issues in the field of artificial intelligence, has received a lot of attention in recent decades. Numerous methods and algorithms are proposed to address the task of semantic textual similarity which is one of the sub-branches of text processing. Due to the special features of the Persian language and its non-standard writing system, finding semantic similarity is an even more challenging task in Persian. On the other hand, producing a proper corpus that can be used for training a model for finding semantic similarities, is of great importance. In this study, the main purpose is to propose a method for measuring the semantic similarity between short...