Métodos "verdes" de produção de nanomateriais que promovem nanotecnologias sustentáveis

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química

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

A physical packing sequence algorithm for the container loading problem with static mechanical equilibrium conditions

The container loading problem (CLP) is a combinatorial optimization problem for the spatial arrangement of cargo inside containers so as to maximize the usage of space. The algorithms for this problem are of limited practical applicability if real-world constraints are not considered, one of the most important of which is deemed to be stability. This paper addresses static stability, as opposed to dynamic stability, looking at the stability of the cargo during container loading. This paper proposes two algorithms. The first is a static stability algorithm based on static mechanical equilibrium conditions that can be used as a stability evaluation function embedded in CLP algorithms (e.g. constructive heuristics, metaheuristics). The second proposed algorithm is a physical packing sequence algorithm that, given a container loading arrangement, generates the actual sequence by which each box is placed inside the container, considering static stability and loading operation efficiency constraints.

Static detection of anomalies in transactional memory programs

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 Informática

Static laws in dynamic environments (bridging science to legislation)

Proceedings of the First International Conference on Coastal Conservation and Management in the Atlantic and Mediterranean, p. 193-200

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

Watermelon Stomach, Hemorrhagic Pericarditis, Small Cell Carcinoma of the Lung and Synchronous Squamous Cell Carcinoma of the Tongue Base

Based on a case of gastric antral vascular ectasia (watermelon stomach) that was associated with hemorrhagic pericarditis, small cell lung carcinoma with mediastinal lymph node metastases and a synchronous squamous cell carcinoma of the base of the tongue, the authors made a review of the clinical, endoscopic and histopathological aspects of this type of gastropathy, and its association with other diseases, and of the results of its endoscopic therapy. The causes of hemorrhagic pericarditis are considered, emphasizing the necessity to know if the effusion has a malignant etiology. To the best of our knowledge the association of watermelon stomach to small cell lung carcinoma and squamous cell carcinoma of the base of the tongue has not yet been described. Extensive metastases to mediastal lymph nodes are common to small cell lung carcinoma.

Quality-of-service aware routing for static and mobile IPv6-based low-power and lossy sensor networks using RPL

The Internet of Things (IoT) has emerged as a paradigm over the last few years as a result of the tight integration of the computing and the physical world. The requirement of remote sensing makes low-power wireless sensor networks one of the key enabling technologies of IoT. These networks encompass several challenges, especially in communication and networking, due to their inherent constraints of low-power features, deployment in harsh and lossy environments, and limited computing and storage resources. The IPv6 Routing Protocol for Low Power and Lossy Networks (RPL) [1] was proposed by the IETF ROLL (Routing Over Low-power Lossy links) working group and is currently adopted as an IETF standard in the RFC 6550 since March 2012. Although RPL greatly satisfied the requirements of low-power and lossy sensor networks, several issues remain open for improvement and specification, in particular with respect to Quality of Service (QoS) guarantees and support for mobility. In this paper, we focus mainly on the RPL routing protocol. We propose some enhancements to the standard specification in order to provide QoS guarantees for static as well as mobile LLNs. For this purpose, we propose OF-FL (Objective Function based on Fuzzy Logic), a new objective function that overcomes the limitations of the standardized objective functions that were designed for RPL by considering important link and node metrics, namely end-to-end delay, number of hops, ETX (Expected transmission count) and LQL (Link Quality Level). In addition, we present the design of Co-RPL, an extension to RPL based on the corona mechanism that supports mobility in order to overcome the problem of slow reactivity to frequent topology changes and thus providing a better quality of service mainly in dynamic networks application. Performance evaluation results show that both OF-FL and Co-RPL allow a great improvement when compared to the standard specification, mainly in terms of packet loss ratio and average network latency. 2015 Elsevier B.V. Al

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Field oriented control of an axial flux permanent magnet synchronous motor for traction solutions

Electric Vehicles (EVs) are increasingly used nowadays, and different powertrain solutions can be adopted. This paper describes the control system of an axial flux Permanent Magnet Synchronous Motor (PMSM) for EVs powertrain. It is described the implemented Field Oriented Control (FOC) algorithm and the Space Vector Modulation (SVM) technique. Also, the mathematical model of the PMSM is presented. Both, simulation and experimental, results with different types of mechanical load are presented. The experimental results were obtained using a laboratory test bench. The obtained results are discussed.

Nonlinear optimization for human-like synchronous movements of a dual arm-hand robotic system

In previous work we have presented a model capable of generating human-like movements for a dual arm-hand robot involved in human-robot cooperative tasks. However, the focus was on the generation of reach-to-grasp and reach-to-regrasp bimanual movements and no synchrony in timing was taken into account. In this paper we extend the previous model in order to accomplish bimanual manipulation tasks by synchronously moving both arms and hands of an anthropomorphic robotic system. Specifically, the new extended model has been designed for two different tasks with different degrees of difficulty. Numerical results were obtained by the implementation of the IPOPT solver embedded in our MATLAB simulator.

Synchronous reproduction may facilitate introgression in a hybrid mussel (Mytilus) population

Mussel populations on the Irish Atlantic coast comprise an interbreeding mixture of the blue mussel, Mytilus edulis (L.) and the Mediterranean mussel, Mytilus galloprovincialis (Lmk.). The occurrence of hybrid genotypes varies between sites but can be as high 80%. This study compares the reproductive cycle of M. edulis, M. galloprovincialis and their hybrids to determine if the extensive hybridisation observed at Irish Atlantic coast sites is linked to spawning synchrony between the two taxa. Mussels (40-45 mm size class) were collected monthly from a sheltered shore in Galway Bay from January to December 2005. Two major spawning events (March- June and September-October) were observed and gametogenesis took place throughout the year. The spawning cycles of the three taxa were largely overlapping. Small differences were observed in the timing of peak spawning which occurred in March and October in M. galloprovincialis and in May-June and September in M.edulis. Spawning of hybrid individuals was intermediate between the parental genotypes. Fecundity was slightly higher in M. galloprovincialis females compared to the other taxa (up to 30% difference, p<0.05). This apparent advantage is not shared by the sexes and is likely being offset by high numbers of hybrid genotypes releasing gametes during peak spawning of M. galloprovincialis. There was no evidence for increased mortality in hybrid males; sex ratios did not deviate from the 1:1 ratio. The results show that in this region of the hybrid zone the timing of reproduction does not present a barrier to gene flow between M. edulis and M. galloprovincialis. Nonetheless, small differences in the timing of peak spawning may increase the likelihood of conspecific fertilisation at certain times of the year. Hybrids outnumber the parental genotypes, undergo complete gametogenesis and show no evidence of depressed fitness (i.e. hybrids are reproductively competent suggesting a high degree of introgression.

Towards flexible feature composition : static and dynamic binding in software product lines

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Static and dynamic interpretations of hand specific body language cues for HCI

Otto-von-Guericke-Universität Magdeburg, Fakultät für Elektrotechnik und Informationstechnik, Univ., Dissertation, 2015

Static diffusion models of the upper atmosphere with empirical temperature profiles.

v. 8 no. 9