Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Food safety and development of the beef industry in China

Food safety concerns have escalated in China as they have elsewhere, especially in relation to meats. Beef production and consumption has increased proportionately faster than all other meats over the last two decades. Yet the slaughtering, processing and marketing of beef remains, for the most part, extremely primitive when compared with Western beef supply chains. By comparing the economics of household slaughtering with that of various types of abattoirs, this paper explains why household slaughtering and wet markets still dominate beef processing and distribution in China. The negative economic, social and industry development implications of enforcing more stringent food safety regulations are highlighted. The willingness/capacity of consumers to pay the added cost of better inspection and other services to guarantee food safety is investigated. In this context, the paper also evaluates the market opportunities for both domestic and imported Green Beef. The paper questions the merit of policy initiatives aimed at modernising Chinese beef supply chains for the mass market along Western lines. (C) 2002 Elsevier Science Ltd. All rights reserved.

The quest for a balanced manpower capacity: different flexibility strategies examined

To cope with permanent fluctuations in demand, organizations are challenged to organize their manpower capacity in a flexible way. Different strategies of manpower planning are being used for this purpose. Using data from the 2002 Panel Survey of Organisations Flanders, we first verify to what extent temporal, contractual and functional flexibility strategies are applied in Flemish organizations. Subsequently, logistic regression is used to analyse the link between these flexible work strategies and a ‘fitting manpower capacity’. While the results show a negative association between the use of temporal or contractual flexibility measures and a balanced manpower capacity, functional flexibility seems to be positively related. The different logics in which numerical and functional flexibility proceed can be labeled as ‘curative’ versus ‘preventive’ strategies of flexibility. Further analyses discern between various interpretations of functional flexibility and assess whether different team types make a contribution to a fitting manpower capacity.

Development of Chitosan and Poly (Vinyl Alcohol) Blended scaffolds for cell culture using supercritical fluids technology

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Mestrado Integrado em Engenharia Química e Bioquímica

A survey of technologies and applications for climbing robots locomotion and adhesion

The interest in the development of climbing robots has grown rapidly in the last years. Climbing robots are useful devices that can be adopted in a variety of applications, such as maintenance and inspection in the process and construction industries. These systems are mainly adopted in places where direct access by a human operator is very expensive, because of the need for scaffolding, or very dangerous, due to the presence of an hostile environment. The main motivations are to increase the operation efficiency, by eliminating the costly assembly of scaffolding, or to protect human health and safety in hazardous tasks. Several climbing robots have already been developed, and other are under development, for applications ranging from cleaning to inspection of difficult to reach constructions. A wall climbing robot should not only be light, but also have large payload, so that it may reduce excessive adhesion forces and carry instrumentations during navigation. These machines should be capable of travelling over different types of surfaces, with different inclinations, such as floors, walls, or ceilings, and to walk between such surfaces (Elliot et al. (2006); Sattar et al. (2002)). Furthermore, they should be able of adapting and reconfiguring for various environment conditions and to be self-contained. Up to now, considerable research was devoted to these machines and various types of experimental models were already proposed (according to Chen et al. (2006), over 200 prototypes aimed at such applications had been developed in the world by the year 2006). However, we have to notice that the application of climbing robots is still limited. Apart from a couple successful industrialized products, most are only prototypes and few of them can be found in common use due to unsatisfactory performance in on-site tests (regarding aspects such as their speed, cost and reliability). Chen et al. (2006) present the main design problems affecting the system performance of climbing robots and also suggest solutions to these problems. The major two issues in the design of wall climbing robots are their locomotion and adhesion methods. With respect to the locomotion type, four types are often considered: the crawler, the wheeled, the legged and the propulsion robots. Although the crawler type is able to move relatively faster, it is not adequate to be applied in rough environments. On the other hand, the legged type easily copes with obstacles found in the environment, whereas generally its speed is lower and requires complex control systems. Regarding the adhesion to the surface, the robots should be able to produce a secure gripping force using a light-weight mechanism. The adhesion method is generally classified into four groups: suction force, magnetic, gripping to the surface and thrust force type. Nevertheless, recently new methods for assuring the adhesion, based in biological findings, were proposed. The vacuum type principle is light and easy to control though it presents the problem of supplying compressed air. An alternative, with costs in terms of weight, is the adoption of a vacuum pump. The magnetic type principle implies heavy actuators and is used only for ferromagnetic surfaces. The thrust force type robots make use of the forces developed by thrusters to adhere to the surfaces, but are used in very restricted and specific applications. Bearing these facts in mind, this chapter presents a survey of different applications and technologies adopted for the implementation of climbing robots locomotion and adhesion to surfaces, focusing on the new technologies that are recently being developed to fulfill these objectives. The chapter is organized as follows. Section two presents several applications of climbing robots. Sections three and four present the main locomotion principles, and the main "conventional" technologies for adhering to surfaces, respectively. Section five describes recent biological inspired technologies for robot adhesion to surfaces. Section six introduces several new architectures for climbing robots. Finally, section seven outlines the main conclusions.

