Aberration measurement of projection optics in lithographic tools based on two-beam interference theory

The degradation of image quality caused by aberrations of projection optics in lithographic tools is a serious problem in optical lithography. We propose what we believe to be a novel technique for measuring aberrations of projection optics based on two-beam interference theory. By utilizing the partial coherent imaging theory, a novel model that accurately characterizes the relative image displacement of a fine grating pattern to a large pattern induced by aberrations is derived. Both even and odd aberrations are extracted independently from the relative image displacements of the printed patterns by two-beam interference imaging of the zeroth and positive first orders. The simulation results show that by using this technique we can measure the aberrations present in the lithographic tool with higher accuracy. (c) 2006 Optical Society of America.

静动结合的化学腐蚀法制备近场光学探针的理论分析

理论上分析了静动结合的化学腐蚀法制备探针的具体机理及过程。在静态腐蚀的过程中, 利用流体力学Young-Laplace方程的一级近似解获得了光纤插入到HF酸中形成的新月形高度。在动态腐蚀过程中, 详细分析了当静态腐蚀时间和动态腐蚀时间分别取不同值时, 光纤移动速度对光纤探针结构的影响。利用此法可制备出尖端锐利、大锥角或多锥体等各种结构的光纤探针。这为实验上制备出性能优良的探针, 为拓宽扫描近场光学显微镜的应用范围奠定基础。将上述理论分析的结果与本文实验中所得初步结果进行了比较, 所得结果一致。

Broadband near-infrared emission in Er3+-Tm3+ codoped chalcohalide glasses

The near-IR emission spectra of Er3+-Tm3+ codoped 70GeS(2)-20In(2)S(3)-10CsI chalcohalide glasses were studied with an 808 nm laser as an excitation source. A broad emission extending from 1.35 to 1.7 mu m with a FWHM of similar to 160 nm was recorded in a 0.1 mol.% Er2S3, 0.5 mol.% Tm2S3 codoped chalcohalide glass. The fluorescence decay curves of glasses were measured by monitoring the emissions of Tm3+ at 1460 nm and Er3+ at 1540 nm, and the lifetimes were obtained from the first-order exponential fit. The luminescence mechanism and the possible energy-transfer processes are discussed with respect to the energy-level diagram of Er3+ and Tm3+ ions. (C) 2008 Optical Society of America

Power losses analysis and cooling system design of three topologies of multilevel inverters

This paper presents the comparison of three topologies of multilevel inverters applied to drive an induction motor of 500 kVA/4.16 kV. The multilevel inverters analyzed are: a neutral point clamped inverter, a symmetrical cascaded multilevel inverter and a hybrid asymmetrical cascaded multilevel inverter. The performance indexes used in the comparison are total harmonic distortion, first order distortion factor, semiconductors power losses distribution and heat-sink volume. The comparison is developed with the purpose of finding the efficiency and the heat-sink volume where the three systems present the same output filter. ©2008 IEEE.

A Characterization of First-Order Definable Subsets on Classes of Finite Total Orders

We give an explicit and easy-to-verify characterization for subsets in finite total orders (infinitely many of them in general) to be uniformly definable by a first-order formula. From this characterization we derive immediately that Beth's definability theorem does not hold in any class of finite total orders, as well as that McColm's first conjecture is true for all classes of finite total orders. Another consequence is a natural 0-1 law for definable subsets on finite total orders expressed as a statement about the possible densities of first-order definable subsets.

Copies of proclamations, orders in Council and documents relating to the European war...1915. First supplement.

Mode of access: Internet.

The five orders of architecture; the casting of shadows and the first principles of construction, based on the system of Vignola.

Mode of access: Internet.

Free surface flow past topography : a beyond-all-orders approach

