Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logics

This work describes a methodology to extract symbolic rules from trained neural networks. In our approach, patterns on the network are codified using formulas on a Lukasiewicz logic. For this we take advantage of the fact that every connective in this multi-valued logic can be evaluated by a neuron in an artificial network having, by activation function the identity truncated to zero and one. This fact simplifies symbolic rule extraction and allows the easy injection of formulas into a network architecture. We trained this type of neural network using a back-propagation algorithm based on Levenderg-Marquardt algorithm, where in each learning iteration, we restricted the knowledge dissemination in the network structure. This makes the descriptive power of produced neural networks similar to the descriptive power of Lukasiewicz logic language, minimizing the information loss on the translation between connectionist and symbolic structures. To avoid redundance on the generated network, the method simplifies them in a pruning phase, using the "Optimal Brain Surgeon" algorithm. We tested this method on the task of finding the formula used on the generation of a given truth table. For real data tests, we selected the Mushrooms data set, available on the UCI Machine Learning Repository.

Integrated didactics: an example of a curriculum model enhancing knowledge crossing

In this paper, we introduce an innovative course in the Portuguese Context, the Master's Course in “Integrated Didactics in Mother Tongue, Maths, Natural and Social Sciences”, taking place at the Lisbon School of Education and discussing in particular the results of the evaluation made by the students who attended the Curricular Unit - Integrated Didactics (CU-ID). This course was designed for in-service teachers of the first six years of schooling and intends to improve connections between different curriculum areas. In this paper, we start to present a few general ideas about curriculum development; to discuss the concept of integration; to present the principles and objectives of the course created as well as its structure; to describe the methodology used in the evaluation process of the above mentioned CU-ID. The results allow us to state that the students recognized, as positive features of the CU-ID, the presence in all sessions of two teachers simultaneously from different scientific areas, as well as invitations issued to specialists on the subject of integration and to other teachers that already promote forms of integration in schools. As negative features, students noted a lack of integrated purpose, applying simultaneously the four scientific areas of the course, and also indicated the need to be familiar with more models of integrated education. Consequently, the suggestions for improvement derived from these negative features. The students also considered that their evaluation process was correct, due to the fact that it was focused on the design of an integrated project for one of the school years already mentioned.

Learning and Knowledge in the Context of Absorptive Capacity

Develop a new model of Absorptive Capacity taking into account two variables namely Learning and knowledge to explain how companies transform information into knowledge

Web 2.0 and its impact on knowledge and business organizations

Today, information overload and the lack of systems that enable locating employees with the right knowledge or skills are common challenges that large organisations face. This makes knowledge workers to re-invent the wheel and have problems to retrieve information from both internal and external resources. In addition, information is dynamically changing and ownership of data is moving from corporations to the individuals. However, there is a set of web based tools that may cause a major progress in the way people collaborate and share their knowledge. This article aims to analyse the impact of ‘Web 2.0’ on organisational knowledge strategies. A comprehensive literature review was done to present the academic background followed by a review of current ‘Web 2.0’ technologies and assessment of their strengths and weaknesses. As the framework of this study is oriented to business applications, the characteristics of the involved segments and tools were reviewed from an organisational point of view. Moreover, the ‘Enterprise 2.0’ paradigm does not only imply tools but also changes the way people collaborate, the way the work is done (processes) and finally impacts on other technologies. Finally, gaps in the literature in this area are outlined.

Synthesis, structure, and optical properties of an alternating calix[4]arene-based meta-linked phenylene ethynylene copolymer

Novel alternating copolymers comprising biscalix[4]arene-p-phenylene ethynylene and m-phenylene ethynylene units (CALIX-m-PPE) were synthesized using the Sonogashira-Hagihara cross-coupling polymerization. Good isolated yields (60-80%) were achieved for the polymers that show M-n ranging from 1.4 x 10(4) to 5.1 x 10(4) gmol(-1) (gel permeation chromatography analysis), depending on specific polymerization conditions. The structural analysis of CALIX-m-PPE was performed by H-1, C-13, C-13-H-1 heteronuclear single quantum correlation (HSQC), C-13-H-1 heteronuclear multiple bond correlation (HMBC), correlation spectroscopy (COSY), and nuclear overhauser effect spectroscopy (NOESY) in addition to Fourier transform-Infrared spectroscopy and microanalysis allowing its full characterization. Depending on the reaction setup, variable amounts (16-45%) of diyne units were found in polymers although their photophysical properties are essentially the same. It is demonstrated that CALIX-m-PPE does not form ground-or excited-state interchain interactions owing to the highly crowded environment of the main-chain imparted by both calix[4]arene side units which behave as insulators inhibiting main-chain pi-pi staking. It was also found that the luminescent properties of CALIX-m-PPE are markedly different from those of an all-p-linked phenylene ethynylene copolymer (CALIX-p-PPE) previously reported. The unexpected appearance of a low-energy emission band at 426 nm, in addition to the locally excited-state emission (365 nm), together with a quite low fluorescence quantum yield (Phi = 0.02) and a double-exponential decay dynamics led to the formulation of an intramolecular exciplex as the new emissive species.

