Sharif Digital Repository

A secret sharing scheme is a way to share a secret between a group of people so that only authorized subsets can retrieve the original secret. Secret sharing schemes were first introduced by Shamir and Blakley for threshold access structures. In a threshold access structure, a subset of individuals is allowed if the number of members exceeds a predetermined threshold. After Shamir, the study of general access structures was considered, and Ito, Saito, and Nishizeki proposed a way to construct a secret sharing scheme for these structures. Reducing the length of party's share in secret-sharing schemes and finding the optimal scheme for access structures has long been the focus of researchers... 

In this research, we explore a novel approach for controlling continuous-time chaotic systems with unknown equations and exclusively using one measurable state variable. In pursuit of this objective, the study unveils two efficient approaches: one tailored for autonomous systems and the other designed for systems with external excitation. In both approaches, our methodology centers on minimizing the conditional entropy which is derived based on the conditional probability distribution of the only observable state variable. Considering the numerical nature of entropy calculations in practical issues, we have employed the Poincare map to discretize the continuous-time system. In the following,... 

Due to the high level abstraction inherent in most formal specifications and the need to formally specify and develop nondeterministic systems, such as concurrent, probabilistic, and game-like ones, nondeterminism comes into formal specifications inevitably. As it will be shown in this thesis, after developing programs constructively from implicitly nondeterministic specifications, which have been written in the CZ (constructive Z) specification language, only one of the allowable, specified behaviors will appear in final programs. In this way, the implementer will be provided with only one of the possible implementations that is not necessarily the best one. When the nondeterminism involved... 

This thesis proposes a dynamic model for studding influences of suspension components behavior on rail vehicle dynamics. As the air springs are very important isolating component in rail vehicles, a new complete nonlinear air spring model, with taking into consideration of thermo–dynamical effects, is developed. The model coefficients are tuned based on the real test data and it can be easily used in dynamic modeling of air springs. The new proposed vehicle model is a complete track–vehicle model with 70 degree of freedoms which is addressed as a modular type. Experimental results from complete rail–vehicle field test, showed remarkable agreement between proposed model and test results.... 

There are different classes of event-driven softwares. These softwares include Graphical user interface, web application or embedded software. In these kinds of softwares, each user's action while using application is known as "event". The application responds to the action through changing behaviour and then waiting for another event. Testing software is the best way for checking the quality assurance of event-driven softwares. However, there are some problems as cause of creating lots of event sequences in testing these kinds of softwares. Therefore, many solutions are introduced for these problems. The goal of this report, is presenting new testing procedure for event-driven web... 

This study considers the flutter analysis rotating blade of a turbo machinery made of magneto rheological elastomer core. The Smith theory is used for modeling the compressible subsonic flow. The classical Hamilton’s principle along with the assume mode method is used to set up the equations of motion. The validity of the derived formulation is confirmed through comparison with those obtained from the finite element software and the available results in the literature. Various parametric studies including the effects of applied magnetic field, core layer thicknesses, rotating speed, setting angle are examined for considered configuration of the rotating blade. The results show that the first... 

One of the most crucial methods to Ensure correct software performance is testing. On this ground, one of the most critical discussions regarding software testing is the effectiveness of a test suite. Program state coverage is a criterion for determining the effectiveness of a test suite. This criterion indicates the number of program states that are executed for the lines. Since the total number of program states cannot be calculated to measure coverage, this criterion proposes a fixed number of 10 to measure program state coverage. Also, according to calculations for the program state in the execution of each line, the time complexity of this criterion is high. In this thesis, providing... 

HTGRs are considered as 4th generation reactors which have prominent characteristics such as inherent safety, lower safety costs, High efficiency and high temperature applications. the most important challenges in developing these reactors is providing appropriate codes in design, simulating their performance and analysis of them. In this thesis, a japanese prismatic HTTR reactor has been selected as a reference reactor and the neurotic’s calculations implementation studied at cold zero power (CZP) and hot full power (HFP) states using DRAGON cell calculation codes and DONJON core computations. At CZP state, One group and two group radial & axial flux distribution, control rod critical... 

