The effects of recent practice on task switching.

Four experiments investigated the effect of recent selective practice on the cost of switching between 2 tasks afforded by letter-digit pairs: alphabet arithmetic and shape comparison. Experiments 1 and 2 found a greater cost associated with switching to the more recently practiced task: evidence that task-set inertia contributes to switching costs. Experiment 3 found this effect to be limited to trials on which a recently trained stimulus followed another such stimulus: a result problematic for all current theories of task-set priming. Experiment 4 showed that the effect of recent practice was eliminated by active preparation for a task switch: It appears that endogenous task-set preparation reduces the effects of task-set inertia. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

万家寨大坝外部变形控制网综述

结合万家寨水利枢纽大坝外部变形控制网测量项目 ,从控制网的布设、标点建造、观测、数据处理及成果分析等方面进行了介绍。实际观测结果说明 ,该控制网能够准确反映大坝运行状态 ,满足工程安全运行需要     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

WCDMA系统中SPT数字滤波器的一种设计方法

相对于传统的数字滤波器实现方法,符号的2次幂和(SPT)滤波器用移位寄存器替代乘法器,因而资源消耗少、速度快,更加适于专用集成电路(ASIC)设计.介绍了一种适用于宽带码分多址(WCDMA)前向信道中给定基带成形滤波器单位脉冲响应后设计SPT滤波器的方法.相对于传统的理想SPT系数优化方法,此方法更适于给定单位脉冲响应后SPT滤波器的设计,计算复杂度低;仿真结果显示,相对于更加简单的四舍五入方法,此算法在性能上又有可观的增益.     

A three‐dimensional model describing stress‐temperature induced solid phase transformations: solution algorithm and boundary value problems

An always increasing knowledge on material properties as well as a progressively more sophisticated production technology make shape memory alloys (SMA) extremely interesting for the industrial world. At the same time, SMA devices are typically characterized by complex multi‐axial stress states as well as non‐homogeneous and non‐isothermal conditions both in space and time. This aspect suggests the finite element method as a useful tool to help and improve application design and realization. With this aim, we focus on a three‐dimensional macroscopic thermo‐mechanical model able to reproduce the most significant SMA features (Int. J. Numer. Methods Eng. 2002; 55 : 1255–1264), proposing a simple modification of such a model. However, the suggested modification allows the development of a time‐discrete solution algorithm, which is more effective and robust than the one previously discussed in the literature. We verify the computational tool ability to simulate realistic mechanical boundary value problems with prescribed temperature dependence, studying three SMA applications: a spring actuator, a self‐expanding stent, a coupling device for vacuum tightness. The effectiveness of the model to solve thermo‐mechanical coupled problems will be discussed in a forthcoming work. Copyright © 2004 John Wiley & Sons, Ltd.     

盐井水平对接钻井技术

钻一口通过主采盐层的水平井与已完成的直井对接，形成连通井(形如“U”字)，一口井注水溶解盐／芒硝矿，另一口井采出卤水，这是盐化工业对钻井提出的要求。针对水平对接盐井井身轨迹设计、着陆段、水平段的轨迹控制和连通技术，介绍了水平段侧钻时的钻井液技术。     

硬质合金长条薄片弯曲变形的控制

从毛坯厚度差、装舟方式、冷却速度、舟皿涂料等方面分析了YG8和J12硬质合金长条薄片的弯曲变形原因,提出了几种抑制弯曲变形的措施。     

用保形样条方法求解非定常对流扩散方程

在欧拉-拉格朗日分裂方法的基础上,本文发展了一种固定网格上的欧拉-拉格朗日分裂方法.保形样条方法(SPSM)被用来解决倒特征线插值问题.通过求解几个有精确解的例子,说明SPSM方法的解是单调无振荡的,并且数值耗散也是比较小的.     

A CONSTITUTIVE MODEL FOR ELASTIC-PLASTIC DEFORMATION UNDER CYCLIC MULTIAXIAL STRAINING

Abstract— The yield criterion is interpreted as defining the metric of the stress space. Hydrostatic stresses correspond to null geodesies. The plastic strain increment represents a normal projection of the increment undergone by a certain scalar function (hardening function) which depends only on the distance between stress points. This establishes a flow rule formally equivalent to the Prandtl-Reuss equations. Consideration of un-loading processes leads to the analysis of equivalent paths and to the definition of a generalized length or separation which provides a new representation of kinematic hardening.