this article reviews the ancient symbolic world, shia and modernity believes in iranian’s mind which are historical link between ancient symbolic world and shie. since the late nineteenth century with the modernization, for exampel civilization, constitutional movement and palavi government, gap created in iranians mind. dispite this gap, iranians mind have symbolic characteristics and are not ...

A new approach for the automatic equivalence checking of behavioral or structural descriptions of designs with complex control is presented. The veriication tool combines symbolic simulation with a hierarchy of equivalence checking methods, including decision-diagram based techniques, with increasing accuracy in order to optimize overall veriication time without giving false negatives. The equi...

Different traditional Iranian art forms can be known as a single semantic recreation in different forms. All of them imply some shared concepts which are mix Persian and Islamic beliefs. These arts have symbolic tone the artist speaks through their using appropriate allegorical tools. In this field, Kerman carpet should an excellent manifestation symbols mysterious designs that eloquently imple...

Steadily increasing design sizes, make the verification a bottleneck in modern design flows of digital hardware and embedded software systems. Up to 75% of the overall design costs are due to the verification task. Formal methods have been proposed to accompany commonly used simulation approaches. In this paper we combine property checking and symbolic simulation to make these techniques applic...

It has been claimed that a meaningful theory of cultural evolution is not possible because human beliefs and behaviors do not follow predictable patterns. However, theoretical models of cultural transmission and observations of the development of societies suggest that patterns in cultural evolution do occur. Here, we analyze whether two sets of related cultural traits, one tested against the e...

Discretization of real-valued attributes into nominal intervals has been an important area for symbolic induction systems because many real world classiication tasks involve both symbolic and numerical attributes. Among various supervised and unsupervised discretization methods, the information gain based methods have been widely used and cited. This paper designs a new discretization method, c...

This article considers optimal foldover plans for nonregular designs. By using the indicator function, we deŽ ne words with fractional lengths. The extended word-length pattern is then used to select among nonregular foldover designs. Some general properties of foldover designs are obtained using the indicator function. We prove that the full-foldover plan that reverses the signs of all factors...