Study on the growth promoting capacity of calf and fetal bovine serum for animal cells "in vitro" II: electrophoretic study and survey on the antiproteolytic activity of pools of calf and fetal bovine serum

Calf serum and fetal bovine serum present great variability as to its growth promoting efficiency (GPE). As supplement of culture media to cultivate cells of animal origin they stimulate the "in vitro" multiplication and maintain cell viability. When fourteen lots of calf sera of variable GPE had the total protein contents as well as the percentages of serum fractions determined, no significant differences that could possibly explain the variability of the GPE were observed. Evaluation of the antiproteolytic activity of nineteen lots of calf serum and eighteen serum lots of younger calves showed that the former exhibited lower antiproteolytic titers (1:40 to 1:80) than the latter (1:80 to 1:160). Twelve lots of fetal bovine serum studied in parallel, showed the highest concentration of antiproteolytic factors, with titers equal to 1:320. Sera of bovine origin, but not fetal sera, are usually heat-inactivated, what was demonstrated to be responsible for the decrease of the antiproteolytic activity of 75% of the lots tested. This could explain the inability of certain heat-inactivated sera in promoting multiplication of some cells "in vitro", as verified with primary monkey kidney cells. The results obtained in this study indicated the convenience of submiting each lot of serum to be introduced in cell culture to previous determination of its characteristics, such as growth promoting efficiency, antiproteolytic activity and also toxicity, absence of extraneous agents, etc., in order to minimize the possibility of using serum lots of questionable quality, thus preventing not only the loss of cell lines, but also undesirable and sometimes expensive delays.

Development of an interface for ontology‐based transformation between features of different types

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Climbing robots: a survey of technologies and applications

The interest in the development of climbing robots is growing rapidly. Motivations are typically to increase the operation efficiency by obviating the costly assembly of scaffolding or to protect human health and safety in hazardous tasks. Climbing robots are starting to be developed for applications ranging from cleaning to inspection of difficult to reach constructions. These robots should be capable of travelling on different types of surfaces, with varying inclinations, such as floors, walls, ceilings, and to walk between such surfaces. Furthermore, these machines should be capable of adapting and reconfiguring for various environment conditions and to be self-contained. Regarding the adhesion to the surface, they should be able to produce a secure gripping force using a light-weight mechanism. This paper presents a survey of different applications and technologies proposed for the implementation of climbing robots.

Transporte marítimo de curta distância na União Europeia e em Portugal

