Sharif Digital Repository

Nowadays web services composition that presents capabilities in response to customers' complex requirements has a special importance in real businesses. However, service choreography as a form of service composition, still faces many challenges. One of the most important challenges of the choreography domain is how to validate the model based on the corresponding requirements. To this end, in this paper processes choreographies are modeled using the interaction view of BPMN 2.0 standard. Then, goal modeling is suggested to extract the requirements. For each requirement all possible valid scenarios are considered and finally using Savara tool, the requirements' scenarios are modeled and the... 

Static malware detection approaches are time-consuming and cannot deal with code obfuscation techniques. Dynamic malware detection approaches, on the other hand, address these two challenges, however, suffer from behavioral ambiguity, such as the system calls obfuscation. In this paper, we introduce Markhor, a dynamic and behavior-based malware detection approach. Markhor uses system call data dependency and system call control dependency sequences to create a weighted list of malicious patterns. The list is then used to determine the malicious processes. Next, the similarity of a file system call sequences to a malicious pattern is extracted based on a fuzzy algorithm and the file nature is... 

Static malware detection approaches are time-consuming and cannot deal with code obfuscation techniques. Dynamic malware detection approaches, on the other hand, address these two challenges, however, suffer from behavioral ambiguity, such as the system calls obfuscation. In this paper, we introduce Markhor, a dynamic and behavior-based malware detection approach. Markhor uses system call data dependency and system call control dependency sequences to create a weighted list of malicious patterns. The list is then used to determine the malicious processes. Next, the similarity of a file system call sequences to a malicious pattern is extracted based on a fuzzy algorithm and the file nature is... 

We consider the stochastic queue core problem on a tree network. Our aim is to find an optimal path on a tree network subject to the average travel time of particles moving along the tree for service given by a server traversing along the optimal path. We assume that particles originating at a node on a tree network request their demands for service randomly and the server is modeled first by an M/M/1 and then by an M/G/1 queue using the FIFO discipline. We consider that all paths along which the particles travel are modeled with an M/G/c/c state-dependent queue with the particles being independent of each other having demands according to the Poisson distribution. Two algorithms are... 

We consider the stochastic queue core problem on a tree network. Our aim is to find an optimal path on a tree network subject to the average travel time of particles moving along the tree for service given by a server traversing along the optimal path. We assume that particles originating at a node on a tree network request their demands for service randomly and the server is modeled first by an M/M/1 and then by an M/G/1 queue using the FIFO discipline. We consider that all paths along which the particles travel are modeled with an M/G/c/c state-dependent queue with the particles being independent of each other having demands according to the Poisson distribution. Two algorithms are... 

In an electronic warfare environment, an electronic support system receives signals emitted by different radars. One of the key tasks in an electronic support system is PRI estimation tracking Pulse Trains using Pulse Repetition Interval (PRI) of these signals. In this paper we present a simple method for PRI estimation and tracking radar pulse trains with complex PRI Modulations. This method uses nonlinear least square, Pisarenko and innovative methods for PRI estimation and tracking pulse train. Simulation results show high robustness of the proposed method against noise (spurious and missing pulses)  

Good knowledge of fracture parameters and cracking behavior of self-compacting concrete (SCC) from early ages until the SCC becomes mature plays an important role in design of SCC structure and also in evaluation of durability and consequently prevention of damage. In this paper, variation of fracture parameters and corresponding ductility behavior of SCC at different ages (e.g. 3days, 7days, 28days and 90days) for SCC mixes with w/c ratios of 0.45 and 0.65 have been experimentally studied. To do so, three-point bending tests were carried out on 120 notched beams. Then, size effect method (SEM) and work of fracture method (WFM) were applied to interpret the results. The results of analyses... 

The paper describes an experimental research on fracture characteristics of self-compacting concrete (SCC). Three point bending tests conducted on 154 notched beams with different water to cement (w/c) ratios. The specimens were made from mixes with various w/c ratios from 0.7 to 0.35. For all mixes, common fracture parameters were determined using two different methods, the work-of-fracture method (WFM) and the size effect method (SEM). Test results showed that with decrease of w/c ratio from 0.7 to 0.35 in SCC: (a) the fracture toughness increases linearly: (b) the brittleness number is approximately doubled: (c) the effective size of the process zone cf in SEM and the characteristic... 

Today, organizations try to decline academically expenses using humans and resources in addition to rising managers and operators' satisfaction. Meantime, a very important step in the process of decision is the assignment of human resources, particularly in connection with research and development (R&D) projects in which the system is highly dependent on the capabilities of human resources. In this study, we tried all the assumptions that come true in the real world, considered a model for applied R&D projects to reduce costs and increase the efficiency of projects. Therefore, an integrated multiproject scheduling and multiskill human resource assignment model under uncertainty has developed... 

