894 resultados para automata intersection


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of the study is to analyse lateral rigidity in the framework of pre-internationalisation to find out its reflections on managerial decision making. The interest of the study lies in the intersection of the meaningful but relatively stagnant concept of lateral rigidity, and the pre-internationalisation phase of companies that has received only a limited amount of research attention. The theoretical basis for the study is drawn from managerial decision making and internationalisation literatures. Firstly, the study aims to define the concept of lateral rigidity in order to secondly find out how it influences managers’ pre-internationalisation decision making. The study is theoretical in nature, and is based solely on literature examination. Concept analysis method is used to determine the attributes of lateral rigidity for the purpose of recognising the concept in the pre-internationalisation framework. The attributes that are found to comprise lateral rigidity are culture, know-how, uncertainty and attitude. Furthermore, these attributes are more specifically found to consist of environmental, personal and operational matters. Through the analysis of the pre-internationalisation literature it is discovered that all the attributes appear there, and present a variety of influences on pre-internationalisation decision making that can be characterised as being negative. The study finds that culture influences managers’ decision making via subjective reasoning and behaviour that stem from a domestic inclination, and via unfamiliarity with foreign markets. Against assumption, home cultural factors, e.g. values and customs, do not appear to have an influence. Know-how is found to influence decision making via managers’ previous experiences, subjective abiding perceptions, and the usage of previous operation patterns. Uncertainty, then again, influences managers’ risk perception, unfamiliarity avoidance, and the scope of potential international operations. Attitude is found to have a robust influence on managerial decision making via the usage of familiar processes and decision regimes, subjective preference of convention, and plausible results of operations. Ergo, the effects of lateral rigidity on managers show to represent an encumbrance in the pre-internationalisation phase; even though internationalisation would take place, the related decisions and actions are highly constrained. Especially the subjectivity of managers is seen to have a meaningful role in the decision making process.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Soil properties can influence weed community composition and weed density agricultural area. Knowing this relationship would allow to choose the best strategy for the control of such plants. This study aimed to investigate the correlation between weed density and chemical and physical attributes of soil in three areas (UCO, USC, and UPA) for commercial sugarcane cultivation in Campos dos Goytacazes, RJ. Grids of 40 m x 40 m were established in the areas, and soil samples were collected at the intersection points for physical and chemical analysis and evaluation of the soil seed bank (SSB), followed by a phyto-sociological survey of the weeds present. Samples were collected during two periods: February/March and June/July, 2010. SSB presented the greatest number of species per vegetation evaluated in the two sampling periods. Clay content had a positive effect leading to greater weed density in all areas (UCO, USC and UPA) in at least one of the densities (0-10 and 10-20 cm). On the other hand, sand content, when significant, presented a negative correlation with plant density in all the SSB areas analyzed. The pH negatively influenced the density of the species found through the phyto-sociological survey at USC and UPA. Cyperus rotundus, dominant in all areas, correlated positively with phosphorus, potassium, and clay content and negatively with pH and high sand content.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

ABSTRACTThis study enhances the principal-agent model by incorporating a multilevel perspective and differences among agency situations. A theoretical discussion is developed using a proposed intersection of methodological focuses and a descriptive-exemplificative hypothetical analysis. The analysis is applied to public expenditure social control in representative democracies, and as a result, a principal-agent model unfolds that incorporates a decision-making perspective and focuses on formulation, negotiation, articulation, and implementation competencies. Thus, it is possible to incorporate elements into the principal-agent model to make it more permeable to individual, group, and societal idiosyncrasies with respect to public expenditure social control.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Paint Lake Deformation Zone (PLDZ), located within the Superior Province of Canada, demarcates a major structural and lithological break between the Onaman-Tashota Terrane to the north and the Beardmore-Geraldton Belt to the south. The PLDZ is an east-west trending lineament, approximately 50 km in length and up to 1 km in width, comprised of an early ductile component termed the Paint Lake Shear Zone and a late brittle component known as the Paint Lake Fault. Structures associated with PLDZ development including S-, C- and C'-fabrics, stretching lineations, slickensides, C-C' intersection lineations, Z-folds and kinkbands indicate that simple shear deformation dominated during a NW-SE compressional event. Movement along the PLDZ was in a dextral sense consisting of an early differential motion with southside- down and a later strike-slip motion. Although the locus of the PLDZ may in part be lithologically controlled, mylonitization which accompanied shear zone development is not dependent on the lithological type. Conglomerate, intermediate and mafic volcanic units exhibit similar mesoscopic and microscopic structures where transected by the PLDZ. Field mapping, supported by thin section analysis, defines five strain domains increasing in intensity of deformation from shear zone boundary to centre. A change in the dominant microstructural deformation mechanism from dislocation creep to diffusion creep is observed with increasing strain during mylonitization. C'-fabric development is temporally associated with this change. A decrease in the angular relationship between C- and C'-fabrics is observed upon attaining maximum strain intensity. Strain profiling of the PLDZ demonstrates the presence of an outer primary strain gradient which exhibits a simple profile and an inner secondary strain gradient which exhibits a more complex profile. Regionally metamorphosed lithologies of lower greenschist facies outside the PLDZ were subjected to retrograde metamorphism during deformation within the PLDZ.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

