The limits of inclusive design in the current design practice

The adoption of inclusive design principles and methods in the design practice is meant to support the equity of use of everyday products by as many people as possible independently of their age, physical, sensorial and cognitive capabilities. Although the intention is highly valuable, inclusive design approaches have not been widely applied in industrial context. This paper analyses the findings of an empirical research conducted with industrial designers and product managers. The research indicates some of the hindrances to the adoption of inclusive design, such as the current way the market is considered and targeted, and; the way the designers are driven by the project's brief and budget to orient their research strategy and activities. The paper proposes a way to improve the current industrial mode by strategically supplying clients, designers or both together with information about inclusivity. © 2013 Taylor & Francis Group.

Influence of Al content on electrical and structural properties of Si-doped AlxGa1-xN/GaN HEMT structures

Improved electrical properties of AlxGa1-xN/GaN high electron mobility transistor (HEMT) structures grown by metalorganic chemical vapor deposition (MOCVD) were achieved through increasing the Al mole fraction in the AlGaN barrier layers. An average sheet resistance of 326.6 Omega/sq and a good resistance uniformity of 98% were obtained for a 2-inch Al0.38Ga0 62N/GaN HEMT structure. The surface morphology of AlxGa1-xN/GaN HEMT structures strongly correlates with the Al content. More defects were formed with increasing Al content due to the increase of tensile strain, which limits further reduction of the sheet resistance. (c) 2006 WILEY-VCH Verlag GmbH & Co KGaA, Weinheim.

The status, limits and countermeasures in the development of the silicon microelectronics industry

In this paper.. the status and limits in the development of the silicon microelectronics industry are presented briefly. The key countermeasures given are use of the new structure materials and the new device structures.

Comparative cytogenetics of bats (Chiroptera): The prevalence of Robertsonian translocations limits the power of chromosomal characters in resolving interfamily phylogenetic relationships

Although the monophyly of Chiroptera is well supported by many independent studies, higher-level systematics, e.g. the monophyly of microbats, remains disputed by morphological and molecular studies. Chromosomal rearrangements, as one type of rare genomic changes, have become increasingly popular in phylogenetic studies as alternatives to molecular and other morphological characters. Here, the representatives of families Megadermatidae and Emballonuridae are studied by comparative chromosome painting for the first time. The results have been integrated into published comparative maps, providing an opportunity to assess genome-wide chromosomal homologies between the representatives of eight bat families. Our results further substantiate the wide occurrence of Robertsonian translocations in bats, with the possible involvement of whole-arm reciprocal translocations (WARTs). In order to search for valid cytogenetic signature(s) for each family and superfamily, evolutionary chromosomal rearrangements identified by chromosomal painting and/or banding comparison are subjected to two independent analyses: (1) a cladistic analysis using parsimony and (2) the mapping of these chromosomal changes onto the molecularly defined phylogenetic tree available fromthe literature. Both analyses clearly indicate the prevalence of homoplasic events that reduce the reliability of chromosomal characters for resolving interfamily relationships in bats.

Analytical solution of a multidimensional Langevin equation at high friction limits and probability passing over a two-dimensional saddle

The analytical solution of a multidimensional Langevin equation at the overdamping limit is obtained and the probability of particles passing over a two-dimensional saddle point is discussed. These results may break a path for studying further the fusion in superheavy elements synthesis.

Understanding the branching ratios of chi(c1) -> phi phi,omega omega,omega phi observed at BES-III

In this work, we discuss the contribution of the mesonic loops to the decay rates of chi(c1) -> phi phi, omega omega, which are suppressed by the helicity selection rules and chi(c1) -> phi omega, which is a double- Okubo- ZweigIizuka forbidden process. We find that the mesonic loop effects naturally explain the clear signals of chi(c1) -> phi phi, omega omega decay modes observed by the BES Collaboration. Moreover, we investigate the effects of the omega - phi mixing, which may result in the order of magnitude of the branching ratio BR(chi(c1) -> omega phi) being 10(-7). Thus, we are waiting for the accurate measurements of the BR(chi(c1) -> omega omega), BR(chi(c1) -> phi phi) and BR(chi(c1) -> omega phi) which may be very helpful for testing the long- distant contribution and the omega - phi mixing in chi(c1) -> phi phi, omega omega, omega phi decays.

