On the functional integration between postural and supra-postural tasks on the basis of contextual cues and task constraint

In order to evaluate the effects of uncertainty about direction of mechanical perturbation and supra-postural task constraint on postural control young adults had their upright stance perturbed while holding a tray in a horizontal position Stance was perturbed by moving forward or backward a supporting platform contrasting situations of certainty versus uncertainty of direction of displacement Increased constraint on postural stability was Imposed by a supra-postural task of equilibrating a cylinder on the tray Performance was assessed through EMG of anterior leg muscles angular displacement of the main Joints involved in the postural reactions and displacement of the tray Results showed that both certainty on the direction of perturbation and Increased supra-postural task constraint led to decreased angular displacement of the knee and the hip Furthermore combination of certainty and high supra-postural task constraint produced shorter latency of muscular activation Such postural responses were paralleled by decreased displacement of the tray Thesi results suggest a functional integration between the tasks with central set priming reactive postural responses from contextual cues and Increased stability demand (C) 2010 Elsevier B V All rights reserved

Upper limb assessment in tetraplegia: clinical, functional and kinematic correlations

The aim of this study was to correlate clinical and functional evaluations with kinematic variables of upper limp reach-to-grasp movement in patients with tetraplegia. Twenty chronic patients were selected to perform reach-to-grasp kinematic assessment using a target placed at a distance equal to the arm`s length. Kinematic variables (hand peak velocity, movement time, percent time-to-maximal velocity, index of curvature, number of peaks, and joint range of motion) were correlated to clinical (Standard Neurological Classification of Spinal Cord Injury-American Spinal Injury Association) and functional [Functional Independence Measure (FIM) and Spinal Cord Independence Measure II (SCIM II)) evaluation scores. Twenty control participants were also selected to obtain normal reference parameters. There was a positive correlation between total motor index and FIM (r=0.6089; P=0.0044) and SCIM II (r=0.5229; P=0.018). Both functional scores showed positive correlation with each other (r=0.8283; P<0.0001). A correlation was also observed between the right and left motor indices, the motor AM, and the SCIM II in most of the reach-to-grasp kinematic variables studied (hand peak velocity, movement time, index of curvature, and number of peaks). In contrast, for the joint range of motion (shoulder, elbow, and wrist), only the wrist in the horizontal plane showed correlation with clinical variables. This study shows that muscle strength assessed by the American Spinal Injury Association motor index influences the reach-to-grasp kinematic variables of patients with tetraplegia. However, the functional assessments did not present the same influence.

Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

A Procedure for Semantic Querying in the Adaptive Formalism

This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method`s applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.

Toward Optimal Design of Piezoelectric Transducers Based on Multifunctional and Smoothly Graded Hybrid Material Systems

This work explores the design of piezoelectric transducers based on functional material gradation, here named functionally graded piezoelectric transducer (FGPT). Depending on the applications, FGPTs must achieve several goals, which are essentially related to the transducer resonance frequency, vibration modes, and excitation strength at specific resonance frequencies. Several approaches can be used to achieve these goals; however, this work focuses on finding the optimal material gradation of FGPTs by means of topology optimization. Three objective functions are proposed: (i) to obtain the FGPT optimal material gradation for maximizing specified resonance frequencies; (ii) to design piezoelectric resonators, thus, the optimal material gradation is found for achieving desirable eigenvalues and eigenmodes; and (iii) to find the optimal material distribution of FGPTs, which maximizes specified excitation strength. To track the desirable vibration mode, a mode-tracking method utilizing the `modal assurance criterion` is applied. The continuous change of piezoelectric, dielectric, and elastic properties is achieved by using the graded finite element concept. The optimization algorithm is constructed based on sequential linear programming, and the concept of continuum approximation of material distribution. To illustrate the method, 2D FGPTs are designed for each objective function. In addition, the FGPT performance is compared with the non-FGPT one.

Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.

Functional characterization of the oxaloacetase encoding gene and elimination of oxalate formation in the beta-lactam producer Penicillium chrysogenum

Penicillium chrysogenum is widely used as an industrial antibiotic producer, in particular in the synthesis of g-lactam antibiotics such as penicillins and cephalosporins. In industrial processes, oxalic acid formation leads to reduced product yields. Moreover, precipitation of calcium oxalate complicates product recovery. We observed oxalate production in glucose-limited chemostat cultures of P. chrysogenum grown with or without addition of adipic acid, side-chain of the cephalosporin precursor adipoyl-6-aminopenicillinic acid (ad-6-APA). Oxalate accounted for up to 5% of the consumed carbon source. In filamentous fungi, oxaloacetate hydrolase (OAH; EC3.7.1.1) is generally responsible for oxalate production. The P. chrysogenum genome harbours four orthologs of the A. niger oahA gene. Chemostat-based transcriptome analyses revealed a significant correlation between extracellular oxalate titers and expression level of the genes Pc18g05100 and Pc22g24830. To assess their possible involvement in oxalate production, both genes were cloned in Saccharomyces cerevisiae, yeast that does not produce oxalate. Only the expression of Pc22g24830 led to production of oxalic acid in S. cerevisiae. Subsequent deletion of Pc22g28430 in P. chrysogenum led to complete elimination of oxalate production, whilst improving yields of the cephalosporin precursor ad-6-APA. (C) 2011 Elsevier Inc. All rights reserved.

