125 resultados para satisfiability modulo theories


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The standard mathematical models in population ecology assume that a population's growth rate is a function of its environment. In this paper we investigate an alternative proposal according to which the rate of change of the growth rate is a function of the environment and of environmental change. We focus on the philosophical issues involved in such a fundamental shift in theoretical assumptions, as well as on the explanations the two theories offer for some of the key data such as cyclic populations. We also discuss the relationship between this move in population ecology and a similar move from first-order to second-order differential equations championed by Galileo and Newton in celestial mechanics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The taxi industry provides a strategic site to explore workplace deviance in low supervision, low status, occupational settings. Despite this theoretical opportunity and the objective importance of the taxi industry worldwide, very little is known about deviance among taxi drivers. Making use of interview data, this exploratory study maps out forms of workplace deviance and the explanations given for them by a sample of male taxi drivers. Major illegal activities reported included speeding, driving unsafe vehicles, taking drugs, and fraud. Theories pertaining to worker alienation, stress management, victim precipitation, and social control were relevant to the rationalizations some of the drivers provided to account for their illegal behaviors. We conclude that the occupational culture of taxi drivers and the structure of the taxi industry facilitate the forms of deviance reported here.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This discussion argues the transformative potential inherent in the corporeal experience of motherhood as represented in selected textual moments of Japanese narrative. Narratives that address the experiences of the body of the mother are informed and given substance by an intense physicality, and thus have the potential to contest processes of social inscription in addition to suggesting alternative possibilities for all readers, not just those occupying an embodied maternal space. The discussion features brief events from the work of three writers who have written as mothers: Tsushima Y(u)macrko, Ariyoshi Sawako and Enchi Fumiko. In Yama o hashiru onna (1980; translated as Woman Running in the Mountains, 1991), Tsushima Y(u)macrko invites the reader to consider the embodied response to light of Takiko, a young pregnant woman. Emiko, the protagonist of Hishoku (Without Colour, 1967) by Ariyoshi Sawako, is the Japanese wife of an African American and has just given birth to a child. The daughter protagonist in Enchi Fumiko's 'Kami' ('Hair', 1957) operates a hairdressing business that is viable only with her mother's unpaid labour. The narratives are read through a matrix of post-structuralist theories of embodiment, drawing on the work of writers such as Julia Kristeva, Luce Irigaray and Elizabeth Grosz.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a review of the time-domain polarization measurement techniques for the condition assessment of aged transformer insulation. The polarization process is first described with appropriate dielectric response theories and then commonly used polarization methods are described with special emphasis on the most widely used return voltage(rv) measurement. Most recent emphasis has been directed to techniques of determining moisture content of insulation indirectly by measuring rv parameters. The major difficulty still lies with the accurate interpretation of return voltage results. This paper investigates different thoughts regarding the interpretation of rv results for different moisture and ageing conditions. Other time domain polarization measurement techniques and their results are also presented in this paper.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

[1] Comprehensive measurements are presented of the piezometric head in an unconfined aquifer during steady, simple harmonic oscillations driven by a hydrostatic clear water reservoir through a vertical interface. The results are analyzed and used to test existing hydrostatic and nonhydrostatic, small-amplitude theories along with capillary fringe effects. As expected, the amplitude of the water table wave decays exponentially. However, the decay rates and phase lags indicate the influence of both vertical flow and capillary effects. The capillary effects are reconciled with observations of water table oscillations in a sand column with the same sand. The effects of vertical flows and the corresponding nonhydrostatic pressure are reasonably well described by small-amplitude theory for water table waves in finite depth aquifers. That includes the oscillation amplitudes being greater at the bottom than at the top and the phase lead of the bottom compared with the top. The main problems with respect to interpreting the measurements through existing theory relate to the complicated boundary condition at the interface between the driving head reservoir and the aquifer. That is, the small-amplitude, finite depth expansion solution, which matches a hydrostatic boundary condition between the bottom and the mean driving head level, is unrealistic with respect to the pressure variation above this level. Hence it cannot describe the finer details of the multiple mode behavior close to the driving head boundary. The mean water table height initially increases with distance from the forcing boundary but then decreases again, and its asymptotic value is considerably smaller than that previously predicted for finite depth aquifers without capillary effects. Just as the mean water table over-height is smaller than predicted by capillarity-free shallow aquifer models, so is the amplitude of the second harmonic. In fact, there is no indication of extra second harmonics ( in addition to that contained in the driving head) being generated at the interface or in the interior.