A novel parameter extraction method with rational functions is presented for the 2-πequivalent circuit model of RF CMOS spiral inductors. The final S-parameters simulated by the circuit model closely match experiment...A novel parameter extraction method with rational functions is presented for the 2-πequivalent circuit model of RF CMOS spiral inductors. The final S-parameters simulated by the circuit model closely match experimental data. The extraction strategy is straightforward and can be easily implemented as a CAD tool to model spiral inductors. The resulting circuit models will be very useful for RF circuit designers.展开更多
As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro...As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.展开更多
We calculate the lowest-order quantum-interference correction to the density of states (DOS) of weakly-disordered two-dimensional (2D) tight-binding square lattices around half filling. The impurities are assumed to b...We calculate the lowest-order quantum-interference correction to the density of states (DOS) of weakly-disordered two-dimensional (2D) tight-binding square lattices around half filling. The impurities are assumed to be randomly distributed on small fractions of the sites, and have a-strong potential yielding a unitary-limit scattering. In addition to the usual diffusive modes in the retarded-advanced channel, there appear diffusive pi modes in the retarded-retarded (or advanced-advanced) channel due to the existence of particle-hole symmetry. It is found that the pi-mode diffuson gives rise to a logarithmic suppression to the DOS near the band center, which prevails over the positive correction contributed by pi-mode cooperon. As a result, the DOS is subject to a negative total correction. This result is qualitatively different from the divergent behavior of the DOS at the band center predicted previously for disordered 2D two-sublattice models with the particle-hole symmetry.展开更多
基金Supported by the Specialized Research Fund for the Doctoral Program of Higher Education (20060286006)the FNS of CHINA(10571026)the Southeast University Fund(XJ0707273)
文摘A novel parameter extraction method with rational functions is presented for the 2-πequivalent circuit model of RF CMOS spiral inductors. The final S-parameters simulated by the circuit model closely match experimental data. The extraction strategy is straightforward and can be easily implemented as a CAD tool to model spiral inductors. The resulting circuit models will be very useful for RF circuit designers.
文摘As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.
文摘We calculate the lowest-order quantum-interference correction to the density of states (DOS) of weakly-disordered two-dimensional (2D) tight-binding square lattices around half filling. The impurities are assumed to be randomly distributed on small fractions of the sites, and have a-strong potential yielding a unitary-limit scattering. In addition to the usual diffusive modes in the retarded-advanced channel, there appear diffusive pi modes in the retarded-retarded (or advanced-advanced) channel due to the existence of particle-hole symmetry. It is found that the pi-mode diffuson gives rise to a logarithmic suppression to the DOS near the band center, which prevails over the positive correction contributed by pi-mode cooperon. As a result, the DOS is subject to a negative total correction. This result is qualitatively different from the divergent behavior of the DOS at the band center predicted previously for disordered 2D two-sublattice models with the particle-hole symmetry.
