Sharif Digital Repository

Many classes of applications require Quality of Service (QoS) guarantees from the system interconnect. In Networks-on-Chip (NoC) QoS guarantees usually translate into bandwidth and latency constraints for the traffic flows and require hardware support in the NoC fabric and its interfaces. In this article we present a novel NoC synthesis framework to automatically build networks that meet hard latency constraints of end-to-end traffic streams without requiring specialized hardware for the network components. The hard latency constraints are met by carefully designing the NoC topology and selecting the appropriate routes for flow using lean best-effort network components. We perform... 

By examination of the exerted electromagnetic (EM) force on boundary of an object in a few examples, we look into the compatibility of the stress tensors corresponding to different formulas of the EM force density with special relativity. Ampere-Lorentz's formula of the EM force density is physically justifiable in that the electric field and the magnetic flux density act on the densities of the total charges and the total currents, unlike Minkowski's formula which completely excludes the densities of the bounded charges and the bounded currents inside homogeneous media. Abraham's formula is fanciful and devoid of physical meaning. Einstein-Laub's formula seems to include the densities of... 

Special Lagrangian sub-manifolds of Calabi-Yau (CY) 3-folds are used to describe membrane instanton solutions of N = 1, 11-dimensional super-gravity theories. Super-symmetry is the essential ingredient that relates super-gravity branes to special Lagrangian sub-manifolds [K. Becker, M. Becker and A. Strominger, Fivebranes, membranes and non-perturbative string theory, Nucl. Phys. B 456(1-2) (1995) 135-152]. In this note we would like to explain this relation, more explicitly and with more details than in the current literature  

How a proposed quantum nonlocal phenomenon could be incompatible with the requirements of special relativity is studied. To show this, the least set of assumptions about the formalism and the interpretation of non-relativistic quantum theory is considered. Then, without any reference to the collapse assumption or any other stochastic processes, an experiment is proposed, involving two quantum systems, that interacted at an arbitrary time, with results which seem to be in conflict with requirements of special relativity  

A large number of Wireless Sensor Network (WSN) security schemes have been proposed in the literature, relying primarily on symmetric key cryptography. To enable those, Random Key pre-Distribution (RKD) systems have been widely accepted. However, WSN nodes are vulnerable to physical compromise. Capturing one or more nodes operating with RKD would give the adversary keys to compromise communication of other benign nodes. Thus the challenge is to enhance resilience of WSN to node capture, while maintaining the flexibility and low-cost features of RKD. We address this problem, without any special-purpose hardware, proposing a new and simple idea: key splitting. Our scheme does not increase... 

System Identification is a key technology for the development and integration of modern engineering systems including gas turbines. These systems are highly parametric with complex dynamics and nonlinearities. Small turbojet engines are special class of gas turbines that are suitable for scientific purposes and researches in the area of stability, performance, simulation and fuel control design. The motivation behind the presented study is to improve the speed, quality and cost of engine testing and to gain insight into alternatives to traditional identification methods for gas turbines. It discusses the identification of small turbojet engine dynamics by validating the thermodynamic model... 

