Sharif Digital Repository

Nowadays, security evaluation of software is a substantial matter in software world. Security level of software will be determined by wealth of data and operation which it provides for us. The security level is usually evaluated by a third party, named Software Security Certification Issuance Centers. It is important for software security evaluators to perform a sound and complete evaluation, which is a complicated process considering the increasing number of emerging threats. In this paper we propose a Threatened-based Software Security Evaluation method to improve the security evaluation process of software. In this method, we focus on existing threatened entities of software which in turn... 

Precipitation of asphaltene leads to rigorous problems in petroleum industry such as: wettability alterations, relative permeability reduction, blockage of the flow with additional pressure drop in wellbore tubing, upstream process facilities and surface pipelines. Experimentally determination of the asphaltene precipitation is costly and time consuming. Therefore, searching for some other quick and accurate methods for determination of the asphaltene precipitation is inevitable. The objective of this communication is to present a reliable and predictive model namely, the least - squares support vector machine (LSSVM) to predict the asphaltene precipitation. This model has been developed and... 

Effects of sprue base size and design on flow pattern during aluminum gravity casting have been investigated by employing different sprue base sizes and using computational fluid dynamics (CFD). Calculations was carried out using SUTCAST simulation software based on solving Navier-Stokes equation and tracing the free surface using SOLA-VOF algorithm. Flow pattern was analyzed with focusing on streamlines and velocity distribution in sprue base, runner and in-gate. Increasing well size was produced a vortex flow at the bottom of sprue base which increased the surface velocity of liquid metal in runner. Using a rather big sprue well could eliminate vena contracta, but in-gate velocity was... 

Bluetooth headsets are one of the popular accessories of mobile phones because of their convenience. It is necessary to assess the impact of electromagnetic waves on the human head when a person is using a headset. In this paper different scenarios closely modeling the situations that a subject may use the headset in real life are simulated. Simulations are performed for two types of materials commonly used to manufacture the headsets, namely silicone and acetal, and for two different orientation angle of the headset on the ear. Specific Absorption Rate (SAR) and path loss values are then obtained for two different environments, the open space and inside a car. SEMCAD-X software is used as a... 

An environmentally benign, aqueous synthesis of 1,2-azidoalcohols via regioselective ring opening of their epoxides using magnetic imidazolium based dicationic room temperature ionic liquid, [pbmim](FeCl4)2, as an efficient magnetic phase transfer catalyst in water has been described. The present approach offers the advantages of clean reaction, simple methodology, short reaction time, high yield, easy purification and reusable catalyst  

Network-on-Chips are now the popular communication medium to support inter-IP communications in complex on-chip systems with tens to hundreds IP cores. Higher scalability (compared to the traditional shared bus and point-to-point interconnects), throughput, and reliability are among the most important advantages of NoCs. Moreover, NoCs can well match current CAD methodologies mainly relying on modular and reusable structures with regularity of structural pattern. However, since NoCs are resource-limited, determining how to distribute application load over limited on-chip resources (e.g. switches, buffers, virtual channels, and wires) in order to improve the metrics of interest and satisfy... 

This paper presents a new set of reliability sensitivity measures. The purpose is to identify the optimal manner in which to mitigate risk to civil infrastructure, and reduce model uncertainty in order to improve risk estimates. Three measures are presented. One identifies the infrastructure components that should be prioritized for retrofit. Another measure identifies the infrastructure that should be prioritized for more refined modeling. The third measure identifies the models that should be prioritized in research to improve models, for example by gathering new data. The developments are presented in the context of a region with 622 buildings that are subjected to seismicity from several... 

Reliability methods are employed in this paper to analyze the seismic risk to the Vancouver metropolitan region in Canada. The use of reliability methods contrasts with several contemporary approaches for risk analysis. In this paper, two analysis approaches are presented and implemented in a new computer program. One utilizes the first-order and second-order reliability methods together with a hazard combination technique. The other is a sampling-based method that repeatedly generates damage scenarios in the time period of interest. Both strategies employ the same collection of probabilistic models for seismic risk analysis. While the models are presented in the companion paper, this paper... 

Both theoretical and experimental results of an optical beam shaping system are investigated in this report. The described system is a two-stage beam shaping device including a fiber-bundle and a prism-duct. A source light is used to illuminate the fiber-bundle and the image of output beam is captured by a CCD camera. The fiber-bundle output beam shape shows a linear arrangement of circular spots lights, which are placed in a rectangular cross section of about 21.37 mm×2.44 mm. In another study, the photograph picture of the prism output beam is taken by a digital camera. The prism output beam cross section is a square shape with a dimension of about 4×4 mm2. According to the experimental... 

Application update at run-time remains a challenging issue in software engineering. There are many techniques with different evaluation metrics, resulting in different behaviours in the application being updated. In this paper, we provide an extensive review of research work on dynamic software updating. A framework for the evaluation of dynamic updating features is developed, and the articles are categorized and discussed based on the provided framework. Areas of online software maintenance requiring further research are also identified and highlighted. This information is deemed to not only assist practitioners in selecting appropriate dynamic updating techniques for their systems, but... 

