Light‐Activated,Multi‐Semiconductor Hybrid Microswimmers

Using a dynamic fabrication process, hybrid, photoactivated microswimmers made from two different semiconductors, titanium dioxide (TiO₂) and cuprous oxide (Cu₂O) are developed, where each material occupies a distinct portion of the multiconstituent particles. Structured light‐activated microswimmers made from only TiO₂ or Cu₂O are observed to be driven in hydrogen peroxide and water most vigorously under UV or blue light, respectively, whereas hybrid structures made from both of these materials exhibit wavelength‐dependent modes of motion due to the disparate responses of each photocatalyst. It is also found that the hybrid particles are activated in water alone, a behavior which is not observed in those made from a single semiconductor, and thus, the system may open up a new class of fuel‐free photoactive colloids that take advantage of semiconductor heterojunctions. The TiO₂/Cu₂O hybrid microswimmer presented here is but an example of a broader method for inducing different modes of motion in a single light‐activated particle, which is not limited to the specific geometries and materials presented in this study.     

Anomalies of Physical Properties inα-Bi2O3 — a Phase Transition Governed by the Electronic Mechanism?

A number of physical properties of -Bi₂O₃ was studied: the thermal expansion, thermally stimulated conductivity, electrical resistivity, and dielectric permeability. X-ray diffraction, DTA, and differential scanning calorimetry measurements were also carried out. Several anomalies were observed: a small maximum and drastic rise of the single crystal dielectric permeability, a sharp drop of the electric resistivity, a jump and change in sign of the thermally stimulated current, and an exothermal maximum in differential heat capacity. At the same time, the monoclinic lattice symmetry of -Bi₂O₃ was retained over the temperature range where these anomalies were found.     

An auto-scoring mechanism for evaluating problem-solving ability in a web-based learning environment

The rapid development of computer and network technologies has attracted researchers to investigate strategies for and the effects of applying information technologies in learning activities; simultaneously, learning environments have been developed to record the learning portfolios of students seeking web information for problem-solving. Although previous research has demonstrated the benefits of applying information technologies to learning activities, the difficulties in doing so have also been revealed. One of the major difficulties is the lack of a mechanism to assist teachers in evaluating the problem-solving ability of the students, such that constructive suggestions can be given to the students, and tutoring strategies can be improved accordingly.     

Practical considerations for high spatial and temporal resolution dynamic transmission electron microscopy

Although recent years have seen significant advances in the spatial resolution possible in the transmission electron microscope (TEM), the temporal resolution of most microscopes is limited to video rate at best. This lack of temporal resolution means that our understanding of dynamic processes in materials is extremely limited. High temporal resolution in the TEM can be achieved, however, by replacing the normal thermionic or field emission source with a photoemission source. In this case the temporal resolution is limited only by the ability to create a short pulse of photoexcited electrons in the source, and this can be as short as a few femtoseconds. The operation of the photo-emission source and the control of the subsequent pulse of electrons (containing as many as 5 x 10(7) electrons) create significant challenges for a standard microscope column that is designed to operate with a single electron in the column at any one time. In this paper, the generation and control of electron pulses in the TEM to obtain a temporal resolution <10(-6)s will be described and the effect of the pulse duration and current density on the spatial resolution of the instrument will be examined. The potential of these levels of temporal and spatial resolution for the study of dynamic materials processes will also be discussed.     

A pragmatic approach to resolution-based theorem proving

Resolution theory offers a simple, complete method for proving theorems but is generally considered impractical. The theorems we are interested in proving arise in the analysis of programs and usually involve quantification. We have developed a system for proving these theorems using resolution, but have embedded in it a simplifier as the central component. The simplifier is an integrated collection of algorithms for normalizing arithmetic, relational, and logical expressions. The knowledge in the simplifier is encoded in procedures, rather than as axioms or rules. We use the simplifier to prove certain theorems, reduce the clutter in theorems, and reduce the cost of unification, Inherent in the normal form algorithms is the notion of strengthening (e.g., inferringa =b froma b ANDb a). We have incorporated the notion into the unification algorithm as well. The design of the system permits its use along a spectrum from pure resolution to resolution with interpretation of the arithmetic and relational operators. Strengthening is a heuristic that permits the movement along this spectrum. We call the approachi-resolution.i-resolution does not preserve completeness; it does define a means for approaching completeness efficiently and systematically. It thus attempts to provide a pragmatic approach to mechanical theorem proving.     

Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling

This paper describes the application of requirements engineering concepts to support the analysis of the impact of new software systems on system-wide goals. Requirements on a new or revised software component of a socio-technical system not only have implications on the goals of the subsystem itself, but they also impact upon the goals of the existing integrated system. In industries such as air traffic management and healthcare, impacts need to be identified and demonstrated in order to assess concerns such as risk, safety, and accuracy. A method called PiLGRIM was developed which integrates means-end relationships within goal modelling with knowledge associated with the application domain. The relationship between domain knowledge and requirements, as described in a satisfaction argument, adds traceability rationale to help determine the impacts of new requirements across a network of heterogeneous actors. We report procedures that human analysts follow to use the concepts of satisfaction arguments in a software tool for i* goal modelling. Results were demonstrated using models and arguments developed in two case studies, each featuring a distinct socio-technical system??a new controlled airspace infringement detection tool for NATS (the UK??s air navigation service provider), and a new version of the UK??s HIV/AIDS patient reporting system. Results provided evidence towards our claims that the conceptual integration of i* and satisfaction arguments is usable and useful to human analysts, and that the PiLGRIM impact analysis procedures and tool support are effective and scalable to model and analyse large and complex socio-technical systems.     

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

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

Psychosocial and health consequences of adolescent depression in Black and White young adult women.

Depression in adolescent girls may result in negative consequences in young adulthood. The Center for Epidemiologic Studies Depression Scale (CES-D) was administered to 1,727 Black and White girls ages 16 to 18 years who participated in the National Heart, Lung, and Blood Institute's Growth and Health Study. Three years later, women in the depressed groups were more likely to be current smokers, had attained a lower level of education, and reported lower self-worth relative to the nondepressed group. Body dissatisfaction, eating concerns, and loneliness were greater in the depressed groups. Relative to Black women, White women who were moderately depressed during adolescence reported more health care services utilization in young adulthood. Prevention efforts for depressed adolescents should be broadly focused to improve young adult outcomes. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Compression pre-cracking to generate near threshold fatigue-crack-growth rates in two aluminum alloys

A test program was conducted to generate threshold and near-threshold data on two aluminum alloys: 2324-T39 and 7075-T7351, using compression pre-cracking constant-amplitude (CPCA) threshold testing procedures. Compact tension specimens were tested under stress ratios (R) of 0.1, 0.4, 0.7 or 0.8. Results were compared with either existing load-reduction data from the literature or with data that were generated using the load-reduction procedures. On the 2324 alloy, very little difference was observed between the load-reduction and CPCA test methods, although the CPCA test method consistently produced slightly lower thresholds or slightly faster crack-growth rates. But on the 2324 alloy, most of the load-reduction tests used extremely low initial ΔK values to grow the cracks under load reduction, which may explain the reason for the agreement. These low ΔK values were achieved by using compression pre-cracking to initiate a crack at the crack-starter notch. In contrast, the 7075 alloy showed very large differences between the CPCA and load-reduction results in the near-threshold and threshold regimes for R=0.1 and 0.4. Results under high R conditions (R=0.7) agreed very well between the two threshold test methods. An expression was also developed to generate fatigue-crack-growth-rate data using the CPCA threshold test method that would be unaffected by compressive yielding at the crack-starter notch and produce ‘steady-state’ constant-amplitude data in the near threshold regime.     

The kinking behaviour of a bimaterial interface crack under indentation loading

The aims of this paper are twofold. The first is to evaluate the applicability of the formula for the crack kink angle—based on the maximum principle stress criterion—for predicting the interface kink angle in a bimaterial sample undergoing indentation loading. This formula was developed for cracks in homogenous materials but in this paper, it is used to predict the kink angle using the mode mixity at the tip of a crack lying on a bimaterial interface. The second aim is to examine the behaviour of the system, in terms of the crack kink angle and contact radius, for various coating thickness', crack lengths and combinations of properties of the coating and substrate. The system that is analysed consists of a planar bimaterial sample undergoing indentation with a tungsten-carbide spherical indenter. Two-dimensional, axisymmetric models are created to represent the system, with subdomains used for modelling the cracks. In order to determine the applicability of the kink angle formula, the angle predicted is compared to the angle that is directly calculated using boundary element method models that establish the angle of the kink which yields the maximum mechanical energy release rate. The second aim of the paper is achieved by varying the material property combinations and coating thickness of the bimaterial sample and observing the effect on the kink angle of the interface crack and the contact radius. The methodologies employed are initially verified on homogenous samples with known solutions.