Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Diverse effects of renal denervation on ventricular hypertrophy and blood pressure in DOCA-salt hypertensive rats

Cardiac hypertrophy that accompanies hypertension seems to be a phenomenon of multifactorial origin whose development does not seem to depend on an increased pressure load alone, but also on local growth factors and cardioadrenergic activity. The aim of the present study was to determine if sympathetic renal denervation and its effects on arterial pressure level can prevent cardiac hypertrophy and if it can also delay the onset and attenuate the severity of deoxycorticosterone acetate (DOCA)-salt hypertension. DOCA-salt treatment was initiated in rats seven days after uninephrectomy and contralateral renal denervation or sham renal denervation. DOCA (15 mg/kg, sc) or vehicle (soybean oil, 0.25 ml per animal) was administered twice a week for two weeks. Rats treated with DOCA or vehicle (control) were provided drinking water containing 1% NaCl and 0.03% KCl. At the end of the treatment period, mean arterial pressure (MAP) and heart rate measurements were made in conscious animals. Under ether anesthesia, the heart was removed and the right and left ventricles (including the septum) were separated and weighed. DOCA-salt treatment produced a significant increase in left ventricular weight/body weight (LVW/BW) ratio (2.44 ± 0.09 mg/g) and right ventricular weight/body weight (RVW/BW) ratio (0.53 ± 0.01 mg/g) compared to control (1.92 ± 0.04 and 0.48 ± 0.01 mg/g, respectively) rats. MAP was significantly higher (39%) in DOCA-salt rats. Renal denervation prevented (P>0.05) the development of hypertension in DOCA-salt rats but did not prevent the increase in LVW/BW (2.27 ± 0.03 mg/g) and RVW/BW (0.52 ± 0.01 mg/g). We have shown that the increase in arterial pressure level is not responsible for cardiac hypertrophy, which may be more related to other events associated with DOCA-salt hypertension, such as an increase in cardiac sympathetic activity.

Análise da fibrose do tecido adiposo de mulheres submetidas à abdominoplastia e cirurgia bariátrica

A fibrose é um acúmulo demasiado de matriz extracelular, resultante de um desequilíbrio entre a síntese e a degradação dos seus componentes. É associada às alterações metabólicas do tecido adiposo, contudo sua ocorrência nos diferentes depósitos e repercussões clínicas ainda não são totalmente compreendidas. O objetivo deste estudo foi analisar a fibrose no tecido adiposo em relação à presença de obesidade, localização do depósito [tecido adiposo subcutâneo abdominal (TASA) e visceral (TAV)] e sua associação a variáveis clínicas. Amostras de gordura do TASA e TAV foram obtidas de 21 mulheres submetidas à cirurgia bariátrica (IMC>40Kg/m2) e 25 amostras de TASA das submetidas à abdominoplastia (IMC<30Kg/m2). As amostras foram processadas para histologia convencional. O corante picrosirius foi utilizado para avaliação das fibras colágenas totais. As imagens obtidas foram analisadas no ADIPOSOFT®. O percentual de fibrose no TASA e no TAV foi analisado com testes estatísticos não paramétricos, adotando-se um valor de p<0,05. A fibrose no TASA foi maior em mulheres com obesidade (p<0.0006). A fibrose entre os depósitos de TASA e de TAV foi observada apenas em mulheres pardas e negras com obesidade (p<0,012). A fibrose no TASA não foi correlacionada com as variáveis clínicas nas mulheres sem obesidade. No entanto, nas submetidas à cirurgia bariátrica, foram observadas correlações da fibrose no TASA com Índice de Massa Corpórea (IMC), hemoglobina glicada (A1c), LDL e triglicerídeos; e no TAV com porcentagem de perda gordura pré-operatório, % de perda de gordura total, % de massa magra pré, Taxa Metabólica Basal (TBM) e Gasto Energético Basal (GEB). Os parâmetros metabólicos e de perfil antropométrico antes da cirurgia bariátrica foram associados à fibrose no TASA, enquanto os parâmetros após a cirurgia foram associados à fibrose no TAV.

O pátio jesuítico no Palácio Anchieta: narrativas tipomorfológicas e paisagísticas na cidade de Vitória (ES)

