Pina, João, Mário Ventim Neves, Alfredo Álvarez, and Amadeu Leão Rodrigues. "
Numerical Design Methodology for an All Superconducting Linear Synchronous Motor."
Technological Innovation for Sustainability. Vol. 349. IFIP Advances in Information and Communication Technology, 349. 2011. 553-562.
AbstractOne potential advantage of the application of superconducting materials in electrical machines is the possibility to build lighter and compact devices by removing iron. These machines find applications, e.g., in systems where cryogenics is already available, or in naturally cryogenic environments. The design of motors with high temperature superconductors (HTS) presents issues unconsidered in classical machines, besides considerations on cryogenics, such as HTS brittleness or mechanical restrictions. Moreover, HTS' electromagnetic properties also degrade due to flux density components, which arise if there is no iron to guide magnetic flux. Several aspects must thus be considered in the design stage, as applications may turn less attractive or even unfeasible. In this paper these issues are detailed, and a numerical methodology for the design of an all superconducting (without iron or conventional conductors) linear synchronous motor is presented.
Hollander, Yoav, Alan Hu, João Louren{\c c}o, and Ronny Morad. "
Special Session on Debugging."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 24-28.
AbstractIn software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the life-cycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.
Guimarães, D., M. L. Carvalho, V. Geraldes, I. Rocha, and J. P. Santos. "
Study of lead accumulation in bones of Wistar rats by X-ray fluorescence analysis: aging effect."
Metallomics. In Press (2011): DOI: 10.1039/c1mt00149c.
AbstractThe accumulation of lead in several bones of Wistar rats with time was determined and comparedQ3 for the different types of bones. Two groups were studied: a control group (n = 20), not exposedto lead and a contaminated group (n = 30), exposed to lead from birth, first indirectly throughmother’s milk, and then directly through a diet containing lead acetate in drinking water (0.2%).Rats age ranged from 1 to 11 months, with approximately 1 month intervals and each of thecollections had 3 contaminated rats and 2 control rats. Iliac, femur, tibia–fibula and skull havebeen analysed by energy dispersive X-ray fluorescence technique (EDXRF). Samples offormaldehyde used to preserve the bone tissues were also analysed by Electrothermal AtomicAbsorption (ETAAS), showing that there was no significant loss of lead from the tissue to thepreservative. The bones mean lead concentration of exposed rats range from 100 to 300 mg g 1while control rats never exceeded 10 mg g 1. Mean bone lead concentrations were compared andthe concentrations were higher in iliac, femur and tibia–fibula and after that skull. However, ofall the concentrations in the different collections, only those in the skull were statisticallyQ4 significantly different (p o 0.05) from the other types of bones. Analysis of a radar chart alsoallowed us to say that these differences tend to diminish with age. The Spearman correlation testapplied to mean lead concentrations showed strong and very strong positive correlations betweenall different types of bones. This test also showed that mean lead concentrations in bones arenegatively correlated with the age of the animals. This correlation is strong in iliac and femur andvery strong in tibia–fibula and skull. It was also shown that the decrease of lead accumulationwith age is made by three plateaus of accumulation,
Louren{\c c}o, João. "
Understanding Transactional Memory (Extended Abstract)."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 1-2.
AbstractTransactional Memory [3] (TM) is a new paradigm for concurrency control that brings the concept of transactions, widely known from the Databases community, into the management of data located in main memory. TM delivers a powerful semantics for constraining concurrency and provides the means for the extensive use of the available parallel hardware. TM uses abstractions that promise to ease the development of scalable parallel applications by achieving performances close to fine-grained locking while maintaining the simplicity of coarse-grained locking.