Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Hand-held robotic device for laparoscopic surgery and training

Laparoscopic surgery (LS) has revolutionized traditional surgical techniques introducing minimally invasive procedures for diagnosis and local therapies. LSs have undeniable advantages, such as small patient incisions, reduced postoperative pain and faster recovery. On the other hand, restricted vision of the anatomical target, difficult handling of the surgical instruments, restricted mobility inside the human body, need of dexterity to hand-eye coordination and inadequate and non-ergonomic surgical instruments may restrict LS only to more specialized surgeons. To overcome the referred limitations, this work presents a new robotic surgical handheld system – the EndoRobot. The EndoRobot was designed to be used in clinical practice or even as a surgical simulator. It integrates an electromechanical system with 3 degrees of freedom. Each degree can be manipulated independently and combined with different levels of sensitivity allowing fast and slow movements. As other features, the EndoRobot has battery power or external power supply, enables the use of bipolar radiofrequency to prevent bleeding while cutting and allows plug-and-play of the laparoscopic forceps for rapid exchange. As a surgical simulator, the system was also instrumented to measure and transmit, in real time, its position and orientation for a training software able to monitor and assist the trainee’s surgical movements.

Real-time hand tracking for rehabilitation and character animation

Hand and finger tracking has a major importance in healthcare, for rehabilitation of hand function required due to a neurological disorder, and in virtual environment applications, like characters animation for on-line games or movies. Current solutions consist mostly of motion tracking gloves with embedded resistive bend sensors that most often suffer from signal drift, sensor saturation, sensor displacement and complex calibration procedures. More advanced solutions provide better tracking stability, but at the expense of a higher cost. The proposed solution aims to provide the required precision, stability and feasibility through the combination of eleven inertial measurements units (IMUs). Each unit captures the spatial orientation of the attached body. To fully capture the hand movement, each finger encompasses two units (at the proximal and distal phalanges), plus one unit at the back of the hand. The proposed glove was validated in two distinct steps: a) evaluation of the sensors’ accuracy and stability over time; b) evaluation of the bending trajectories during usual finger flexion tasks based on the intra-class correlation coefficient (ICC). Results revealed that the glove was sensitive mainly to magnetic field distortions and sensors tuning. The inclusion of a hard and soft iron correction algorithm and accelerometer and gyro drift and temperature compensation methods provided increased stability and precision. Finger trajectories evaluation yielded high ICC values with an overall reliability within application’s satisfying limits. The developed low cost system provides a straightforward calibration and usability, qualifying the device for hand and finger tracking in healthcare and animation industries.

Assessment of Laparoscopic Skills Performance: 2D Versus 3D Vision and Classic Instrument Versus New Hand-Held Robotic Device for Laparoscopy

Introduction and Objectives. Laparoscopic surgery has undeniable advantages, such as reduced postoperative pain, smaller incisions, and faster recovery. However, to improve surgeons’ performance, ergonomic adaptations of the laparoscopic instruments and introduction of robotic technology are needed. The aim of this study was to ascertain the influence of a new hand-held robotic device for laparoscopy (HHRDL) and 3D vision on laparoscopic skills performance of 2 different groups, naïve and expert. Materials and Methods. Each participant performed 3 laparoscopic tasks—Peg transfer, Wire chaser, Knot—in 4 different ways. With random sequencing we assigned the execution order of the tasks based on the first type of visualization and laparoscopic instrument. Time to complete each laparoscopic task was recorded and analyzed with one-way analysis of variance. Results. Eleven experts and 15 naïve participants were included. Three-dimensional video helps the naïve group to get better performance in Peg transfer, Wire chaser 2 hands, and Knot; the new device improved the execution of all laparoscopic tasks (P < .05). For expert group, the 3D video system benefited them in Peg transfer and Wire chaser 1 hand, and the robotic device in Peg transfer, Wire chaser 1 hand, and Wire chaser 2 hands (P < .05). Conclusion. The HHRDL helps the execution of difficult laparoscopic tasks, such as Knot, in the naïve group. Three-dimensional vision makes the laparoscopic performance of the participants without laparoscopic experience easier, unlike those with experience in laparoscopic procedures.

Targeting lactate transport suppresses in vivo breast tumour growth

