Lourenço, João M. Mecanismos de Suporte à Execução Concorrente de Programas em Lógica. Eds. José C. Cunha. Universidade Nova de Lisboa. Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1994.
AbstractA evolução do hardware dos computadores para arquitecturas paralelas, incentivou a concepção de novos modelos de programação e o desenvolvimento dos sistemas de suporte à execução correspondentes, de forma a conseguir uma melhor exploração do paralelismo. A linguagem de programação Prolog, pelas suas características declarativas e operacionais, tem vindo a ser objecto de estudo nesta área, através de adaptações da linguagem e/ou da sua máquina de inferência. Este trabalho incide sobre os aspectos de concepção e implementação de um modelo de um sistema de suporte à execução de programas em Prolog, em arquitecturas de múltiplos processadores, com unidades de memória fisicamente distribuídas. O modelo propõe extensões a um executor de Prolog convencional, de forma a disponibilizar funcionalidades que permitam o controlo do paralelismo e da distribuição. Estas funcionalidades podem ser utilizadas para a implementação de modelos de linguagens lógicas concorrentes de mais alto nível, ou então serem utilizadas directamente para a programação de sistemas distribuídos, em que múltiplos executores Prolog cooperam na resolução de um golo, comunicando com base em mensagens. Para avaliar a funcionalidade do modelo proposto, concebeu-se e implementou-se um sistema de distribuição de golos Prolog, que permite recorrer a diversas estratégias para composição sequencial e paralela de golos, escondendo os aspectos de gestão explícita dos recursos efectivos. A dissertação inclui uma discussão dos aspectos mais relevantes da realização do protótipo do modelo proposto sobre uma arquitectura baseada em Transputers.
Louren{\c c}o, João Mecanismos de Suporte à Execu{\c c}ão Concorrente de Programas em Lógica. Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1994.
AbstractA evolu{\c c}ão do hardware dos computadores para arquitecturas paralelas, incentivou a concep{\c c}ão de novos modelos de programa{\c c}ão e o desenvolvimento dos sistemas de suporte à execu{\c c}ão correspondentes, de forma a conseguir uma melhor explora{\c c}ão do paralelismo. A linguagem de programa{\c c}ão Prolog, pelas suas caracter\'ısticas declarativas e operacionais, tem vindo a ser objecto de estudo nesta área, através de adapta{\c c}ões da linguagem e/ou da sua máquina de inferência. Este trabalho incide sobre os aspectos de concep{\c c}ão e implementa{\c c}ão de um modelo de um sistema de suporte à execu{\c c}ão de programas em Prolog, em arquitecturas de múltiplos processadores, com unidades de memória fisicamente distribu\'ıdas. O modelo propõe extensões a um executor de Prolog convencional, de forma a disponibilizar funcionalidades que permitam o controlo do paralelismo e da distribui{\c c}ão. Estas funcionalidades podem ser utilizadas para a implementa{\c c}ão de modelos de linguagens lógicas concorrentes de mais alto n\'ıvel, ou então serem utilizadas directamente para a programa{\c c}ão de sistemas distribu\'ıdos, em que múltiplos executores Prolog cooperam na resolu{\c c}ão de um golo, comunicando com base em mensagens. Para avaliar a funcionalidade do modelo proposto, concebeu-se e implementou-se um sistema de distribui{\c c}ão de golos Prolog, que permite recorrer a diversas estratégias para composi{\c c}ão sequencial e paralela de golos, escondendo os aspectos de gestãoao expl\'ıcita dos recursos efectivos. A disserta{\c c}ão inclui uma discussão dos aspectos mais relevantes da realiza{\c c}ão do protótipo do modelo proposto sobre uma arquitectura baseada em Transputers.
Fantoni, A., Vieira Martins M. R. "
Modelling heteroface of P.I.N solar cells for improving stability."
Materials Research Society Symposium Proceedings. Vol. 336. 1994. 711-716.
AbstractThe introduction into a traditional p.i.n structure of two defective buffer layers near the p/i and i/n interfaces can improve the device stability and efficiency through an enhancement of the electric field profile at the interfaces and a reduction of the available recombination bulk centers. The defectous layer ("i′-layer"), grown at a higher power density, present a high density of defects and acts as "gettering centers" able to tailor light induced defects under degradation conditions. If the i-layer density of states remains below 1016 eV-1 cm-3 and assuming a Gaussian distribution of defect states, the gettering center distribution will not affect significantly the carrier population but only its spatial distribution. We report here about a device numerical simulation that allows us to analyse the influence of the "i′-layer" position, thickness and density of states on the a-Si: H solar cells performances. Results of some systematic simulation from the ASCA program (Amorphous Solar Cell Analysis), and for different configurations will be presented. © 1994 Materials Research Society.
]