In system-level designs, since many incremental refinements are applied to the designs, equivalence checking between each refinement should be applied. However, proving whether two concurrent designs are equivalent is a difficult task, not to mention that the concurrent design itself can be error-prone. In this paper, we propose an equivalence checking method for C-based descriptions of systeml...

conclusions this infection was observed with a diversity of clinical manifestations. therefore, diagnostic difficulty because of the various clinical presentations and the way to find undiagnosed complications should be investigated in the differential diagnosis of other diseases. results most of the patients (73.8%) were in the acute stages of brucellosis, 22.6% had sub-acute brucellosis and 3...

State space explosion is a fundamental obstacle in formal veri cation of designs and protocols. Several techniques for combating this problem have emerged in the past few years, among which two are signi cant: partialorder reductions and symbolic state space search. In asynchronous systems, interleavings of independent concurrent events are equivalent, and only a representative interleaving nee...

The question of how to construct polynomials having as many roots as allowed by the Descartes rule of signs has been the focus of interest recently 1],,2]. For a given real polynomial p(x) = a 0 + a 1 x + + a n x n ; Descartes's rule of signs says that the number of positive roots of p(x) is equal to the number of sign changes in the sequence a 0 ; a 1 ; : : : ; a n , or is less than this numbe...

In the context of nonlinear regression models, this paper outlines recent de­ velopments in design strategies when the assumed model function, initial parameter guesses, and/or error structure are not known with complete certainty. Designs obtained using these strategies are termed robust de­ signs as they are intended to be robust to specified departures. Robust designs are clearly advantageou...

background brucellosis as a zoonotic infectious disease is endemic in iran and due to the variation in clinical and laboratory findings, its diagnosis is often delayed. objectives the aim of this study was to determine clinical and laboratory aspects of the disease in khuzestan. patients and methods medical records of 81 admitted patients with a diagnosis of brucellosis were reviewed. the study...

The purpose of the article is to consider Japanese coloratives as signs national code linguoculture from point view their content-symbolic and modeling aspects significance. combination basic clarified; pictorial, expressivepsychological, aesthetic functions are revealed. It established that function orients attitude object color designation in aspect status, prestige, reverence. Thus, form a l...

In Islamic culture, dome continues its ancient representation when it becomes a clear epitome of Islamic substantial creation of the universe. Islamic signs such as center, circle and sphere which are inherently dome are immediately realized via a symbolic transfer. Although domes have unavoidable relationship with other elements signifying Iranian mosques form and function, it includes secrets...