Electrochemical study of modified non-functional bis-silane layers on Al alloy 2024-T3

In the last few years great efforts have been made in order to find and to develop environmentally friendly substitutes for Cr6+ pre-treatments applied on aluminium alloys used in the aircraft industry. Among the potential substitutes, silane layers have attracted considerable interest from researchers and from the industry. The present work investigates the anti-corrosion behaviour of (bis-1, 2-(triethoxysilyl) ethane (BTSE)) silane layers modified with Ce ions and/or silica nanoparticles applied on Al alloy 2024-T3 substrates. The corrosion behaviour was investigated in 0.1 M NaCl solution via d.c. polarization and electrochemical impedance spectroscopy (EIS). Contact angle measurements and XPS were used to assess information on the chemistry of the silane pre-treated surfaces. The results have shown that the introduction of additives improves the corrosion protection properties of the silane layer. (c) 2008 Elsevier Ltd. All rights reserved.

Minimizing total tardiness in a stochastic single machine scheduling problem using approximate dynamic programming

This paper addresses the non-preemptive single machine scheduling problem to minimize total tardiness. We are interested in the online version of this problem, where orders arrive at the system at random times. Jobs have to be scheduled without knowledge of what jobs will come afterwards. The processing times and the due dates become known when the order is placed. The order release date occurs only at the beginning of periodic intervals. A customized approximate dynamic programming method is introduced for this problem. The authors also present numerical experiments that assess the reliability of the new approach and show that it performs better than a myopic policy.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

ECONOMICAL OCCUPATION OF AGRICULTURAL AREA OF PIRACICABA (SAO PAULO STATE, BRAZIL), INCLUDING RISK THROUGH LINEAR PROGRAMMING

The economic occupation of an area of 500 ha for Piracicaba was studied with the irrigated cultures of maize, tomato, sugarcane and beans, having used models of deterministic linear programming and linear programming including risk for the Target-Motad model, where two situations had been analyzed. In the deterministic model the area was the restrictive factor and the water was not restrictive for none of the tested situations. For the first situation the gotten maximum income was of R$ 1,883,372.87 and for the second situation it was of R$ 1,821,772.40. In the model including risk a producer that accepts risk can in the first situation get the maximum income of R$ 1,883,372. 87 with a minimum risk of R$ 350 year(-1), and in the second situation R$ 1,821,772.40 with a minimum risk of R$ 40 year(-1). Already a producer averse to the risk can get in the first situation a maximum income of R$ 1,775,974.81 with null risk and for the second situation R$ 1.707.706, 26 with null risk, both without water restriction. These results stand out the importance of the inclusion of the risk in supplying alternative occupations to the producer, allowing to a producer taking of decision considered the risk aversion and the pretension of income.

Extension of the core map of common bean with EST-SSR, RGA, AFLP, and putative functional markers

Microsatellites and gene-derived markers are still underrepresented in the core molecular linkage map of common bean compared to other types of markers. In order to increase the density of the core map, a set of new markers were developed and mapped onto the RIL population derived from the `BAT93` x `Jalo EEP558` cross. The EST-SSR markers were first characterized using a set of 24 bean inbred lines. On average, the polymorphism information content was 0.40 and the mean number of alleles per locus was 2.7. In addition, AFLP and RGA markers based on the NBS-profiling method were developed and a subset of the mapped RGA was sequenced. With the integration of 282 new markers into the common bean core map, we were able to place markers with putative known function in some existing gaps including regions with QTL for resistance to anthracnose and rust. The distribution of the markers over 11 linkage groups is discussed and a newer version of the common bean core linkage map is proposed.

Analysis of genomic and functional RFLP derived markers associated with sucrose content, fiber and yield QTLs in a sugarcane (Saccharum spp.) commercial cross

Expressed sequence tags derived markers have a great potential to be used in functional map construction and QTL tagging. In the present work, sugarcane genomic probes and expressed sequence tags having homology to genes, mostly involved in carbohydrate metabolism were used in RFLP assays to identify putative QTLs as well as their epistatic interactions for fiber content, cane yield, pol and tones of sugar per hectare, at two crop cycles in a progeny derived from a bi-parental cross of sugarcane elite materials. A hundred and twenty marker trait associations were found, of which 26 at both crop cycle and 32 only at first ratoon cane. A sucrose synthase derived marker was associated with a putative QTL having a high negative effect on cane yield and also with a QTL having a positive effect on Pol at both crop cycles. Fifty digenic epistatic marker interactions were identified for the four traits evaluated. Of these, only two were observed at both crop cycles.

Characterization of new polymorphic functional markers for sugarcane

Fundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP)[02/01167-1]