O transporte marítimo sempre assumiu uma importância primordial no transporte, quer de pessoas como de mercadorias. O uso das vias marítimas para o transporte de mercadorias é uma prática utilizada desde os tempos antigos. O transporte marítimo na Europa sempre foi uma forma eficaz e de baixo custo de transportar passageiros e mercadorias de um local para outro. Atualmente, todos os modos de transporte necessitam de melhorar a sua eficiência e reduzir o montante de poluentes que libertam para o meio-ambiente. O transporte marítimo de curta distância (TMCD) é parte essencial no sistema de transporte multimodal Europeu representando cerca de 37% das transações intracomunitárias (tkm). Os resultados alcançados advêm desde que, em 2001, a European Shortsea Network (ESN) em parceria com os Shortsea Promotion Centres (SPC) de cada Estado-Membro da União Europeia (EU) conseguiram efetuar progressos significativos na promoção e desenvolvimento do transporte por esta via. Esta tese de mestrado pretende caraterizar o TMCD na EU e em Portugal e a sua articulação com os outros meios de transporte de mercadorias. Será também analisada a situação Portuguesa ao nível do transporte marítimo de mercadorias fazendo especial relevância à mercadoria contentorizada, às infraestruturas atualmente existentes em Portugal assim como às perspetivas futuras para o setor. A metodologia utilizada inclui a revisão de literatura da investigação efetuada sobre o setor, a recolha de informação primária através do instrumento inquérito e a recolha de informação estatística a partir de fontes secundárias, permitindo a caraterização do setor. O inquérito foi desenvolvido e partilhado com mais de um milhar de empresas a operar em Portugal, nas que se incluem as empresas transportadoras, operadores logísticos, agentes de navegação e as principais empresas exportadoras/importadoras a operar em Portugal, tendo-se obtido 106 respostas válidas. A nível nacional, o inquérito realizado permitiu confirmar que os principais portos logísticos para a movimentação internacional de mercadorias são os portos de Leixões, Lisboa, Sines e Setúbal, estando a maioria das empresas inquiridas localizadas no hinterland destes portos. O inquérito permitiu também concluir que o facto de o transporte rodoviário ser um meio de transporte rápido, de baixo custo para curtas e médias distâncias, de elevada frequência de transporte, de oferecer elevada capacidade e diversos tipos de carga transportada, de oferecer serviços Porta-a-Porta, da elevada flexibilidade e mobilidade oferecida, assim como a rapidez das operações de carga e descarga continuam a contribuir para a elevada competitividade deste modo de transporte de mercadorias, sendo as razões pelo qual este modo é escolhido, pese embora, ser o modo mais poluente por tonelada transportada. Os modos de transporte TMCD e ferroviário apenas são alvo de escolha, como modo de transporte de mercadorias, por parte das empresas mais responsáveis socialmente e ambiental. O inquérito permitiu ainda concluir que, para haver uma melhor articulação entre o TMCD com outros meios de transporte, é necessário que sejam disponibilizados novos serviços, portos e terminais logísticos com serviços privatizados, assim como a redução das tarifas aplicáveis TMCD.

Diversity and capacity to promote maize growth of bacteria isolated from the Amazon region

ABSTRACT Maize plants can establish beneficial associations with plant growth-promoting bacteria. However, few studies have been conducted on the characterization and inoculation of these bacteria in the Amazon region. This study aimed to characterize endophytic bacteria isolated from maize in the Amazon region and to assess their capacity to promote plant growth. Fifty-five bacterial isolates were obtained from maize grown in two types of ecosystems, i.e., a cerrado (savanna) and a forest area. The isolates were characterized by the presence of the nifH gene, their ability to synthesize indole-3-acetic acid (IAA) and solubilize calcium phosphate (CaHPO4), and 16S rRNA partial gene sequencing. Twenty-four bacteria contained the nifH gene, of which seven were isolated from maize plants cultivated in a cerrado area and seventeen from a forest area. Fourteen samples showed the capacity to synthesize IAA and only four solubilized calcium phosphate. The following genera were found among these isolates: Pseudomonas; Acinetobacter; Enterobacter; Pantoea; Burkholderia and Bacillus. In addition, eight isolates with plant growth-promoting capacity were selected for a glasshouse experiment involving the inoculation of two maize genotypes (a hybrid and a variety) grown in pots containing soil. Inoculation promoted the development of the maize plants but no significant interaction between maize cultivar and bacterial inoculation was found. A high diversity of endophytic bacteria is present in the Amazon region and these bacteria have potential to promote the development of maize plants.

A survey of distributed data aggregation algorithms

Distributed data aggregation is an important task, allowing the de- centralized determination of meaningful global properties, that can then be used to direct the execution of other applications. The resulting val- ues result from the distributed computation of functions like count, sum and average. Some application examples can found to determine the network size, total storage capacity, average load, majorities and many others. In the last decade, many di erent approaches have been pro- posed, with di erent trade-o s in terms of accuracy, reliability, message and time complexity. Due to the considerable amount and variety of ag- gregation algorithms, it can be di cult and time consuming to determine which techniques will be more appropriate to use in speci c settings, jus- tifying the existence of a survey to aid in this task. This work reviews the state of the art on distributed data aggregation algorithms, providing three main contributions. First, it formally de nes the concept of aggrega- tion, characterizing the di erent types of aggregation functions. Second, it succinctly describes the main aggregation techniques, organizing them in a taxonomy. Finally, it provides some guidelines toward the selection and use of the most relevant techniques, summarizing their principal characteristics.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.