87,005 research outputs found
A Decidable Confluence Test for Cognitive Models in ACT-R
Computational cognitive modeling investigates human cognition by building
detailed computational models for cognitive processes. Adaptive Control of
Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a
widely employed framework to build such models. There is a sound and complete
embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis
techniques from CHR can be used to reason about computational properties of
ACT-R models. For example, confluence is the property that a program yields the
same result for the same input regardless of the rules that are applied.
In ACT-R models, there are often cognitive processes that should always yield
the same result while others e.g. implement strategies to solve a problem that
could yield different results. In this paper, a decidable confluence criterion
for ACT-R is presented. It allows to identify ACT-R rules that are not
confluent. Thereby, the modeler can check if his model has the desired
behavior.
The sound and complete translation of ACT-R to CHR from prior work is used to
come up with a suitable invariant-based confluence criterion from the CHR
literature. Proper invariants for translated ACT-R models are identified and
proven to be decidable. The presented method coincides with confluence of the
original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van
Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of
RuleML+RR 2017". Springer LNC
Probing and modelling the localized self-mixing in a GaN/AlGaN field-effect terahertz detector
In a GaN/AlGaN field-effect terahertz detector, the directional photocurrent
is mapped in the two-dimensional space of the gate voltage and the drain/source
bias. It is found that not only the magnitude, but also the polarity, of the
photocurrent can be tuned. A quasistatic self-mixing model taking into account
the localized terahertz field provides a quantitative description of the
detector characteristics. Strongly localized self-mixing is confirmed. It is
therefore important to engineer the spatial distribution of the terahertz field
and its coupling to the field-effect channel on the sub-micron scale.Comment: 12 pages, 4 figures, submitted to AP
Localization of Macroscopic Object Induced by the Factorization of Internal Adiabatic Motion
To account for the phenomenon of quantum decoherence of a macroscopic object,
such as the localization and disappearance of interference, we invoke the
adiabatic quantum entanglement between its collective states(such as that of
the center-of-mass (C.M)) and its inner states based on our recent
investigation. Under the adiabatic limit that motion of C.M dose not excite the
transition of inner states, it is shown that the wave function of the
macroscopic object can be written as an entangled state with correlation
between adiabatic inner states and quasi-classical motion configurations of the
C.M. Since the adiabatic inner states are factorized with respect to each parts
composing the macroscopic object, this adiabatic separation can induce the
quantum decoherence. This observation thus provides us with a possible solution
to the Schroedinger cat paradoxComment: Revtex4,23 pages,1figur
Electron-doped phosphorene: A potential monolayer superconductor
We predict by first-principles calculations that the electron-doped
phosphorene is a potential BCS-like superconductor. The stretching modes at the
Brillouin-zone center are remarkably softened by the electron-doping, which
results in the strong electron-phonon coupling. The superconductivity can be
introduced by a doped electron density () above
cm, and may exist over the liquid helium temperature when cm. The maximum critical temperature is predicted to be
higher than 10 K. The superconductivity of phosphorene will significantly
broaden the applications of this novel material
Quantum Thermalization With Couplings
We study the role of the system-bath coupling for the generalized canonical
thermalization [S. Popescu, et al., Nature Physics 2,754(2006) and S. Goldstein
et al., Phys. Rev. Lett. 96, 050403(2006)] that reduces almost all the pure
states of the "universe" [formed by a system S plus its surrounding heat bath
] to a canonical equilibrium state of S. We present an exactly solvable, but
universal model for this kinematic thermalization with an explicit
consideration about the energy shell deformation due to the interaction between
S and B. By calculating the state numbers of the "universe" and its subsystems
S and B in various deformed energy shells, it is found that, for the
overwhelming majority of the "universe" states (they are entangled at least),
the diagonal canonical typicality remains robust with respect to finite
interactions between S and B. Particularly, the kinematic decoherence is
utilized here to account for the vanishing of the off-diagonal elements of the
reduced density matrix of S. It is pointed out that the non-vanishing
off-diagonal elements due to the finiteness of bath and the stronger
system-bath interaction might offer more novelties of the quantum
thermalization.Comment: 4 pages, 2 figure
- …