Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

水力自动翻板闸门的瞬心轨迹及其对稳定性的影响

分析了连杆滚轮式水力自动翻板闸门的运动轨迹，并由此得出闸门动、静坐标系间的转换关系．结合翻板闸门的运转机理，探讨了闸门在运行过程中的瞬心轨迹线及其对闸门稳定性的影响．结果表明，通过优化闸门结构可调整“瞬心”的位置，保证闸门运转的稳定性．     

复合功能原理方案特征建模及其求解过程研究

研制了驱动、传动和分离等典型功能原理方案解的知识库，建立了复合功能产品原理解的特征模型，提出了复合功能原理求解的通用进`生平注解和接口匹配并行的策略，进而提出原理解接口特征的嵌套结构及其匹配进程，开发了一个复合功能产品原理方案求解的计算机支持平台，进行了实例验证。     

Trade-offs between gaze and working memory use.

Eye movements during natural tasks suggest that observers do not use working memory to capacity but instead use eye movements to acquire relevant information immediately before needed. Results here however, show that this strategy is sensitive to memory load and to observers' expectations about what information will be relevant. Depending upon the predictability of what object features would be needed in a brick sorting task, subjects spontaneously modulated the order in which they sampled and stored visual information using working memory more when the task was predictable and reverting to a just-in-time strategy when the task was unpredictable and the memory load was higher. This self organization was evidenced by subjects' sequence of eye movements and also their sorting decisions following missed feature changes. These results reveal that attentional selection, fixations, and use of working memory reflect a dynamic optimization with respect to a set of constraints, such as task predictablity and memory load. They also reveal that change blindness depends critically on the local task context, by virtue of its influence on the information selected for storage in working memory. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Generation and context memory.

Generation enhances memory for occurrence but may not enhance other aspects of memory. The present study further delineates the negative generation effect in context memory reported in N. W. Mulligan (2004). First, the negative generation effect occurred for perceptual attributes of the target item (its color and font) but not for extratarget aspects of context (location and background color). Second, nonvisual generation tasks with either semantic or nonsemantic generation rules (antonym and rhyme generation, respectively) produced the same pattern of results. In contrast, a visual (or data-driven) generation task (letter transposition) did not disrupt context memory for color. Third, generating nonwords produced no effect on item memory but persisted in producing a negative effect on context memory for target attributes, implying that (a) the negative generation effect in context memory is not mediated by semantic encoding, and (b) the negative effect on context memory can be dissociated from the positive effect on item memory. The results are interpreted in terms of the processing account of generation. The original, perceptual-conceptual version of this account is too narrow, but a modified processing account, based on a more generic visual versus nonvisual processing distinction, accommodates the results. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A hierarchical model for structure learning based on the physiological characteristics of neurons

Almost all applications of Artificial Neural Networks (ANNs) depend mainly on their memory ability. The characteristics of typical ANN models are fixed connections, with evolved weights, globalized representations, and globalized optimizations, all based on a mathematical approach. This makes those models to be deficient in robustness, efficiency of learning, capacity, anti-jamming between training sets, and correlativity of samples, etc. In this paper, we attempt to address these problems by adopting the characteristics of biological neurons in morphology and signal processing. A hierarchical neural network was designed and realized to implement structure learning and representations based on connected structures. The basic characteristics of this model are localized and random connections, field limitations of neuron fan-in and fan-out, dynamic behavior of neurons, and samples represented through different sub-circuits of neurons specialized into different response patterns. At the end of this paper, some important aspects of error correction, capacity, learning efficiency, and soundness of structural representation are analyzed theoretically. This paper has demonstrated the feasibility and advantages of structure learning and representation. This model can serve as a fundamental element of cognitive systems such as perception and associative memory.     

微波干燥原理及其应用

介绍了微波干燥的原理和主要特点及其应用的现状,并且给出了微波干燥经济核算的计算方法。     

A Multinomial Model of Event-Based Prospective Memory.

Prospective memory is remembering to perform an action in the future. The authors introduce the 1st formal model of event-based prospective memory, namely, a multinomial model that includes 2 separate parameters related to prospective memory processes. The 1st measures preparatory attentional processes, and the 2nd measures retrospective memory processes. The model was validated in 4 experiments. Manipulations of instructions to place importance on either the prospective memory task or the background task (Experiments 1 and 2) and manipulations of distinctiveness of prospective memory targets (Experiment 2) had expected effects on model parameters, as did a manipulation of the difficulty of prospective memory target encoding (Experiments 3 and 4). An alternative model was also evaluated. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

静态电子轨道衡组成部分解析及其合理选择

阐述静态电子轨道衡诸多优点;工作原理、允许误差及误差分配;轨道衡的结构组成部分、解析各部分的工作特性及技术指标要求;合理选配及推荐实例.     

Symbolic control of visual attention: The role of working memory and attentional control settings.

This study examined how 1 symbol is selected to control the allocation of attention when several symbols appear in the visual field. In Experiments 1-3, the critical target feature was color, and it was found that uninformative central arrows that matched the color of the target were selected and produced unintentional shifts of attention (i.e., involuntary, initiated slowly, producing long-lasting facilitatory effects). Experiment 4 tested whether such selection is the result of an attentional filter or of a competition bias due to a match of incoming information against integrated object representations stored in working memory. Here, the critical feature was shape and color was irrelevant, but matching color arrows were still selected. Thus, features of objects in working memory will bias the selection of symbols in the visual field, and such selected symbols are capable of producing unintentional shifts of attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved)