Temporal Specificity of Extinction in Autoshaping.

Three experiments investigated the effects of varying the conditioned stimulus (CS) duration between training and extinction. Ring doves (Streptopelia risoria) were autoshaped on a fixed CS-unconditioned stimulus (US) interval and extinguished with CS presentations that were longer, shorter, or the same as the training duration. During a subsequent test session, the training CS duration was reintroduced. Results suggest that the cessation of responding during an extinction session is controlled by generalization of excitation between the training and extinction CSs and by the number of nonreinforced CS presentations. Transfer of extinction to the training CS is controlled by the similarity between the extinction and training CSs. Extinction learning is temporally specific. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Representing temporal knowledge in conceptual graphs

This study was motivated by some difficulties encountered by the authors when trying to express temporal knowledge using Sowa's conceptual graph (CG) approach. An overview of Sowa's approach is given and the difficulties encountered when trying to model temporal knowledge are outlined: the disparity of notations allowed by CG theory for expressing temporal information; the ambiguity and incompleteness of tense sspecification; the difficulty of harmonizing tenses and intergraph temporal relations. Various approaches suggested for representing time both in artificial intelligence and linguistics are presented, and an extension to Sowa's approach is proposed in which temporal and nontemporal knowledge are differentiated. In this model points in time are represented as well as time intervals. A semantic interpretation of verbs is provided based on an extension of Reichenbach's model of temporal markers. The authors show how their approach enables the representation of tenses as well as the aspectual properties of natural language sentences.     

HiSQL: A Front-end Query System for Historical Relational Databases

The paper describes a prototype system called HiSQL (Historical SQL) which extends the functionality of SQL in manipulating historical data, by providing functions for spatial and temporal processing. Conceptually the paper is divided into three parts: the first part deals with the design and architecture of the system; the second part introduces a case study (the defters); and the third part describes specific functions for spatial and temporal processing of serial documents. The paper concludes with a comparison between HiSQL and SQL and suggestions for further work. This revised version was published online in August 2006 with corrections to the Cover Date.     

Measurement of specimen charging in scanning electron microscopy with a kelvin probe

A vibrating Kelvin probe in form of a platinum wire loop is used to measure the surface potential U_s on electron-irradiated free-floating metal and insulator specimens as a function of electron energy E. This allows an accurate measurement of the critical electron energy E₂ for no charging. At energies below E₂, the positive charging increases with decreasing energy to U_s=2–5 eV at E=0.5 keV and switching off the collector bias of the Everhart-Thornley detector. A two-to threefold increase of U_s is observed when the bias is switched on. For E > E₂, the strong increase of a negative surface potential can be measured. Insulating films free-supported on a conductive substrate show a steep decrease to small positive and negative U_s when the film thickness becomes lower than the electron range at a critical energy E₃ > E₂. At insulating specimen the temporal decrease of charging can be measured when the electron beam is switched off.     

电工实践教学改革与实践

电工实践教学是培养大学生电类工程能力的重要环节，本文介绍我们以培养人才为中心在电工实习基地建设；实践教学内容，方法和手段等方面进行的改革与实践。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

弹丸外弹道优化设计初始点的选取

在弹丸外弹道优化设计中,需对优化设计变量赋于初始值.初始值选取得如何,对整个优化计算所耗机时、迭代点收敛到哪个极值点上等等,影响很大.该文对初始值的选取原则、选取方法等作了讨论,所得结果也可作为对弹丸主要结构参数选优的预估.     

输入——输出迭代算法中松弛因子的确定

本文利用变分的手段提示了输入—输出迭代算法中松弛因子的取值规律。     

凸轮机构基圆半径的确定方法及其分析

基圆半径的确定方法，除了用图解法和试算法外，还可用解析法和图解分析法求解。４种方法各有优缺点，设计时要根据具体情况选择。