The problem of steady subcritical free surface flow past a submerged inclined step is considered. The asymptotic limit of small Froude number is treated, with particular emphasis on the effect that changing the angle of the step face has on the surface waves. As demonstrated by Chapman & Vanden-Broeck (2006), the divergence of a power series expansion in powers of the square of the Froude number is caused by singularities in the analytic continuation of the free surface; for an inclined step, these singularities may correspond to either the corners or stagnation points of the step, or both, depending on the angle of incline. Stokes lines emanate from these singularities, and exponentially small waves are switched on at the point the Stokes lines intersect with the free surface. Our results suggest that for a certain range of step angles, two wavetrains are switched on, but the exponentially subdominant one is switched on first, leading to an intermediate wavetrain not previously noted. We extend these ideas to the problem of flow over a submerged bump or trench, again with inclined sides. This time there may be two, three or four active Stokes lines, depending on the inclination angles. We demonstrate how to construct a base topography such that wave contributions from separate Stokes lines are of equal magnitude but opposite phase, thus cancelling out. Our asymptotic results are complemented by numerical solutions to the fully nonlinear equations.

The social orders of family mealtime

This study examined the everyday practices of families within the context of family mealtime to investigate how members accomplished mealtime interactions. Using an ethnomethodological approach, conversation analysis and membership categorization analysis, the study investigated the interactional resources that family members used to assemble their social orders moment by moment during family mealtimes. While there is interest in mealtimes within educational policy, health research and the media, there remain few studies that provide fine-grained detail about how members produce the social activity of having a family meal. Findings from this study contribute empirical understandings about families and family mealtime. Two families with children aged 2 to 10 years were observed as they accomplished their everyday mealtime activities. Data collection took place in the family homes where family members video recorded their naturally occurring mealtimes. Each family was provided with a video camera for a one-month period and they decided which mealtimes they recorded, a method that afforded participants greater agency in the data collection process and made available to the analyst a window into the unfolding of the everyday lives of the families. A total of 14 mealtimes across the two families were recorded, capturing 347 minutes of mealtime interactions. Selected episodes from the data corpus, which includes centralised breakfast and dinnertime episodes, were transcribed using the Jeffersonian system. Three data chapters examine extended sequences of family talk at mealtimes, to show the interactional resources used by members during mealtime interactions. The first data chapter explores multiparty talk to show how the uniqueness of the occasion of having a meal influences turn design. It investigates the ways in which members accomplish two-party talk within a multiparty setting, showing how one child "tells" a funny story to accomplish the drawing together of his brothers as an audience. As well, this chapter identifies the interactional resources used by the mother to cohort her children to accomplish the choralling of grace. The second data chapter draws on sequential and categorical analysis to show how members are mapped to a locally produced membership category. The chapter shows how the mapping of members into particular categories is consequential for social order; for example, aligning members who belong to the membership category "had haircuts" and keeping out those who "did not have haircuts". Additional interactional resources such as echoing, used here to refer to the use of exactly the same words, similar prosody and physical action, and increasing physical closeness, are identified as important to the unfolding talk particularly as a way of accomplishing alignment between the grandmother and grand-daughter. The third and final data analysis chapter examines topical talk during family mealtimes. It explicates how members introduce topics of talk with an orientation to their co-participant and the way in which the take up of a topic is influenced both by the sequential environment in which it is introduced and the sensitivity of the topic. Together, these three data chapters show aspects of how family members participated in family mealtimes. The study contributes four substantive themes that emerged during the analytic process and, as such, the themes reflect what the members were observed to be doing. The first theme identified how family knowledge was relevant and consequential for initiating and sustaining interaction during mealtime with, for example, members buying into the talk of other members or being requested to help out with knowledge about a shared experience. Knowledge about members and their activities was evident with the design of questions evidencing an orientation to coparticipant’s knowledge. The second theme found how members used topic as a resource for social interaction. The third theme concerned the way in which members utilised membership categories for producing and making sense of social action. The fourth theme, evident across all episodes selected for analysis, showed how children’s competence is an ongoing interactional accomplishment as they manipulated interactional resources to manage their participation in family mealtime. The way in which children initiated interactions challenges previous understandings about children’s restricted rights as conversationalists. As well as making a theoretical contribution, the study offers methodological insight by working with families as research participants. The study shows the procedures involved as the study moved from one where the researcher undertook the decisions about what to videorecord to offering this decision making to the families, who chose when and what to videorecord of their mealtime practices. Evident also are the ways in which participants orient both to the video-camera and to the absent researcher. For the duration of the mealtime the video-camera was positioned by the adults as out of bounds to the children; however, it was offered as a "treat" to view after the mealtime was recorded. While situated within family mealtimes and reporting on the experiences of two families, this study illuminates how mealtimes are not just about food and eating; they are social. The study showed the constant and complex work of establishing and maintaining social orders and the rich array of interactional resources that members draw on during family mealtimes. The family’s interactions involved members contributing to building the social orders of family mealtime. With mealtimes occurring in institutional settings involving young children, such as long day care centres and kindergartens, the findings of this study may help educators working with young children to see the rich interactional opportunities mealtimes afford children, the interactional competence that children demonstrate during mealtimes, and the important role/s that adults may assume as co-participants in interactions with children within institutional settings.

