This paper presents an experimental and theoretical investigation of the causes of corrosion of stack in a cement plant. In this paper, information related to metallic stack failures are given in the form of a case study in Neka Cement Plant, Mazandaran, Iran. Heavy corrosion attacks were observed on the samples of stack. The failure can be caused by one or more modes such as overheating, stres...

A fork stack is a generalised stack which allows pushes and pops of several items at a time. We consider the problem of determining which input streams can be sorted using a single forkstack, or dually, which permutations of a fixed input stream can be produced using a single forkstack. An algorithm is given to solve the sorting problem and the minimal unsortable sequences are found. The result...

This paper is concerned with cascade fuzzy neural networks and its optimization. These networks come with sound and transparent logic characteristics by being developed with the aid of AND and OR fuzzy neurons and subsequently logic processors (LPs). We discuss main functional properties of the model and relate them to its form of cascade type of systems formed as a stack of LPs. The structure ...

In this study, a solid oxide fuel cell (SOFC) stack has been successfully fabricated and tested by using direct natural gas. The main objective of this research was to achieve optimal long-term performance of the SOFC stack without carbon deposition by using low-cost natural gas as a fuel. The stack configuration was improved by a new interconnect design and made of cost-effective raw materials...

In this paper, a new method is presented for encryption of colored images. This method is based on using stack data structure and chaos which make the image encryption algorithm more efficient and robust. In the proposed algorithm, a series of data whose range is between 0 and 3 is generated using chaotic logistic system. Then, the original image is divided into four subimages, and these four i...

A typical Iranian carbonate matrix block surrounded by an open fracture was modeled in order to understand the fracture-matrix interaction and realize how to model the interaction best. The modeling was carried out by using a fine-scaled Eclipse model in the single porosity mode (the fractures were explicitly modeled). The model was extended to a stack of 6 matrix blocks to understand block-to-...

We consider D7-branes in the gauge theory/string theory correspondence, using a probe approximation. The D7-branes have four directions embedded holomorphically in a non-compact Calabi-Yau 3-fold (which for specificity we take to be the conifold) and their remaining four directions are parallel to a stack of D3-branes transverse to the Calabi-Yau space. The dual gauge theory, which has N = 1 su...

Existing Java verifiers perform an iterative data-flow analysis to discover the unambiguous type of values stored on the stack or in registers. Our novel verification algorithm uses abstract interpretation to obtain definition/use information for each register and stack location in the program, which in turn is used to transform the program into Static Single Assignment form. In SSA, verificati...

In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap analysis is an enrichment of that for pointer analysis; the enrichment has the form of a second component being added to types of the latter system. Results of pointer analysis are proved useful via their use in the type ...