概称句词项逻辑的树图判定算法

概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。     

The amygdalostriatal and corticostriatal effective connectivity in anticipation and evaluation of facial attractiveness

Decision-making consists of several stages of information processing, including an anticipation stage and an outcome evaluation stage. Previous studies showed that the ventral striatum (VS) is pivotal to both stages, bridging motivation and action, and it works in concert with the ventral medial prefrontal cortex (vmPFC) and the amygdala. However, evidence concerning how the VS works together with the vmPFC and the amygdala came mainly from neuropathology and animal studies; little is known about the dynamics of this network in the functioning human brain. Here we used fMRI combined with dynamic causal modeling (DCM) to investigate the information flow along amygdalostriatal and corticostriatal pathways in a facial attractiveness guessing task. Specifically, we asked participants to guess whether a blurred photo of female face was attractive and to wait for a few seconds (“anticipation stage”) until an unblurred photo of feedback face, which was either attractive or unattractive, was presented (“outcome evaluation stage”). At the anticipation stage, the bilateral amygdala and VS showed higher activation for the “attractive” than for the “unattractive” guess. At the outcome evaluation stage, the vmPFC and the bilateral VS were more activated by feedback faces whose attractiveness was congruent with the initial guess than by incongruent faces; however, this effect was only significant for attractive faces, not for unattractive ones. DCM showed that at the anticipation stage, the choice-related information entered the amygdalostriatal pathway through the amygdala and was projected to the VS. At the evaluation stage, the outcome-related information entered the corticostriatal pathway through the vmPFC. Bidirectional connectivities existed between the vmPFC and VS, with the VS-to-vmPFC connectivity weakened by unattractive faces. These findings advanced our understanding of the reward circuitry by demonstrating the pattern of information flow along the amygdalostriatal and corticostriatal pathways at different stages of decision-making.     

Dynamic orientation cues decrease the viewpoint cost of mental rotation

Mental rotation, as a covert simulation of motor rotation, could benefit from spatial updating of object representations. We are interested in what kind of visual cue could trigger spatial updating. Three experiments were conducted to examine the effect of dynamic and static orientation cues on mental rotation, using a sequential matching task with three-dimensional novel objects presented in different views. Experiment 1 showed that a rotating orientation cue with constant speed reduced viewpoint costs in mental rotation. Experiment 2 extended this effect with a varied-speed rotating orientation cue. However, no such benefit was observed with a static orientation cue in Experiment 3. These findings indicated that a visually continuous orientation cue is sufficient to elicit spatial updating in mental rotation. Furthermore, there may be differences in the underlying mechanisms of spatial updating on the basis of constant-speed rotating cues and varied-speed rotating cues.     

Characterisation of magnesium oxide and its interface with α-Mg in Mg–Al-based alloys

Magnesium oxide (MgO) films and particles have been collected by pressurised filtration of a Mg-8.6wt%Al-0.67wt%Zn (AZ91D) alloy melt. The morphology of the oxides and their interfaces with the α-Mg phase were investigated by high-resolution transmission electron microscopy. It was found that the oxide films consisted of large numbers of sub-micrometre-sized MgO particles, and that melt shearing can effectively break up the oxide films and disperse the oxide particles. For the first time, orientation relationships (ORs) of OR I: [1?1?1]_MgO～2° from (0?0?0?1)_α-Mg and (0?1?1)_MgO?//[2?1?1?0)_α-Mg; and OR II: (1?1?1)_MgO//(1?1?0?1)_α-Mg and [0?1?1]_MgO//[1?2?1?1]_α-Mg, were observed between the MgO particles and the α-Mg matrix. The calculated Bramfitt planar disregistries were 5.5% and 2.5% for the two ORs, respectively, indicating good lattice matching between MgO and α-Mg at the interface. With the evidence of grain refinement effect observed in the sheared AZ91D magnesium alloy, the possibility of MgO particles to act as potent nucleants for heterogeneous nucleation of α-Mg grains is discussed in terms of the crystallographic criterion.     

Effects of Electromyostimulation on Knee Extensors and Flexors Strength and Steadiness in Older Adults

It is known that electromyostimulation (EMS) alone or superimposed over voluntary contraction (EV) can effectively improve muscle strength. However, the effect of this type of training on the ability to control force production at submaximal levels is unknown. The authors examined the effects of EV training on steadiness in force production of knee extensors and flexors in older adults. Forty participants, including 20 men and 20 women, 60–77 years of age, were randomly allocated into a control group (CG) and an electromyostimulation superimposed over voluntary contraction (EVG) group. The EVG performed 30 bilateral isometric knee extension and flexion contractions per session, 3 training sessions per week, for 6 weeks. The variations in force production, expressed in absolute (standard deviation [SD]) and relative (coefficient of variation [CV]) terms, were assessed in isometric contractions at 5%, 15% and 25% maximal voluntary contraction (MVC) levels. Results indicated that MVC increased in knee extension and flexion in EVG (p < .05) after the training; steadiness CV also improved at 15% MVC in knee flexion (p < .05) but no significant changes were found in knee extension and steadiness SD. The training-induced changes in MVC were not correlated to steadiness CV that might indicate different mechanisms underlying these adaptations.     