Supreme Court Act 1995 (Qld) s 253 - leave to appeal costs orders - appeal against substantive judgment insufficient - must be arguable case that discretion will be overturned on appeal

The recent decision of the Court of Appeal in AGL Sales (Qld) Pty Ltd v Dawson Sales Pty Ltd [2009] QCA 262 provides clear direction on the Court’s expectations of a party seeking leave to appeal a costs order.This decision is likely to impact upon common practice in relation to appeals against costs orders. It sends a clear message to trial judges that they should not give leave as of course when giving a judgment in relation to costs, and that parties seeking leave under s 253 of the Supreme Court Act 1995 (Qld) should make a separate application. The application should be supported by material presenting an arguable case that the trial judge made an error in the exercise of the discretion of the kind described in House v King (1936) 55 CLR 499. A different, and interesting, aspect of this appeal is that it was the first wholly electronic civil appeal. The court-provided technology had been adopted at trial, and the Court of Appeal dispensed with any requirement for hard copy appeal record books.

Australia’s first Allied Health Prescribing Program - exploring participants' perspectives on the study program's learning objectives

BACKGROUND The Queensland University of Technology in collaboration with Queensland Health pioneered development of the Allied Health Prescribing Training Program to assist allied health professionals (AHPs) to competently prescribe medicines within their scope of practice. The study program consisted of two modules: Introduction to Clinical Therapeutics for Prescribers and Prescribing and Quality Use of Medicines. METHODS Pre- and post- surveys were developed for both modules. Key themes explored were understanding and confidence in selecting therapeutic choices for patients. For module 2 the learning objectives for safe and effective prescribing were investigated. Data were collected from participants in weeks one and thirteen of the modules via online surveys. RESULTS In the pre-module survey for the first module, participants had a limited degree of understanding and confidence regarding safe and effective use of medicines and appropriate therapeutic choices for managing patients, particularly for complex patients. This improved significantly in the post-module survey. In the pre-module survey for module 2, participants had a moderate degree of understanding and confidence regarding various prescribing learning objectives (including safe and effective prescribing, professional, legal and ethical aspects, communicating medication orders, prescribing safely in their select areas of practice, prescribing safely for complex patients in their area of practice). This increased significantly in the post-module survey. DISCUSSION This training program was implemented to develop a framework of knowledge and skills for AHPs to undertake a prescribing role. The program delivered an increase in participants’ knowledge in the key prescribing areas; and increased participants’ confidence in prescribing safely for patients and for complex patients in their select practice areas. An important aspect of this program was inclusion of prescribing–related activities under supervision of a designated medical practitioner. In conclusion, this educational program for Queensland Health AHP prescribers was successfully developed and is in the final stages of delivery.

On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.