35 resultados para Syntactic derivation
Resumo:
A unidirectional fiber composite is considered here, the fibers of which are empty cylindrical holes periodically distributed in a transversely isotropic piezoelectric matrix, The empty-fiber cross-section is circular and the periodicity is the same in two directions at an angle pi/2 or pi/3. Closed-form formulae for all electromechanical effective properties of these 3-1 longitudinally periodic porous piezoelectric materials are presented. The derivation of such expressions is based on the asymptotic homogenization method as a limit of the effective properties of two-phase transversely isotropic parallel fiber-reinforced composites when the fibers properties tend to zero. The plane effective coefficients satisfy the corresponding Schulgasser-Benveniste-Dvorak universal type of relations, A new relation among the antiplane effective constants from the solutions of two antiplane strains and potential local problems is found. This relation is valid for arbitrary shapes of the empty-fiber cross-sections. Based on such a relation, and using recent numerical results for isotropic conductive composites, the antiplane effective properties are computed for different geometrical shapes of the empty-fiber cross-section. Comparisons with other analytical and numerical theories are presented. (c) 2008 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.
Resumo:
Hydrodynamic journal bearings are susceptible to static angular misalignment, resulting from improper assemblage, elastic and thermal distortion of the shaft and bearing housing, and also manufacturing errors. Several previous works on the theme, both theoretical and experimental, focused on the determination of the static properties of angular misaligned bearings. Although some reports show agreement between theoretical and experimental results, the increasingly severe operating conditions of hydrodynamic bearings (heavy loads and high rotational speeds) require more reliable theoretical formulations for the evaluation of the journal performance during the design process. The consideration of the angular misalignment in the derivation of the Reynolds equation is presented here in detail, showing that properly conducted geometric and magnitude-order analyses lead to the inclusion of an axial wedge effect term that influences the velocity and pressure fields in the lubricant film. Numerical results evidence that this axial wedge effect more significantly affects the hydrodynamic forces and static operational properties of tilted short journal bearings.
Resumo:
A rigorous derivation of non-linear equations governing the dynamics of an axially loaded beam is given with a clear focus to develop robust low-dimensional models. Two important loading scenarios were considered, where a structure is subjected to a uniformly distributed axial and a thrust force. These loads are to mimic the main forces acting on an offshore riser, for which an analytical methodology has been developed and applied. In particular, non-linear normal modes (NNMs) and non-linear multi-modes (NMMs) have been constructed by using the method of multiple scales. This is to effectively analyse the transversal vibration responses by monitoring the modal responses and mode interactions. The developed analytical models have been crosschecked against the results from FEM simulation. The FEM model having 26 elements and 77 degrees-of-freedom gave similar results as the low-dimensional (one degree-of-freedom) non-linear oscillator, which was developed by constructing a so-called invariant manifold. The comparisons of the dynamical responses were made in terms of time histories, phase portraits and mode shapes. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
Based on physical laws of similarity, an analytic solution of the soil water potential form of the Richards equation was derived for water infiltration into a homogeneous sand. The derivation assumes a similarity between the soil water retention function and that of the soil water content profiles taken at fixed times. The new solution successfully described soil water content profiles experimentally measured for water infiltrating downward, upward, and horizontally into a homogeneous sand and agrees with that presented by Philip in 1957. The utility of this analysis is still to be verified, but it is expected to hold for soils that have a narrow pore-size distribution before wetting and that manifest a sharp increase of water content at the wetting front during infiltration. The effect of van Genuchten`s parameters alpha and n on the application of the solution to other porous media was investigated. The solution also improves and provides a more realistic description of the infiltration process than that pioneered by Green and Ampt in 1911.
Resumo:
The use of the Boltzmann transform function, lambda(theta), to solve the Richards equation when the diffusivity, D, is a function of only soil water content,., is now commonplace in the literature. Nevertheless, a new analytic solution of the Boltzmann transform lambda(h) as a function of matric potential for horizontal water infiltration into a sand was derived without invoking the concept or use of D(theta). The derivation assumes that a similarity exists between the soil water retention function and the Boltzmann transform lambda(theta). The solution successfully described soil water content profiles experimentally measured for different infiltration times into a homogeneous sand and agrees with those presented by Philip in 1955 and 1957. The applicability of this solution for all soils remains open, but it is anticipated to hold for soils whose air-filled pore-size distribution before wetting is sufficiently narrow to yield a sharp increase of water content at the wetting front during infiltration. It also improves and provides a versatile alternative to the well-known analysis pioneered by Green and Ampt in 1911.
Resumo:
This paper examines the syntax of indirect objects (IO) in Brazilian Portuguese (BP). Adopting a comparative perspective we propose that BP differs from European Portuguese (EP) in the grammatical encoding of IO. In EP ditransitive contexts, IO is found in two configurations - one projected by a (low) applicative head and another one involving a lexical/true preposition. We propose that the former property is contingent upon the presence of dative Case marking: namely, the morpheme `a` that introduces IO (a-DP), whose corresponding clitic pronoun is `lhe/lhes`. In contrast, important changes in the pronominal system, coupled with the increase in the use of the preposition `para` are taken as evidence for the loss of the low applicative construction in BP. Thus only the configuration with the lexical/true preposition is found in (Standard) BP. We argue that the innovative properties of IO in BP are due to the loss of the (3rd person) dative clitic and the preposition `a` as dative Case markers. Under this view, we further account for the realization of IO as a DP/weak pronoun, found in dialects of the central region of Brazil, which points to a similarity with the English Double Object Construction. Finally we show that the connection between the morphological expression of the dative Case and the expression of parameters supports a view of syntactic change according to which parametric variation is determined in the lexicon, in terms of the formal features of functional heads.
Resumo:
Background Bariatric surgery (BS) was recognized as the only treatment for morbid obesity in adolescents. Classic surgical procedures are based on mechanical restriction and/or malabsorption, resulting in a large number of possible complications and demanding lifelong medical attention. A novel BS design, the Santoro III procedure, relies on modifying secretion of the satiogenic hormones GLP-1 and PYY. This approach avoids common BS complications such as prostheses, narrow anastomoses, excluded segments, and malabsorption. This study describes the 1-year follow-up of the first ten adolescents operated on using the Santoro III technique in a pediatric surgical service. Methods Ten adolescents, mean age 16.1 +/- 1.7 years with body mass index (BMI) greater than 40 kg/m(2) (range 44 to 72 kg/m(2)), refractory to at least 2 years of medical weight loss treatment were selected by a multidisciplinary team to undergo BS. This operation consists of a sleeve gastrectomy with enteroomentectomy and partial gastro-ileal derivation. Results After 1 year, mean body weight decreased from 140.3 to 88.6 kg, and BMI decreased from 52.8 +/- 9.5 kg/m(2) to 33.4 +/- 7.7 kg/m(2), with percent of excess BMI lost as 83.9 +/- 17.1%. Glucose, insulin, total cholesterol, LDL-cholesterol, and triglyceride levels decreased significantly, while HDL-cholesterol, hemoglobin, and albumin levels remained unchanged. There were no mortalities or reoperations. The two complications that presented during the trial (intraperitoneal abscess and polyneuritis) resolved with medical treatment without sequelae. All the patients returned to their normal activities and their BMI began to stabilize approximately 2 years following surgery. Conclusions The Santoro III procedure is an attractive option for adolescent BS, with promising 1-year follow-up results. These initial studies should be monitored for long-term outcomes and confirmed on a larger group of patients.
Resumo:
Background: Around 15% of patients die or become dependent after cerebral vein and dural sinus thrombosis (CVT). Method: We used the International Study on Cerebral Vein and Dural Sinus Thrombosis (ISCVT) sample (624 patients, with a median follow-up time of 478 days) to develop a Cox proportional hazards regression model to predict outcome, dichotomised by a modified Rankin Scale score > 2. From the model hazard ratios, a risk score was derived and a cut-off point selected. The model and the score were tested in 2 validation samples: (1) the prospective Cerebral Venous Thrombosis Portuguese Collaborative Study Group (VENO-PORT) sample with 91 patients; (2) a sample of 169 consecutive CVT patients admitted to 5 ISCVT centres after the end of the ISCVT recruitment period. Sensitivity, specificity, c statistics and overall efficiency to predict outcome at 6 months were calculated. Results: The model (hazard ratios: malignancy 4.53; coma 4.19; thrombosis of the deep venous system 3.03; mental status disturbance 2.18; male gender 1.60; intracranial haemorrhage 1.42) had overall efficiencies of 85.1, 84.4 and 90.0%, in the derivation sample and validation samples 1 and 2, respectively. Using the risk score (range from 0 to 9) with a cut-off of 6 3 points, overall efficiency was 85.4, 84.4 and 90.1% in the derivation sample and validation samples 1 and 2, respectively. Sensitivity and specificity in the combined samples were 96.1 and 13.6%, respectively. Conclusions: The CVT risk score has a good estimated overall rate of correct classifications in both validation samples, but its specificity is low. It can be used to avoid unnecessary or dangerous interventions in low-risk patients, and may help to identify high-risk CVT patients. Copyright (C) 2009 S. Karger AG, Basel
Resumo:
Background. Bilioduodenal (BD) and biliojejunal (BJ) derivation induce enterobiliary reflux and bile stasis. Decompression of the excluded loop of the Roux-en-Y (BJD) was proposed to minimize these effects. The aim of this study was to compare the influence of these three modalities of biliary bypass on hepatic lesion repair in rats with secondary biliary fibrosis. Materials and Methods. Rats with 15 d of biliary obstruction underwent BD, BJ, and BJD drainage and were compared with a group submitted to simulated operation (SO) and biliary obstruction (CBO). The serum values of total and fractional bilirubin, alkaline phosphatase (ALP), and aminotransferases (AST and ALT), as well as hepatobiliointestinal excretion determined with (99m)Tc-Disida, were used for comparison. In addition, we used morphometric analyses to estimate the mass of the hepatocytes, bile ducts, and liver fibrosis. We also counted hepatic stellate cells (SC). Results. For each of the three modalities of biliary drainage, there were significant reductions in bilirubin, AST, ALP, and the number of SCs. The recovery of the estimated mass of all histologic components occurred only after BJ and BJD; in the BD group, the estimated hepatocyte mass was reduced compared with the SO group. The residual hepatic radioactivity of (99m)Tc-Disida was greater in the BJD group than in the SO group. Conclusions. The interposition of the jejunal loop between the biliary tree and the intestine may slow hepatobiliary clearance of radioactivity, even though it provides the resolution of cholestasis and is effective in recovering from hepatic lesions. (C) 2011 Elsevier Inc. All rights reserved.
Resumo:
Of the over 400 known(1) exoplanets, there are about 70 planets that transit their central star, a situation that permits the derivation of their basic parameters and facilitates investigations of their atmospheres. Some short-period planets(2), including the first terrestrial exoplanet(3,4) (CoRoT-7b), have been discovered using a space mission(5) designed to find smaller and more distant planets than can be seen from the ground. Here we report transit observations of CoRoT-9b, which orbits with a period of 95.274 days on a low eccentricity of 0.11 +/- 0.04 around a solar-like star. Its periastron distance of 0.36 astronomical units is by far the largest of all transiting planets, yielding a `temperate` photospheric temperature estimated to be between 250 and 430 K. Unlike previously known transiting planets, the present size of CoRoT-9b should not have been affected by tidal heat dissipation processes. Indeed, the planet is found to be well described by standard evolution models(6) with an inferred interior composition consistent with that of Jupiter and Saturn.
Resumo:
Pluripotent human embryonic stem (hES) cells are an important experimental tool for basic and applied research, and a potential source of different tissues for transplantation. However, one important challenge for the clinical use of these cells is the issue of immunocompatibility, which may be dealt with by the establishment of hES cell banks to attend different populations. Here we describe the derivation and characterization of a line of hES cells from the Brazilian population, named BR-I, in commercial defined medium. In contrast to the other hES cell lines established in defined medium, BR-I maintained a stable normal karyotype as determined by genomic array analysis after 6 months in continuous culture (passage 29). To our knowledge, this is the first reported line of hES cells derived in South America. We have determined its genomic ancestry and compared the HLA-profile of BR-I and another 22 hES cell lines established elsewhere with those of the Brazilian population, finding they would match only 0.011% of those individuals. Our results highlight the challenges involved in hES cell banking for populations with a high degree of ethnic admixture.
Resumo:
Identifying the correct sense of a word in context is crucial for many tasks in natural language processing (machine translation is an example). State-of-the art methods for Word Sense Disambiguation (WSD) build models using hand-crafted features that usually capturing shallow linguistic information. Complex background knowledge, such as semantic relationships, are typically either not used, or used in specialised manner, due to the limitations of the feature-based modelling techniques used. On the other hand, empirical results from the use of Inductive Logic Programming (ILP) systems have repeatedly shown that they can use diverse sources of background knowledge when constructing models. In this paper, we investigate whether this ability of ILP systems could be used to improve the predictive accuracy of models for WSD. Specifically, we examine the use of a general-purpose ILP system as a method to construct a set of features using semantic, syntactic and lexical information. This feature-set is then used by a common modelling technique in the field (a support vector machine) to construct a classifier for predicting the sense of a word. In our investigation we examine one-shot and incremental approaches to feature-set construction applied to monolingual and bilingual WSD tasks. The monolingual tasks use 32 verbs and 85 verbs and nouns (in English) from the SENSEVAL-3 and SemEval-2007 benchmarks; while the bilingual WSD task consists of 7 highly ambiguous verbs in translating from English to Portuguese. The results are encouraging: the ILP-assisted models show substantial improvements over those that simply use shallow features. In addition, incremental feature-set construction appears to identify smaller and better sets of features. Taken together, the results suggest that the use of ILP with diverse sources of background knowledge provide a way for making substantial progress in the field of WSD.
Resumo:
We provide a simple topological derivation of a formula for the Reidemeister and the analytic torsion of spheres.
Resumo:
Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes and follow differing semantic concepts. Nevertheless, they are interdependent due to security services having to cooperate and their configuration to be consistent with each other, so that global security policies are completely and correctly enforced. To tackle this problem, our approach supports a comfortable definition of an abstract high-level security policy and provides an automated derivation of the desired configuration files. It is an extension of policy-based management and policy hierarchies, combining model-based management (MBM) with system modularization. MBM employs an object-oriented model of the managed system to obtain the details needed for automated policy refinement. The modularization into abstract subsystems (ASs) segment the system-and the model-into units which more closely encapsulate related system components and provide focused abstract views. As a result, scalability is achieved and even comprehensive IT systems can be modelled in a unified manner. The associated tool MoBaSeC (Model-Based-Service-Configuration) supports interactive graphical modelling, automated model analysis and policy refinement with the derivation of configuration files. We describe the MBM and AS approaches, outline the tool functions and exemplify their applications and results obtained. Copyright (C) 2010 John Wiley & Sons, Ltd.
Resumo:
In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.