Background: Most cancers, including breast cancer, have high rates of glucose consumption, associated with lactate production, a process referred as “Warburg effect”. Acidification of the tumour microenvironment by lactate extrusion, performed by lactate transporters (MCTs), is associated with higher cell proliferation, migration, invasion, angiogenesis and increased cell survival. Previously, we have described MCT1 up-regulation in breast carcinoma samples and demonstrated the importance of in vitro MCT inhibition. In this study, we performed siRNA knockdown of MCT1 and MCT4 in basal-like breast cancer cells in both normoxia and hypoxia conditions to validate the potential of lactate transport inhibition in breast cancer treatment. Results: The effect of MCT knockdown was evaluated on lactate efflux, proliferation, cell biomass, migration and invasion and induction of tumour xenografts in nude mice. MCT knockdown led to a decrease in in vitro tumour cell aggressiveness, with decreased lactate transport, cell proliferation, migration and invasion and, importantly, to an inhibition of in vivo tumour formation and growth. Conclusions: This work supports MCTs as promising targets in cancer therapy, demonstrates the contribution of MCTs to cancer cell aggressiveness and, more importantly, shows, for the first time, the disruption of in vivo breast tumour growth by targeting lactate transport.

O uso do "Face-Hand Test" como instrumento para rastrear as síndromes psicorgânicas: estudo piloto

Foi aplicada uma versão reduzida do "Face-Hand Test", o FHT-R, em 91 pessoas com 65 anos ou mais em uma amostra ao acaso de idosos vivendo na comunidade (São Paulo, Brasil), com objetivo de testar a habilidade do instrumento em detectar as síndromes psicorgânicas. Os escores do FHT-R foram comparados com as avaliações de um psiquiatra utilizando uma entrevista semi-estruturada, a "Clinical Interview Schedule". Cinco pessoas foram consideradas como sendo portadoras de distúrbios psicorgânicos e 86 como não sendo portadoras de tais distúrbios. No ponto de corte 0/1 os coeficientes de validação obtidos foram: sensibilidade 60%, especificidade 94%, valor prognóstico positivo 38%, valor prognóstico negativo 98%, e taxa de classificação incorreta 8%. A utilização do Teste em pesquisas epidemiológicas é discutida no corpo do trabalho.

Smoking, consumption of alcohol and sedentary life style in population grouping and their relationships with lipemic disorders

The study, part of the project "Atherosclerotic cardiovascular diseases, lipemic disorders, hypertension, obesity and diabetis mellitus in a population of the metropolitan area of the southeastern region of Brazil", had the following objectives: a) the characterization and distribution among typical human socio-economic groupings, of the prevalence of some particular habits which constitute aspects of life-style-the use of tobacco, the use of alcohol and sedentary activity; b) the establishment of the interrelation between the above-mentioned habits and some lipemic disorders. The prevalence of the habits cited behaved in the following manner: the use of tobacco predominated among men, distributed uniformly throughout the social strata; among the women the average percentage of smokers was 18,9%, a significant difference occurring among the highest socio-economic class, where the average was of 40.2%. The sedentary style of life presented high prevalence, among both men and women with exception of the women of the highest socio-economic level and of the skilled working class. The use of alcohol, as one would expect, is a habit basically practised by the men, without any statistically significant differences between classes. For the purpose of establishing associations between these risk fictors and lipemic conditions four situations were chosen, of the following characteristics: 1- total cholesterol > or = 220 mg/dl and triglycerides > or = 150 mg/dl; 2- HDL cholesterol <35 mg/dl for men and <45 mg/dl for women and triglycerides levels > or = 150 mg/dl; 3- HDL cholesterol <35 mg/dl for men and <45 mg/dl for women and triglycerides levels <150 mg/dl; 4- total cholesterol 220 mg/dl with triglycerides levels <150 mg/dl. Six models of multiple (backward) regression were established, with seven independent variables- age, sex, use of tobacco, consumption of alcohol, light physical activity, hypertension and obesity. Significant associations (P<0,05) were revealed with hypercholesterolemia, accompanied by triglyceride levels > or = 150 mg/dl, and the following independent variables: age, use of tobacco and the interactions between obesity and smoking, age and sedentary lifestyle, sex and obesity (R2=22%); the standardized B coefficient showed that the variables with the greatest weight in the forecasting of the variation in the levels of cholesterol were smoking and the interaction between obesity and smoking. The hypercholesterolemia accompanied by triglycerides levels <150 mg/dl showed a positive association between total cholesterol and sex and the interactions obesity/smoking and sex/obesity. As regards HDL cholesterol accompanied by triglyceride/ levels > or = 150 mg/dl was inversely associated with obesity and the interaction smoking/ age and directly with age (R=31%). The standardized B coeffients, indicated that the variables obesity and the interactions smoking/age possessed a weight three times greater than age alone in accounting for the variation in the serum levels of HDL cholesterol. When accompanied by triglycerides <150 mg/dl there was no association between and the independent variables and the set of them presented R equal to 22%. The sum of top, in the population stutied in this project, the component habits of life-style (smoking, alcohol consumption and sedentary activity) which constitute risk factors which determine morbidity from atherosclerotic cardiovascular diseases are be found distributed through all the typical social groupings of this particular form of social organization. On the other hand, the seven independent variables used in the multiple regression models for the explanation of the lipemic conditions considered presented multiple determination coefficients which varied, approximately, between 20% and 30%. Thus it is important that in the genetic epidemiology the study of the morbidities in question be emphasized.

