Han Zhang

The starting point of the present study is the interpretation of intuitionistic linear logic in Petri nets proposed by U. Engberg and G. Winskel. We show that several categories of order algebras provide equivalent interpretations of this logic, and identify the category of the so called strongly coherent quantales arising in these interpretations. The equivalence of the interpretations is intimately related to the categorical facts that the aforementioned categories are connected with each other via adjunctions, and the compositions of the connecting functors with co-domain the category of strongly coherent quantales are dense. In particular, each quantale canonically induces a Petri net, and this association gives rise to an adjunction between the category of quantales and a category whose objects are all Petri nets.

In the human-computer interaction, electroencephalogram access for automatic emotion recognition is an effective way for robot brains to perceive human behavior. In order to improve the accuracy of the emotion recognition, a method of EEG access for emotion recognition based on a deep hybrid network was proposed in this paper. Firstly, the collected EEG was decomposed into four frequency band signals, and the multiscale sample entropy features of each frequency band were extracted. Secondly, the constructed 3D MSE feature matrices were fed into a deep hybrid network for autonomous learning. The deep hybrid network was composed of a continuous convolutional neural network and hidden Markov models. Lastly, HMMs trained with multiple observation sequences were used to replace the artificial neural network classifier in the CNN, and the emotion recognition task was completed by HMM classifiers. The proposed method was applied to the DEAP dataset for emotion recognition experiments, and the average accuracy could achieve 79.77% on arousal, 83.09% on valence, and 81.83% on dominance. Compared with the latest related methods, the accuracy was improved by 0.99% on valence and 14.58% on dominance, which verified the effectiveness of the proposed method.

The current literature in artificial intelligence and robotics awareness focused on the dark side of AIRA. Accordingly, this study sheds light on the positive effect of AIRA on employee creativity by exploring how and when hotel employees may take proactive behavior facing the threat of AI and robotics to further stimulate creativity. Based on the work adjustment theory and the locus of control theory, this study constructs a moderating multiple mediation model to explain the influence of AIRA on employee creativity, in which active learning and task crafting are used as mediating variables, and locus of control is used as moderating variable. Data collected from 264 employees in a Chinese hotel are used for empirical analysis. Results show that AIRA indirectly positively affects employee creativity via active learning and task crafting and Locus of control not only moderates the mediating effect of active learning between the relationship of AIRA and employee creativity but also moderates the mediating effect of task crafting between the relationship of AIRA and employee creativity. The theoretical and practical implications are discussed.

Polarized and unpolarized neutron scattering techniques along with x-ray diffraction have been used to study the magnetic and structural properties of a single crystal of Nd2CuO4. Long-range magnetic order of the Cu moments develops at TN=245 K, with a simple antiferromagnetic configuration of spins as found in La2NiO4, while the spin directions may be either collinear or noncollinear. Additional abrupt transitions are observed at 75 and 30 K, in which spin reorientations take place. Bragg peaks associated with the crystal structure are found at the same positions as the magnetic Bragg peaks, and indicate that a small distortion of the basic tetragonal structure has occurred above 300 K. At low temperatures the Nd moments also order antiferromagnetically, while an additional transition of a continuous nature is observed at 150 mK.

Neutron and X-ray diffraction have been used to study the magnetic and structural properties of single crystal Nd2CuO4. Long range magnetic order of the Cu moments develops at TN=245 K, with a noncollinear antiferromagnetic arrangement of spins. Additional abrupt transitions are observed at 75 K and 30 K, in which a spin reorientation takes place. Bragg peaks associated with the crystal structure are found at the same positions as the magnetic Bragg peaks, and indicate that a distortion of the basic tetragonal structure has occurred above 300 K. © 1989.