Home About us Contact | |||
Various Results (various + result)
Selected AbstractsOntological Symmetry in Language: A Brief ManifestoMIND & LANGUAGE, Issue 4 2006PHILIPPE SCHLENKER Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate the reference of terms as near, far or ,further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. [source] APEX-Map: a parameterized scalable memory access probe for high-performance computing systems,CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE, Issue 17 2007Erich Strohmaier Abstract The memory wall between the peak performance of microprocessors and their memory performance has become the prominent performance bottleneck for many scientific application codes. New benchmarks measuring data access speeds locally and globally in a variety of different ways are needed to explore the ever increasing diversity of architectures for high-performance computing. In this paper, we introduce a novel benchmark, APEX-Map, which focuses on global data movement and measures how fast global data can be fed into computational units. APEX-Map is a parameterized, synthetic performance probe and integrates concepts for temporal and spatial locality into its design. Our first parallel implementation in MPI and various results obtained with it are discussed in detail. By measuring the APEX-Map performance with parameter sweeps for a whole range of temporal and spatial localities performance surfaces can be generated. These surfaces are ideally suited to study the characteristics of the computational platforms and are useful for performance comparison. Results on a global-memory vector platform and distributed-memory superscalar platforms clearly reflect the design differences between these different architectures. Published in 2007 by John Wiley & Sons, Ltd. [source] Kinematic modelling of shear band localization using discrete finite elementsINTERNATIONAL JOURNAL FOR NUMERICAL AND ANALYTICAL METHODS IN GEOMECHANICS, Issue 4 2003X. Wang Abstract Modelling shear band is an important problem in analysing failure of earth structures in soil mechanics. Shear banding is the result of localization of deformation in soil masses. Most finite element schemes are unable to model discrete shear band formation and propagation due to the difficulties in modelling strain and displacement discontinuities. In this paper, a framework to generate shear band elements automatically and continuously is developed. The propagating shear band is modelled using discrete shear band elements by splitting the original finite element mesh. The location or orientation of the shear band is not predetermined in the original finite element mesh. Based on the elasto-perfect plasticity with an associated flow rule, empirical bifurcation and location criteria are proposed which make band propagation as realistic as possible. Using the Mohr,Coulomb material model, various results from numerical simulations of biaxial tests and passive earth pressure problems have shown that the proposed framework is able to display actual patterns of shear banding in geomaterials. In the numerical examples, the occurrence of multiple shear bands in biaxial test and in the passive earth pressure problem is confirmed by field and laboratory observations. The effects of mesh density and mesh alignment on the shear band patterns and limit loads are also investigated. Copyright © 2003 John Wiley & Sons, Ltd. [source] Blow-up analysis, existence and qualitative properties of solutions for the two-dimensional Emden,Fowler equation with singular potentialMATHEMATICAL METHODS IN THE APPLIED SCIENCES, Issue 18 2007Daniele Bartolucci Abstract Motivated by the study of a two-dimensional point vortex model, we analyse the following Emden,Fowler type problem with singular potential: where V(x) = K(x)/|x|2, with ,,(0, 1), 0various results, already known in case ,,0, to cover the case ,,(0, 1). In particular, we study the concentration-compactness problem and the mass quantization properties, obtaining some existence results. Then, by a special choice of K, we include the effect of the angular momentum in the system and obtain the existence of axially symmetric one peak non-radial blow-up solutions. Copyright © 2007 John Wiley & Sons, Ltd. [source] Long-term Reliability Prediction of 935 nm LEDs Using Failure Laws and Low Acceleration Factor Ageing TestsQUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, Issue 6 2005Y. Deshayes Abstract Numerous papers have already reported various results on electrical and optical performances of GaAs-based materials for optoelectronic applications. Other papers have proposed some methodologies for a classical estimation of reliability of GaAs compounds using life testing methods on a few thousand samples over 10,000 hours of testing. In contrast, fewer papers have studied the complete relation between degradation laws in relation to failure mechanisms and the estimation of lifetime distribution using accelerated ageing tests considering a short test duration, low acceleration factor and analytical extrapolation. In this paper, we report the results for commercial InGaAs/GaAs 935 nm packaged light emitting diodes (LEDs) using electrical and optical measurements versus ageing time. Cumulative failure distributions are calculated using degradation laws and process distribution data of optical power. A complete methodology is described proposing an accurate reliability model from experimental determination of the failure mechanisms (defect diffusion) for this technology. Electrical and optical characterizations are used with temperature dependence, short-duration accelerated tests (less than 1500 h) with an increase in bias current (up to 50%), a small number of samples (less than 20) and weak acceleration factors (up to 240). Copyright © 2005 John Wiley & Sons, Ltd. [source] |