Mobi-system: assistente pessoal de viagem

Este trabalho sugere uma solução de integração de dados em tempo real no contexto dos transportes públicos. Com o aumento das alternativas oferecidas aos utilizadores dos transportes públicos é importante que estes conheçam todas as alternativas com base em informação em tempo real para que realizem a escolha que melhor se enquadre às suas necessidades. Por outro lado, os operadores de transportes públicos deverão ser capazes de disponibilizar toda a informação pretendida com o mínimo de esforço ou de alterações ao sistema que têm implementado. Neste trabalho serão utilizadas ferramentas que permitem fornecer uma visão homogénea das várias fontes de dados heterogéneas, sendo essa homogeneidade o ponto de integração de todas as fontes de dados com as aplicações cliente.

Influence of LPG composition on straw applied one componente PU winter foam

O principal objectivo desta tese é obter uma relação directa entre a composição dos gases liquefeitos de petróleo (GLP), propano, n-butano e isobutano, usados como aerossóis propulsores numa lata de poliuretano de um componente, com as propriedades das espumas produzidas por spray. As espumas obtidas, terão de ter como requisito principal, um bom desempenho a temperaturas baixas, -10ºC, sendo por isso designadas por espumas de Inverno. Uma espuma é considerada como tendo um bom desempenho se não apresentar a -10/-10ºC (temperatura lata/ spray) glass bubbles, base holes e cell collapse. As espumas deverão ainda ter densidades do spray no molde a +23/+23ºC abaixo dos 30 g/L, um rendimento superior a 30 L, boa estabilidade dimensional e um caudal de espuma a +5/+5ºC superior a 5 g/s. Os ensaios experimentais foram realizados a +23/+23ºC, +5/+5ºC e a -10/-10ºC. A cada temperatura, as espumas desenvolvidas, foram submetidas a testes que permitiram determinar a sua qualidade. Testes esses que incluem os designados por Quick Tests (QT): o spray no papel e no molde das espumas nas referidas temperaturas. As amostras do papel e no molde são especialmente analisadas, quanto, às glass bubbles, cell collapse, base holes, cell structur e, cutting shrinkage, para além de outras propriedades. Os QT também incluem a análise da densidade no molde (ODM) e o estudo do caudal de espumas. Além dos QT foram realizados os testes da estabilidade dimensional das espumas, testes físicos de compressão e adesão, testes de expansão das espumas após spray e do rendimento por lata de espuma. Em todos os ensaios foi utilizado um tubo adaptador colocado na válvula da lata como método de spray e ainda mantida constante a proporção das matérias-primas (excepto os gases, em estudo). As experiências iniciaram-se com o estudo de GLPs presentes no mercado de aerossóis. Estes resultaram que o GLP: propano/ n-butano/ isobutano: (30/ 0/ 70 w/w%), produz as melhores espumas de inverno a -10/-10ºC, reduzindo desta forma as glass bubbles, base holes e o cell collapse produzido pelos restantes GLP usados como aerossóis nas latas de poliuretano. Testes posteriores tiveram como objectivo estudar a influência directa de cada gás, propano, n-butano e isobutano nas espumas. Para tal, foram usadas duas referências do estudo com GLP comercializáveis, 7396 (30 /0 /70 w/w %) e 7442 (0/ 0/ 100 w/w %). Com estes resultados concluí-se que o n-butano produz más propriedades nas espumas a -10/- 10ºC, formando grandes quantidades de glass bubbles, base holes e cell collapse. Contudo, o uso de propano reduz essas glass bubbles, mas em contrapartida, forma cell collapse.Isobutano, porém diminui o cell collapse mas não as glass bubbles. Dos resultados experimentais podemos constatar que o caudal a +5/+5ºC e densidade das espumas a +23/+23ºC, são influenciados pela composição do GLP. O propano e n-butano aumentam o caudal de espuma das latas e a sua densidade, ao contrário com o que acontece com o isobutano. Todavia, pelos resultados obtidos, o isobutano proporciona os melhores rendimentos de espumas por lata. Podemos concluir que os GLPs que contivessem cerca de 30 w/w % de propano (bons caudais a +5/+5ºC e menos glass bubbles a -10/-10ºC), e cerca 70 w/w % de isobutano (bons rendimentos de espumas, bem como menos cell collapse a -10/-10ºC) produziam as melhores espumas. Também foram desenvolvidos testes sobre a influência da quantidade de gás GLP presente numa lata. A análise do volume de GLP usado, foi realizada com base na melhor espuma obtida nos estudos anteriores, 7396, com um GLP (30 / 0/ 70 w/w%), e foram feitas alterações ao seu volume gás GLP presente no pré-polímero. O estudo concluiu, que o aumento do volume pode diminuir a densidade das espumas, e o seu decréscimo, um aumento da densidade. Também indico u que um mau ajuste do volume poderá causar más propriedades nas espumas. A análise económica, concluiu que o custo das espumas com mais GLP nas suas formulações, reduz-se em cerca de 3%, a quando de um aumento do volume de GLP no pré-polímero de cerca de 8 %. Esta diminuição de custos deveu-se ao facto, de um aumento de volume de gás, implicar uma diminuição na quantidade das restantes matérias-primas, com custos superiores, já que o volume útil total da lata terá de ser sempre mantido nos 750 mL. Com o objectivo de melhorar a qualidade da espuma 7396 (30/0/70 w/w %) obtida nos ensaios anteriores adicionou-se à formulação 7396 o HFC-152a (1,1-di fluoroetano). Os resultados demonstram que se formam espumas com más propriedades, especialmente a -10/-10ºC, contudo proporcionou excelentes shaking rate da lata. Através de uma pequena análise de custos não é aconselhável o seu uso pelos resultados obtidos, não proporcionando um balanço custo/benefício favorável. As três melhores espumas obtidas de todos os estudos foram comparadas com uma espuma de inverno presente no mercado. 7396 e 7638 com um volume de 27 % no prépolímero e uma composição de GLP (30/ 0 / 70 w/w%) e (13,7/ 0/ 86,3 w/w%), respectivamente, e 7690, com 37 % de volume no pré-polímero e GLP (30/ 0 / 70 w/w%), apresentaram em geral melhores resultados, comparando com a espuma benchmark . Contudo, os seus shaking rate a -10/-10ºC, de cada espuma, apresentaram valores bastante inferiores à composição benchmarking.

