From design-for-test to design-for-debug-and-test: analysis of requirements and limitations for 1149.1

The increasing complexity of VLSI circuits and the reduced accessibility of modern packaging and mounting technologies restrict the usefulness of conventional in-circuit debugging tools, such as in-circuit emulators for microprocessors and microcontrollers. However, this same trend enables the development of more complex products, which in turn require more powerful debugging tools. These conflicting demands could be met if the standard scan test infrastructures now common in most complex components were able to match the debugging requirements of design verification and prototype validation. This paper analyses the main debug requirements in the design of microprocessor-based applications and the feasibility of their implementation using the mandatory, optional and additional operating modes of the standard IEEE 1149.1 test infrastructure.

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

A numerical analysis of generalized Boussinesq-type equation using continuos/discontinuous FEM

An improved class of Boussinesq systems of an arbitrary order using a wave surface elevation and velocity potential formulation is derived. Dissipative effects and wave generation due to a time-dependent varying seabed are included. Thus, high-order source functions are considered. For the reduction of the system order and maintenance of some dispersive characteristics of the higher-order models, an extra O(mu 2n+2) term (n ??? N) is included in the velocity potential expansion. We introduce a nonlocal continuous/discontinuous Galerkin FEM with inner penalty terms to calculate the numerical solutions of the improved fourth-order models. The discretization of the spatial variables is made using continuous P2 Lagrange elements. A predictor-corrector scheme with an initialization given by an explicit RungeKutta method is also used for the time-variable integration. Moreover, a CFL-type condition is deduced for the linear problem with a constant bathymetry. To demonstrate the applicability of the model, we considered several test cases. Improved stability is achieved.

Delamination analysis of carbon fibre reinforced laminates: evaluation of a special step drill

Drilling of carbon fibre/epoxy laminates is usually carried out using standard drills. However, it is necessary to adapt the processes and/or tooling as the risk of delamination, or other damages, is high. These problems can affect mechanical properties of produced parts, therefore, lower reliability. In this paper, four different drills – three commercial and a special step (prototype) – are compared in terms of thrust force during drilling and delamination. In order to evaluate damage, enhanced radiography is applied. The resulting images were then computational processed using a previously developed image processing and analysis platform. Results show that the prototype drill had encouraging results in terms of maximum thrust force and delamination reduction. Furthermore, it is possible to state that a correct choice of drill geometry, particularly the use of a pilot hole, a conservative cutting speed – 53 m/min – and a low feed rate – 0.025 mm/rev – can help to prevent delamination.

Analysis of the Van der Pol oscillator containing derivatives of fractional order

In this paper a modified version of the classical Van der Pol oscillator is proposed, introducing fractional-order time derivatives into the state-space model. The resulting fractional-order Van der Pol oscillator is analyzed in the time and frequency domains, using phase portraits, spectral analysis and bifurcation diagrams. The fractional-order dynamics is illustrated through numerical simulations of the proposed schemes using approximations to fractional-order operators. Finally, the analysis is extended to the forced Van der Pol oscillator.

Planning the medical workforce - an analysis of the third repport of the Medical Workforce Standing Advisory Committee

Arquivos de Medicina 1998; 12(4): 246-248

Proteomic analysis of the influence of the adipocyte secretome on Glioma Gl261 cells

Glioma is the most frequent form of malignant brain tumor in the adults and childhood. There is a global tendency toward a higher incidence of gliomas in highly developed and industrialized countries. Simultaneously obesity is reaching epidemic proportions in such developed countries. It has been highly accepted that obesity may play an important role in the biology of several types of cancer. We have developed an in vitro method for the understanding of the influence of obesity on glioma mouse cells (Gl261). 3T3-L1 mouse pre-adipocytes were induced to the maturity. The conditioned medium was harvested and used into the Gl261 cultures. Using two-dimension electrophoresis it was analyzed the proteome content of Gl261 in the presence of conditioned medium (CGl) and in its absence (NCGl). The differently expressed spots were collected and analyzed by means of mass spectroscopy (MALDI-TOF-MS). Significantly expression pattern changes were observed in eleven proteins and enzymes. RFC1, KIF5C, ANXA2, N-RAP, RACK1 and citrate synthase were overexpressed or only present in the CGl. Contrariwise, STI1, hnRNPs and phosphoglycerate kinase 1 were significantly underexpressed in CGl. Aldose reductase and carbonic anhydrase were expressed only in NCGl. Our results show that obesity remodels the physiological and metabolic behavior of glioma cancer cells. Also, proteins found differently expressed are implicated in several signaling pathways that control matrix remodeling, proliferation, progression, migration and invasion. In general our results support the idea that obesity may increase glioma malignancy, however, some interesting paradox finding were also reported and discussed.

Some reflections on acquisition, processing and analysis of statistical data in forest soils

