Contextual cues aid recovery from interruption: The role of associative activation.

A series of experiments introduced interruptions to the execution phase of simple Tower of London problems and found that the opportunity for preparation before the break in task reduced the time cost at resumption. Retrieval of the suspended goal was facilitated when participants were given the opportunity to encode retrieval cues during an "interruption lag" (the brief time before engaging in the interrupting task) but was impeded when these visual cues were subsequently altered following interruption. The results provide useful support for the goal-activation model (E. M. Altmann & G. J. Trafton, 2002), which assumes that context--at the points of both goal suspension and goal retrieval--is critical to efficient interruption recovery. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于串空间认证测试的DTLS协议认证性分析

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长,同时安全要求及攻击方式的多样化对网络安全协议的效率和准确性提出了更高的要求。通过对各种协议安全性分析方法进行研究,采用串空间方法对DTLS协议进行形式化建模,进而采用认证测试方法进行协议认证性证明,用简明清晰的方式验证DTLS协议的认证性,保障了数据传输的安全。     

Effect of growth-interrupted method on quality of AlGaAs/GaAs multiple quantum wells prepared by MBE

AlGaAs/GaAs multi-quantum well （MQW） was prepared by molecular beam epitaxy（MBE） with growth-interrupted heterointerface （GIH） method and continuous growth （CG） method, respectively. The microstructures Of the MQWs were characterized by double-crystal X-ray rocking curve （DCRC） and atomic force microscopy （AFM）, and the photoluminescence （PL） properties of the MQWs were also studied. The MQWs grown with GIH method show that higher order satellite peaks of Pendelloesung fiinges are observed in DCRC, the roughness of surface is much reduced in AFM, and the full width at half maximum （FWHM） of exciton line is much narrower in PL. The results indicate that the GIH method reduces the monolayer growth step density at the heterointerface due to the migration of surface atomsfor a few minutes grower interruption, and substantially improves the quality of AlGaAs/GaAs MQWs.     

Performance analysis of a non-preemptive priority queuing system subjected to a correlated Markovian interruption process

In this paper, we consider a discrete-time queuing system with head-of-line non-preemptive priority scheduling and a single server subjected to server interruptions. We model the server interruptions by a correlated Markovian on/off process with geometrically distributed on and off periods. Two classes of traffic are considered, namely high-priority and low-priority traffic. In the first part of the paper, we derive an expression for the functional equation describing the transient evolution of this priority queuing system. This functional equation is then manipulated and transformed into a mathematical tractable form. This allows us to derive the joint probability generating function (pgf) of the system contents. From this pgf, closed-form expressions for various performance measures, such as mean and variance of system contents and customer delay can be derived. Finally, we illustrate our solution technique with some numerical examples, whereby we demonstrate the negative effect of correlation in the interruption process on the performance of both classes. Some numerical results illustrating the impact of second-order characteristics of the arrival process on mean delays are also presented. The proposed approach which is purely based on pgfs is entirely analytical and enables the derivation of not only steady-state but transient performance measures, as well. The paper presents new insights into the performance analysis of discrete-time queues with service interruption and it also covers some previously published results as a special case.

Scope and purpose

In this contribution, we consider a practical queuing model, with HOL priority scheduling, two classes of traffic, and a server which is subjected to a correlated Markovian interruption process. We first derive a non-linear functional equation relating the joint pgf of the system state vector between two consecutive slots. Then we outline a solution technique to solve for this functional equation. This allows us to derive the joint pgf of the system contents of both classes, from which various performance measures related to mean system contents and customer delays are derived. We also demonstrate how the proposed approach allows for derivation of transient performance measures, as well. It should be noted that detailed coverage of the transient analysis of the system is beyond the scope of this paper.To our best knowledge, this is the first initiative that aims to explore the performance of queuing systems with priority scheduling when the shared server is subjected to service interruption. The paper also generalizes the results of Walraevens et al. (Analysis of a single-server ATM queue with priority scheduling, Computers & Operations Research 2003;30(12):1807–30) by incorporating service interruption into their original queuing model. By means of numerical results, the paper also demonstrates the effect of correlation in the service interruption process on the performance of both classes of customers. The impact of second-order characteristics of the arrival process on mean delays is also investigated.     

单片机抢占式实时多任务处理的简易实现方法

提出了一种采用软件扩展中断技术的简易实时多任务调度程序设计方法,详细介绍了1个调度程序和4个系统调用即软中断触发调用、硬中断进入调度、硬中断退出调用及陷阱调用的实现,并给出了相应的程序框图。该软中断单片机抢占式实时多任务处理方法具有核心程序短、效率高、使用简单等优点,适合于单片机级的应用。     

配电网超高速故障隔离与供电恢复技术方案的研究与实施

针对目前国内常规配电自动化技术方案存在的故障隔离与供电恢复完全依赖主站、故障隔离与供电恢复时间较长、可靠性较差、任一点故障都有可能导致同一供电区全部停电从而导致供电公司和电力用户蒙受不应有损失等问题,提出了一种配电网超高速故障隔离与供电恢复的技术方案,不仅彻底解决了这些问题,而且能够自动屏蔽那些发生故障的FTU,使故障隔离区在当时条件下达到最小,既可与传统配调中心配合构成常规的配电网自动化系统,也可独立实现超高速故障隔离与恢复供电。此外,还介绍了该技术方案的原理并举例分析了各种情况下的故障隔离与供电恢复过程。经实验室测试、实际工程实施和运行实践证明,该方案能够满足超高速故障隔离与供电恢复的要求,技术先进,价格合理,具有很强的通用性和实用性。     

单片机数字滤波算法研究

本文以51系列单片机为背景，针对电子系统中经常出现的随机干扰，介绍了几种使用较为普遍的克服随机干扰信号的单片机数字滤波算法，并给出了相应的算法程序。同时对这几种算法进行了比较，并指出了每一种算法的具体适用范围和注意事项。     

实现交流接触器节电无噪音运行无弧分断的新方法

介绍了一种既能节电无噪音运行又能实现无弧分断的新型交流接触器，即将电力电子器件IGBT、可控硅模块等应用于交流接触器的控制回路和主回路，以实现接触器节电无噪音运行、无弧分断的功能。给出了这种新型交流接触器的设计、工作原理、分析及结论。     

一种分析低压塑壳断路器分断过程的方法

提出一种分析低压塑壳断路器(MCCB)分断过程仿真的方法。该方法通过对ADAMS软件的二次开发,耦合电路、电磁场和机械运动方程,考虑电动斥力的作用,可分析各种因素对MCCB分断过程的影响。     

用以改善暂态电能质量的D-FACTS技术

暂态电能质量问题日益突出,越来越受到关注,文章从暂态电能质量的概念及其特征出发,对其进行了较为详细的分类,分析产生的成因和对电网的影响和危害,并提出和阐述了基于D-FACTS技术的改善暂态电能质量的装置与措施:动态电压恢复器、静止无功发生器、固态断路器、统一电能质量控制器、超导磁能与UPS等;由于电压骤降、骤升与电压中断等已经成为系统可靠性分析和暂态电能质量研究的重要内容,制定相关国家标准已经迫在眉捷。