Introduction: In-Use,In-Situ: Extending Field Research Methods—Part 2

This study used protocol analyses and user drawings of their models of the system to investigate the “getting lost” problem in hypertext navigation. The “getting lost” problem is viewed as occurring when routine expectations of naive users, concerning appropriate linear sequences, are violated. Several ways in which users persistently attempt to work within a linear model, despite its inapplicability, are examined. The transition to more hierarchical user models is described.     

设计与制造之间的界面优化

分辨率增强技术（RET）设计流程中聚集了各式各样的点工具和方法。当前对深亚波长可制造性（DFM）设计的要求迫使设计与制造行业必须建立十分密切的合作关系。同时也促使EDA行业提供一种平台，以促进这些行业间的密切交流。合理利用这一平台将会对产能和品质产生直接的影响。     

A robust bus evacuation model with delayed scenario information

Due to natural or man-made disasters, the evacuation of a whole region or city may become necessary. Apart from private traffic, the emergency services also need to consider transit-dependent evacuees which have to be transported from collection points to secure shelters outside the endangered region with the help of a bus fleet. We consider a simplified version of the arising bus evacuation problem (BEP), which is a vehicle scheduling problem that aims at minimizing the network clearance time, i.e., the time needed until the last person is brought to safety. In this paper, we consider an adjustable robust formulation without recourse for the BEP, the robust bus evacuation problem (RBEP), in which the exact numbers of evacuees are not known in advance. Instead, a set of likely scenarios is known. After some reckoning time, this uncertainty is eliminated and planners are given exact figures. The problem is to decide for each bus, if it is better to send it right away—using uncertain information on the evacuees—or to wait until the the scenario becomes known. We present a mixed-integer linear programming formulation for the RBEP and discuss solution approaches; in particular, we present a tabu search framework for finding heuristic solutions of acceptable quality within short computation time. In computational experiments using both randomly generated instances and the real-world scenario of evacuating the city of Kaiserslautern, Germany, we compare our solution approaches.     

改进缺陷,套刻和聚焦性能的第五世代浸没式曝光系统

论述了第五世代双扫描平台浸液式扫描曝光机的性能和进展。表明了在高速扫描状态下有生产价值的套刻和聚焦性能的实现。浸液式设备更多的关键部分与缺陷有关,而且该机的改进是通过有生产价值的缺陷水平方面来体现的。为了保持这种缺陷水平的改进效果,需要在圆片应用中进行专门稳定的测量。特加是边缘空泡除去(EBR)设计和圆片斜面良流线性是很重要的。     

The Synchronous Approach to Designing Reactive Systems

Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in style; Statecharts and Argos are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, declarative (or dataflow), and graphical programming styles, is that real systems typically have components that match each of these profiles. This paper motivates our interest in the mixed language programming of embedded software around a number of examples, and sketches the semantical foundation of the Synchronie toolset which ensures a coherent computational model. This toolset supports a design trajectory that incorporates rapid prototyping and systematic testing for early design validation, an object oriented development methodology for long term software management, and formal verification at the level of automatically generated object code.     

寻求精确且可靠的振动感测适用于以状态为基础的预知维护

精密的工业制程对于马达与相关机械有效而且一致性运作的依赖日益提高.在机械中的失衡、缺陷、松散、以及其它异常现象通常都会转换成振动,而接着就是失去精密度与安全性的考虑.假如不加以处理的话,除了性能与安全的问题之外,当设备需要脱机修理时,生产力的损失将会变得无可避免.     

Developing community capacity to treat post-deployment mental health problems: A public health initiative.

Meeting the mental health needs of Veterans returning from recent deployment requires the coordinated effort of partnerships across Department of Defense (DoD), Department of Veterans Affairs (VA), and state and local communities. Although the proportion of Veterans of Iraq and Afghanistan who have accessed VA health care has grown, the majority of these new combat Veterans have yet to present for VA care. The stigma associated with reporting a deployment-related mental health problem may be one factor in this, but access to treatment may also be an important concern among the one third of American Veterans who live in rural or highly rural areas. As these Veterans are more likely to present to a primary care, faith-based or mental health provider in their own community, partnerships between community providers, DoD, and VA are of critical importance in ensuring appropriate care, regardless of treatment setting. In an effort to improve services and access to services, especially to rural Veterans, an educational public health initiative was created to educate community providers about military culture, deployment-related mental health issues, VA resources, and evidence-based treatments. We describe the development, dissemination and evaluation of this initiative, as well as lessons learned for future similar endeavors. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

RF遍地开花,高速数字电路如今就是RF

实时频谱分析正在多种应用中得到运用,从锁相环和压控振荡器等部件一直到电路板和系统.随着RF渗透到万物之中,部件的开发者们将需要从他们的PL上和VCO中找出尖峰或者毛刺,而且还需要确保器件在电路板级参考设计中能正常工作.RF(射频)除了无所不在之外,在本质上还是一种瞬态过程,因此便带来对实时频谱分析工具的需求.