Sharif Digital Repository

This paper explores software design methodologies in the context of creating a simulator and proposes a methodology to design and implement an event-based simulator namely Sim Met. SimMet is explored in the context of the development of a complex simulator for simulating real world conditions to use in science, technology and medicine and other simulations. In this paper we interested in event-based approach to create a real world with variety range of event possibilities. The paper first discusses the role of time concept as the cornerstone of a methodical analysis and design phase. In Sim Met we use an adaptation of object-oriented methodology to meet time and event concepts in creating a... 

In this paper, we propose extended Rebeca as a tool-supported actor-based language for modeling and verifying concurrent and distributed systems. We enrich Rebeca with a formal concept of components which integrates the message-driven computational model of actor-based languages with synchronous message passing. Components are used to encapsulate a set of internal active objects which react asynchronously to messages by means of methods and which additionally interact via a synchronous message passing mechanism. Components themselves interact only via asynchronous and anonymous messages. We present our compositional verification approach and abstraction techniques, and the theory... 

A choreography specifies activities and interactions among a set of services from a global point of view. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement the choreography specification is not always possible: this problem is known as realizability. This paper presents an encoding of the Chor choreography calculus into the FSP process algebra. This encoding allows to: (i) validate and verify Chor specifications using the FSP toolbox (LTSA), (ii) generate peer protocols from its choreography specified in Chor, (iii) test for realizability of the Chor specification, and (iv) generate Java code from FSP for... 

All Rapid Prototyping and CNC material removal processes use information which is extracted from a CAD system. There are several ways to convert CAD data into usable manufacturing information. In this paper, five methods of translating CAD data into a usable manufacturing format are explained. These five methods are data translation from CAD files in STL, DXF, STEP-NC, and IGES formats as well as a platform-dependent area method of manufacturing information in a desirable format. For each method, algorithms and details about the CAD data translation into usable manufacturing and prototyping processes formats are presented. Finally, applications of each approach and its pros and cons are... 

Nowadays, software product line is an approach to reduce costs of software development, decrease time to market, and increase capabilities of reuse in designing and exploiting software development processes. Moreover, other quality attributes of the project domain should be considered to enhance quality of the product. Meanwhile, taking advantage of software product line makes developers capable of estimating development costs and time to market in a more realistic way. However, old approaches to estimate cost of development and foresee time to market are not suitable enough for software product line. In this paper, some important business parameters and a way to calculate cost and time to... 

A rapid wax injection tool of a gearbox shift fork was designed, simulated, and manufactured using rapid prototyping and rapid tooling technology to save time and cost of producing wax models used for the investment casting process. CAE simulation softwares, in particular, MoldFlow, are used to get wax injection moulding parameters such as filling parameters, temperature profiles, freeze time, speed, and pressure. The results of this research were compared with conventional wax model production methods. The criteria of such comparison were based upon parameters such as time, cost, and other related characteristics, which resulted in saving of 50% in time and 60% in cost. In this research,... 

This paper presents a closed-loop laser cladding process used in nonplanar deposition of desired metallic materials. In the proposed system, the deposited layer geometry is continuously controlled via a sliding mode controller (SMC). The controller, which uses the scanning speed as the control input, is designed based on a parametric Hammerstein model. The model is a parametric dynamic model with several unknown parameters, which are identified experimentally using the recursive least squares method. The designed SMC is robust to all model parameters' uncertainties and disturbances. The results showed that the tracking accuracy improves and the chattering effect reduces if an integrator on...