In this thesis we investigate the consept of supreme Pfister forms developed by K. J. Becher. Let F be a field of characteristic different from 2. Several properties of F with respect to an anisotropic form ϕ over F are introduced and their relations are studied. A form ϕ is called supreme if it is anisotropic and every anisotropic form over F is a subform of ϕ. It can be easily shown that if F has a supreme form then F is nonreal and ϕ is a Pfister form. We see how examples of such fields may be obtained. Also we compare fields having a supreme Pfister form with n-local fields (i.e., fields which up to isometry have exactly two n-fold Pfister forms). Finally, we apply our results to the... 

In recent years, there have been many studies aimed at finding program defect using information of previous ones. These studies, by using the program text, previous bugs, and information related to version control and project management systems create an defect prediction model to find other defect prone areas in the program. The output of defect prediction methods is part of the program’s text, which is likely to have defects. Considering that the result of this method is just the text of the program and does not provide any extra information for finding defects to the user, these methods have not yet been applied to the software industry. On the other hand, by spreading the use of Q & A... 

This M.Sc thesis aims at studding system of fluid and solid interaction. Based on the potential flow assumption along with using the perturbation technique, the governing kinematic and dynamic boundary conditions of the first- and second-order velocity potential are derived. Then, a boundary element model is developed for the sloshing dynamics which is formulated in terms of the velocity potential of the liquid free-surface. The boundary element model is used to determine the natural mode shapes of sloshing and their corresponding frequencies. Using the modal analysis technique, a nonlinear model is represented for calculation of the first- and second-order potential which can be used to... 

In the present work, primary crystallization mechanism, glass forming ability, thermal stability and formation of nano Al crystals and their effects on the mechanical behavior were investigated in various Al amorphous alloy containing misch metal including Al90-xNi10-yFeyMMx (x=2-10%at, y=0-10 %at) alloys. In order to elaborate the Cu effect on the primary crystallization mechanism Al86Ni10-xCuxMM4(x=0-2/5) alloy were prepared. The results showed that in Al90-xNi10MMx (x=2-10 %at) alloying system variation of the misch metal from 2 to 10 atomic present results in increase in glass forming ability. The crystallization onset temperature also increases from 405 K in Al88Ni10MM2 to 630 K in... 

Tehran is the most populated area in Iran and is one of the most densely populated cities in the world where almost 40 percent of all days have been classified as unhealthy for sensitive groups. According to emission inventory of Tehran over than 85 percent of emission are due to different types of vehicles. And light duty vehicles share more than 80 percent all vehicles and are responsible for most of carbon monoxide and nitrogen oxides emitted in Tehran atmosphere. In this study real emission factor of Hybrid Synergy vehicles which just have been introduced to Tehran fleet were tested under real conditions of streets. Data produced in this research have been combined with previous... 

XY Model due to topological defects (or vortex) has topological phase transition. According Kosterlitz-Thouless (KT) theory, phase transition is from low-temperature bounded vortices to high-temperature free vortices. XY model is appropriate choice for description of superfluidity in 2d thin films of . KT theory predicts universal jump in mass density of 2d superfluid in phase transition point. It is confirmed experimentally by Bishop and Reppy. All critical behavior of XY model is described with 2d coulomb gas, vortices are topological charges of the gas. KT predict variance of topological charge should obey of the “surface law vs perimeter law”, similar to behavior of Wilson loop in ... 

One of the important issues in the philosophy of mind is the challange about the content of mental states, how the mind can refer to the world. To explain this special relationship that is not observed in the physical world, various mental models have been implemented, one of which is the connectionism model. Connectionist networks are based on the idea of biological neural networks, and the main concern of connectionism is modeling the brain and implementing human mind characteristics. The connectionist model was proposed by emphasizing the necessity of linking symbols with their original content and meaning. In this model, data representation is done in a holistic way and based on network...