Grid structure impact in sparse point representation of derivatives

In the Sparse Point Representation (SPR) method the principle is to retain the function data indicated by significant interpolatory wavelet coefficients, which are defined as interpolation errors by means of an interpolating subdivision scheme. Typically, a SPR grid is coarse in smooth regions, and refined close to irregularities. Furthermore, the computation of partial derivatives of a function from the information of its SPR content is performed in two steps. The first one is a refinement procedure to extend the SPR by the inclusion of new interpolated point values in a security zone. Then, for points in the refined grid, such derivatives are approximated by uniform finite differences, using a step size proportional to each point local scale. If required neighboring stencils are not present in the grid, the corresponding missing point values are approximated from coarser scales using the interpolating subdivision scheme. Using the cubic interpolation subdivision scheme, we demonstrate that such adaptive finite differences can be formulated in terms of a collocation scheme based on the wavelet expansion associated to the SPR. For this purpose, we prove some results concerning the local behavior of such wavelet reconstruction operators, which stand for SPR grids having appropriate structures. This statement implies that the adaptive finite difference scheme and the one using the step size of the finest level produce the same result at SPR grid points. Consequently, in addition to the refinement strategy, our analysis indicates that some care must be taken concerning the grid structure, in order to keep the truncation error under a certain accuracy limit. Illustrating results are presented for 2D Maxwell's equation numerical solutions.

Acompanhamento da construção do Hotel Europa Plaza, em Lisboa

O presente relatório de estágio apresenta-se como Trabalho Final de Mestrado, realizado no âmbito do Mestrado em Engenharia Civil, do Instituto Superior de Engenharia de Lisboa e tem como objectivo apresentar as actividades desenvolvidas durante o mesmo. O estágio de 4 meses de duração, iniciado em Março de 2011, foi realizado na empresa FICOPE - Fiscalização, Coordenação e Projectos de Engenharia, Lda., onde o estagiário integrou a equipa de fiscalização para a edificação do Hotel Europa Plaza. A obra situa-se na Av. da República nº93, em Lisboa e o Hotel é constituído por 8 pisos elevados e 4 enterrados. Aquando do início do estágio a sua construção encontrava-se na fase final de estrutura, tendo o estagiário acompanhado também parte da fase inicial de acabamentos e instalações. Durante o estágio, o aluno participou nas diversas actividades de fiscalização, tais como, acompanhamento e controlo de execução, aprovação e verificação de materiais, controlo de custos e planeamento, consultas e contactos entre todos os intervenientes da obra, com o objectivo de resolução de incompatibilidades de projecto e alterações. O estágio permitiu a consolidação dos conhecimentos adquiridos ao longo do percurso académico, através do contacto directo com a obra e seus diversos processos construtivos empregues, assim como, a percepção do funcionamento das diversas entidades envolvidas na execução da obra.

Caracterização mecânica de misturas betuminosas a aplicar em infra-estruturas de transportes

