Using the exactly solvable Gross-Neveu model as theoretical laboratory, we analyse in detail the relationship between a relativistic quantum field theory at real and imaginary chemical potential. We find that one can retrieve the full information about the phase diagram of the theory from an imaginary chemical potential calculation. The prerequisite is to evaluate and analytically continue the ...

In this paper the universal structural type of entities is presented by recursive applications of two operators, i.e., operator which constructs positioned subsets of entity name universum and operator which constructs a functional set on the entity name universum. The object subtype is determined using an especial commutational diagram with the compositions of inner functions. The main integra...

The historic district is a carrier to show the urban landscape, and analysis of spatial form from human behavioral activities beneficial grasp social functional attributes space. Combining with layout Sishengci district, overall structure analyzed in terms integration, connectivity, control, depth, intelligibility by using axial lines space syntax through relationship diagram quantitative descr...

syntax graph Figure 1: DIAGEN’s model for diagram syntax Scanning creates a spatial relationship graph that captures the lexical structure of diagrams, and uses edges for representing diagram components like circles and arrows. Edges are linked to nodes that represent the attachment areas at which diagram components can be connected with each other, like the border and area This work has been p...

Despite its growing technological importance and potential, the tantalum nitride system is suprisingly still relatively unexplored. Using density functional theory and the all-electron total energy full-potential linearized augmented plane-wave method, we investigate the relative stability of a host of structural phases and their associated electronic properties. Through consideration of the ef...

Combining density-functional theory and thermodynamics we compute the phase diagram of surface structures of rutile RuO2(110) in equilibrium with water vapor in the complete range of experimentally accessible gas phase conditions. Through the formation of hydroxyl or water-like groups, already lowest concentrations of hydrogen in the gas phase are sufficient to stabilize an oxygen-rich polar ox...

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. A variety of semantics exist in the literature having tackled the aspects covered by this language. We can give as example denotational, functional and compositional semantics. To cope with the rec...