On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Antitumor activity of chemical modified natural compounds

Search of new activity substances starting from chemotherapeutic agents, continously appears in international literature. Perhaps this search has been done more frequently in the field of anti-tumor chemotherapy on account of the unsuccess in saving advanced stage patients. The new point in this matter during the last decade was computer aid in planning more rational drugs. In near future "the accessibility of supercomputers and emergence of computer net systems, willopen new avenues to rational drug design" (Portoghese, P. S. J. Med. Chem. 1989, 32, 1). Unknown pharmacological active compounds synthetized by plants can be found even without this eletronic devices, as tradicional medicine has pointed out in many contries, and give rise to a new drug. These compounds used as found in nature or after chemical modifications have produced successful experimental medicaments as FAA, "flavone acetic acid" with good results as inibitors of slow growing animal tumors currently in preclinical evaluation for human treatment. In this lecture some international contributions in the field of chemical modified compounds as antineoplasic drugs will be examined, particularly those done by Brazilian researches.

Integración de empresas: planificación y gestión del cambio

Este proyecto nace de la necesidad de realizar una integración de los sistemas informáticos de una empresa en una multinacional; las empresas disponen de servicios de outsourcing en sistemas de información. Al tratarse de una integración operativa, sólo trataremos de trasladar los servicios de centro de atención al usuario, soporte local y ofimática desde un outsourcing de servicios a otro, añadiendo los cambios de procesos necesarios para disponer de un único entorno de trabajo. El cambio de entorno de trabajo se ha de realizar sin perdida de disponibilidad ni de información.

Estudi i aplicació de les tècniques de simulació en una xarxa distribuïda

L'objectiu d'aquest treball és veure com s'apliquen aquestes tècniques en l'estudi d'un sistema informàtic distribuït

Knowledge integration within an applied mobile robot summer course

This paper presents the use of a mobile robot platform as an innovative educational tool in order to promote and integrate different curriculum knowledge. Hence, it is presented the acquired experience within a summer course named ldquoapplied mobile roboticsrdquo. The main aim of the course is to integrate different subjects as electronics, programming, architecture, perception systems, communications, control and trajectory planning by using the educational open mobile robot platform PRIM. The summer course is addressed to a wide range of student profiles. However, it is of special interests to the students of electrical and computer engineering around their final academic year. The summer course consists of the theoretical and laboratory sessions, related to the following topics: design & programming of electronic devices, modelling and control systems, trajectory planning and control, and computer vision systems. Therefore, the clues for achieving a renewed path of progress in robotics are the integration of several knowledgeable fields, such as computing, communications, and control sciences, in order to perform a higher level reasoning and use decision tools with strong theoretical base

A morphometric study of mechanotransductively induced dermal neovascularization.

BACKGROUND:: Mechanical stretch has been shown to induce vascular remodeling and increase vessel density, but the pathophysiologic mechanisms and the morphologic changes induced by tensile forces to dermal vessels are poorly understood. METHODS:: A custom computer-controlled stretch device was designed and applied to the backs of C57BL/6 mice (n = 38). Dermal and vascular remodeling was studied over a 7-day period. Corrosion casting and three-dimensional scanning electron microscopy and CD31 staining were performed to analyze microvessel morphology. Hypoxia was assessed by immunohistochemistry. Western blot analysis of vascular endothelial growth factor (VEGF) and mRNA expression of VEGF receptors was performed. RESULTS:: Skin stretching was associated with increased angiogenesis as demonstrated by CD31 staining and vessel corrosion casting where intervascular distance and vessel diameter were decreased (p < 0.01). Immediately after stretching, VEGF dimers were increased. Messenger RNA expression of VEGF receptor 1, VEGF receptor 2, neuropilin 1, and neuropilin 2 was increased starting as early as 2 hours after stretching. Highly proliferating epidermal cells induced epidermal hypoxia starting at day 3 (p < 0.01). CONCLUSIONS:: Identification of significant hypoxic cells occurred after identification of neovessels, suggesting an alternative mechanism. Increased expression of angiogenic receptors and stabilization of VEGF dimers may be involved in a mechanotransductive, prehypoxic induction of neovascularization.

Regulador de llum controlat per ordinador

RESUM El llum electric és un tipus d’energia amb la que s’il•lumina tot el món i s’utilitza tant per a il•luminar la nit com per a disposar de llum addicional durant el dia. L’energia es pren directament de la xarxa de subministrament elèctric i permet encendre tot tipus de focus i bombetes. Actualment la necessitat de controlar la intensitat lumínica de focus és de gran utilitat i es poden veure exemples en escenaris de teatres, concerts musicals, domòtica bàsica a vivendes, botigues, restaurants, etc. on s’incorporen aparells òptims per aquest control. Aspectes com la programació d’encesa, apagat i intensitat desitjada de focus a una hora convinguda facilita el fet de fer-ho manualment i disposar de més temps propi. L’objectiu principal d’aquest treball és dissenyar i construir un regulador de llum controlat per ordinador capac de regular la intensitat lumínica de 8 focus independentment l’un de l’altre. El control de regulació s’efectua mitjancant un programa informàtic compatible amb ordinadors que incorporin el sistema operatiu Windows i és programable en el temps permetent seleccionar la intensitat desitjada a diferents hores del dia seleccionat. Com a conclusions es pot destacar un estalvi energètic al regular la intensitat dels focus evitant així la permanent connexio a una tensió màxima de 230 VAC i la oportunitat de construir un regulador de llum amb els documents subministrats.