A maioria das infra-estruturas de transportes, nomeadamente os pavimentos rodoviários e aeroportuários, são constituídas por misturas betuminosas, o que permite um bom desempenho e uma adequada durabilidade, nas condições usuais de serviço. As misturas betuminosas são ainda amplamente utilizadas na construção de zonas de estacionamento de veículos, tendo-se verificado recentemente a sua aplicação também em infra-estruturas ferroviárias. Face à necessidade de melhorar o desempenho das vias-férreas, permitindo uma concepção mais durável de linhas de alta velocidade e uma redução dos custos da sua manutenção, tem-se vindo a desenvolver diversos estudos para promover a utilização de novos materiais, principalmente através da incorporação de misturas betuminosas. O presente trabalho tem como objectivo a caracterização do comportamento mecânico de misturas betuminosas a aplicar em infra-estruturas de transportes. Como metodologia para o estudo do comportamento mecânico das misturas betuminosas foram realizados em laboratório ensaios de cargas repetidas, nomeadamente, ensaios de flexão em quatro pontos para determinação da rigidez e da resistência à fadiga e ensaios de compressão triaxiais cíclicos para avaliação do comportamento à deformação permanente. A resistência à fadiga das misturas betuminosas em estudo foi avaliada através do ensaio de flexão em quatro pontos, com extensão controlada, e aplicação de um carregamento sinusoidal com diferentes frequências, de acordo com o procedimento de ensaio da norma europeia EN 12697-24 (2004 + A1: 2007). A resistência à deformação permanente das misturas betuminosas foi analisada através de ensaios de compressão triaxiais cíclicos, submetendo-as a uma tensão de confinamento estática pela aplicação parcial de vácuo e a uma pressão axial cíclica sob a forma rectangular, de acordo com a norma europeia EN 12697-25 (2004). O conhecimento destas propriedades mecânicas assume particular importância ao nível da formulação das misturas betuminosas, do dimensionamento de uma estrutura ou do estabelecimento de uma adequada solução para uma obra de reabilitação duma infra-estrutura de transportes. Para este estudo foi utilizado um modelo físico construído numa fossa no LNEC, com o propósito de serem testadas três substruturas ferroviárias não convencionais, utilizando sub-balastro betuminoso. A selecção das substruturas foi efectuada após uma análise de várias secções de estruturas já testadas e aplicadas noutros países, de forma a proporcionar comparações fiáveis entre elas. Os resultados obtidos mostraram que a mistura betuminosa AC20 base 50/70 (MB) aplicada na camada de sub-balastro é adequada para ser aplicada nas infra-estruturas de transportes pois apresenta um bom desempenho à fadiga e à deformação permanente. Através dos ensaios efectuados foi ainda possível entender a importante influência das características volumétricas, principalmente da porosidade para o bom comportamento da mistura betuminosa.

From unthinned continent to ocean: The deep structure of the West Iberia passive continental margin at 38 degrees N

The crustal and lithospheric mantle structure at the south segment of the west Iberian margin was investigated along a 370 km long seismic transect. The transect goes from unthinned continental crust onshore to oceanic crust, crossing the ocean-continent transition (OCT) zone. The wide-angle data set includes recordings from 6 OBSs and 2 inland seismic stations. Kinematic and dynamic modeling provided a 2D velocity model that proved to be consistent with the modeled free-air anomaly data. The interpretation of coincident multi-channel near-vertical and wide-angle reflection data sets allowed the identification of four main crustal domains: (i) continental (east of 9.4 degrees W); (ii) continental thinning (9.4 degrees W-9.7 degrees W): (iii) transitional (9.7 degrees W-similar to 10.5 degrees W); and (iv) oceanic (west of similar to 10.5 degrees W). In the continental domain the complete crustal section of slightly thinned continental crust is present. The upper (UCC, 5.1-6.0 km/s) and the lower continental crust (LCC, 6.9-7.2 km/s) are seismically reflective and have intermediate to low P-wave velocity gradients. The middle continental crust (MCC, 6.35-6.45 km/s) is generally unreflective with low velocity gradient. The main thinning of the continental crust occurs in the thinning domain by attenuation of the UCC and the LCC. Major thinning of the MCC starts to the west of the LCC pinchout point, where it rests directly upon the mantle. In the thinning domain the Moho slope is at least 13 degrees and the continental crust thickness decreases seaward from 22 to 11 km over a similar to 35 km distance, stretched by a factor of 1.5 to 3. In the oceanic domain a two-layer high-gradient igneous crust (5.3-6.0 km/s; 6.5-7.4 km/s) was modeled. The intra-crustal interface correlates with prominent mid-basement, 10-15 km long reflections in the multi-channel seismic profile. Strong secondary reflected PmP phases require a first order discontinuity at the Moho. The sedimentary cover can be as thick as 5 km and the igneous crustal thickness varies from 4 to 11 km in the west, where the profile reaches the Madeira-Tore Rise. In the transitional domain the crust has a complex structure that varies both horizontally and vertically. Beneath the continental slope it includes exhumed continental crust (6.15-6.45 km/s). Strong diffractions were modeled to originate at the lower interface of this layer. The western segment of this transitional domain is highly reflective at all levels, probably due to dykes and sills, according to the high apparent susceptibility and density modeled at this location. Sub-Moho mantle velocity is found to be 8.0 km/s, but velocities smaller than 8.0 km/s confined to short segments are not excluded by the data. Strong P-wave wide-angle reflections are modeled to originate at depth of 20 km within the lithospheric mantle, under the eastern segment of the oceanic domain, or even deeper at the transitional domain, suggesting a layered structure for the lithospheric mantle. Both interface depths and velocities of the continental section are in good agreement to the conjugate Newfoundland margin. A similar to 40 km wide OCT having a geophysical signature distinct from the OCT to the north favors a two pulse continental breakup.