Beyond the classical statistical approaches (determination of basic statistics, regression analysis, ANOVA, etc.) a new set of applications of different statistical techniques has increasingly gained relevance in the analysis, processing and interpretation of data concerning the characteristics of forest soils. This is possible to be seen in some of the recent publications in the context of Multivariate Statistics. These new methods require additional care that is not always included or refered in some approaches. In the particular case of geostatistical data applications it is necessary, besides to geo-reference all the data acquisition, to collect the samples in regular grids and in sufficient quantity so that the variograms can reflect the spatial distribution of soil properties in a representative manner. In the case of the great majority of Multivariate Statistics techniques (Principal Component Analysis, Correspondence Analysis, Cluster Analysis, etc.) despite the fact they do not require in most cases the assumption of normal distribution, they however need a proper and rigorous strategy for its utilization. In this work, some reflections about these methodologies and, in particular, about the main constraints that often occur during the information collecting process and about the various linking possibilities of these different techniques will be presented. At the end, illustrations of some particular cases of the applications of these statistical methods will also be presented.

Mechanical behaviour analysis of polyester polymer mortars modified with recycled GFRP waste materials

In this study the effect of incorporation of recycled glass-fibre reinforced polymer (GFRP) waste materials, obtained by means of milling processes, on mechanical behaviour of polyester polymer mortars was assessed. For this purpose, different contents of recycled GFRP waste powder and fibres, with distinct size gradings, were incorporated into polyester based mortars as sand aggregates and filler replacements. Flexural and compressive loading capacities were evaluated and found better than unmodified polymer mortars. GFRP modified polyester based mortars also show a less brittle behaviour, with retention of some loading capacity after peak load. Obtained results highlight the high potential of recycled GFRP waste materials as efficient and sustainable reinforcement and admixture for polymer concrete and mortars composites, constituting an emergent waste management solution.

A first analysis of the atmospheric measurements from TANSO/GOSAT

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau em Mestre em Engenharia Física

Analysis of the specificity of human antibodies to antigens of Leishmania braziliensis braziliensis

The antigenicity of promastigotes of Leishmania braziliensis braziliensis (L. b.braziliensis) treated with 1% sodium desoxycholate in 10 mM Tris-Hcl pH 8.2 was analysed by immunoblot using as probes sera from American cutaneous leishmaniasis (ACL), American visceral leishmaniasis (AVL), schistosomiasis, malaria and Chagas' disease. The ACL sera reacted constantly with a 60 kD band. No reactivity to this protein was observed with sera from the other diseases above mentioned indicating that the 60 kD protein may be used in serodiagnosis for ACL.

Applications of Fourier methods to the analysis of some stochastic processes

Dissertação de Doutoramento em Matemática: Processos Estocásticos

Acqusition and data analysis of the eco-efficiency for the establishment of indicators parameters for industrial environmental sustainability

The industrial activity is inevitably associated with a certain degradation of the environmental quality, because is not possible to guarantee that a manufacturing process can be totally innocuous. The eco-efficiency concept is globally accepted as a philosophy of entreprise management, that encourages the companies to become more competitive, innovative and environmentally responsible by promoting the link between its companies objectives for excellence and its objectives of environmental excellence issues. This link imposes the creation of an organizational methodology where the performance of the company is concordant with the sustainable development. The main propose of this project is to apply the concept of eco-efficiency to the particular case of the metallurgical and metal workshop industries through the development of the particular indicators needed and to produce a manual of procedures for implementation of the accurate solution.

Comparative analysis of time-frequency methods estimating the time-varying microstructure of sleep EEG spindles

Proceedings of the Information Technology Applications in Biomedicine, Ioannina - Epirus, Greece, October 26-28, 2006

SENSITIVITY ANALYSIS OF TRACK VIBRATIONS DUE TO VERTICAL STIFFNESS VARIATION IN HIGH-SPEED RAILWAYS

High speed trains, when crossing regions with abrupt changes in vertical stiffness of the track and/or subsoil, may generate excessive ground and track vibrations. There is an urgent need for specific analyses of this problem so as to allow reliable esimates of vibration amplitude. Full understanding of these phenomena will lead to new construction solutions and mitigation of undesirable features. In this paper analytical transient solutions of dynamic response of one-dimensional systems with sudden change of foundation stiffness are derived. Results are expressed in terms of vertical displacement. Sensitivity analysis of the response amplitude is also performed. The analytical expressions presented herein, to the authors’ knowledge, have not been published yet. Although related to one-dimensional cases, they can give useful insight into the problem. Nevertheless, in order to obtain realistic response, vehicle- rail interaction cannot be omitted. Results and conclusions are confirmed using general purpose commercial software ANSYS. In conclusion, this work contributes to a better understanding of the additional vibration phenomenon due to vertical stiffness variation, permitting better control of the train velocity and optimization of the track design.