Encontrados 7 documentos, a visualizar página 1 de 1
Proof support for hybridised logics
Neves, RenatoDissertação de mestrado em Engenharia Informática ; Formal methods are mathematical techniques used to certify safe systems. Such methods abound and have been successfully used in classical Engineering domains, yet informatics is the exception. There, they are still immature and costly; furthermore, software engineers frequently view them with "fear". Thus, the use of formal methods is typically restricted to ...
Giving ALLOY a family
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Lightweight formal methods ought to provide to the end user the rigorousness of mathematics, without compromising simplicity and intuitiveness. ALLOY is a powerful tool, particularly successful on this mission. Limitations on the verification side, however, are known to prevent its wider use in the development of safety or mission critical applications. A number of researchers proposed ways to connect Alloy to ...
Hybridisation at work
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.This paper presents the encoding of the hybridisation method into the HETS platform.
When even the interface evolves ...
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.This paper extends the authors’ previous work on a formal approach to the specification of reconfigurable systems in which configurations are taken as local states in a suitable transition structure. The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves va...
Determinação de fósforo biodisponível em rações de peixes utilizando extração a...
Moraes,Paula M. de; Loureiro,Vanessa R.; Padilha,Pedro M.; Neves,Renato de Cássio F.; Saleh,Mayra A. D.; Santos,Felipe A. dos; Silva,Fábio A.The aim of the present work was to develop and optimize a method for determination of bioavailable phosphorus in samples of feces and fish feed using ultrasound extraction and subsequent quantification by visible spectrophotometry. Using as extractor solution HNO3 0.50 mol L-1, the great conditions of extraction established were: sample mass - 100 mg, samples granulometry - < 60 µm, sonification time - five cyc...
Manganese determination by GFAAS in feces and fish feed slurries
Loureiro,Vanessa Rosa; Saleh,Mayra A. D.; Moraes,Paula M.; Neves,Renato C. F.; Silva,Fabio A.; Padilha,Cilene C. F.; Padilha,Pedro M.This paper presents a simple, fast and sensitive method to determine manganese in samples of feces and fish feed by graphite furnace atomic absorption spectrometry (GFAAS) by the direct introduction of slurries into the graphite tube. The limits of detection (LOD) and quantification (LOQ) calculated for 20 readings of the blank of the standard slurries (0.50 % m/v of feces or feed devoid of manganese) were 28 a...
Using augmented state Kalman filter to localize multi autonomous underwater veh...
Botelho,Silvia; Neves,Renato; Taddei,Lorenzo; Oliveira,ViníciusThe present paper describes a system for the construction of visual maps ("mosaics") and motion estimation for a set of AUVs (Autonomous Underwater Vehicles). Robots are equipped with down-looking camera which is used to estimate their motion with respect to the seafloor and built an online mosaic. As the mosaic increases in size, a systematic bias is introduced in its alignment, resulting in an erroneous outpu...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||