Sharif Digital Repository

Enterprises are founded according to their business processes based on its targets. For implementing an Information System, first it is required to analyze, design and model of the processes based on a specific methodology.The methodologies of software engineering usually used to be function oriented however object oriented is usual and practical todays. Analyzing the business processes according to one of these two concepts has some problems, however merging these two concepts, makes a powerful method in analyzing and designing of a system more easily and accurately.Some software development methodologies consider these two aspects in a way, however working with them has many complexities... 

Today polyolefin definitely is one of the most applicable polymers in the world. One of these polymers is ultra-high molecular weight polyethylene. Being applicable in a number of high-tech industries such as military service, battery separators, and other areas, expands the usage of these polymers. Electrospinning is one of the molding methods in order to synthesize fiber polymers. Using this method, a great deal of polymer fibers have been prepared. It is worth noting that the device used for olefins should have temperature control and temperature increase ability. The electrospinning device with the temperature control has not been built in the country; therefore, this device has been... 

Processalgebras,acompositionalmethodofmodelingsystemsandtheirbehavioural features, have been a key instrument in the verification of systems and have strived to completely span a whole spectrum of verification solutions for diverse areas of applications. In this sense, modeling and analysis of the performance metrics in a Mobile Ad hoc Network (MANET) in contrast to other systems, face different challenges which demand different strategies. Hence, our goal here is to model and analyze the qualitative and quantitative aspects of MANETs within one especially designed compositional framework. To achieve this framework, we will first have a look at the different methods which aim to model MANETs... 

Application of composite patches in repair of damaged/aged aircraft structures is one of the most popular repairing methods in aerospace engineering and because of its advantages the use of this type of repair is increasing today. However, to use these patches in life extension of aged aircraft, the added weight to the structure should be strictly controlled. This could be best done if achieving the optimum and smart design by using optimization and structural health monitoring methods. These two concept about pre-designed of composite patch repair are investigated in this thesis. The simulation by Abaqus software and experimental results and tests will be used for this purpose. In first... 

Deployable structures have been used on small satellites since the beginning of such space programmes. Here, the design sequence for a special tensegrity structure, for use as supporting structure for deployable mesh-like antenna will be proposed. The design process is conducted to prevent structural elements from failure, and satisfy the minimum specified natural frequency. In this research, structural modeling is performed based on two external geometric parameters (overall height and diameter), and three internal geometric parameters (elements cross-section properties). The pre-stress in structural element is the last design parameter. Also, materials are pre-assigned. Internal forces of... 

In this research work, the concept of an unmanned aerial firefighting system with water thrusters has been studied. This system consists of a platform head, a waterhose and a ground pump. The concept is briefly to pump water through the hose and then fall it down on fire from the platform. This conceptual system may have many other applications. The other applications have also been addressed in the introduction section. This platform can be considered as an unmanned aerial vehicle whose lift and control forces is provided by water thrusters. The conceptual study has been carried out based on three subjects of preliminary sizing, system dynamic modeling and controller design for platform... 

In this thesis we construct a bounded translation of intuitionistic predicate logic into Basic predicate logic with restricted use of universal quantifier and without equality inspired by papers [1] and [2]  

Concept drift is a common situation in data streams where distribution which data is generated from, changes over time due to various reasons like environmental changes. This phenomenon challenges classification process strongly. Recent studies on keeping a pool of classifiers each modeling one of the concepts, have achieved promising results. Storing used classifiers in a pool enables us to exploit prior knowledge of concepts in the future occurrence of them. Most of the methods presented so far, introduce a similarity measure between current and past concepts and select the closest stored concept as current one. These methods don’t consider possible relations and dependenies between... 

In the present study, an incompressible smoothed particle hydrodynamics based on the artificial compressibility method is applied for simulating the incompressible turbulent flows. The Reynolds-averaged incompressible Navier–Stokes equations using the artificial compressibility method in the Eulerian reference frame are written in the Lagrangian reference frame to provide an appropriate incompressible SPH algorithm for the turbulent flow computations. Here, the k-L_m turbulence model, which is a simplified k-ϵ turbulence model, is used and formulated in the Lagrangian reference frame. The SPH formulation implemented here is based on an implicit dual-time stepping scheme to be capable of...