Cognitive impairment and whole brain diffusion in patients with neuromyelitis optica after acute relapse

The objective of this study investigated cognitive impairments and their correlations with fractional anisotropy (FA) and mean diffusivity (MD) in patients with neuromyelitis optica (NMO) without visible lesions on conventional brain MRI during acute relapse. Twenty one patients with NMO and 21 normal control subjects received several cognitive tests to assess cognitive function. Head diffusion tensor imaging (DTI) of all patients with NMO were collected with a 3-T MR system. Correlations of cognitive test scores and whole brain FA and MD were examined by voxel-based analysis. Region-of-interest analysis was applied to the significantly correlated regions which the most frequently appeared. We found that NMO patients without visible brain lesions had significantly impaired learning and memory, decreased information processing speed, and damaged attention compared with normal control subjects. These impaired cognitive domains were significantly correlated with FA and MD in local regions of corpus callosum, anterior cingulate and medial frontal cortex. In corpus callosum of NMO patients, mean FA was significantly lower and mean MD higher than normal control subjects. Our findings suggest that cognitive impairments in learning and memory, information processing speed and attention occur in NMO patients without visible brain lesions during acute relapse. The impairments in immediate and short-term memory in NMO patients may be due to information encoding deficits in the process of information acquisition. The corpus callosum of such patients may have local microscopic damages that play a role in cognitive impairments during acute relapse.     

Effects of electromyostimulation on knee extensors and flexors strength and steadiness in older adults

It is known that electromyostimulation (EMS) alone or superimposed over voluntary contraction (EV) can effectively improve muscle strength. However, the effect of this type of training on the ability to control force production at submaximal levels is unknown. The authors examined the effects of EV training on steadiness in force production of knee extensors and flexors in older adults. Forty participants, including 20 men and 20 women, 60-77 years of age, were randomly allocated into a control group (CG) and an electromyostimulation superimposed over voluntary contraction (EVG) group. The EVG performed 30 bilateral isometric knee extension and flexion contractions per session, 3 training sessions per week, for 6 weeks. The variations in force production, expressed in absolute (standard deviation [SD]) and relative (coefficient of variation [CV]) terms, were assessed in isometric contractions at 5%, 15% and 25% maximal voluntary contraction (MVC) levels. Results indicated that MVC increased in knee extension and flexion in EVG (p < .05) after the training; steadiness CV also improved at 15% MVC in knee flexion (p < .05) but no significant changes were found in knee extension and steadiness SD. The training-induced changes in MVC were not correlated to steadiness CV that might indicate different mechanisms underlying these adaptations.     

Children’s Knowledge of Ellipsis Constructions in Mandarin Chinese

This study investigated 4-year-old children’s knowledge of the structural constraints on ellipsis constructions in Mandarin Chinese, focusing on the structural difference between verb phrase (VP) ellipsis and null object constructions. In Mandarin Chinese, if the antecedent clause of a VP-ellipsis structure contains an adverbial modifier, this adverbial modifier must be recovered at the elided site in the second clause. However, if the antecedent clause of a null object construction contains an adverbial modifier, the reconstruction of this adverbial modifier at the elided site is not necessary. Two experiments were conducted to examine whether young Mandarin-speaking children are sensitive to this structural difference between the two ellipsis constructions. The results show that children exhibited adult-like performance in both experiments. This is evidence that young Mandarin-speaking children have knowledge of the structural difference between VP-ellipsis and null object constructions with regard to adverbial recovery. We interpreted the findings in conjunction with previous research as evidence that children’s knowledge of the structural constraints on ellipsis constructions is innately specified.     

The function of wisdom dimensions in ego‐identity development among Chinese university students

This study investigates the relationship between wisdom and ego‐identity among university students in China. Using Marcia's ego‐identity statuses and Ardelt's wisdom dimensions as the theoretical and conceptual framework, the study investigates 356 university students in China. After exploratory and confirmatory factor analyses, four factors from wisdom and five factors from ego‐identity were retrieved. A structural equation model was then conducted to analyse the relationships. The findings were: (1) among wisdom dimensions, cognitive, and reflective wisdom, especially perspective‐taking best predicted achievement, (2) all three dimensions of wisdom predicted moratorium, but reflective wisdom was the most pronounced predictor, (3) all three dimensions of wisdom predicted diffusion, but resentment items from reflective wisdom were the most pronounced predictors, and (4) gender was a significant predictor of ego‐identity achievement and diffusion. These findings suggest that efforts to build reflective wisdom might contribute to healthier ego‐identity formation.