Enhanced short wavelength response in laser-scanned-photodiode image sensor using an a-SiC : H/a-Si : H tandem structure

We report in this paper the recent advances we obtained in optimizing a color image sensor based on the laser-scanned-photodiode (LSP) technique. A novel device structure based on a a-SiC:H/a-Si:H pin/pin tandem structure has been tested for a proper color separation process that takes advantage on the different filtering properties due to the different light penetration depth at different wavelengths a-SM and a-SiC:H. While the green and the red images give, in comparison with previous tested structures, a weak response, this structure shows a very good recognition of blue color under reverse bias, leaving a good margin for future device optimization in order to achieve a complete and satisfactory RGB image mapping. Experimental results about the spectral collection efficiency are presented and discussed from the point of view of the color sensor applications. The physics behind the device functioning is explained by recurring to a numerical simulation of the internal electrical configuration of the device.

Novel structure for large area image sensing

This work presents preliminary results in the study of a novel structure for a laser scanned photodiode (LSP) type of image sensor. In order to increase the signal output, a stacked p-i-n-p-i-n structure with an intermediate light-blocking layer is used. The image and the scanning beam are incident through opposite sides of the sensor and their absorption is kept in separate junctions by an intermediate light-blocking layer. As in the usual LSP structure the scanning beam-induced photocurrent is dependent on the local illumination conditions of the image. The main difference between the two structures arises from the fact that in this new structure the image and the scanner have different optical paths leading to an increase in the photocurrent when the scanning beam is incident on a region illuminated on the image side of the sensor, while a decreasing in the photocurrent was observed in the single junction LSP. The results show that the structure can be successfully used as an image sensor even though some optimization is needed to enhance the performance of the device.

Projecto de estabilidade da Escola Superior de Enfermagem Artur Ravara

O presente trabalho, refere-se ao projecto de estabilidade, em betão armado e pré-esforçado, da Escola Superior de Enfermagem Artur Ravara, situada na zona da EXPO em Lisboa. O edifício apresenta-se com uma implantação em “L”, tendo como dimensões máximas 38,50m x 54,80m e desenvolve-se em altura por quatro pisos, dos quais, dois são enterrados. A estrutura do edifício em causa, apresenta duas juntas de dilatação, por forma a tornar desprezáveis os efeitos devidos à retracção e diminuição de temperatura, dividindo o edifício em três blocos. As suas fundações são indirectas, constituídas por estacas moldadas no terreno e respectivos maciços de encabeçamento. As lajes são fungiformes aligeiradas de moldes perdidos, de modo a permitir vencer maiores vãos, que variam entre os 6,60m e os 10,00m, e permitindo também maior rapidez de execução e maior economia. As consolas de 3,50m de vão, em laje maciça, são suportadas por vigas pré-esforçadas de secção variável. Para o cálculo automático da estrutura e da obtenção dos respectivos desenhos das armaduras, foi utilizado o programa de cálculo automático, Tricalc 7.1. O conteúdo do projecto em questão, sendo de carácter académico, não corresponde à versão real, à qual não se teve acesso. O dimensionamento das fundações, devido à fraca resistência dos solos e o dimensionamento da estrutura, devido à geometria e dimensões do edifício, permitiram enfrentar desafios interessantes. Tais desafios, deram possibilidade de enriquecer bastante os conhecimentos sobre a engenharia de estruturas.

Projecto de fundações e estrutura de um edifício de 4 pisos em Lisboa, destinado a habitação

O objectivo deste trabalho consiste na elaboração de um projecto de estruturas de um edifício, desde a fase de concepção estrutural até à fase de pormenorização, passando obviamente pelo dimensionamento. O trabalho foi motivo para aplicação dos conhecimentos adquiridos durante o curso, na prática de projecto de estruturas, nomeadamente na utilização da regulamentação europeia de estruturas que está para entrar em vigor. O projecto foi elaborado a partir do projecto base de arquitectura e diz respeito a um conjunto de 4 edifícios de habitação separados por junta de dilatação, a construir em Lisboa. A estrutura em betão armado constituída por lajes fungiformes maciças apoiadas em pilares, paredes de betão e vigas, foi analisada com recurso a um programa de cálculo automático de elementos finitos SAP 200 V14.2.4. Para a execução deste trabalho recorreu-se à regulamentação europeia, nomeadamente o Eurocódigo 0, o Eurocódigo 1, o Eurocódigo 2 e o Eurocódigo 8, na sua versão final de Norma Portuguesa. Os critérios de dimensionamento bem como as disposições construtivas relativas a armaduras de betão são detalhadamente referidos ao longo do trabalho. Embora a análise estrutural tenha sido efectuada para quatro edifícios, os desenhos de pormenorização de betão armado são apresentados relativamente apenas ao edifício Nº1. Optou-se por esta solução em virtude de os edifícios serem semelhantes.

Projecto de fundações e estrutura de um edifício destinado a pavilhão gimnodesportivo

Este trabalho tem como objectivo a elaboração do projecto de estruturas de um edifício destinado a pavilhão gimnodesportivo, caracterizando as suas diferentes fases de execução, desde a etapa inicial de concepção até à fase final de dimensionamento. Trata-se de um projecto complexo de uma estrutura com elementos estruturais em betão armado e pré-esforçado, e com muros de contenção. Na concepção do edifício foram utilizados os critérios gerais de dimensionamento presentes na regulamentação Europeia (Eurocódigos), uma vez que estes elementos representam o futuro da regulamentação de estruturas em termos Europeus, vindo substituir a nível nacional o “Regulamento de Segurança e Acções para Estruturas de Betão Armado (RSA)” e o “Regulamento para Estruturas de Betão Armado e Pré- Esforçado (REBAP)”. A adopção das normas europeias representam assim um elevado desafio devido ao aumento da complexidade na concepção e dimensionamento de estruturas que estes regulamentos traduzem, principalmente o Eurocódigo 8, que define de um modo mais detalhado e complexo a análise sísmica, relativamente à regulamentação actual em vigor. Devido à elevada complexidade que os projectos de estruturas apresentam, utilizam-se actualmente ferramentas de cálculo automático. No dimensionamento deste edifício foi utilizado um programa tridimensional de elementos finitos para a modelação da estrutura. Pretende-se com a escolha deste projecto e dos métodos de dimensionamento presentes nos Eurocódigos, o desenvolvimento de um trabalho detalhado e correcto, permitindo assim adquirir conhecimentos importantes relativamente às futuras normas, e pôr em prática as competências e os conhecimentos obtidos ao longo curso.

Intervenções em estruturas antigas

O presente relatório de estágio, definido como Trabalho Final de Mestrado, surge como resultado de um estágio profissional realizado no âmbito do Mestrado em Engenharia Civil do Instituto Superior de Engenharia de Lisboa, e tem como objectivos primordiais, expor as actividades realizadas e reflectir os conhecimentos adquiridos durante o período de estágio. Após uma formação académica maioritariamente vocacionada para os aspectos teóricos e de natureza científica, tornou-se fundamental ao estagiário garantir um contacto real com a profissão de Engenheiro Civil antes do ingresso no mercado de trabalho. Foi com base nesse pressuposto que a opção do Trabalho Final de Mestrado incidiu sobre a realização de um estágio curricular em detrimento das restantes possibilidades. O período de estágio iniciou-se a 14 de Março de 2011 e incidiu sobre a área de Conservação, Restauro e Reabilitação de edifícios com valor patrimonial, sendo feito referência no capítulo 2 aos princípios importantes da intervenção neste tipo de edifícios. O capítulo 3 faz uma abordagem geral do que são as coberturas servindo de complemento ao capítulo 4, onde são abordados e analisados os processos e métodos construtivos envolvidos, contemplando a evolução construtiva da cobertura do Cruzeiro, no Convento de Cristo em Tomar. Nos restantes capítulos, 5 e 6, é feita a caracterização e constituição da estrutura de um edifício da segunda metade do século XVIII, e a análise estrutural feita ao edifício no Antigo Convento do Santíssimo Sacramento, em Lisboa, respectivamente. O capítulo 4 é complementado pelo Anexo A, sendo utilizado como referência ao esquema da estrutura artesanal encontrada na cobertura do Cruzeiro.