knowing the time of a process change would simplify the search, identification, and removal of the special causes that disturbed the process. Since, in many real world manufacturing systems, the production of goods comprises several autocorrelated stages; in this paper, the problem of the change point estimation for such processes is addressed. A first order autoregressive model (AR(1)) is used to model a multistage process observations, where a X -chart is established for monitoring its mean. A step change is assumed for the location parameter of the model. After receiving an out-of-control signal, in order to determine the stage and the sample that caused the change (hence finding the time... 

There are different ways in order to achieve higher velocity in underwater vehicles. One of these methods is using a body with special form. This paper presents a towing tank based experimental study on drag forces for different Reynolds Numbers of a special underwater model. This paper investigates drag force and drag coefficient in a different flow direction over the model. Obtained experimental results in towing tank are explained. Computational Fluid Dynamic (CFD) simulation also is performed using commercial CFD software package FLUENT 6.3.26. There is a significant decrease in drag coefficient of model moving with small diameter at upstream  

The field-emission properties of molybdenum oxide nanowires grown on a silicon substrate and its emission performance in various vacuum gaps are reported in this article. A new kind of molybdenum oxides named nanowires with nanoscale protrusions on their surfaces were grown by thermal vapor deposition with a length of ~1 μm and an average diameter of ~50 nm. The morphology, structure, composition and chemical states of the prepared nanostructures were characterized by scanning electron microscopy (SEM), high-resolution transmission electron microscopy (HRTEM), X-ray diffraction (XRD) and X-ray photoelectron spectroscopy (XPS). According to XRD, XPS, and TEM analyses, the synthesized samples... 

This review aims to propose the integrative implementation of microfluidic devices, biomaterials, and computational methods that can lead to a significant progress in tissue engineering and regenerative medicine researches. Simultaneous implementation of multiple techniques can be very helpful in addressing biological processes. Providing controllable biochemical and biomechanical cues within artificial extracellular matrix similar to in vivo conditions is crucial in tissue engineering and regenerative medicine researches. Microfluidic devices provide precise spatial and temporal control over cell microenvironment. Moreover, generation of accurate and controllable spatial and temporal... 

Abstract Software product line engineering is a method of producing a set of related products that share more commonalities than variability in a cost-effective approach. Software product lines provide systematic reuse within a product family. Extended feature models with cardinalities are widely used for managing variability and commonality in the software product line domains. In this paper, we use promotion technique in Alloy to formalize constraint based extended feature models with cardinalities and their specialization and generalization. This technique has a significant influence on applying analysis operations on feature models. To show the benefits of the promotion technique, we... 

A large number of random key pre-distribution (RKD) schemes have been proposed in the literature to secure wireless sensor network applications, relying on symmetric key cryptography. However, sensor nodes are exposed to physical compromise by adversaries, who target the symmetric keys stored at each node. With the stolen keys in their possession, the adversaries are then able to compromise communication links between benign nodes. Here, the big challenge arises: how to increase resilience of RKD schemes for wireless sensor networks to node capture, while maintaining the flexibility and low-cost features of RKD? We propose the idea of key splitting to address this problem, without the need... 

Magnetic Shape Memory Alloys (MSMAs) are a category of active materials which can be excited by magnetic field. These alloys have been used in sensor and actuator applications recently. MSMAs possess special properties such as large magnetic field-induced strains (up to %10) and high actuation frequency (about 1kHz), while ordinary shape memory alloys can't act in frequencies above 5Hz due to the time involved with heat transformation. In this paper, MSMAs are modeled by an incremental modeling approach which utilizes different secant moduli for different parts of stress-strain curve. Furthermore, stress-strain curve of MSMAs is approximated using an analytical expression. The incremental... 

We develop a replacement-repair model to study a renewing free replacement warranty (RFRW) for a class of multi-state deteriorating repairable products. Each product may experience N different working states with different hazard functions, before the warranty contract expires. Once the item enters working state j(j = 1, 2, . . . , N), it can either fail or move t any of the subsequent states. In the former case, the best rectification action, replacement or minimal repair, regarding the failure status, should be done to put the item into operation. In each working state there is a determined probability for transition to each of the subsequent working states. After a replacement the product... 

Performance of a haptic device is evaluated based on the concept of transparency which indicates the match between the impedance transmitted to the user and the target virtual impedance. Stability of a haptic device prevalently has been evaluated based on the passivity criterion. Due to conservativeness of passivity, it appears as an obstacle to improve transparency. In this paper, passivity is suggested to be replaced by the complementary stability criterion which accounts for the robust stability of the interaction in the presence of uncertain user hand dynamics In this respect, an algorithm is proposed which guarantees transparency of the haptic device in a stable manner. Assuming that...