Sharif Digital Repository

Assembly line is the most well-known mass production system which was first used by Henry Ford in automobile industries. Malfunction of a station will have an impact on the whole assembly line. Having a great impact on the performance of the whole assembly line, Interaction of the stations on each other should be considered precisely. In this paper we will use discrete event simulation to improve performance of a station and the whole assembly line by smoothing the exit rate, which is the entrance rate to the next station. At the end of this article, the results for a case problem are illustrated and several conclusions are driven. © 2007 IEEE  

In this research, a novel cooling system based on the combined use of a microchannel heat sink and pulsating heat pipes has been introduced. The pulsating heat pipe is considered a part of the microchannel heat sink structure, and it is the first time that these two systems have been studied simultaneously. Pulsating heat pipe has been modeled in a three-dimensional form in the wall of the microchannel heat sink, and the two-phase volume of fluid (VOF) model was used for numerical modeling. The effect of the physical and geometrical parameters of the pulsating heat pipe, such as the filling ratio and the number of loops, on the thermal performance of the microchannel heat sink has been... 

Background: Systemic sclerosis (SSc), a multi-organ disorder, is characterized by vascular abnormalities, dysregulation of the immune system, and fibrosis. The mechanisms underlying tissue pathology in SSc have not been entirely understood. This study intended to investigate the common and tissue-specific pathways involved in different tissues of SSc patients. Methods: An integrative gene expression analysis of ten independent microarray datasets of three tissues was conducted to identify differentially expressed genes (DEGs). DEGs were mapped to the search tool for retrieval of interacting genes (STRING) to acquire protein-protein interaction (PPI) networks. Then, functional clusters in PPI... 

The basic goal of this article is to present an abstract system-theoretic approach to morphological filtering and the theory of translation invariant systems which is mainly based on residuated semigroups. Some new results as well as a number of basic questions are also introduced  

In a previous paper we introduced a generalized model for translation invariant (TI) operators. In this model we considered the space, φ of all maps from an abelian group G to ω U {-∞}, called LG-fuzzy sets, where ω is a complete lattice-ordered group; and we defined TI operators on this space. Also, in that paper, we proved strong reconstruction theorem to show the consistency of this model. This theorem states that for an order-preserving TI operator Y one can explicitly compute Y(A), for any A, from a specific subset of φ called the base of Y. In this paper duality is considered in the same general framework, and in this regard, continuous TI operators are studied. This kind of operators... 

We consider translation invariant (TI) operators on Φ, the set of maps from an abelian group G to Ω ∪ {−∞} , called LG-fuzzy sets, where 0 is a complete lattice ordered group. By defining Minkowski and morphological operations on Φ and considering order preserving operators, we prove a reconstruction theorem. This theorem, which is called the Strong Reconstruction Theorem (SRT), is similar to the Convolution Theorem in the theory of linear and shift invariant systems and states that for an order preserving TI operator Y one can explicitly compute Y ( A ), for any A , from a specific subset of Φ called the base of Y . The introduced framework is a general model for the theory of translation... 

The main goal of this paper is to verify classical properties of morphological operators within the general model of translation invariant (TI) systems. In this model, TI operators are defined on the space of LG-fuzzy sets Φ i.e. Φ = {A: G → Ω ∪ {− ∞}} in which G is an abelian group and Ω is a complete lattice ordered group. A TI operator Y is an operator on Φ which is invariant under translation on G and Ω as groups. We consider the generalization of Minkowski addition (D on Φ and we emphasize that (Φ,⊛) is an involutive residuated topological monoid. We verify all properties of traditional (set-theoretic) morphological operators as well as classical representations (Matheron, 1967) for... 

Let G be a simple undirected uniquely vertex k-colorable graph, or a k-UCG for short. M. Truszczyński [Some results on uniquely colorable graphs, in Finite and Infinite Sets, North-Holland, Amsterdam, 1984, pp. 733--748] introduced $e^{^{*}}(G)=|V(G)|(k-1)-{k \choose 2}$ as the minimum number of edges for a k-UCG and S. J. Xu [J. Combin. Theory Ser. B, 50 (1990), pp. 319--320] conjectured that any minimal k-UCG contains a Kk as a subgraph. In this paper, first we introduce a technique called forcing. Then by applying this technique in conjunction with a feedback structure we construct a k-UCG with clique number k-t, for each $t \geq 1$ and each k, when k is large enough. This also... 

In this paper, we derive some necessary spectral conditions for the existence of graph homomorphisms in which we also consider some parameters related to the corresponding eigenspaces such as nodal domains. In this approach, we consider the combinatorial Laplacian and co-Laplacian as well as the adjacency matrix. Also, we present some applications in graph decompositions where we prove a general version of Fisher’s inequality for G-designs  

Let d(σ)d(σ) stand for the defining number of the colouring σσ. In this paper we consider View the MathML sourcedmin=minγd(γ) and View the MathML sourcedmax=maxγd(γ) for the onto χχ-colourings γγ of the circular complete graph Kn,dKn,d. In this regard we obtain a lower bound for dmin(Kn,d)dmin(Kn,d) and we also prove that this parameter is asymptotically equal to χ-1χ-1. Also, we show that when χ⩾4χ⩾4 and s≠0s≠0 then dmax(Kχd-s,d)=χ+2s-3dmax(Kχd-s,d)=χ+2s-3, and, moreover, we prove an inequality relating this parameter to the circular chromatic number for any graph G  

Consider the parameter Λ(G) = |E(G)| - |V(G)|(k - 1) + (k2) for a k-chromatic graph G, on the set of vertices V(G) and with the set of edges E(G). It is known that Λ(G)≥0 for any k-chromatic uniquely vertex-colourable graph G (k-UCG), and, S.J. Xu has conjectured that for any k-UCG, G, Λ(G) = 0 implies that cl(G) = k; in which cl(G) is the clique number of G. In this paper, first, we introduce the concept of the core of a k-UCG as an induced subgraph without any colour-class of size one, and without any vertex of degree k - 1. Considering (k, n)-cores as k-UCGs on n vertices, we show that edge-minimal (k, 2k)-cores do not exist when k ≥ 3, which shows that for any edge-minimal k-UCG on 2k... 

In this paper we introduce some general necessary conditions for the existence of graph homomorphisms, which hold in both directed and undirected cases. Our method is a combination of Diaconis and Saloff–Coste comparison technique for Markov chains and a generalization of Haemers interlacing theorem. As some applications, we obtain a necessary condition for the spanning subgraph problem, which also provides a generalization of a theorem of Mohar (1992) as a necessary condition for Hamiltonicity. In particular, in the case that the range is a Cayley graph or an edge-transitive graph, we obtain theorems with a corollary about the existence of homomorphisms to cycles. This, specially, provides...