A hipótese defendida nesta pesquisa se baseia na possibilidade de a arquitetura jesuítica implantada em terras brasileiras (século XVI) dialogar e agenciar, num mesmo corpo edificado, e de modo inter-relacionado, aspectos relativos à morfologia urbana, tipologia e paisagem. Lama explica que, como disciplina, a morfologia urbana agrega para si não somente o ambiente construído, mas os meios pelos quais este foi construído em sua interação com a forma urbana, ou seja, os “fenômenos sociais, econômicos e outros motores da urbanização” (LAMAS, 1992). Entender a forma urbana é entender seus elementos constituintes, “quer em ordem à leitura ou análise do espaço, quer em ordem à sua concepção ou produção” (LAMAS, 1992). Estudar a forma urbana significa compreender o lugar onde se insere a cidade e seus elementos constituintes, seus espaços e a inter-relação entre eles e seu contexto, em um espectro abrangente do que se denomina cidade, e urbano. A tipologia arquitetônica e a morfologia urbana estão interligadas no cerne de suas análises, considerando que ambas, segundo Pereira, estudam “duas ordens de fatos homogêneos” (PEREIRA, 2012); estudam elementos constituintes da cidade – arquitetônicos e espaciais – que se sobrepõem ou se complementam de acordo com a escala de análise utilizada. A arquitetura jesuítica do Brasil colonial modela de modo determinante a construção de distintos núcleos urbanos originários na costa brasileira no século XVI. Isso, por meio da implantação de tipologia edilícia que acompanha a doutrina jesuítica de localização e escolha do sítio para suas construções, preconizando segurança, visibilidade do entorno e facilidade de acesso por rios ou pelo mar. Essas construções, realizadas em áreas elevadas, marcaram, por conseguinte, no tempo e no espaço, a paisagem dos primeiros núcleos urbanos brasileiros. A pesquisa analisou um dos exemplares históricos da arquitetura jesuítica no Estado do Espírito Santo, especificamente na cidade de Vitória, capital e núcleo urbano original da colonização portuguesa neste Estado. A instalação dos jesuítas na antiga Vila da Vitória, no séc. XVI, através de sua igreja dedicada a São Tiago e de seu colégio anexo, marca a presença tipológica de uma arquitetura religiosa que influencia a própria morfologia da cidade – caracterizando esta arquitetura como um tipomorfológico - e, por reflexo, participa da construção de sua paisagem urbana secular. Entende-se que o antigo complexo jesuítico de São Tiago e atual Palácio Anchieta, sede governamental e prédio cultural capixaba, é uma arquitetura que permeia estas três grandes narrativas arquitetônicas e urbanas: a tipologia, a morfologia e a paisagem.

Determinação de estanho em tecidos de ratas por ICP-MS

Os organoestânicos, principalmente o tributilestanho (TBT), são contaminantes ambientais, utilizados principalmente em tintas anti-incrustantes para navios. Eles sofrem bioacumulação e podem ser encontrados em mamíferos, inclusive em seres humanos. A principal fonte de exposição é a ingestão de alimentos contaminados. Esse estudo possuiu como objetivo a determinação de estanho em tecidos de ratas expostas cronicamente a TBT utilizando espectrometria de massas com plasma acoplado indutivamente (ICP-MS). Ratas Wistar adultas foram usadas na experimentação, sendo divididas dois grupos: o grupo exposto a 100 ng kg-1 dia-1 de TBT por 15 dias e o grupo de referência que recebeu somente o veículo durante o mesmo período de exposição. Ao final da exposição, os animais foram sacrificados e coletados plasma, coração, rim, pulmão, fígado e ovário para análise. As amostras foram secas em estufa por 72 horas e pulverizadas. A determinação de estanho foi realizada por ICP-MS após a digestão ácida assistida por micro-ondas de uma amostra com aproximadamente 100 mg. O limite de detecção (LD) calculado foi 4,3 ng L-1, o que permite a determinação de estanho em amostras de tecidos de animais usados para experimentação. A exatidão foi verificada pela análise do material de referência certificado de urina, Seronorm Urine (54,6 ± 2,7 μg L-1), tendo como resultado 50,1 ± 3,8 μg L-1. A concentração de estanho foi determinada em amostras de plasma, coração, rim, pulmão, fígado e ovário do grupo exposto a TBT e do grupo controle. Houve diferença estatisticamente significativa entre os dois grupos para todas as amostras analisadas. As diferenças entre os grupos foram mais pronunciadas nas amostras de fígado e rim. Além disso, este estudo mostrou que a presença de estanho no organismo de ratas distribui-se pelos tecidos acarretando em alterações morfofisiológicas já descritas em ovários, coração e fígado

Reducing fuel consumption through modular vehicle architectures

By identifying energy waste streams in vehicles fuel consumption and introducing the concept of lean driving systems, a technological gap for reducing fuel consumption was identified. This paper proposes a solution to overcome this gap, through a modular vehicle architecture aligned with driving patterns. It does not address detailed technological solutions; instead it models the potential effects in fuel consumption through a modular concept of a vehicle and quantifies their dependence on vehicle design parameters (manifesting as the vehicle mass) and user behavior parameters (driving patterns manifesting as the use of a modular car in lighter and heavier mode, in urban and highway cycles). Modularity has been functionally applied in automotive industry as manufacture and assembly management strategies; here it is thought as a product development strategy for flexibility in use, driven by environmental concerns and enabled by social behaviors. The authors argue this concept is a step forward in combining technological solutions and social behavior, of which eco-driving is a vivid example, and potentially evolutionary to a lean, more sustainable, driving culture.

