Miniaturised multi-MEMS sensor development

This paper describes the design, fabrication and initial characterisation of a MEMS-based environmental monitoring system. Intended for use with miniaturised Wireless Sensor Network (WSN) motes, the die measures 3 × 3 mm and incorporates humidity, temperature, corrosion, gas and gas flow velocity sensors on a single substrate. Fabricated using a combination of surface and bulk micromachining technologies, the sensor system is designed to replace discrete components on WSN module boards, thereby minimising space consumption and enabling smaller, cheaper wireless motes. Sensors have been characterised over a wide range of environmental conditions. An analysis of the effects of changes in environmental parameters other than the measurand of interest on the performance of the temperature and humidity sensors has been carried out, and corrections applied where necessary. A variety of corrosion monitors have been demonstrated. A gas flow velocity sensor, based on forced convective heat transfer and which has been thermally isolated from the silicon substrate in order to reduce power consumption and improve sensitivity at low flow-rates, has also been presented. The paper also outlines the design of the next generation sensing platform using the novel 10 mm wireless cube developed at Tyndall.     

用单芯片CDC和IDC提高精密度和准确度

传统的高精密电容检测和阻抗检测应用需要将一套收集的分立器件巧妙的组合起来以提供完整的测量解决方案。这种方法不仅在器件选择方面十分耗时，并且由于各个应用之间即使有很小的差异，也需要做大量设计验证、评估、优化和鉴定。     

Examining the Time Course of Indexical Specificity Effects in Spoken Word Recognition.

Variability in talker identity and speaking rate, commonly referred to as indexical variation, has demonstrable effects on the speed and accuracy of spoken word recognition. The present study examines the time course of indexical specificity effects to evaluate the hypothesis that such effects occur relatively late in the perceptual processing of spoken words. In 3 long-term repetition priming experiments, the authors examined reaction times to targets that were primed by stimuli that matched or mismatched on the indexical variable of interest (either talker identity or speaking rate). Each experiment was designed to manipulate the speed with which participants processed the stimuli. The results demonstrate that indexical variability affects participants' perception of spoken words only when processing is relatively slow and effortful. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Hemispheric differences in indexical specificity effects in spoken word recognition.

Variability in talker identity, one type of indexical variation, has demonstrable effects on the speed and accuracy of spoken word recognition. Furthermore, neuropsychological evidence suggests that indexical and linguistic information may be represented and processed differently in the 2 cerebral hemispheres, and is consistent with findings from the visual domain. For example, in visual word recognition, changes in font affect processing differently depending on which hemisphere initially processes the input. The present study examined whether hemispheric differences exist in spoken language as well. In 4 long-term repetition-priming experiments, the authors examined responses to stimuli that were primed by stimuli that matched or mismatched in talker identity. The results demonstrate that indexical variability can affect participants' perception of spoken words differently in the 2 hemispheres. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Injury risk function for the small female wrist in axial loading

Previous experiments with human cadavers and side airbags revealed the potential for wrist injuries as a result of the hand becoming entrapped in the handgrip. The purpose of this paper was to develop an injury tolerance for the small female wrist that may be used in the design phase of side airbags in order to reduce the risk of wrist injuries resulting from side air bag deployment. Small female cadaver upper extremities were used to develop the wrist tolerance as a conservative estimate of the most vulnerable section of the driving population. The energy source was a pneumatic impactor that was configured to match the force onset rate, impulse, and peak force in order to simulate the load profile of a deploying side airbag. A total of 17 (n=17) axial impact experiments were performed on the wrists of small female cadavers. Post-test necropsy revealed that 9 of the 17 tests resulted in wrist injuries. The injury patterns were identical to those observed from cadaver tests with side airbags and included fractures of the scaphoid (AIS 2), lunate (AIS 1), distal radius (AIS 3), and distal ulna (AIS 2). Using the injury outcome as the binary variable, a logistic regression analysis was performed. When mass scaled to the fifth female, the analysis produced an injury risk function that predicts a 50% risk of injury at a wrist load of 1700 N (P=0.0037). Risk of injury was found not to be dependent of subject bone mineral density (P=0.49), age (P=0.99), mass (P=0.31), and stature (P=0.69). Based on the similarities in impact load profile and observed injury patterns between the impactor tests and the side airbag tests, it is suggested that the injury risk function will accurately predict the risk of wrist injuries in the automobile crash environment.     

Facile analysis of EC cyclic voltammograms

It has been found empirically that, for an E(rev)C(irrev) process, the forward/backward ratio of the peak height magnitudes in cyclic voltammetry equals 1 + ktau, where k is the rate constant of the chemical reaction and tau is the time required for the scan to travel between the half-wave and reversal potentials. The relationship is largely independent of the scan rate and the reversal potential, except insofar as these influence tau. Though not exact, the relationship is obeyed closely enough to provide accurate rate constants under favorable conditions. The utility of this simple formula in extracting homogeneous kinetic information is demonstrated using experimental data for the electron-transfer-induced isomerization of an octahedral manganese complex. An explanation of the relationship is presented, as is a more exact formula that reduces to 1 + ktau when k is small. A semiquantitative explanation of the relationship is provided.     

Cohort differences in Big Five personality factors over a period of 25 years.

The notion of personality traits implies a certain degree of stability in the life span of an individual. But what about generational effects? Are there generational changes in the distribution or structure of personality traits? This article examines cohort changes on the Big Five personality factors Extraversion, Agreeableness, Conscientiousness, Neuroticism, and Openness to Experience, among first-year psychology students in the Netherlands, ages 18 to 25 years, between 1982 and 2007. Because measurement invariance of a personality test is essential for a sound interpretation of cohort differences in personality, we first assessed measurement invariance with respect to cohort for males and females separately on the Big Five personality factors, as measured by the Dutch instrument Five Personality Factors Test. Results identified 11 (females) and 2 (males) biased items with respect to cohort, out of a total of 70 items. Analyzing the unbiased items, results indicated small linear increases over time in Extraversion, Agreeableness, and Conscientiousness and small linear decreases over time in Neuroticism. No clear patterns were found on the Openness to Experience factor. Secondary analyses on students from 1971 to 2007 of females and males of different ages together revealed linear trends comparable to those in the main analyses among young adults between 1982 onward. The results imply that the broad sociocultural context may affect personality factors. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

Strongly Typed Term Representations in Coq

There are two approaches to formalizing the syntax of typed object languages in a proof assistant or programming language. The extrinsic approach is to first define a type that encodes untyped object expressions and then make a separate definition of typing judgements over the untyped terms. The intrinsic approach is to make a single definition that captures well-typed object expressions, so ill-typed expressions cannot even be expressed. Intrinsic encodings are attractive and naturally enforce the requirement that metalanguage operations on object expressions, such as substitution, respect object types. The price is that the metalanguage types of intrinsic encodings and operations involve non-trivial dependency, adding significant complexity. This paper describes intrinsic-style formalizations of both simply-typed and polymorphic languages, and basic syntactic operations thereon, in the Coq proof assistant. The Coq types encoding object-level variables (de Bruijn indices) and terms are indexed by both type and typing environment. One key construction is the boot-strapping of definitions and lemmas about the action of substitutions in terms of similar ones for a simpler notion of renamings. In the simply-typed case, this yields definitions that are free of any use of type equality coercions. In the polymorphic case, some substitution operations do still require type coercions, which we at least partially tame by uniform use of heterogeneous equality.