In this paper we calculate the ground state phase diagram of a Josephson Junction ladder when screening field effects are taken into account. We study the ground state configuration as a function of the external field, the penetration depth and the anisotropy of the ladder, using different approximations to the calculation of the induced fields. A series of tongues, characterized by the vortex ...

Fermions in two-dimensions (2D) when subject to anisotropic spin-dependent hopping can potentially give rise to unusual paired states in unpolarized mixtures that can behave as non-Fermi liquids. One possibility is a fully paired state with a gap for fermion excitations in which the Cooper pairs remain uncondensed. Such a “Cooper-pair Bose-metal” phase would be expected to have a singular Bose-...

Spontaneous pattern formation by a large number of dislocations is commonly observed during the initial stages metal fatigue under cyclic straining. It was experimentally found that geometry dislocation undergoes crossover from 2D spot-scattered to 1D ladder-shaped as amplitude external shear strain increases. However, physical mechanism causes between different patterns remains unclear. In thi...

The concept of fuzzy reasoning has been extended to Petri nets and has been applied for modeling of discrete event systems [1]. However, the theory was not extended to supervisory control of discrete event systems because there is no valid translation for fuzzy Petri nets into ladder logic diagrams. Discrete event systems are time and event dependent and hence digital in nature. However, discre...

The goal of the paper is to explicate some universal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure of ...

The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure...

The objective of this study was to improve the spraying efficiency and meet the demand of modern agricultural. A new generation of electrostatic sprayer which we designed realized the goals. The automatic controlling system is successfully designed. PLC (Programmable Logic Controller) was taken as the control core of the system and LCD touch screen was employed for human-computer interaction in...

This paper outlines the method of constructing singleelectron logic circuits based on the binary decision diagram (BDD), a graphical representation of digital functions. The circuit consists of many unit devices, BDD devices, cascaded to build the tree of a BDD graph. Each BDD device corresponds to a node of the BDD graph and operates as a two-way switch for the transport of a single electron. ...

Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Prog...