Sharif Digital Repository

In this paper, the Becchi-Rouet-Stora-Tyutin (BRST) symmetry transformation is presented for the noncommutative U(N) gauge theory. The nilpotency of the charge associated with this symmetry is then proved. As a consequence of the spacelike noncommutativity parameter, the Hubert space of physical states is determined by the cohomology space of the BRST operator as in the commutative case. Further, the unitarity of the S-matrix elements projected onto the subspace of the physical states is deduced. © 2003 The American Physical Society  

In this paper, the Becchi-Rouet-Stora-Tyutin (BRST) symmetry transformation is presented for the noncommutative [Formula Presented] gauge theory. The nilpotency of the charge associated with this symmetry is then proved. As a consequence of the spacelike noncommutativity parameter, the Hilbert space of physical states is determined by the cohomology space of the BRST operator as in the commutative case. Further, the unitarity of the S-matrix elements projected onto the subspace of the physical states is deduced. © 2003 The American Physical Society  

The aim of this study was to determine the workspace of surgeon's body for designing more efficient surgical robots in the operation rooms. Five wearable inertial sensors were placed near the wrist and elbow joints and also on the thorax of surgeons to track the orientation of upper limb. Assuming that the lengths of five segments of an upper limb were known, measurements of the inertial sensors were used to determine the position of the wrist and elbow joints via an established kinematic model. subsequently, to assess the workspace of surgeon upper body, raw data were collected in the arthroscopy and laparoscopy operations. Experimental results demonstrated that the workspaces of surgeon's... 

When properties of the displacing fluid are considered, the rising profile of the penetrating fluid in a capillary tube deviates from its classical Lucas-Washburn profile. Also, shape of capillary tube can affect the rising profile in different aspects. In this article, effect of capillary tube's shape on the vertical capillary motion in presence of gravity is investigated by considering the properties of the displacing fluid. According to the fact that the differential equation of the capillary rising for a non-simple wall type is very difficult to solve analytically, a finite element simulation model is used for this study. After validation of the simulation model with an experiment that... 

A novel method based on EEG nonlinear analysis and analysis of steady-state visual evoked potentials (SSVEPs) has been processed. The EEG phase space is reconstructed, and some new geometrical features are extracted. Statistical analysis is carried out based on ANOVA, and most significant features are selected and then fed into a multi-class support vector machine (MSVM). Both offline and online phases are considered to fully address SSVEP detection. In the offline mode, the whole design evaluation, feature selection, and classifier training are performed. In the online scenario, the proposed method is evaluated and the detection rate is reported for both phases. Subject-dependent and... 

The vapor extraction process (or VAPEX) uses vaporized solvents injected into a horizontal well to form a vapor chamber within the reservoir. Vapor dissolves in the oil and enhances the oil production by decreasing the oil viscosity in heavy oil reservoirs. To evaluate the process we conduct a simulation study on an Iranian heavy oil reservoir called Kuh-e-Mond. In addition, a semi-analytical investigation of the VAPEX process has been performed. The idea is to perform VAPEX simulation for a laboratory model and find a methodology to compare the results of the simulator with the semi-analytical Butler's model. In particular, a semi-analytical dimensionless correlation for production rate... 

The vapor extraction process (or VAPEX) uses vaporized solvents injected into a horizontal well to form a vapor chamber within the reservoir. Vapor dissolves in the oil and enhances the oil production by decreasing the oil viscosity in heavy oil reservoirs. To evaluate the process we conduct a simulation study on an Iranian heavy oil reservoir called Kuh-e-Mond. In addition, a semi-analytical investigation of the VAPEX process has been performed. The idea is to perform VAPEX simulation for a laboratory model and find a methodology to compare the results of the simulator with the semi-analytical Butler's model. In particular, a semi-analytical dimensionless correlation for production rate... 

(GraphPresented) The quantum optimal control theory in conjunction with time dependent density functional theory is used to optimize the laser pulse shape for dissociation of nitrogen molecule. For several initial peak intensities and frequency ranges, the optimum shapes are produced and compared to determine the most efficient pulse. Ehrenfest molecular dynamics model is also used to test the dissociation process. The corresponding snapshots of density and time dependent electron localization function are presented. It is noticed that when the frequency ranges of laser pulses are doubled, it leads to 60% faster dissociation of N2 molecule  