A library of probabilistic models for prediction of seismic risk is presented. The models are specifically intended for use with reliability methods to compute event probabilities, such as seismic loss probabilities. Several models are presented here for the first time. In particular, new and generic models are proposed for earthquake location, regional loss, building response, building damage, and building loss. Each model is presented with an explanation of its development and a discussion of its predictions. In addition, models from the literature are " smoothed" to make them amenable to reliability analysis. The models are implemented in a new computer program that is tailored for... 

The Software Product Line (SPL) approach is a paradigm for systematic reuse of software products, and a Software Factory is a SPL aimed at the industrialization of software development. Based on the notion that a software/RE process can be developed via an engineering process (much akin to engineering other types of software), this research aims to provide a feature-based RE process factory to develop RE processes based on the characteristics of the project at hand (project situation). In our approach, the project situation is modeled as the problem domain through using the i* modeling language (resulting in a situation model). A feature model can encapsulate all the features in an SPL;... 

Object-oriented frameworks are widely used to develop new applications. They provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implementing interfaces, and calling framework operations. Unfortunately, many modern frameworks are difficult to use because of their large and complex APIs and frequently incomplete user documentation. To cope with these problems, developers often use existing framework applications as a guide. However, locating concept implementations in those sample applications is typically challenging due to code tangling and scattering. To address this challenge, we introduce the notion of... 

Test Driven Development (TDD), as a quality promotion approach, suffers from some shortages that discourage its usage. One of the most challenging shortcomings of TDD is the low level of granularity and abstraction. This may lead to production of software that is not acceptable by the end users. Additionally, exploiting of TDD is not applicable in the enterprise systems development. To overcome this defect, we have merged TDD with Model Based Testing (MBT) and suggested a framework named Model Based Test Driven Development (MBTDD). According to TDD, writing test cases comes before programming, and based on our improved method of TDD, modeling precedes writing test cases. To validate the... 

The use of Computer Science in order to categorize and store information, improve diagnostic and therapeutic procedures, patient education and the training of a skilled labor force, has taken important steps and there are constantly new developments in this area  

Nano-micro grippers are able to pick-transport-place the micro or nanometer -sized materials, such as manipulation of biological cells or DNA molecules in a liquid medium. This paper proposes a novel monolithic nano-micro gripper structure with two axis piezoresistive force sensor which its resolution is under nanoNewton. The results of the study have been obtained by the simulation of the proposed gripper structure in Matlab software. Motion of the gripper arm is produced by a voice coil actuator. The behavior of the cell has been derived using the assumptions in the literatures. Moreover, two simple PID controllers, one for control of the gripper motion and another for control of the force... 

Memristive devices have gained significant research attention lately because of their unique properties and wide application spectrum. In particular, memristor-based resistive random access memory (RRAM) offers the high density, low power, and low volatility required for next-generation nonvolatile memory. Nowadays, despite significant advances in hardware technology, in the case of massively parallel systems still new computational architectures are required. Simulation of large quantity of memristors in the crossbar structure is a known challenge encountering these barriers. Using graphic processing units (GPU) as a low-cost and high-performance computing platform is an efficient preferred... 

To determine the curvature of the exit profile in the extrusion process of non-symmetrical flat dies, the dead metal zone profile was predicted using the energy minimization method. The dead zone is a natural non-linear die for the process and it is pragmatic to use this non-linear die to estimate the value of the exit profile curvature and the required bearing length for reducing this deviation. The velocity field is calculated based on Hermite cubic spline and some additional assumptions. In non-symmetrical dies the entrance section of the deformation region is not flat. Considering this fact, axial velocity decreases with increasing the distance to die center line which is in agreement... 

A nonlinear inverse finite element method is developed for estimation of initial blank shape and strain distribution in final shape. This method often based on implicit static algorithms, causes sometimes convergence problems because of strong nonlinearities. In order to avoid the converging problems, especially in the quasi vertical walls, an appropriate initial guess is introduced. By using this initial guess, the number of iterations in the nonlinear numerical solution is decreased, solution speed is significantly increased and complicated geometries can be analyzed by this method with good accuracy. Application to a Srail part shows good agreement between commercially available finite... 

In this article, the finite element and cellular automata models are coupled to determine static recrystallization kinetics after cold deformation of low carbon steels. The deformation analysis is first performed to predict the strain, stress, and stored energy distributions within the deformed steel employing the finite element software, ABAQUS. Then, the kinetics of static recrystallization and distribution of recrystallized grain size are evaluated by means of a cellular automata model together with the stored energy calculated by the deformation analysis. To examine the predictions, the experimental results of recrystallized fractions and grain sizes after cold side-pressing of low...