Periphery and metropole in the history of sociology

Sociologisk Forsknings digitala arkiv

Fuzzy Logic and Geostatistical Techniques for Spatialization of Soil Texture in Region with Rough Terrains

From the geotechnical standpoint, it is interesting to analyse the soil texture in regions with rough terrain due to its relation with the infiltration and runoff processes and, consequently, the effect on erosion processes. The purpose of this paper is to present a methodology that provides the soil texture spatialization by using Fuzzy logic and Geostatistic. The results were correlated with maps drawn specifically for the study area. The knowledge of the spatialization of soil properties, such as the texture, can be an important tool for land use planning in order to reduce the potential soil losses during rain seasons. (c) 2011 Published by Elsevier Ltd. Selection and peer-review under responsibility of Spatial Statistics 2011

Puncture wounds by driftwood catfish during bucket baths: Local habits of riverside people and fish natural history in the Amazon

Objective. - To assess the prevalence of stings by small spiny driftwood catfish (carataí) of the genus Centromochlus (Auchenipteridae) accidentally caught in buckets during bucket bathing by riverside people along the Brazilian Amazon and to determine the probability of catching specimens of these fish during random throws of a bucket into the river. Methods. - We interviewed 27 adult residents living at the confluence of the Negro and Solimões rivers in Brazil regarding whether or not they had ever been stung by driftwood catfish while bucket bathing. To assess the likelihood of catching catfish in bathing buckets, we randomly threw a typical plastic bucket used for bathing in 4 series of 10 throws into the river at dusk or night around a floating house. Results. - Seventeen of the 27 subjects (63%) reported being injured by driftwood catfish during bucket bathing. Three individuals (17.6%) had been injured 2 to 3 times, totaling 23 puncture accidents. All stings occurred at dusk or early night. In the 4 series of 10 bucket throws, we caught 3 driftwood catfish (in 1 series we did not catch any fish). Thus, the chance of catching a driftwood catfish in a single bucket throw at dusk was slightly less than 10%. Conclusions. - The prevalence of stings by driftwood catfish to people bucket bathing in this section of the Brazilian Amazon is high, partly because of the relatively high chances of catching these small catfish during random throws of a bathing bucket into the river.

Notes on the Colloquium of the Association of Caribbean Historians on "Political Ideas and Tendencies in the History of the Caribbean" and "Cities in the Caribbean"

Comentarios sobre el 8o Coloquio de la Asociacion de Historiadores Caribenos en el que se analizo las ideas politicas y las ciudades en la historia del Caribe

Hydromorphic Soil, Topographic Depression and Vegetation Development History by Using 13c and 14c In Rondônia State (sw Brazilian Amazon)

13C e 14C obtidos da matéria orgânica do solo foram usados para diferenciar fases de flutuação da vegetação em transição floresta-savana. A região apresenta baixos platôs com depressões topográficas imperfeitamente drenadas na superfície. Na topossequência estudada foram analisados solos de cinco perfis localizados sob floresta (F), transição floresta-savana (S1), borda da depressão sob savana (S2) e centro da depressão sob savana (S3). Os valores de 13C e idades evidenciam que a ~ 200cm de profundidade, com idades entre ~ 12.000 e 10.000 A.P., valores de -27‰ a -27,7‰ indicam vegetação de floresta (C3) em todos os perfis. Na profundidade de 100 cm, com idades entre ~ 6.000 e 5.000 A.P., houve enriquecimento de – 20,2‰ a -22,3‰, indicando regressão da floresta e expansão da savana. Valores entre -15,9 e -18,7‰ a 50-60 cm, estimado entre ~ 4.700 a 3.800 A.P., sugere máxima expansão da vegetação C4 em resposta às condições climáticas mais secas, exceto no perfil S3 com valores mais empobrecidos (-20,9‰), sugerindo que na depressão, o desenvolvimento da hidromorfia possibilitou a presença de espécies de gramíneas C3 e C4 da savana em resposta as mudanças das condições ambientais.

Injuries by marine and freshwater stingrays: history, clinical aspects of the envenomations and current status of a neglected problem in Brazil

Stingrays are a group of rays - cartilaginous fish related to sharks - that have whiplike tails with barbed, usually venomous spines and are found around the world, especially the marine species. Despite recent reports of accidents involving these fish, they are not aggressive, reacting only when stepped on or improperly handled. Injuries by stingrays are seldom mentioned by historians, although they have always been present in riverine communities of inland waters and in South American coasts. Indeed, envenomations by stingrays are quite common in freshwater and marine fishing communities. Although having high morbidity, such injuries are neglected because they have low lethality and usually occur in remote areas, which favor the use of folk remedies. In the present review article, historical aspects of injuries caused by stingrays in Brazil and their distribution on the coast of Sao Paulo state and riverine communities of the North, Midwest and Southeast regions were studied. In addition, other aspects were analyzed such as clinical features, therapeutic methods, preventive measures and trends in occurrence of these accidents in the country, particularly in areas in which freshwater stingrays had not been previously registered, being introduced after breaching of natural barriers.

Analysis of localized muscle fatigue in elderly women with and without a history of falls using electromyographic signal frequency parameters

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Expert system to detect incipient fauts in rotating machines using fuzzy logic and virtual instrumentation

This paper refers to the design of an expert system that captures a waveform through the use of an accelerometer, processes the signal and converts it to the frequency domain using a Fast Fourier Transformer to then, using artificial intelligence techniques, specifically Fuzzy Reasoning, it determines if there is any failure present in the underlying mode of the equipment, such as imbalance, misalignment or bearing defects.

Sponges as substrata and early life history of the tubulariid Zyzzyzus warreni (Cnidaria: Hydrozoa) in the Sao Sebastiao Channel, Brazil

The hydroid Zyzzyzus warreni is usually found in shallow coastal waters forming aggregations of solitary polyps embedded in demosponges. Early life history transformations and settlement responses by the actinulae of this hydroid were studied in the laboratory using 13 species of sponges and 2 species of algae collected in the Sao Sebastiao Channel (Brazil) as substrata. The absence of oral tentacles and mouth in the actinulae and early events of metamorphosis suggest that these larvae are unable to spend long periods in the plankton and attach quickly near conspecifics when a preferred substratum is encountered. The time required for settlement and the number of elicited settlings indicated four settlement responses: (a) frequent and short-time settlement, in actinulae exposed to Halichondria cebimarensis, Mycale angulosa, M. aff. americana, M. laxissima (skeleton) and Tedania ignis; (b) moderate and delayed settlement, in actinulae exposed to Aplysina caissara, A. fulva, Haliclona melana and M. microsigmatosa; (c) no settlement, in actinulae exposed to Suberites aurantiacus and to the algae Hypnea musciformis and Sargassum cymosum; and (d) lethal response, in actinulae exposed to Amphimedon viridis, Aplysilla rosea, Dragmacidon reticulatum and M. laxissima. These responses indicate a considerable degree of species discrimination by the actinulae and are consistent with substrata used by the hydroid in the natural environment.

Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.