Sharif Digital Repository

Let G be a graph with v vertices. If there exists a collection of list of colors S1, S1,..., Sv on its vertices, each of size k, such that there exists a unique proper coloring for G from this list of colors, then G is called a uniquely k-list colorable graph. In this note we present a uniquely 3-list colorable, planar and K4-free Graph. It is a counterexample for a conjecture by Ch. Eslahchi, M. Ghebleh and H. Hajiabolhassan [3]  

One of the most challenging tasks in computer vision is human action recognition. The recent development of depth sensors has created new opportunities in this field of research. In this paper, a novel supervised spatio-temporal kernel descriptor (SSTKDes) is proposed from RGB-depth videos to establish a discriminative and compact feature representation of actions. To enhance the descriptive and discriminative ability of the descriptor, extracted primary kernel-based features are transformed into a new space by exploiting a supervised training strategy; i.e., large margin nearest neighbor (LMNN). The LMNN highly reduces the error of a nearest neighbor classifier by minimizing the intra-class... 

One of the most challenging tasks in computer vision is human action recognition. The recent development of depth sensors has created new opportunities in this field of research. In this paper, a novel supervised spatio-temporal kernel descriptor (SSTKDes) is proposed from RGB-depth videos to establish a discriminative and compact feature representation of actions. To enhance the descriptive and discriminative ability of the descriptor, extracted primary kernel-based features are transformed into a new space by exploiting a supervised training strategy; i.e., large margin nearest neighbor (LMNN). The LMNN highly reduces the error of a nearest neighbor classifier by minimizing the intra-class... 

This paper presents an analytical approach to estimate the speedup in a simulation-emulation cooperation environment. The speedup of this approach as compared with the speedup of a pure simulation is analyzed. Also, an analysis of the speedup is given when different types of application instructions are utilized. The analysis is based on using both Verilog and VHDL. The results show that when only the simulation part of the simulation-emulation co-operation is used, the speedup is higher, than when the pure simulation is used. The total speedup is also depended on the type of application instructions and the communication cycle time between the simulator and the emulator. © 2002 IEEE  

This paper presents a new approach to better utilize international air-corridors for formation flights. Using Particle Swarm Optimization, we show how different long-range flights can be brought together to form a formation. The idea serves both to increase international air-corridor capacities together and to decrease fuel consumption up to 8-10%. Case studies show that there are many places which such an approach could effectively be implemented to help cope with increase in fuel price as well as the demand for aerial transport of passengers and goods  

Surface modified magnetic nanoparticles (M-NPs) were synthetized and stabilized in poly (vinylalcohol) solution. The solutions with various magnetic nanoparticles contents were gammairradiated and magnetic poly (vinyl-alcohol) (M-PVA) hydrogels were synthesized. The magnetic hydrogels and also the un-irradiated magnetic poly (vinyl alcohol) nanocomposite films were characterized by scanning electron microscopy (SEM), X-ray diffraction (XRD), vibrating sample magnetometer (VSM), Fourier transform infrared spectroscopy (FTIR) and mechanical measurement. The M-NPs were uniformly dispersed in the polymer matrix due to a strong interaction between the surface-modified M-NPs and polymer matrix.... 

Magnetic polyvinyl alcohol (M-PVA) films were prepared via solution casting filled with surface modified superparamagnetic nanoparticles (M-NPs). The M-NPs were coated with citric acid during synthesis. The chemical interaction between the citric acid and M-NPs was confirmed by Fourier transform infrared spectroscopy (FTIR). The average hydrodynamic diameter of M-NPs was 19.7 nm measured by dynamic light scattering DLS and appeared almost spherical in scanning electron microscopy (SEM). The M-NPs were uniformly dispersed in polyvinyl alcohol (PVA) matrix and showed high optical transparency with good mechanical properties. M-PVA hydrogels were synthesized using gamma irradiation. The... 

In recent years, Solid-State Drives (SSDs) have gained tremendous attention in computing and storage systems due to significant performance improvement over Hard Disk Drives (HDDs). The cost per capacity of SSDs, however, prevents them from entirely replacing HDDs in such systems. One approach to effectively take advantage of SSDs is to use them as a caching layer to store performance critical data blocks in order to reduce the number of accesses to HDD-based disk subsystem. Due to characteristics of Flash-based SSDs such as limited write endurance and long latency on write operations, employing caching algorithms at the Operating System (OS) level necessitates to take such characteristics... 

Emergence of Solid-State Drives (SSDs) have evolved the data storage industry where they are rapidly replacing Hard Disk Drives (HDDs) due to their superiority in performance and power. Meanwhile, SSDs have reliability issues due to bit errors, bad blocks, and bad chips. To help reliability, Redundant Array of Independent Disks (RAID) configurations, originally proposed to increase both performance and reliability of HDDs, are also applied to SSD arrays. However, the conventional reliability models of HDD RAID cannot be intactly applied to SSD arrays, as the nature of failures in SSDs are totally different from HDDs. Previous studies on the reliability of SSD arrays are based on the... 

We propose a roll-forward error recovery technique based on multiple scan chains for TMR systems, called Scan chained TMR (ScTMR). ScTMR reuses the scan chain flip-flops employed for testability purposes to restore the correct state of a TMR system in the presence of transient or permanent errors. In the proposed ScTMR technique, we present a voter circuitry to locate the faulty module and a controller circuitry to restore the system to the fault-free state. As a case study, we have implemented the proposed ScTMR technique on an embedded processor, suited for safety-critical applications. Exhaustive fault injection experiments reveal that the proposed architecture has the error detection and... 

