9 resultados para Oriented Attachment

em AMS Tesi di Dottorato - Alm@DL - Università di Bologna


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-business and e-science are some examples of the IT areas where Service Oriented Computing will be exploited in the next years. At present, the most credited Service Oriented Computing technology is that of Web Services, whose specifications are enriched day by day by industrial consortia without following a precise and rigorous approach. This PhD thesis aims, on the one hand, at modelling Service Oriented Computing in a formal way in order to precisely define the main concepts it is based upon and, on the other hand, at defining a new approach, called bipolar approach, for addressing system design issues by synergically exploiting choreography and orchestration languages related by means of a mathematical relation called conformance. Choreography allows us to describe systems of services from a global view point whereas orchestration supplies a means for addressing such an issue from a local perspective. In this work we present SOCK, a process algebra based language inspired by the Web Service orchestration language WS-BPEL which catches the essentials of Service Oriented Computing. From the definition of SOCK we will able to define a general model for dealing with Service Oriented Computing where services and systems of services are related to the design of finite state automata and process algebra concurrent systems, respectively. Furthermore, we introduce a formal language for dealing with choreography. Such a language is equipped with a formal semantics and it forms, together with a subset of the SOCK calculus, the bipolar framework. Finally, we present JOLIE which is a Java implentation of a subset of the SOCK calculus and it is part of the bipolar framework we intend to promote.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Extensive literature outlined that the quality of the mother-foetus relationship is considered the main feature with regard to the quality of postnatal mother-infant interaction and also to the child’s psychical development. Nowadays the relationship between the pregnant woman and her foetus is viewed as the central factor of the somatic dialogue between the functioning of the maternal and the foetal organisms. This dialogue is responsible for the physic development of the child, as well as of its psychosomatic structure. Therefore the research area has necessarily had to extend to the analysis of psychological processes concerning: the pregnancy, the couple that is bound by parenthood, the influence of intergenerational dynamics. In fact, the formation of maternal identity, as well as that of the relationship between the woman and the foetus, refers to the pregnant woman’s relationship with her parents, especially with her mother. The same pregnancy, considered as a psychosomatic event, is directly influenced by relational, affective and social factors, particularly by the quality of the interiorized parental relations and the quality of the current relationships (such as that with her partner and with her family of origin). Some studies have begun to investigate the relationship between the pregnant woman and the foetus in term of “prenatal attachment” and its relationship with socio-demographic, psychological e psychopathological aspects (such as pre and post partum depression), but the research area is still largely unexplored. The present longitudinal research aimed to investigate the quality of the pregnant womanfoetus relationship by the prenatal attachment index, the quality of the interiorized relationship with woman’s parents, the level of alexithymic features and maternity social support, in relation with the modulation of the physiology of delivery and of postpartum, as well as of the physical development of the child. A consecutive sample of 62 Italian primipara women without any kind of pathologies, participated in the longitudinal study. In the first phase of this study (third trimester of the pregnancy), it has investigated the psychological processes connected to the affective investment of the pregnant women towards the unborn baby (by Prenatal Attachment Inventory), the mothers’ interiorized relationship with their own parents (by Parental Bonding Instrument), the social and affective support from their partner and their family of origin are able to supply (by Maternity Social Support Scale), and the level of alexithymia (by 20-Toronto Alexithymia Scale). In the second phase of this study, some data concerning the childbirth course carried out from a “deliverygram” (such as labour, induction durations and modalities of delivery) and data relative to the newborns state of well-being (such as Apgar and pH indexes). Finally, in the third phase of the study women have been telephoned a month after the childbirth. The semistructured interview investigated the following areas: the memory concerning the delivery, the return to home, the first interactions between the mother and the newborn, the breastfeeding, the biological rhythms achieved from newborns. From the data analysis a sample with a good level of prenatal attachment and of support social and a good capability to mental functioning emerged. An interesting result is that the most of the women have a great percentage of “affectionless control style” with both parents, but data is not sufficient to interpret this result. Moreover, considering the data relative to the delivery, medical and welfare procedures, that have been necessary, are coherent with the Italian mean, while the percentage of the caesarean section (12.9%) is inferior to the national percentage (30%). The 29% of vaginal partum has got epidural analgesia, which explains the high number (37%) of obstetrician operations (such as Kristeller). The data relative to the newborn (22 male, 40 female) indicates a good state of well-being because Apgar and pH indexes are superior to 7 at first and fifth minutes. Concerning the prenatal phase, correlation analysis showed that: the prenatal attachment scores positively correlated with the expected social support and negatively correlated with the “externally oriented thinking” dimension of alexithymia; the maternity social support negatively correlated with total alexithymia score, particularly with the “externally oriented thinking” dimension, and negatively correlated with maternal control of parental bonding. Concerning the delivery data, there are many correlations (after all obvious) among themselves. The most important are that the labour duration negatively correlated with the newborn’s index state of well-being. Finally, concerning the data from the postpartum phase the women’ assessments relative to the partum negatively correlated with the duration of the delivery and positively correlated with the assessment relative to the return to home and the interaction with the newborn. Moreover the length of permanence in the hospital negatively correlated with women’s assessments relative to the return to home that, in turn, positively correlated with the quality of breastfeeding, the interaction between the mother and the newborn and the biological regulation of the child. Finally, the women’ assessments relative to breastfeeding positively correlated with the mother-child interactions and the biological rhythms of children. From the correlation analysis between the variables of the prenatal phase and the data relative to the delivery, emerged that the prenatal attachment scores positively correlated with the dilatation stage scores and with the newborn’s Apgar index at first minute, the paternal care dimension of parental bonding positively correlated with the lengths of the various periods of childbirth like so the paternal control dimension with placental stage. Moreover, emerged that the expected social support positively correlated with the lengths of the various periods of childbirth and that the global alexithymia scores, particularly “difficulty to describe emotions” dimension, negatively correlated with total childbirth scores. From the correlation analysis between the variables of the prenatal phase and variable of the postpartum phase emerged that the total alexithymia scores positively correlated with the time elapsed from the childbirth to the breastfeeding of the child, the difficulty to describe emotions dimension of the alexithymia negatively correlated with the quality of the breastfeeding, the “externally oriented thinking” dimension of the alexithymia negatively correlated with mother-child interactions, and finally the paternal control dimension of the parental bonding negatively correlated with the time elapsed from the child to the breastfeeding of the child. Finally, from the analysis of the correlation between the data of the partum and the women’s assessments of the postpartum phase, emerged the negative correlation between the woman’s assessment relative to the delivery and the quantitative of obstetrician operations and the lengths of the various periods of childbirth, the positive correlation between the women’s assessment about the length of delivery periods and the real lengths of the same ones, the positive relation between woman’s assessment relative to the delivery and the Apgar index of children. In conclusion, there is a remarkable relation between the quality of the relationship the woman establishes with the foetus that influences the course of the pregnancy and the delivery that, in turn, influences the postpartum outcome, particularly relative to the mother-children relationship. Such data should be confirmed by heterogeneous populations in order to identify vulnerable women and to project focused intervention.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The sexual attraction is a complex emotional event, with somatic modifications, that like all the emotions, belongs to the psychic dimension and that, too much simply, can be led back, from a explicative point of view, to biological and psychical causes. The sexual attraction represents a personal experience, that is difficult to record, but of which every adult is able to delineate a correspondence with own “lived”. In the within of biological sciences, many experimental studies were been conducted with the aim to know which chemistries substances and cerebral zones are involved in front of a stimulus assessed like sexually attractive. Contrarily, there are little researches conducted in psychological field, aimed to the understanding the psychical factors, often unconscious, tinged to the subjective processes of sexual attraction: the sexual attraction remains an unexplored psychological event and unprovided of adapted instruments of assessment. The present thesis is oriented in primis to examine the existing scientific literature, in order to provide an exhaustive picture of the sexual attraction and to analyze the instruments of survey available for the empirical assessment of it. Secondly, the thesis is oriented to introduce two studies: the first study is aimed to adapt the Cuestionario de Atracción Sexual - CAS (Fernández ET to, 2006a; 2006b; 2006c) to the Italian language; the second study is aimed to assess the attitudes towards the sexual attraction in a sample of university students, in order to establish if some differences or association with some psychological dimensions (attachment stiles and alexithymia) exist.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the most recent years there is a renovate interest for Mixed Integer Non-Linear Programming (MINLP) problems. This can be explained for different reasons: (i) the performance of solvers handling non-linear constraints was largely improved; (ii) the awareness that most of the applications from the real-world can be modeled as an MINLP problem; (iii) the challenging nature of this very general class of problems. It is well-known that MINLP problems are NP-hard because they are the generalization of MILP problems, which are NP-hard themselves. However, MINLPs are, in general, also hard to solve in practice. We address to non-convex MINLPs, i.e. having non-convex continuous relaxations: the presence of non-convexities in the model makes these problems usually even harder to solve. The aim of this Ph.D. thesis is to give a flavor of different possible approaches that one can study to attack MINLP problems with non-convexities, with a special attention to real-world problems. In Part 1 of the thesis we introduce the problem and present three special cases of general MINLPs and the most common methods used to solve them. These techniques play a fundamental role in the resolution of general MINLP problems. Then we describe algorithms addressing general MINLPs. Parts 2 and 3 contain the main contributions of the Ph.D. thesis. In particular, in Part 2 four different methods aimed at solving different classes of MINLP problems are presented. Part 3 of the thesis is devoted to real-world applications: two different problems and approaches to MINLPs are presented, namely Scheduling and Unit Commitment for Hydro-Plants and Water Network Design problems. The results show that each of these different methods has advantages and disadvantages. Thus, typically the method to be adopted to solve a real-world problem should be tailored on the characteristics, structure and size of the problem. Part 4 of the thesis consists of a brief review on tools commonly used for general MINLP problems, constituted an integral part of the development of this Ph.D. thesis (especially the use and development of open-source software). We present the main characteristics of solvers for each special case of MINLP.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket. As a consequence, in the last years software is having an epochal turn toward concurrency, distribution, interaction which is pushed by the evolution of hardware architectures and the growing of network availability. This calls for introducing further abstraction layers on top of those provided by classical mainstream programming paradigms, to tackle more effectively the new complexities that developers have to face in everyday programming. A convergence it is recognizable in the mainstream toward the adoption of the actor paradigm as a mean to unite object-oriented programming and concurrency. Nevertheless, we argue that the actor paradigm can only be considered a good starting point to provide a more comprehensive response to such a fundamental and radical change in software development. Accordingly, the main objective of this thesis is to propose Agent-Oriented Programming (AOP) as a high-level general purpose programming paradigm, natural evolution of actors and objects, introducing a further level of human-inspired concepts for programming software systems, meant to simplify the design and programming of concurrent, distributed, reactive/interactive programs. To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering of integrated programming technologies for developing agent-based systems in their classical application domains: artificial intelligence and distributed artificial intelligence. Then, we shift the perspective moving from the development of intelligent software systems, toward general purpose software development. Using the expertise maturated during the phase of background construction, we introduce a general-purpose programming language named simpAL, which founds its roots on general principles and practices of software development, and at the same time provides an agent-oriented level of abstraction for the engineering of general purpose software systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A control-oriented model of a Dual Clutch Transmission was developed for real-time Hardware In the Loop (HIL) applications, to support model-based development of the DCT controller. The model is an innovative attempt to reproduce the fast dynamics of the actuation system while maintaining a step size large enough for real-time applications. The model comprehends a detailed physical description of hydraulic circuit, clutches, synchronizers and gears, and simplified vehicle and internal combustion engine sub-models. As the oil circulating in the system has a large bulk modulus, the pressure dynamics are very fast, possibly causing instability in a real-time simulation; the same challenge involves the servo valves dynamics, due to the very small masses of the moving elements. Therefore, the hydraulic circuit model has been modified and simplified without losing physical validity, in order to adapt it to the real-time simulation requirements. The results of offline simulations have been compared to on-board measurements to verify the validity of the developed model, that was then implemented in a HIL system and connected to the TCU (Transmission Control Unit). Several tests have been performed: electrical failure tests on sensors and actuators, hydraulic and mechanical failure tests on hydraulic valves, clutches and synchronizers, and application tests comprehending all the main features of the control performed by the TCU. Being based on physical laws, in every condition the model simulates a plausible reaction of the system. The first intensive use of the HIL application led to the validation of the new safety strategies implemented inside the TCU software. A test automation procedure has been developed to permit the execution of a pattern of tests without the interaction of the user; fully repeatable tests can be performed for non-regression verification, allowing the testing of new software releases in fully automatic mode.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Social networks are one of the “hot” themes in people’s life and contemporary social research. Considering our “embeddedness” in a thick web of social relations is a study perspective that could unveil a number of explanations of how people may manage their personal and social resources. Looking at people’s behaviors of building and managing their social networks, seems to be an effective way to find some possible rationalization about how to help people getting the best from their resources . The main aim of this dissertation is to give a closer look at the role of networking behaviors. Antecedents, motivations, different steps and measures about networking behaviors and outcomes are analyzed and discussed. Results seem to confirm, in a different setting and time perspective, that networking behaviors include different types and goals that change over time. Effects of networking behaviors seem to find empirical confirmation through social network analysis methods. Both personality and situational self-efficacy seem to predict networking behaviors. Different types of motivational drivers seem to be related to diverse networking behaviors.