Estudi i aplicació de les tècniques de simulació en una xarxa distribuïda

L'objectiu d'aquest treball és veure com s'apliquen aquestes tècniques en l'estudi d'un sistema informàtic distribuït

Tietojenkäsittely

Tietojenkäsittelyn pääkokoelma sijaitsee pääkirjastossa (Linnassa), jossa painettu yleis- ja käsikirjastokokoelma koostuu noin 4000 nimekkeestä monografioita (painettujen monografiasarjojen osat mukaan lukien). Tietojenkäsittely-kokoelmasta kartoitettiin neljä osa-aluetta. Näistä selvimmäksi painopistealaksi osoittautui ohjelmointi, ohjelmointikielet & atk-ohjelmat, joka käsitti noin 33 % nimekkeistä (1314). Muiden ryhmien osuudet olivat pienemmät: tietojärjestelmät, tiedonhallinta & tietoturva noin 18 % (727 nimekettä); tekoäly, tietämystekniikka & hahmontunnistus noin 16 % (629 nimekettä). Käsikirjaston karsitussa noin 100 nimekkeen kokoelmassa on runsaasti sanakirjoja ja erilaisia hakuteoksia kuten lähes täydellinen (44/45) Encyclopedia of computer science and technology ja myös e-muodossa oleva 3-osainen Handbook of information security. Painettuja lehtiä oli 6 nimekettä (IEEE Pervasive Computing, MikroPC, myös e-muodossa oleva Social Science Computer Review, Tekniikan näköalat, Tietokone ja Tietoyhteys). Sähkökirjoja kokoelmassa oli 466 nimekettä Ebrary: Information technology -tietokannassa, 24 nimekettä NetLibrary-tietokannassa, 3 nimekettä Taylor & Francis eBooks online -tietokannassa ja 2 nimekettä sähköisinä hakuteoksina (Encyclopedia of gender and information technology ja Encyclopedia of information science and technology) sekä 4964-osainen Lecture notes in computer science -monografiasarja. Verkkolehtiä kokoelmassa oli noin 300 nimekettä. Tietokantoja oli 4 kokotekstitietokantaa (ACM - Association for Computing Machinery, EBSCOhost Academic Search Premier, Elsevier ScienceDirect ja SpringerLink) sekä 2 viitetietokantaa (Computer + Info Systems (CSA) ja Web of Scence (ISI)).

Desenvolvimento de um sistema automatizado para a fabricação de filmes automontados

In this technical note, we describe the construction of a low-cost computer controlled device for layer-by-layer film fabrication. The software allows to control multiple material deposition, washing and drying steps and the time for each operation. To test the device, we produced and characterized self-assembled films of conductive polymers by alternating poly(o-methoxyaniline) (POMA) and poly(3-thiophene acetic acid) (PTAA) via the layer-by-layer technique.

Regulador de llum controlat per ordinador

El llum electric és un tipus d’energia amb la que s’il•lumina tot el món i s’utilitza tant per a il•luminar la nit com per a disposar de llum addicional durant el dia. L’energia es pren directament de la xarxa de subministrament elèctric i permet encendre tot tipus de focus i bombetes. Actualment la necessitat de controlar la intensitat lumínica de focus és de gran utilitat i es poden veure exemples en escenaris de teatres, concerts musicals, domòtica bàsica a vivendes, botigues, restaurants, etc. on s’incorporen aparells òptims per aquest control. Aspectes com la programació d’encesa, apagat i intensitat desitjada de focus a una hora convinguda facilita el fet de fer-ho manualment i disposar de més temps propi. L’objectiu principal d’aquest treball és dissenyar i construir un regulador de llum controlat per ordinador capac de regular la intensitat lumínica de 8 focus independentment l’un de l’altre. El control de regulació s’efectua mitjancant un programa informàtic compatible amb ordinadors que incorporin el sistema operatiu Windows i és programable en el temps permetent seleccionar la intensitat desitjada a diferents hores del dia seleccionat. Com a conclusions es pot destacar un estalvi energètic al regular la intensitat dels focus evitant així la permanent connexio a una tensió màxima de 230 VAC i la oportunitat de construir un regulador de llum amb els documents subministrats.

DISPOSITIVO PARA EXTRAÇÃO LÍQUIDO-LÍQUIDO EM SISTEMAS DE ANÁLISES EM FLUXO