Optical properties and transport in PLD-GaN

We present structural, optical and transport data on GaN samples grown by hybrid, two-step low temperature pulsed laser deposition. The band gap of samples with good crystallinity has been deduced from optical spectra. Large below gap band tails were observed. In samples with the lowest crystalline quality the PL spectra are quite dependent on spot laser incidence. The most intense PL lines can be attributed to excitons bounded to stacking faults. When the crystalline quality of the samples is increased the ubiquitous yellow emission band can be detected following a quenching process described by a similar activation energy to that one found in MOCVD grown samples. The samples with the highest quality present, besides the yellow band, show a large near band edge emission which peaked at 3.47 eV and could be observed up to room temperature. The large width of the NBE is attributed to effect of a wide distribution of band tail states on the excitons. Photoconductivity data supports this interpretation.

Transport properties in microcrystalline silicon solar cells under AM1.5 illumination analysed by two-dimensional numerical simulation

Microcrystalline silicon is a two-phase material. Its composition can be interpreted as a series of grains of crystalline silicon imbedded in an amorphous silicon tissue, with a high concentration of dangling bonds in the transition regions. In this paper, results for the transport properties of a mu c-Si:H p-i-n junction obtained by means of two-dimensional numerical simulation are reported. The role played by the boundary regions between the crystalline grains and the amorphous matrix is taken into account and these regions are treated similar to a heterojunction interface. The device is analysed under AM1.5 illumination and the paper outlines the influence of the local electric field at the grain boundary transition regions on the internal electric configuration of the device and on the transport mechanism within the mu c-Si:H intrinsic layer.