Copolymerizations of ethylene with alpha-olefin-omega-ols by highly active vanadium(III) catalysts bearing [N,O] bidentate chelated ligands

The copolymerizations of ethylene with polar hydroxyl monomers such as 10-undecen-1-ol, 5-hexen-1-ol and 3-buten-1-ol were investigated by the vanadium(III) catalysts bearing bidentate [N,O] ligands (1, [PhN=C(CH3)CHC(Ph)O]VCl2(THF)(2): 2, [PhN=CHC6H4O]VCl2(THF)(2); 3, [PhN=CHC(Ph)CHO]VCl2(THF)(2)). The polar monomers were pretreated by alkylaluminum before the polymerization. High catalytic activities and efficient comonomer incorporations can be easily obtained by changing monomer masking reagents and polymerization conditions in the presence of diethylaluminium chloride as a cocatalyst. The longer the spacer group, the higher the incorporation of the monomer. Under the mild conditions, the incorporation level of 10-undecen-1-ol reached 13.9 mol% in the resultant copolymers was obtained. The reactivity ratios of copolymerization (r(1) = 41.4, r(2) = 0.02, r(1)r(2) = 0.83) were evaluated by Fineman-Ross method. According to C-13 NMR spectra, polar units were located both on the main chain and at the chain end.

Preparation and properties of conductive polyaniline/poly-omega-aminoundecanoyle fibers

Historically, polyaniline (PANI) had been considered an intractable material, but it can be dissolved in some solvents. Therefore, it could be processed into films or fibers. A process of preparing a blend of conductive fibers of PANI/poly-omega-aminoun-decanoyle (PA11) is described in this paper. PANI in the emeraldine base was blended with PA11 in concentrated sulfuric acid (c-H,SO,) to form a spinning dope solution. This solution was used to spin conductive PANI/PA11 fibers by wet-spinning technology. As-spun fibers were obtained by spinning the dopes into coagulation bath water or diluted acid and drawn fibers were obtained by drawing the as-spun fibers in warm drawing bath water. A scanning electron microscope was employed to study the effect of the acid concentration in the coagulation bath on the microstructure of as-spun fibers. The results showed that the coagulating rate of as-spun fibers was reduced and the size of pore shrank with an increase in the acid concentration in the coagulation bath. The weight fraction of PANI in the dope solution also had an influence on the microstructure of as-spun fibers. The microstructure of as-spun fibers had an influence on the drawing process and on the mechanical properties of the drawn fibers. Meanwhile, the electrically conductive property of the drawn fibers with different percentage of PANI was measured.

Synthesis, 2D NMR, electrochemistry and luminescence of ruthenium(II) complexes with 2,2 '-bipyridine and 5-(omega-bromoalkylamido)-1,10-phenanthroline

The efficient synthesis of 5-(5-bromovaleramido)-1,10-phenanthroline, 5-(6-bromohexanamido)-1,10-phenanthroline, and 5-(11-bromoundecanamido)-1,10-phenanthroline are described, which reacted with cis-Ru(bpy)(2)Cl-2. 2H(2)O and sodium hexafluorophosphate to form Ru(bpy)(2)[phen-NHCO(CH2)(n)Br](PF6)(2) (n = 4, 5 or 10; phen = 1,10-phenanthroline). The intricate H-1 NMR spectra at low field of these complexes were completely assigned in virtue of H-1-H-1 COSY technique. Cyclic voltammetry was used to study electrochemical behaviours of these complexes, and their luminescent properties were investigated with fluorescent spectra.

Conductive polyaniline poly-omega-aminoundecanoyle blending fiber

Conductive fibers were obtained by blending polyaniline with poly-omega-aminoundecanoyle in-concentrated H2SO4 Micro-fiber caused by non-compatibility between the two polymers was valuable for improving conductive property of the fibers. Abnormal effect on the crystallinity of polyaniline and poly-omega-aminoundecanoyle upon drawing stress was observed.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.