AbstractA device comprising a lab-made chamber with mechanical stirring and computer-controlled solenoid valves is proposed for the mechanization of liquid-liquid extractions. The performance was demonstrated by the extraction of ethanol from biodiesel as a model of the extraction of analytes from organic immiscible samples to an aqueous medium. The volumes of the sample and extractant were precisely defined by the flow-rates and switching times of the valves, while the mechanic stirring increased interaction between the phases. Stirring was stopped for phase separation, and a precise time-control also allowed a successful phase separation (i.e., the absence of the organic phase in the aqueous extract). In the model system, a linear response between the analytical response and the number of extractions was observed, indicating the potential for analyte preconcentration in the extract. The efficiency and reproducibility of the extractions were demonstrated by recoveries of ethanol spiked to biodiesel samples within 96% and 100% with coefficients of variation lower than 3.0%.

Relaatiotietokannan tiedonhallintajärjestelmän valintakriteerit

Tässä työssä käsitellään lähinnä relaatiomallia hyödyntäviä tiedonhallintajärjestelmiä. Tiedonhallintajärjestelmä hallitsee yleisesti tietokannan luontia, käyttöä ja muutoksia ja relaatiomallia käyttävät tiedonhallintajärjestelmät ovat jo 1970 -luvulta lähtien olleet hallitseva trendi tietokantamarkkinoilla. Työssä otetaan huomioon neljä eri tiedonhallintajärjestelmä-tyyppiä, jotka ovat keskitetyt, hajautetut, tietovarasto ja operatiiviset tiedonhallintajärjestelmät. Työssä selvitetään, miten näitä tiedonhallintajärjestelmiä voi verrata ja mitkä valintakriteerit vaikuttavat niiden valintaan.

Avoimet tuotealustat ja allianssit älytelevisiomarkkinoilla

Älytelevisiomarkkinat ovat nykyisellään pirstaloituneet eri valmistajien kehittäessä omia älytelevisioalustoitaan, mikä tekee sovelluskehittämisestä erittäin työlästä, kun kehitystyö pitää tehdä jokaiselle alustalle erikseen. LG:n ja Philipsin perustama Smart TV Alliance pyrkii yksinkertaistamaan sovelluskehittäjien työtä, samalla houkutellen lisää kehittäjiä alalle. Työssä tutustutaan tuotealustoihin, avoimeen ja suljettuun innovaatioon, sekä alliansseihin. Lisäksi perehdytään älytelevisioihin sekä tietenkin itse Smart TV Allianceen. Lisäksi tarkastellaan nykyistä markkina-asetelmaa ja arvioidaan yksittäisten toimijoiden tilannetta ja mahdollisia toimenpiteitä. Työn painopiste on fyysisen laitevalmistajan ja käyttöjärjestelmän kehittäjän/ylläpitäjän näkökulmasta. Työn kannalta tärkeässä roolissa ovat ohjelmistopohjaiset tuotealustat. Eritoten työssä käsitellään älytelevisioiden ohjelmistoa tuotealustana, mutta hyvä vaihtoehtoinen ja eritoten monille käytännönläheisempi esimerkki on tietokoneen käyttöjärjestelmä, kuten Microsoft Windows tai useat Linux-pohjaiset käyttöjärjestelmät. Keskeisenä ominaisuutena näissä kaikissa on, että itse käyttöjärjestelmä toimii yhteisenä pohjana, jonka päälle voidaan rakentaa muuta toiminnallisuutta, kuten pelejä ja toimistosovelluksia.

A clinical gamma camera-based pinhole collimated system for high resolution small animal SPECT imaging

The main objective of the present study was to upgrade a clinical gamma camera to obtain high resolution tomographic images of small animal organs. The system is based on a clinical gamma camera to which we have adapted a special-purpose pinhole collimator and a device for positioning and rotating the target based on a computer-controlled step motor. We developed a software tool to reconstruct the target’s three-dimensional distribution of emission from a set of planar projections, based on the maximum likelihood algorithm. We present details on the hardware and software implementation. We imaged phantoms and heart and kidneys of rats. When using pinhole collimators, the spatial resolution and sensitivity of the imaging system depend on parameters such as the detector-to-collimator and detector-to-target distances and pinhole diameter. In this study, we reached an object voxel size of 0.6 mm and spatial resolution better than 2.4 and 1.7 mm full width at half maximum when 1.5- and 1.0-mm diameter pinholes were used, respectively. Appropriate sensitivity to study the target of interest was attained in both cases. Additionally, we show that as few as 12 projections are sufficient to attain good quality reconstructions, a result that implies a significant reduction of acquisition time and opens the possibility for radiotracer dynamic studies. In conclusion, a high resolution single photon emission computed tomography (SPECT) system was developed using a commercial clinical gamma camera, allowing the acquisition of detailed volumetric images of small animal organs. This type of system has important implications for research areas such as Cardiology, Neurology or Oncology.