858 resultados para Lay
Resumo:
The reservoir of Zhongerbei region in Gudao Oilfield is a typical fluvial facies deposit, its serious heterogeneity of the reservoir caused the distribution of remaining oil in mature reservoirs is characterized by highly scattered in the whole field, and result to declination of production, tap potential and stabilize production is more difficult. Reservoir modeling based on lay scale can not fulfill requirement. How to further studied reservoir heterogeneity within the unit and establish the finer reservoir modeling is a valid approach to oil developing. The architectural structure elements analysis is the effectively method to study reservoir heterogeneity. Utilize this method, divide the reservoirs of Gudao Oilfield into ten hierarchies. The priority studying is sixth, seven hierarchies, ie single sand layers sand bodies By the identification of sixth, seven hierarchies, subdivide the reservoir to the single genetic unit. And to subdivide by many correlation means, such as isometry and phase transition, accomplish closure and correlation of 453 wells.Connectting fluvial deposit pattern, deposition characteristic with its log, build the inverting relation between “sedimentary facies” and “electrofacies” The process emphasize genetic communication and collocation structure of genetic body in space. By detailed architecture analyses sandbodies’ structure, this paper recognize seven structure elements, such as major channel, abandoned channel, natural levee, valley flat, crevasse splay, crevasse channel and floodplain fine grain.Combination identification of architectural structure elements with facieology and study of deposition characteristic, can further knowing genesis and development of abandoned channel. It boost the accuracy to separation in blanket channel bodies distribution, and provide reference to retrieving single channel boundary. Finally, establish fine plane and section construction. On basis architectural structure map, barrier beds and interbeds isopach map and mini-structure map, considering single thin layers to be construction unit, the main layer planimetric maps have drawn and the inner oil-water boundary have revealed. All account that architectural structure elements control remaining oil distribution in layer, and develop the study on architectural structure elements to direct horizontal well is succesful.
Resumo:
The Yaoyingtai Block is located within the northeastern Changling Depression of southern Songliao Basin, where the reservoir sandstones are petrophysically characterized by very low permeability, which results in the low success probability of artificial fracturing, and the low oil yield by water injection in the course of oil production. In order to improve the situations as stated above, this research aims to work out an integral fracturing technology and strategy applicable to the low permeable reservoirs in Yaoyingtai Block. Under the guidance of geological theory, reservoir engineering and technology, the subsurface occurrences of natural and hydraulic fractures in the reservoirs are expected to be delineated, and appropriate fracturing fluids and proppants are to be optimized, based on the data of drilling, well logging, laboratory and field experiments, and geological data. These approaches lay the basis of the integral fracturing technology suitable for the low permeable reservoir in the study area. Based on core sample test, in-situ stress analysis of well logging, and forward and inversion stress field modeling, as well as fluid dynamic analysis, the maximum in-situ stress field is unraveled to be extended nearly along the E-W direction (clustering along N85-135°E) as is demonstrated by the E-W trending tensional fractures. Hydraulic fractures are distributed approximately along the E-W direction as well. Faulting activities could have exerted obvious influences on the distribution of fractures, which were preferentially developed along fault zones. Based on reservoir sensitivity analysis, integrated with studies on rock mechanics, in-situ stress, natural fracture distribution and production in injection-production pilot area, the influences of primary fractures on fracturing operation are analyzed, and a diagnostic technology for primary fractures during depressurization is accordingly developed. An appropriate fracturing fluid (hydroxypropyl guar gum) and a proppant (Yixing ceramsite, with a moderate-density, 0.45-0.9mm in size) applicable to Qingshankou Formation reservoir are worked out through extensive optimization analysis. The fracturing fluid can decrease the damage to the oil reservoir, and the friction in fracturing operation, improving the effect of fracturing operation. Some problems, such as sand-out at early stage and low success rate of fracturing operations, have been effectively solved, through pre-fracturing formation evaluation, “suspension plug” fracturing, real-time monitoring and limited-flow fracturing. Through analysis of fracture-bearing tight reservoir with variable densities and dynamic analysis of influences of well patterns on fracturing by using numerical simulation, a fracturing operation scheme for the Qingshankou Formation reservoir is proposed here as being better to compress the short factures, rather than to compress the long fractures during hydraulic fracturing. It is suggested to adopt the 450m×150m inverted 9-spot well pattern in a diamond shape with wells placed parallel to fractures and a half fracture length of 60-75m.
Resumo:
It is a basic work to ascertain the parameters of rock mass for evaluation about stability of the engineering. Anisotropism、inhomogeneity and discontinuity characters of the rock mass arise from the existing of the structural plane. Subjected to water、weathering effect、off-loading, mechanical characters of the rock mass are greatly different from rock itself, Determining mechanical parameters of the rock mass becomes so difficult because of structure effect、dimension effect、rheological character, ‘Can’t give a proper parameter’ becomes one of big problems for theoretic analysis and numerical simulation. With the increment of project scale, appraising the project rock mass and ascertaining the parameters of rock mass becomes more and more important and strict. Consequently, researching the parameters of rock mass has important theoretical significance and actual meaning. The Jin-ping hydroelectric station is the first highest hyperbolic arch dam in the world under construction, the height of the dam is about 305m, it is the biggest hydroelectric station at lower reaches of Yalong river. The length of underground factory building is 204.52m, the total height of it is 68.83m, the maximum of span clearance is 28.90m. Large-scale excavation in the underground factory of Jin-ping hydroelectric station has brought many kinds of destructive phenomenon, such as relaxation、spilling, providing a precious chance for study of unloading parameter about rock mass. As we all know, Southwest is the most important hydroelectric power base in China, the construction of the hydroelectric station mostly concentrate at high mountain and gorge area, basically and importantly, we must be familiar with the physical and mechanical character of the rock mass to guarantee to exploit safely、efficiently、quickly, in other words, we must understand the strength and deformation character of the rock mass. Based on enough fieldwork of geological investigation, we study the parameter of unloading rock mass on condition that we obtain abundant information, which is not only important for the construction of Jin-ping hydroelectric station, but also for the construction of other big hydroelectric station similar with Jin-ping. This paper adopt geological analysis、test data analysis、experience analysis、theory research and Artificial Neural Networks (ANN) brainpower analysis to evaluate the mechanical parameter, the major production is as follows: (1)Through the excavation of upper 5-layer of the underground powerhouse and the statistical classification of the main joints fractures exposed, We believe that there are three sets of joints, the first group is lay fracture, the second group and the fourth group are steep fracture. These provide a strong foundation for the following calculation of and analysis; (2)According to the in-situ measurement about sound wave velocity、displacement and anchor stress, we analyses the effects of rock unloading effect,the results show a obvious time-related character and localization features of rock deformation. We determine the depth of excavation unloading of underground factory wall based on this. Determining the rock mass parameters according to the measurement about sound wave velocity with characters of low- disturbing、dynamic on the spot, the result can really reflect the original state, this chapter approximately the mechanical parameters about rock mass at each unloading area; (3)Based on Hoek-Brown experienced formula with geological strength index GSI and RMR method to evaluate the mechanical parameters of different degree weathering and unloading rock mass about underground factory, Both of evaluation result are more satisfied; (4)From the perspective of far-field stress, based on the stress field distribution ideas of two-crack at any load conditions proposed by Fazil Erdogan (1962),using the strain energy density factor criterion (S criterion) proposed by Xue changming(1972),we establish the corresponding relationship between far-field stress and crack tip stress field, derive the integrated intensity criterion formula under the conditions of pure tensile stress among two line coplanar intermittent jointed rock,and establish the corresponding intensity criterion for the exploratory attempt; (5)With artificial neural network, the paper focuses on the mechanical parameters of rock mass that we concerned about and the whole process of prediction of deformation parameters, discusses the prospect of applying in assessment about the parameters of rock mass,and rely on the catalog information of underground powerhouse of Jinping I Hydropower Station, identifying the rock mechanics parameters intellectually,discusses the sample selection, network design, values of basic parameters and error analysis comprehensively. There is a certain significance for us to set up a set of parameters evaluation system,which is in construction of large-scale hydropower among a group of marble mass.
Resumo:
Ordos basin with profuse coal, petroleum, natural gas and others mineral resources create the comprehensiveness notice of earthling, and became one of studying hotspots for China and foreign countries geology, petroleum and natural gas geology's workman. Late years, having found commercial value of large middle type gas pools in the upper Palaeozoic group, which have exhibited a very good foreground for gas exploring and exploitation. Through the new gas exploring headway and the exploring course, the east of the basin should regard Ordovician weathering crust in the upper Palaeozoic group, tide flat and barrier-lagoon, deltaic deposit system in the lower Palaeozoic group as the major exploration and research emphasis. Furthermore, it has been found that much gas showed wells, which has gain quantitative industry gas flow wells, especially the new assessment invigorative harvest, and bode that the east of the Ordos basin possess major exploring potential. In regional tectonic, the research region mainly lay in the Yishan incline, and the east part involved the west part of Jinxi warping belt. In tectonic and sedimentary evolution, it had inherited the characteristic of whole basin. From Latepaleozoic to triassic epoch, it developed gradational the transition of sedimentary that changed from sea to land, and from river to lake.
Resumo:
Oil and gas exploration of marine strata in China's Pre-Cenozoic residual basins is regarded as a worldwide puzzle because of existent problems and cruxes. Objectively speaking, the subsurface geologic structure is complicated, and the surface conditions of some areas are tough. On the other hand, there are still many problems to be solved in oil and gas exploration technologies of Pre-Cenozoic marine fades, and theoretic cognition about petroleum geology is not profound yet. Therefore, it is principal to explore integrated geophysical research ways of Pre-Cenozoic residual basins. Seismic prospecting and geophysical integrated interpretation technologies aimed at middle Paleozoic marine facies with deeper burial and complicated geologic conditions have not formed due to bad quality of deep strata data. Pre-Cenozoic strata, and especially extension, thickness and internal structure of Paleozoic strata can not be recognized from seismic profiles, so it is hard to systematically cognize structural features and oil-gas resources prospect of Pre-Cenozoic basins. To further investigation of fabric and structural features, basin prototype, formation and evolution pattern of Pre-Cenozoic basins, and also their control over formation, migration and aggregation of oil and gas, will play a guiding and promotive role in developing new surveying areas, selecting advantageous zones and predicting oil-gas resources.This paper follows the modem macrocontrol theory of "Region constrains local, deep strata controls shallow ones", and uses the integrated geophysical method of "One guide, two hinges, three combinations and multi feedbacks'*. Based on several years of geological and geophysical results of the Shengli Oilfield, and 14 newly-joint regional seismic profiles, deep structure and oil-gas bearing capacity of the Jiyang area are discussed and new cognitions are drawn as below.Seismic identification marks Tr, Tg, Tgl and Tg2 are established for importantPre-Cenozoic geological interfaces, and promoted to the whole Jiyang area.Through area-wide tracking and clogging of important seismic reflection marker,the isochronic framework of pre-Tertiary basin is set up in the Jiyang area for the firsttime, which is vital for basin research.Integrated with geological and geophysical research results, the Jiyang area isdivided into four first-order tectonic sequences- basement, lower tectonic layer,upper tectonic layer, and top tectonic layer. The basement and lower tectonic sequence which are related to Pre-Cenozoic are studied with emphasis.Through the research of regional seismic profiles, the point of view is given thatthe Kongdian Formation of Jiyang is structural transition period. The top-bottomunconformable interface of the Kongdian Formation is found out for the first time,and the basin model is determined primarily, which lay a basis for prototype basinresearch of the Jiyang Kongdian Formation.The distribution status of Middle-Paleozoic is delineated in the Jiyang area.The maximum thickness of Paleozoic lies in the top of the south declivity of half-graben. The thickness gets thinner towards the center of Mesozoic and Cenozoic half-graben basin, and even disappears. Structural action in the west-north affects the distribution of Paleozoic residual strata.6. The features of second-order tectonic sequence of the Jiyang depression isstudied and its evolution history of is rebuilt.Combined with the 5-stage evolution history of the China continent and structure evolution features of the Jiyang area, the structure sedimentary process since Paleozoic is divided into 5 periods - basement forming , Indosinian orogenic, Yanshan negative reversal, Himalayan extension and Neogene subsidence period.Combined with the research results of gravity, magnetic surveying and regionalprofiles, this paper brings forward the idea for the first time that the western boundaryof the Jiyang depression is the Ningjin-Yangpan fracture zone, and forms aside-column assemblage with the Wudi fracture zone.The opinion that under Middle-Cenozoic basins in the middle Jiyang area theremight superimpose an old residual basin is given for the first time. And if it is provedto be true, a new exploration space will be pioneered for Jiyang and even north China.There exists many types of tectonic-stratigraphic traps formed under piezotropy,extension and compound action in Pre-Cenozoic Jiyang. Therein all kinds of burialhills are the most important oil-gas trap type of Pre-Cenozoic, which should besurveyed layeredly according to the layout of oil sources.As such a new challenging project and field, the paper systematically analyses different geophysical responses of the Jiyang area, frames the deep structure of the area, and preliminarily recognizes the Pre-Cenozoic residual basins. It breaks through to a certain extent in both theory and practice, and is expected to provide new geophysical and geotectonic clues for deep exploration in Shengli.
Resumo:
Interface has been becoming a more significant element today which influences the development of shopping on-line greatly. But in practice the attention arisen from society and study made are quite inadequate. Under this circumstance, I focus my study on the purpose of improving understanding of the engineering psychological factors, which definitely will play a crucial role in shopping on-line representation in future, and of the relations between them through the following experimental research. I hope it can give a basic reference to the practical application of shopping on-line representation pattern and continuous study. In current thesis, an analysis was made on the basis of engineering psychology principles from three aspects, i.e. person (users), task and information environment. It was considered that system overview and information behavior model would have great impact on the activities of users on the web and that representation pattern of information system would affect the forming of system overview and behavior pattern and then further after the performances of users in information system. Based on above-mentioned statement, a three-dimensional conceptual model was presented which demonstrates the relations between the crucial factors, which are media representation pattern, system hierarchy and objects in information unit. Thereafter, eight study hypothesis, which are about engineering psychological factors of virtual reality (VR) representation in shopping on-line system, was taken out and four experiments were followed up to testify the hypothesis. -In experiment one, a research was made to study how the three kinds of single media representation pattern influence the forming of system overview and information behavior from the point view of task performance, operating error, overall satisfactory and mental workload etc. -In experiment two, a study of how the combined media representation pattern of system hierarchy influences users' behavior was carried out. -In experiment three, a study of the hierarchy structure feature of VR representation pattern and the tendency of its width and depth to the effects of system behavior was made. -In experiment four, a study of the location relations between different parties in VR scene (information unit) was made. The result is as follows: -During structure dimensional state: Width-increasing caused more damage to the speed of users than depth-increasing in VR representation pattern. Although the performance of subjects was quite slow in wider environment, yet the percentage rate of causing errors was in lowest level. -During hierarchy representation pattern: 1. Between the representation patterns of the three media, no significant differences was found in terms of the speed of fulfilling the task, error rate, satisfactory, mental workload etc. But the pattern with figure- aided gained the worst results on all of these aspects. 2. During primary stage of the task and the first level of the hierarchy, the speed of subjects' performance in VR pattern was slower than that in text pattern. While with developing of the task and going deeper level of the hierarchy, the speed of users' performance in VR representation pattern reached to the highest level. 3. Effects in VR representation pattern was better than that in text pattern in higher level of the system. The representation pattern in highest level has greatest impact on the performance of the system behavior, whereas results of the only VR representation in the middle part of hierarchy would be worst. 4. Activity error in single media representation pattern was more than that in combined media representation pattern. 5. Individual differences among subjects had effects on the representation pattern of the system. During VR environment, behavior tendency of party A had a significant negative correlation to the quantities of errors. -In VR-scene representation: Physical-distance and flash influenced the subjects' task performance greatly, while psychological-distance has no outstanding impact. Subjects' accurate rate of performing increased if objects with same relation were in the same structure position, in the state of close psychological-distance or if the object target flashed (not reliable). Although the article limits the topic only on the present-existing questions and analysis of shopping-on-line, as a matter of fact, it can also apply for other relevant purposes on the web. While the study of this article only gives its emphasis on the researching-task with definite goal, making no consideration of other task conditions and their relations with other navigation tools. So I hope it lay a good start to make continuous research in this areas.
Resumo:
How to improve the reemployment of lay-offs and unemployed is a big concern of Chinese society now. Based on literatures in related fields, the thesis investigated predictive factors of job-seeking behavior, reemployment status, quality of reemployment, psychological health among lay-offs (unemployed), and also the relationship between reemployment and psychological health. Lay-off (unemployed) participants for this study were recruited from four public employment centers in Beijing. participants completed two surveys. Results mainly demonstrated: 1 There were significant relationships between Job-seeking self-efficacy, motivation control and job-seeking frequency; age was negatively associated with job-seeking frequency and mental health; 2 Joh-seeking support was highlighted as the only lagged predictor of reemployment status; job-seeking frequency predicted job satisfaction of reemployed individuals; 3 The mental health of reemployed was significantly improved; but mental health of continously unemployed people deteriorated during these three months. High quality reemployment significantly improved mental health, low quality reemployment had no effect on mental health. The research demostrated some psychological factors predicting reemployment and relationships between reemployment and mental health. The results can improve the understanding relationships of reemployment and psychological factors. The results also can improve effective reemployment counseling and reemployment social services.
Resumo:
In this study, bibliometric method was usded in the investigation of 2274 papers concerning child developmental and educational psychology, which were published during the ten years of 1979-1988, in 14 psychological journals and 97 other scientific journals. According to the quantitative and qualitative analyses, the results are as follows: 1979-1988 saw the rapid development and prosperous period in China's child developmental and educational psychology, During which more papers were published and more fields couched than in the psvious thirty years. The number of literature publications increased and went to the peak in 1983 and 1984, and came down since 1985. The trend was found to result from the decrease in popular science introductions of psychology, which reflected that a heat of psychology had appeared in 1983 and started to cool in 1985. At the mean time, the number of research reports had been holding a steady increase by 1987 and decreased obviously in 1988, especially in the fields of cognitive and social development. There could be several possible explanations of this phenonemon: Piagetian studies are becoming fewer and the eakening of Piaget's influence might predict a period of standstill in the field of developmental psychology in China; As researches become more and more difficult, researchers have turned to be more cautious in lay out their reports; the cutdown of fees and staff could also be one of reasons for less publication in 1988. As the factors mentioned above still exist and their influences last, the number of papers are not expected to increase in the near future. The field of thinking and menory is closely connected with that of artificial intelligence. The downhill situations in these two fileds should be taken seriously. 2. The types of research work are divided on the bases of their problem raising. The trends show that the deepening studies, which represent a comaratively higher level of exploration, are waving fewer, while repeated studies and creative studies are becoming more as the years go along. This fact is worth being further analysed. Big progress could be seen from research methods. The methods currently used are mainly experiment, psychological measurement and assessment, and theoretical reasoning. There is a rapid increase of research by using scales. Wechsler Intelligence Scale for Children, Binet Scale and Baley Scale have been revised andstandardized. Chinese researchers have also developed several good scales of their own, some of which are valuable and need to be standardized. In the papers investigated, the amount of citation is significantly lower than the world average level as well as the average citation number of whole China's scientific literature. Among the papers cited, most are of Chinese and English languages, and only a small rate were published in resently five years. The renewal of literature cited seems to stay at a low level in the ten years. Tremendous work could be reflected by the number of subjects used the research work in those ten years: 362665. A lot of studies piled on the period of 4-16 year olds. Compared with the previous thirty years, the age range was much enlarged and there were quite a few studies about preschool, school and adolescent periods. The study of newborn of 0-3 has been a weak point so far and it is a field to which chinese developmental psychologists should pay more attention. The progress in using statistics is one of the most obvious part in the development in the research work of child developmental and educational psychology. The one tendency that should be awared and avoid is to put the cart before the horse: seeking for more sophisticated statistic method while neglecting the meanings of research problems. 3. Citation analysis was used in selecting scholars who had great influence in the field of child developmental and educational psychology. Among the often cited and famous scholars, 31 are Chinese researchers and 12 are Western psychologists. The authoritative journal for child developmental psychology and educational psychology is Acta Psychologica Sinica.
Resumo:
Kohl, U. (2002). Eggs, Jurisdiction and the Internet', International and Comparative Law Quarterly, 51 (3), 556-582. RAE2008
Resumo:
Marggraf Turley, Richard, 'Keats, Cornwall and the 'Scent of Strong-Smelling Phrases,' Romanticism (2006) 12 (2), pp. 102-114 RAE2008
Resumo:
Inspiracją dla autora artykułu stały się zebrane w Liście do moich kapłanów refleksje Prymasa Wyszyńskiego na temat tożsamości i misji prezbitera. Zawierają one wiele wątków, które niewątpliwie łączy przenikająca całe dzieło troska o jedność kapłanów w służbie eklezjalnej komunii. Dla Prymasa Tysiąclecia społeczna natura człowieka była czytelnym potwierdzeniem prawdy o jego powołaniu do życia we wspólnocie, nie tylko tej doczesnej, ale i tej nadprzyrodzonej. Należało tę naturalną zdolność do wchodzenia w relacje z innymi właściwie odczytać w świetle Bożego Objawienia. Bogate życie wewnętrzne pozwala kontemplować tajemnicę Trójcy Świętej i dostrzegać w Niej źródło eklezjalnej i międzyludzkiej komunii. Obdarowanie nadprzyrodzoną mocą wspólnoty z Bogiem w Kościele, uzdalnia wierzących w Chrystusa do nowych braterskich relacji, czyniąc z nich prawdziwą Bożą rodzinę. Proces ten dokonuje się dzięki pośrednictwu posługi kapłańskiej, dlatego też prezbiterzy są szczególnie wezwani, aby w ich wzajemnych relacjach jaśniał ten nowy, wspólnotowy styl życia. Osobista więź z Bogiem, relacja z ordynariuszem, pomiędzy prezbiterami, czy też z wiernymi świeckimi to podstawowe wymiary, w których kapłani mają jawić się jako świadkowie i słudzy komunii.
Resumo:
This project examines the challenges military chaplains face when leading Gospel services in the United States Air Force in both domestic and deployed locations. It argues that some chaplains assigned to Gospel services do not have the ministry skills set to lead them effectively. Through quantitative and qualitative research methods involving surveys of 30 military chaplains, lay leaders and parishioners, and follow-up interviews to explore critical issues identified by leaders and congregants alike, this project develops a Gospel service manual. This instructional primer outlines the historical evolution of the Gospel service and addresses its integral elements of worship and challenges that chaplains need to understand to meet the worship needs of multicultural and ecumenical military congregations.
Resumo:
Popular culture is a powerful, shaping force in the lives of teenagers between the ages of fourteen through eighteen in the United States today. This dissertation argues the importance of popular fiction for adolescent spiritual formation and it investigates that importance by exploring the significance of narrative for theology and moral formation. The dissertation employs mythic and archetypal criticism as a tool for informing the selection and critique of narratives for use in adolescent spiritual development and it also incorporates insights gained from developmental psychology to lay the groundwork for the development of a curriculum that uses young adult fiction in a program of spiritual formation for teenagers in a local church setting. The dissertation defends the power of narrative in Christian theology and concludes that narrative shapes the imagination in ways that alter perception and are important for the faith life of teenagers in particular. I go on to argue that not all narratives are created equal. In using literary myth criticism in concert with theology, I use the two disciplines’ different aims and methods to fully flesh out the potential of theologies intrinsic to works meant for a largely secular audience. The dissertation compares various works of young adult fiction (M.T. Anderson’s Feed and Terry Pratchett’s Nation in dialogue with a theology of creation; Marcus Zusak’s I am the Messenger and Jerry Spinelli’s Stargirl in dialogue with salvation and saviors; and the four novels of Stephanie Meyer’s Twilight saga in dialogue with a theology of hope (eschatology). The dissertation explores how each theme surfaces (even if only implicitly) from both literary and theological standpoints. The dissertation concludes with a sample four-week lesson plan that demonstrates one way the theological and literary critique can be formed into a practical curriculum for use in an adolescent spiritual development setting. Ultimately, this dissertation provides a framework for how practitioners of young adult formation can select, analyze, and develop materials for their teenagers using new works of popular young adult fiction. The dissertation comes to the conclusion that popular fiction contains a wealth of material that can challenge and shape young readers’ own emerging theology.
Resumo:
Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic recursion using for all-types has been proved undecidable. This report presents several programming examples involving polymorphic recursion and determines their typability under various type systems, including the Hindley-Milner system, an intersection-type system, and extensions of these two. The goal of this report is to show that many of these examples are typable using a system of intersection types as an alternative form of polymorphism. By accomplishing this, we hope to lay the foundation for future research into a decidable intersection-type inference algorithm. We do not provide a comprehensive survey of type systems appropriate for polymorphic recursion, with or without type annotations inserted in the source language. Rather, we focus on examples for which types may be inferred without type annotations.
Resumo:
The present work is an exploration of the beliefs and practices of three lay Catholic devotional communities in and around the city of Cork, Ireland. The research is guided by the theory that folk, or popular, religion is a dynamic process in which individuals and groups utilise the resources of orthodoxy, popular tradition, and personal creativity, to better interpret, articulate, and create religious experiences. Ethnographic fieldwork was the principal method of data collection. Four areas of folk religion are given special attention: the use of religious narrative to represent and reproduce religious experience, the use of material artefacts to create channels for sacred presence and activity, the use of ritual and pilgrimage to establish sacred time and space, and the use of prayer to accomplish all of these goals. These sections are followed by a more holistic analysis of the material, a critical examination of the work, and suggestions for further research.