Contributions �� la Pal��ontologie du Mioc��ne moyen continental du Bassin du Tage. III - Mammif��res - P��voa de Santar��m, P��ro Filho et Ch��es (Secorio). Conclusions g��n��rales

This study on middle Miocene mammalian faunas from Tagus'basin deals particularly with some small mammals hitherto undescribed from Portugal, including a new Glirid (Paraglirulus scalabicensis nov. sp.); it allows an accurate datation by biostratigraphical standards, Megacricetodon crusafonti, Fahlbuschia darocensis, Cricetodon jotae being characteristic of mammalian MN6 unit, thus their age is nearly that of Sansan and Manchones (however the presence of Peridyromys hamadryas and Lagopsis verus do suggest, amidst this biozone, a somewhat later age than Sansan's); it contributes with indirect correlation data with marine formations, as underlying oyster-bearing beds most probably are in correspondance to the apogee of the same transgression that deposed near Lisbon ���schlier" facies from VI-a division (Serravalian, Blow's zones 10-13, Globorotalia meyeri zone); the diversity of mammalian assemblages is surely related to an environement with varied biotopes, whose characterisation becomes easier if account is taken of the preceding papers on mollusks (G. Truc) and Cyprinid fishes (J. Gaudant), and also according to some unpublished paleobotanical data (J. Pais). A table with a synthesis of all paleontological data so far known is presented.

Redes de Petri reactivas e hier��rquicas - integra����o de formalismos no projecto de sistemas reactivos de tempo-real

Disserta����o apresentada para obten����o do grau de Doutor em Engenharia Electrot��cnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia

Integra����o Intranet ��� Pro/Engineer Wildfire 3.0 Via Pro/Web.Link

Mestrado em Engenharia Inform��tica, ��rea de Especializa����o em Arquiteturas, Sistemas e Redes

Comunica����es intra- e inter-circuito de componentes especificados com Redes de Petri

Disserta����o apresentada na Faculdade de Ci��ncias e Tecnologia da Universidade Nova de Lisboa para obten����o do Grau de Mestre em Engenharia Electrot��cnica e de Computadores

Petri nets based components within globally asynchronous locally synchronous systems

Disserta����o apresentada na Faculdade de Ci��ncias e Tecnologias da Universidade Nova de Lisboa para a obten����o do grau de Mestre em Engenharia Electrot��cnica e Computadores

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. �� 2015 IEEE.

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. �� 2015 IEEE.

High-level Petri nets modules for embedded controllers design

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.

Gera����o autom��tica de c��digo ANSI C a partir de Redes de Petri IOPT - PNML2C -

Disserta����o apresentada na Faculdade de Ci��ncias e Tecnologia da Universidade Nova de Lisboa para obten����o do Grau de Mestre em Engenharia Electrot��cnica e de Computadores

Petri net model decomposition - a model based approach supporting distributed execution

Disserta����o apresentada para obten����o do Grau de Doutor em Engenharia Electrot��cnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia

Reengenharia de um sistema de controladores dom��ticos utilizando Redes de Petri

Disserta����o apresentada na Faculdade de Ci��ncias e Tecnologia da Universidade Nova de Lisboa para a obten����o do grau de Mestre em Engenharia Electrot��cnica e de Computadores

NONIUS.TV na SMART TV LG PRO: Centric

A Smart TV �� um equipamento novo e em evolu����o que incorpora um computador e acesso �� Internet em ecr��s de grande qualidade. Permite a implementa����o de servi��os interactivos, acesso �� Internet e televis��o. �� medida que a tecnologia melhora, muitos equipamentos est��o a tornar-se t��o capazes quanto os computadores normais quando se trata de navega����o na web e at�� mesmo v��deo na Internet (Video-on-Demand e streaming de v��deo). O projecto de est��gio ���NONIUS.TV na Smart TV LG Pro:Centric��� foi desenvolvido na empresa Nonius Software que est�� inserida no ramo das telecomunica����es. Uma das suas ��reas de actividade est�� relacionada com o desenvolvimento de plataformas de entretenimento para o mercado hoteleiro, combinando diversos servi��os e funcionalidades a pensar no h��spede. Este projecto teve como finalidade implementar alguns dos servi��os e funcionalidades j�� existentes em plataformas que usam uma Set-Top Box da Nonius Software, numa Smart TV, aproveitando tamb��m para inovar e criar novos servi��os. Nesse conjunto est�� inclu��da a implementa����o de uma Caixa de Mensagens, Servi��o de Quartos, Servi��o de Desporto e Lazer, Servi��os Informativos, um cliente RTSP, um despertador, um sistema de mudan��a de idioma e outras pequenas funcionalidades desenvolvidas ao longo de toda a aplica����o. Esta disserta����o apresenta um estudo sobre as tecnologias Smart TV existentes no mercado, assim como as vantagens e desvantagens da sua utiliza����o para este projecto. Ap��s uma an��lise de requisitos de forma a estruturar e desenhar os servi��os e funcionalidades a serem criados para a aplica����o, implementou-se um conjunto de servi��os, usando a linguagem de programa����o ActionScript 2.0, que permitiram �� empresa disponibilizar um novo produto baseado na televis��o Pro:Centric da LG.

Emotion-oriented interventions for environment and the facilitation of pro-environmental behavior

Disserta����o para obten����o do Grau de Doutor em Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia

Pro poor tourism for community development on Atauro Island, Timor-Leste

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA ��� School of Business and Economics