We investigate the potential of plasmonic resonance in metal nanocomposite materials for the design of photonic crystal all optical switches by numerical methods. We study the absorption effect of the plasmonic resonance on the Fano resonances of one dimensional photonic crystal slabs covered by a metal nanocomposite layer. It is shown that the absorption reduces the contrast of the Fano resonances. However, for adequate metal nanoparticle concentrations it is possible to achieve both sufficiently sharp Fano resonance and strong Kerr nonlinearity, which provides a suitable condition for the design of high contrast and low threshold switches  

The superprism effects of higher bands, i.e., for normal frequencies of higher than one, in two-dimensional (2D) polymer photonic crystals (PCs) are investigated. It is shown that in a polymer PC of triangular symmetry with filling factor of about 31%, the gradual transition of the hexagonal into triangular equi-frequency dispersion contours leads to a strong superprism in the 6th band at a normal frequency of 1.2. This dispersion is more prominent than those observed in the lower bands in 2D PCs. Also, this requires a lattice constant longer than the concerned wavelength. Furthermore, in a 2D polymer PC with a filling factor of about 83% a strong discontinuous superprism effect occurs at... 

Food, energy, and water (FEW) resources have high interconnection and interdependencies as each resource can be affected by the other two. Thus, the Nexus approach is introduced and implemented to manage FEW. This chapter discusses each sector of FEW: availability, production, consumption, interaction, and interconnection between them, and finally suggests some action to improve the operation of the Nexus. © Springer Nature Switzerland AG 2020  

This paper presents a method for functional verification of HDL models of digital circuits. The method is based on a co-operation between a simulator and an emulator and utilizes the advantages of both simulation-based and emulation-based verification to form a fast co-verification approach. This is done by verifying the intensive time-consuming part of the circuit in the emulator and the non-synthesizable part as well as the part of the circuit that needs intensive redesign process during the early steps of the design phase in the simulator. To demonstrate the co-verification approach, a tool was developed, which supports Verilog, VHDL, and mixed Verilog-VHDL models. Three benchmarks... 

Bi-objective optimization of a multi-product multi-period three-echelon supply-chain-network problem is aimed in this paper. The network consists of manufacturing plants, distribution centers (DCs), and customer nodes. To bring the problem closer to reality, the majority of the parameters in this network including fixed and variable costs, customer demand, available production time, set-up and production times, all are considered stochastic. The goal is to determine the quantities of the products produced by the manufacturing plants in different periods, the number and locations of the warehouses, the quantities of products transported between the supply chain entities, the inventory of... 

Bi-objective optimization of a multi-product multi-period three-echelon supply chain network consisting of manufacturing plants, distribution centers (DCs) each with uncertain services, and customer nodes is aimed in this paper. The two objectives are minimization of the total cost while maximizing the average number of products dispatched to customers. The decision variables are: (1) the number and the locations of reliable DCs in the network, (2) the optimum number of items produced by plants, (3) the optimum quantity of transported products, (4) the optimum inventory of products at DCs and plants, and (5) the optimum shortage quantity of the customer nodes. The problem is first formulated... 

In this paper, we propose a very fast and accurate analytical approach to estimate the overall SER and to identify the most vulnerable gates,flip-flops, and paths of a circuit. Using such information, designers can selectively protect the vulnerable parts resulting in lower power and area overheads that are the most important factors in embedded systems. Unlike previous approaches, the proposed approach firstly does not rely on fault injection or fault simulation; secondly it measures the SER for multi cycles of circuit operation; thirdly, the proposed approach accurately computes all three masking factors, namely, logical, electrical, and timing masking; fourthly, the effects of error... 

Niosomes are vesicles formed mostly by nonionic surfactant and cholesterol incorporation as an excipient. The drug entrapment efficiency of niosomal vesicles is particularly important and depends on many parameters. Changing the effective parameters to have maximum entrapment efficiency in the laboratory is time-consuming and costly. In this study, a machine learning framework was proposed to address these problems. In order to find the most critical parameter affecting the entrapment efficiency and its optimal value in a specific experiment, data were first extracted from articles of the last decade using keywords of niosome and thin-film hydration method. Then, deep neural network (DNN),... 

This paper presents a new fault injection approach, which is based on a co-operation between a simulator and an emulator. This hybrid approach utilizes the advantages of both simulation-based fault injection as well as physical fault injection to provide a good controllability, observability and also a high speed in the fault injection experiments. To do this, parts of a circuit are simulated while the rest pans of the circuit are emulated. A fault injection tool called FITSEC (Fault Injection Tool based on Simulation and Emulation Co-operation) is developed, which supports the entire process of a system design. This is based on both Verilog and VHDL languages and can be used to inject... 

We conducted a study to explore the potential utility of the GATE Monte Carlo (MC) code as an independent tool for dose calculation. We established a unified framework for dose calculation in pencil beam scanning (PBS) proton therapy (PT). Using GATE, we modeled the SIEMENS IONTRIS active scanned-based PT system. To verify the model, we compared depth dose profiles obtained from the MC simulation with experimental date. Additionally, we utilized the TG-119 clinical test case from AAPM to assess the accuracy of treatment planning and delivery using proton beams. The results of the MC simulation demonstrated strong agreement with measurements, revealing a 2.3% in mean point-To-point, maximum...