Pectus Excavatum postsurgical outcome based on preoperative soft body dynamics simulation

Pectus excavatum is the most common congenital deformity of the anterior chest wall, in which an abnormal formation of the rib cage gives the chest a caved-in or sunken appearance. Today, the surgical correction of this deformity is carried out in children and adults through Nuss technic, which consists in the placement of a prosthetic bar under the sternum and over the ribs. Although this technique has been shown to be safe and reliable, not all patients have achieved adequate cosmetic outcome. This often leads to psychological problems and social stress, before and after the surgical correction. This paper targets this particular problem by presenting a method to predict the patient surgical outcome based on pre-surgical imagiologic information and chest skin dynamic modulation. The proposed approach uses the patient pre-surgical thoracic CT scan and anatomical-surgical references to perform a 3D segmentation of the left ribs, right ribs, sternum and skin. The technique encompasses three steps: a) approximation of the cartilages, between the ribs and the sternum, trough b-spline interpolation; b) a volumetric mass spring model that connects two layers - inner skin layer based on the outer pleura contour and the outer surface skin; and c) displacement of the sternum according to the prosthetic bar position. A dynamic model of the skin around the chest wall region was generated, capable of simulating the effect of the movement of the prosthetic bar along the sternum. The results were compared and validated with patient postsurgical skin surface acquired with Polhemus FastSCAN system

Characterization of heat tolerance in wheat cultivars and effects on production components

Abstract: There is a need for heat tolerant wheat cultivars adapted to the expansion of cultivation areas in warmer regions due to the high demand of this cereal for human consumption. The objective of this study was to evaluate the effect of high temperatures on grain yield and yield components of wheat and characterize heat tolerant wheat genotypes at different development stages. The genotypes were evaluated in the field with and without heat stress. High temperatures reduced the number of spikelets per spike (21%), number of grains per spike (39%), number of grains per spikelet (23%), 1000-grain weight (27%) and grain yield (79%). Cultivars MGS 1 Aliança, Embrapa 42, IAC 24-Tucuruí and IAC 364-Tucuruí III are the most tolerant to heat stress between the stages double ridge and terminal spikelet; MGS 1 Aliança, BRS 264, IAC 24-Tucuruí, IAC 364-Tucuruí III and VI 98053, between meiosis and anthesis; and BRS 254, IAC-24-Tucuruí, IAC-364-Tucuruí III and VI 98053, between anthesis and physiological maturity. High temperatures reduce grain yield and yield components. The number of grains per spike is the most reduced component under heat stress. The genotypes differed in tolerance to heat stress in different developmental stages.

Effect of spatial arrangement on the production components and yield of sunflower

ABSTRACT The sunflower plant is an oilseed crop that has aroused a great interest in the Brazilian and international scenery especillay because of the possibility of using its oil for biodiesel production. The objective of this study was to evaluate productivity and yield components of Embrapa 122 sunflower according to the spatial arrangement. Treatments were arranged in 4 x 4 factorial arrangement, which are the four spacings between rows (0.30; 0.50; 0.70 and 0.90 m) and four sowing densities (30,000; 45,000; 60,000 and 75,000 plants ha-1). The experiment was carried out in a complete randomized block design with four replications. The experiments were conducted in the experimental area of the Plant Science Department in Fortaleza, State of Ceará-Brazil and on the Curu Vale Experimental Farm in Pentecoste, State of Ceará-Brazil. Productivity and the following production components were analyzed in the end of the crop cycle: harvested capitula, capitulum diameter, capitulum mass, achene mass per capitulum, mass of 100 achenes, achenes per capitulum, harvest index and oil content in the achenes. The experiments were analyzed jointly in relation to the cropping area and the data submitted to analysis of variance and quantitative factors tested by polynomial regression. The variables, spacing, density and cropping area did not interact with these variables and the spatial arrangement of the plants affected only the components. The cropping area influences the productive behavior of sunflower Embrapa 122. The spatial arrangement of the plants of sunflower of variety Embrapa 122 influences yield components but does not affect productivity.

An optimal level of technology reliance on foreign partners in a global sourcing partnership: components procurement, technology management and market performance

Existing studies on global sourcing strategy have implicitly adopted a cJosed-systems perspective in which sourcing activities are managed within a multinational company across national boundaries. Produd and process innovations and components procurement that are jointly managed by a consortium of cooperating firms have not been examined. In this paper, we empiricallyexamine the issues concerning sourcing partnerships in an open-systems perspective. Findings suggest that even in a sourcing partnership arrangement with a foreign supplier, the principal firm's ability to procure and control the supply of major components has a positive bearing on its market performance.