In this paper, we develop a stochastic programming model for the capacitated location-allocation problem in the heterogeneous environment where the demands are distributed according to the Bernoulli function with different probabilities. The capacitated sub-sources of facilities are also involved to satisfy customers’ demands in this work. This study aims to find optimal locations of facilities and optimal allocations of existing customers to the facilities so that the total cost of operating facilities, allocating the customers, expected servicing and outsourcing is minimized. Due to the large amount of customers with different demand probabilities, accurate estimation of the outsourcing... 

We consider a multi-facility location problem in the presence of a line barrier with the starting point of the barrier uniformly distributed. The objective is to locate n new facilities among m existing facilities minimising the summation of the weighted expected rectilinear barrier distances of the locations of new facilities and new and existing facilities. The proposed problem is designed as a mixed-integer nonlinear programming model, conveniently transformed into a mixed-integer quadratic programming model. The computational results show that the LINGO 9.0 software package is effective in solving problems with small sizes. For large problems, we propose two meta-heuristic algorithms,... 

This research aims to investigate the effect of pulsed Nd:YAG laser micro-welding on the microstructure, texture and magnetic properties of ultra-thin Fe-Co-7.15 wt% V magnetic alloy. Optical microscopy, scanning electron microscopy and electron backscattered diffraction techniques were used to study the microstructural evolutions. Also, vibrating sample magnetometry was used to characterize the magnetic properties. The results showed that the fractions of low Σ coincidence site lattice boundaries in the fusion zone are higher than those of the base metal. The welded samples experience a significant decrease in their magnetic properties. It was found that the formation of new fiber texture... 

Watermarking is a suitable approach for digital image authentication. Robustness regarding attacks that aim to remove the watermark is one of the most important challenges in watermarking, in general. Several different attacks are reported that aim to make it difficult or impossible for the real owner of the digital watermarked image to extract the watermark. Some of such common attacks are noise addition, compression, scaling, rotation, clipping, cropping, etc. In this paper we address the issue of print and scan attack by introducing a method to model the scanner and printer. Then we will simulate the print and scan attack on the digital images to evaluate its robustness. In addition, we... 

Robustness against attacks is an important requirement in image watermarking. This paper presents a robust watermarking algorithm in wavelet transform domain. Firstly, original image is decomposed into its subbands using three level wavelet transform, then, significant coefficients with the same position in HL, LH and HH subbands of the last level are extracted to make a triplet. To embed a watermark bit into a triplet, the standard deviation of triplet coefficients magnitude is set to zero for zero bit or increased for a one bit. Three constant are used to increase the standard deviations of a triplet coefficients. The value of these constants affects the robustness of algorithm and the... 

This paper presents and discusses the effect of maximum size of coarse aggregate on fracture characteristics and brittleness of self-compacting concrete (SCC). Based on an experimental program, a series of three point bending tests were carried out on 86 notched beams, as recommended by RILEM. For all mixes, the parameters were analyzed by the work-of-fracture method (WFM) and by the size effect method (SEM) and consequently a correlation between these methods was obtained which is used to calibrate cracking numerical models. Test results showed that with increase of size of coarse aggregate, (a): fracture energies of GF in WFM and Gf in SEM increase which may be explained by the change in... 

The welding behavior of the Fe-Co-7 wt% V ultra-thin foils was examined using the Nd:YAG laser welding method. Scanning electron microscopy and electron backscattered diffraction were used to investigate microstructural changes and fracture mechanism of the weld joints. Tensile test and microhardness measurement were employed in order to study the mechanical behaviors of the welds. Microstructural observations indicated that a bimodal grain size distribution is seen in the fusion zone. It was found that the fracture surfaces of the welds consist of both cleavage sites and dimples. It was also revealed that the cleavage sites are mainly located in the coarse grain zone while numerous dimples... 

Emerging technologies such as social robotics and virtual reality have found a wide application in the field of education and tutoring particularly for children with special needs. Taban is a novel social robot that has been designed and programmed specifically for educational interaction with dyslexic children, who have various problems in reading despite their normal intelligence. In this paper, the acceptability and eligibility of a virtual reality serious game with the presence of the Taban social robot avatar was studied among nineteen children six of whom were dyslexic. In this game, children perform attractive practical exercises while interacting with the Taban avatar in a virtual... 

This paper concentrates on the target localization problem in a distributed multiple-input multiple-output radar system using the bistatic range (BR) measurements. By linearizing the BR measurements and considering the relationship between the nuisance parameter and the target position, a constrained weighted least squares (CWLS) problem is formulated, which is an indefinite quadratically constrained quadratic programming problem. Since the constraint is non-convex, it is a nontrivial task to find the global solution. For this purpose, an improved Newton's method is applied to the CWLS problem to estimate the target position. Numerical simulations are included to examine the algorithm's... 

In this paper, we focus on the moving target localization problem in a multiple-input multiple-output radar with widely separated antennas. By exploiting jointly different types of information including time delay, Doppler shift and azimuth and elevation angles of arrival, we develop an algebraic closed-form two-stage weighted least squares solution for the problem. The proposed algorithm is shown analytically to attain the CramerRao lower bound accuracy under the small Gaussian noise assumption. Numerical simulations are included to examine the algorithm's performance and corroborate the theoretical developments