The fragmentation dynamics of CH4 and H2CO molecules have been studied with ultra-short pulses at laser intensityof up to 1015Wcm-2. Three dimensional molecular dynamics calculations for finding the optimized laser pulses are presented based on time-dependent density functional theory and quantum optimal control theory. A comparison of the results for orientation dependence in the ionization process shows that the electron distribution for CH4 is more isotropic than H2CO molecule. Total conversion yields of up to 70% at an orientation angle of 30o for CH4 and 65% at 900 for H2CO are achieved which lead to enhancement of dissociation probability  

Security measurement models (SMMs) and quantitative security metrics (QSMs) are crucial pillars of systematic security measurement. How to design the enhanced SMMs and effective QSMs has been seriously considered in recent years. However, to the best of our knowledge, a desirable SMM has not yet been provided to measure the security effectiveness of a national-level network (NLN) due to its specific attributes. NLN has three main attributes, including plurality and diversity of network components, continuous changes, and simultaneous functionalities. These attributes cause three major challenges to designing a desirable SMM for NLN, including complexity, dynamic measurement, and... 

Security measurement models (SMMs) and their corresponding derived metrics form the main pillars of a systematic security measurement. Providing a desirable SMM is very challenging and has been investigated over the past two decades, so that numerous SMMs have been proposed and several surveys on SMMs have been performed. However, to the best of our knowledge, neither a systematic taxonomy nor a comprehensive comparison has yet been proposed for SMMs. This paper focuses on the comprehensive comparison of SMMs relying on a feature-based approach. The plurality and diversity of the compared SMMs enable us to deduce all the open issues. © 2021 Taylor & Francis Group, LLC  

Security measurement models (SMMs) and their corresponding derived metrics form the main pillars of a systematic security measurement. Providing a desirable SMM is very challenging and has been investigated over the past two decades, so that numerous SMMs have been proposed and several surveys on SMMs have been performed. However, to the best of our knowledge, neither a systematic taxonomy nor a comprehensive comparison has yet been proposed for SMMs. This paper focuses on the comprehensive comparison of SMMs relying on a feature-based approach. The plurality and diversity of the compared SMMs enable us to deduce all the open issues. © 2021 Taylor & Francis Group, LLC  

Sparse recovery in the context of the inverse problem has become an enormously popular technique in reconstructing various degraded images in various applications. One of the well-known techniques in modularizing these particular inverse problems is the Plug and Play Half-Quadratic-Splitting (PnP-HQS). This method has been demonstrated to achieve good results in the literature; however, it is still too plain to be fully exploited for reconstruction. In this regard, we introduce an augmented version of this technique dubbed “PnP-AugHQS” to efficiently utilize its capabilities in image reconstruction. We provide a comprehensive convergence analysis of the proposed algorithm to ensure its... 

Multi-sensor tracking is widely used for augmentation of tracking accuracy using data fusion. A basic requirement for such applications is the real time temporal synchronization and spatial registration of two sensory data. In this study a new method for time and space coordination of two tracking sensor measurements has been presented. For spatial registration we used a body coordinate system and then applied the effect of the level arm. The time synchronization was done based on least mean square (LMS) error method. This method was implemented to synchronize the position and orientation of an object using Inertial (1IMU) and Optical (Optotrak) tracking systems. The results of synchronized... 

The fusion of the optical and inertial tracking systems seems an attractive solution to solve the shadowing problem of the optical tracking systems, and remove the time integration troubles of the inertial sensors. We developed a fusion algorithm for this purpose, based on the Kalman filter, and examined its efficacy to improve the position and orientation data, obtained by each individual system. Experimental results indicated that the proposed fusion algorithm could effectively estimate the 2 seconds missing data of the optical tracker  

Steady State Visual Evoked Potential (SSVEP) based Brain Computer Interfaces (BCI) can be great assistance for people suffering from physical disabilities due to their high accuracy, high speed, an acceptable number of possible targets, etc. Many researchers have managed to design such systems. Most of these BCIs utilize methods for frequency detection which cause the system to need a training phase for each new user, making the system a user-based one. That is why our goal was to design a BCI that not only has accuracy and speed comparable to similar systems, but also does not need any training phase and thus can be used by new users right away. Our final design got a mean accuracy of...