Body composition, muscle strength, functional capacity, and physical disability risk in liver transplanted familial amyloidotic polyneuropathy patients

Abstract: Background: Familial amyloidotic polyneuropathy (FAP) is a neurodegenerative disease leading to sensory and motor polyneuropathies, and functional limitations. Liver transplantation is the only treatment for FAP, requiring medication that negatively affects bone and muscle metabolism. The aim of this study was to compare body composition, levels of specific strength, level of physical disability risk, and functional capacity of transplanted FAP patients (FAPTx) with a group of healthy individuals (CON). Methods: A group of patients with 48 FAPTx (28 men, 20 women) was compared with 24 CON individuals (14 men, 10 women). Body composition was assessed by dual-energy X-ray absorptiometry, and total skeletal muscle mass (TBSMM) and skeletal muscle index (SMI) were calculated. Handgrip strength was measured for both hands as was isometric strength of quadriceps. Muscle quality (MQ) was ascertained by the ratio of strength to muscle mass. Functional capacity was assessed by the six-minute walk test. Results: Patients with FAPTx had significantly lower functional capacity, weight, body mass index, total fat mass, TBSMM, SMI, lean mass, muscle strength, MQ, and bone mineral density. Conclusion: Patients with FAPTx appear to be at particularly high risk of functional disability, suggesting an important role for an early and appropriately designed rehabilitation program.

Comparison of body fat content and distribution of familial amyloidotic polyneuropathy patients versus healthy subjects

The deposition of amyloid fibers at the peripheral nervous system can induce motor neuropathy in Familial Amiloidotic Polyneuropethy (FAP) patients. This produces progressive reductions in functional capacity. The only treatment for FAP is a liver transplant, followed by aggressive medication that can affect patients' metabolism. To our knowledge, there are no data on body fat distribution or comparison between healthy and FAP subjects, which may be important for clinical assessment and management of this disease. PURPOSE: To analyze body fat content and distribution between FAP patients and healthy subjects. METHODS: Body fat content and distribution were measured through Double Energy X-ray Densitometry (DXA) in two groups. Group 1 consisted of 43 Familial Amyloidotic Polyneuropathy patients (19 males, 32 + 8 Yrs, and 24 females, 37 + 5 yrs), who had liver transplant less than 2 months before. Group 2 consisted of 18 healthy subjects of similar age (8 males, 36 + 7 yrs, and 10 females, 39 + 5 yrs). RESULTS: Healthy subjects showed higher values than FAP patients for: BMI (24,2+2,3kg/m2 vs 22,3+3,8 kg/m2 respectively, p<0,05), % trunk BF (26,21+8,34kg vs 20,78+9,05kg respectively, p<0,05), % visceral BF (24,43+7,97% vs 19,21+9,30% respectively, p<0,05), % abdominal BF (26,63+8,51% vs 20,63+10,35% respectively, p<0,05) abdominal subcutaneous BF (0,533+0,421kg vs 0,353+0,257kg respectively, p=0,05), abdominal BF/BF ratio (0,09+0,02 vs 0,08+0,02 respectively, p<0,05) and abdominal BF/trunk BF ratio (0,19+0,03 vs 0,17+0,03 respectively, p<0,05). CONCLUSIONS: These results showed that FAP patients soon after liver transplantation exhibited a healthier body fat profile compared to controls. However, fat content and distribution varied widely in FAP subjects, suggesting an individualized approach for assessment and intervention rather than general guidelines. Future research is needed to investigate the long term consequences on body fat following liver transplant in this population.

Comparison of body fat content and distribution of familial amyloidotic polyneuropathy patients versus healthy subjects

The deposition of amyloid fibers at the peripheral nervous system can induce motor neuropathy in Familial Amiloidotic Polyneuropethy (FAP) patients. This produces progressive reductions in functional capacity. The only treatment for FAP is a liver transplant, followed by aggressive medication that can affect patients' metabolism. To our knowledge, there are no data on body fat distribution or comparison between healthy and FAP subjects, which may be important for clinical assessment and management of this disease.

Effects of a randomized trial of exercise on body composition of liver transplanted patients

Liver transplantation is used as a only therapy so far, that stop the progression of some aspects of familial amyloidotic polyneuropathy disease (FAP) an autossomic neurodegenerative disease. FAP often results in severe functional limitations. Transplantation requires aggressive medication which impairs bone and muscle metabolism. Malnutrition plus weight loss is already one feature of FAP patients. All this may produce negative consequences on body composition. The effect of exercise training in FAP patients after a liver transplant (FAPTX) is currently unknown. The purpose of this study is to evaluate the effects of a six months exercise training program on body composition in FAPTX patients.