How does fire affect the plant and animal community of the boreal forest? This study attempted to examine the changes in plant composition and productivity, and small mammal demography brought about by fire in the northern boreal environment at Chick Lake, N.W.T. (65053fN, 128°14,W). Two 5*6 ha plots measuring 375m x 150m were selected for study during the summers of 1973 and 197^. One had been unburned for 120 years, the other was part of a fire which burned in the spring of 1969. Grids of 15m x 15m were established in each plot and meter square quadrats taken at each of the 250 grid intersections in order to determine plant composition and density. Aerial primary production was assessed by clipping and drying 80 samples of terminal new production for each species under investigation. Small mammal populations were sampled by placing a Sherman live trap at each grid intersection for ten days in every month. The two plots were similar in plant species composition which suggested that most regrowth in the burned area was from rootstocks which survived the fire. The plant data were submitted to a cluster analysis that revealed nine separate species associations, six of which occured in the burned area and eight of which occured in the control. These were subsequently treated as habitats for purposes of comparison with small mammal distributions. The burned area showed a greater productivity in flowers and fruits although total productivity in the control area was higher due to a large contribution from the non-vascular component. Maximum aerial productivity as dry wieght was measured at 157.1 g/m and 207.8 g/m for the burn and control respectively. Microtus pennsylvanicus and Clethrionomys rutilus were the two most common small mammals encountered; Microtus xanthognathus, Synaptomys borealis, and Phenacomys intermedius also occured in the area. Populations of M. pennsylvanicus and C. rutilus were high during the summer of 1973; however, M. pennsylvanicus was rare on the control but abundant on the burn, while C. rutilus was rare on the burn but abundant in the control. During the summer of 197^ populations declined, with the result that few voles of any species were caught in the burn while equal numbers of the two species were caught in the control. During the summer of 1973 M. pennsylvanicus showed a positive association to the most productive habitat type in the burn which was avoided by C. rutilus. In the control £• rutilus showed a similar positive association to the most productive habitat type which was avoided by M. pennsylvanicus. In all cases for the high population year of 1973# the two species never overlapped in habitat preference. When populations declined in 197^f "both species showed a strong association for the most productive habitat in the control. This would suggest that during a high population year, an abundant species can exclude competitors from a chosen habitat, but that this dominance decreases as population levels decrease. It is possible that M. pennsylvanicus is a more efficient competitor in a recently burned environment, while C. rutilus assumes this role once non-vascular regrowth becomes extensive.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis analyzes the practices and experiences of two groups of Canadian volunteers who visited the organic fanning and "alternative development" project ofFinca la Flor (FLF) in central Costa Rica. Using both participant observation and in-depth interviews with volunteers and other people involved with FLF, I examine volunteers' understandings of their involvement with the fann. I argue that three discursive fonnations are instrumental in shaping this particular volunteering encounter. Specifically, interpretation of these Canadian volunteers' experiences inspires the argument that the emerging practice of international volunteering (or voluntourism) exists at the intersection of discourses of development, volunteering and tourism, all of which both reflect and maintain problematic North-South relationships. The analysis shows that in spite ofFLF's construction as an (alternative / sustainable) international-development project, and in spite of volunteers' initial conceptualization of their trip as "volunteering," volunteers tend to act and describe their time at FLF in ways that look more like tourism than like volunteer labor or international development. Likewise, although FLF claims to principally be focused on alternative development, and merely to open up this authentic development space to volunteers for their participation, the organization in both practice and discourse seems primarily to construct a tourist experience and cater to the needs of foreigners as tourists. Discourses of development and volunteering do infonn the practices offann personnel and volunteers at FLF, but they become subordinated to the more dominant discourse of tourism as the volunteers' and fann management's ideals of development and volunteering capitulate to become focused on satisfying volunteers' (perceived or "real") touristic desires. The FLF participants I studied may have entered the encounter as volunteers, but they departed the site having been tourists.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bioinformatics applies computers to problems in molecular biology. Previous research has not addressed edit metric decoders. Decoders for quaternary edit metric codes are finding use in bioinformatics problems with applications to DNA. By using side effect machines we hope to be able to provide efficient decoding algorithms for this open problem. Two ideas for decoding algorithms are presented and examined. Both decoders use Side Effect Machines(SEMs) which are generalizations of finite state automata. Single Classifier Machines(SCMs) use a single side effect machine to classify all words within a code. Locking Side Effect Machines(LSEMs) use multiple side effect machines to create a tree structure of subclassification. The goal is to examine these techniques and provide new decoders for existing codes. Presented are ideas for best practices for the creation of these two types of new edit metric decoders.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Currently, there are a variety of concerns about the future of bouldering, a form of rock climbing, a t the Niagara Glen Nature Reserve near Niagara Falls, Ontario due to environmental impacts at the site. The purpose of this study was to describe the perceptions ofbouldering participants toward sustainable bouldering practices at the Niagara Glen. The methodological framework for this study was based on action research, which attempts to solve specific problems through having people in a community study, discuss, and act on those problems. Five separate focus group interviews elicited data from nineteen men and seven women, while there were twenty one men and ten women observed through participant observations at the Niagara Glen. Analysis was conducted through coding processes where data were compared repeatedly and then organized into themes. From the open coding process, two main themes were identified and interpreted as 1) Barriers to Sustainable Bouldering at the Niagara Glen Nature Reserve, and 2) Environmental and Social Role and Responsibility ofBoulde r ing Participants at the Niagara Glen. The implications of the findings include a variety of recommendations for the bouldering community and the Niagara Parks Commission to consider for future collaborative planning. Some of these recommendations include more open communication between all stakeholders at the Glen, additional leadership from local climbing access coalitions and the Niagara Parks Commission, and greater implementation of minimum impact practices from the bouldering community. Additionally, these implications are discussed through a three-part framework based on a conceptual intersection of sense of place, community empowerment, and sustainable recreational use as a way to potentially unify the bouldering community's voice and vision toward sustainable practice.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Most of these documents refer to a tract of land located on the intersection of King and Court Streets (part of the Lawrie plan) and Carter properties in St. Catharines Ontario. The Security Loan and Savings Company of St. Catharines existed between 1870 and 1906. Thomas Rodman Merritt was the president.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this research project was to explore how women lightweight rowers in Ontario negotiate their gender and body identity. Through a feminist post-structural lens I investigated both ‘acceptable’ and contradictory gender and sport performances that exist in the culture of rowing in order to understand how identity is constructed at the intersection of these discourses. My goal was to learn how human experiences are shaped by discourses of power, and resulting constructions of acceptable gender attributes. Seven university-aged lightweight women’s rowers were interviewed, and the following themes were uncovered: the women are constantly engaging in acts of bodily control; often body image is affected by participation in the sport; there are instances of femininity that exist within the culture of lightweight rowing; inequalities are present within the culture, as are excuse making practices; and the potential for resistance is extremely complicated.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this study was to explore the intersection of living in residential care, leisure engagement, and adolescent identity development. The investigation included the voices of six youth living in a residential care facility in southern Ontario. The data was collected through participant observations, semi-structured interviews, and document analysis. Moustakas’ (1994) modification of the Stevick-Colaizzi-Keen method was used to analyze the data. The findings determined that living in residential care is rife with dialectical tensions that impact leisure and identity. The youth shared poignant narratives of how living in residential care was a stigmatizing experience that left them feeling restricted and isolated. They also shared their struggles with finding autonomy in a secured facility and managing the violent discourses of their peers. This research contributes to a burgeoning body of literature that explores the experiences of youth living in out-of-home care. Implications for practice and future research are discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Situated at the intersection of leisure and tourism, there is currently a renewed interest and curiosity in ancestral lineages. Focusing on amateur genealogists who pursue, and travel for, a leisure engagement of genealogy, this qualitative research study endeavours to investigate their quests for personal identity and locations of an intergenerational sense of self. With the adoption of a narrative inquiry method, life story interviews were conducted with four amateur genealogists. Findings from an analysis of the narratives have been organized into five core themes, each of which contributes to our understanding of these amateur genealogists’ experiences of leisure and travel. While the amateur genealogists do not acknowledge their leisure engagements as a quest for personal identity, they make use of such engagements to locate an intergenerational sense of self and gain enriched self-understandings. Moreover, by facilitating intersections of genealogy, leisure, and tourism, several key insights are offered that may be of particular interest to scholars in both fields of study.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Interlake Tissue Mills storage location was at the intersection of Glendale and Merritt Street in Merritton. In the 1850s, the Beaver Cotton Mills (later Merritton Cotton Mills) was built. It was a frame building that burned down in 1881. A sandstone structure replaced the previous building. In 1906, the cotton mill closed and in 1912, the Independent Rubber Company took over the building. The mill was doubled in size. The rubber company remained there for ten years and then the building remained vacant until 1935. Interlake Tissue Mills acquired the building for storage purposes. A fire razed the larger of the plant’s buildings on Memorial Day weekend in 1961. After the fire, Domtar used the smaller building for storage for a short time. This is currently the site of the Keg Restaurant.

Relevância:

10.00% 10.00%

Publicador: