地震勘探三维可视化方法研究与实现

This thesis mainly studies the technologies of 3-D seismic visualization and Graphic User Interface of seismic processing software. By studying Computer Graphics and 3-D geological modeling, the author designs and implements the visualization module of seismic data processing software using OpenGL and Motif. Setting seismic visualization flow as the subject, NURBS surface approximation and Delaunay Triangulation as the two different methods, the thesis discusses the key algorithms and technologies of seismic visualization and attempts to apply Octree Space Partitioning and Mip Mapping to enhance system performance. According to the research mentioned above, in view of portability and scalability, the author adopts Object-oriented Analysis and Object-oriented Design, uses standard C++ as programming language, OpenGL as 3-D graphics library and Motif as GUI developing tool to implement the seismic visualization framework on SGI Irix platform. This thesis also studies the solution of fluid equations in porous media. 2-D alternating direction implicit procedure has been turned into 3-D successive over relaxation iteration, which possesses such virtues as faster computing speed, faster convergence rate, better adaptability to heterogeneous media and less memory demanding.

三维油藏数值模拟正反演算法研究

The dynamic prediction of complex reservoir development is one of the important research contents of dynamic analysis of oil and gas development. With the increase development of time, the permeabilities and porosities of reservoirs and the permeability of block reservoir at its boundaries are dynamically changing. How to track the dynamic change of permeability and porosity and make certain the permeability of block reservoir at its boundary is an important practical problem. To study developing dynamic prediction of complex reservoir, the key problem of research of dynamic prediction of complex reservoir development is realizing inversion of permeability and porosity. To realize the inversion, first of all, the fast forward and inverse method of 3-dimension reservoir simulation must be studied. Although the inversion has been widely applied to exploration and logging, it has not been applied to3-dimension reservoir simulation. Therefore, the study of fast forward and inverse method of 3-dimension reservoir simulation is a cutting-edge problem, takes on important realistic signification and application value. In this dissertation, 2-dimension and 3-dimension fluid equations in porous media are discretized by finite difference, obtaining finite difference equations to meet the inner boundary conditions by Peaceman's equations, giving successive over relaxation iteration of 3-dimension fluid equations in porous media and the dimensional analysis. Several equation-solving methods are compared in common use, analyzing its convergence and convergence rate. The alternating direction implicit procedure of 2-dimension has been turned into successive over relaxation iteration of alternating direction implicit procedure of 3-dimension fluid equations in porous media, which possesses the virtues of fast computing speed, needing small memory of computer, good adaptability for heterogeneous media and fast convergence rate. The geological model of channel-sandy reservoir has been generated with the help of stochastic simulation technique, whose cross sections of channel-sandy reservoir are parabolic shapes. This method makes the hard data commendably meet, very suit for geological modeling of containing complex boundary surface reservoir. To verify reliability of the method, theoretical solution and numerical solution are compared by simplifying model of 3-dimension fluid equations in porous media, whose results show that the only difference of the two pressure curves is that the numerical solution is lower than theoretical at the wellbore in the same space. It proves that using finite difference to solve fluid equations in porous media is reliable. As numerical examples of 3-dimension heterogeneous reservoir of the single-well and multi-well, the pressure distributions have been computed respectively, which show the pressure distributions there are clearly difference as difference of the permeabilities is greater than one order of magnitude, otherwise there are no clearly difference. As application, the pressure distribution of the channel-sandy reservoir have been computed, which indicates that the space distribution of pressure strongly relies on the direction of permeability, and is sensitive for space distributions of permeability. In this dissertation, the Peaceman's equations have been modified into solving vertical well problem and horizontal well problem simultaneously. In porous media, a 3D layer reservoir in which contain vertical wells and horizontal wells has been calculated with iteration. For channel-sandy reservoir in which there are also vertical wells and horizontal wells, a 3D transient heterogeneous fluid equation has been discretized. As an example, the space distribution of pressure has been calculated with iteration. The results of examples are accord with the fact, which shows the modification of Peaceman's equation is correct. The problem has been solved in the space where there are vertical and horizontal wells. In the dissertation, the nonuniform grid permeability integration equation upscaling method, the nonuniform grid 2D flow rate upscaling method and the nonuniform grid 3D flow rate upscaling method have been studied respectively. In those methods, they enhance computing speed greatly, but the computing speed of 3D flow rate upscaling method is faster than that of 2D flow rate upscaling method, and the precision of 3D flow rate upscaling method is better than that of 2D flow rate upscaling method. The results also show that the solutions of upscaling method are very approximating to that of fine grid blocks. In this paper, 4 methods of fast adaptive nonuniform grid upscaling method of 3D fluid equations in porous media have been put forward, and applied to calculate 3D heterogeneous reservoir and channel-sandy reservoir, whose computing results show that the solutions of nonuniform adaptive upscaling method of 3D heterogeneous fluid equations in porous media are very approximating to that of fine grid blocks in the regions the permeability or porosity being abnormity and very approximating to that of coarsen grid blocks in the other region, however, the computing speed of adaptive upscaling method is 100 times faster than that of fine grid block method. The formula of sensitivity coefficients are derived from initial boundary value problems of fluid equations in porous media by Green's reciprocity principle. The sensitivity coefficients of wellbore pressure to permeability parameters are given by Peaceman's equation and calculated by means of numerical calculation method of 3D transient anisotropic fluid equation in porous media and verified by direct method. The computing results are in excellent agreement with those obtained by the direct method, which shows feasibility of the method. In the dissertation, the calculating examples are also given for 3D reservoir, channel-sandy reservoir and 3D multi-well reservoir, whose numerical results indicate: around the well hole, the value of the sensitivity coefficients of permeability is very large, the value of the sensitivity coefficients of porosity is very large too, but the sensitivity coefficients of porosity is much less than the sensitivity coefficients of permeability, so that the effect of the sensitivity coefficients of permeability for inversion of reservoir parameters is much greater than that of the sensitivity coefficients of porosity. Because computing the sensitivity coefficients needs to call twice the program of reservoir simulation in one iteration, realizing inversion of reservoir parameters must be sustained by the fast forward method. Using the sensitivity coefficients of permeability and porosity, conditioned on observed valley erosion thickness in wells (hard data), the inversion of the permeabilities and porosities in the homogeneous reservoir, homogeneous reservoir only along the certain direction and block reservoir are implemented by Gauss-Newton method or conjugate gradient method respectively. The results of our examples are very approximating to the real data of permeability and porosity, but the convergence rate of conjugate gradient method is much faster than that of Gauss-Newton method.

Una testimonianza silenziosa.Storia della Chiesa cattolica in Tunisia dal Trattato del Bardo alla ‘rivoluzione dei gelsomini’

The work examines the change involving the Church in Tunisia from the period of the Protectorate to the present through the fundamental moments of independence (1956) and the signing of the ‘Modus vivendi’ (1964). In the first structure of the “modern” Church, a fundamental role was played by the complex figure of the French Cardinal Charles-Allemand Lavigerie who, while giving strong impulse to setting up disinterested charitable social initiatives by the congregations (Pères Blancs, Soeurs Blanches and others), also represented the ideal of the ‘evangelizing’ (as well as colonial) Church which, despite its declared will to avoid proselytism, almost inevitably tended to slip into it. During the French Protectorate (1881-1956) the ecclesiastic institution concentrated strongly on itself, with little heed for the sensitivity of its host population, and developed its activities as if it were in a European country. From the social standpoint, the Church was mostly involved in teaching, which followed the French model, and health facilities. In the Church only the Pères Blancs missionaries were sincerely committed to promoting awareness of the local context and dialogue with the Muslims. The Catholic clergy in the country linked its religious activity close to the policy of the Protectorate, in the hope of succeeding in returning to the ancient “greatness of the African Church”, as the Eucharistic Congress in Carthage in 1930 made quite clear. The Congress itself planted the first seed in the twentyfive- year struggle that led the Tunisian population to independence in 1956 and the founding of the Republic in 1957. The conquest of independence and the ‘Modus vivendi’ marked a profound change in the situation and led to an inversion of roles: the Catholic community was given the right to exist only on the condition that it should not interfere in Tunisian society. The political project of Bourguiba, who led the Republic from 1957 to 1987, aimed to create a strongly egalitarian society, with a separation between political and religious powers. In particular, in referring to the Church, he appeared as a secularist with no hostility towards the Catholics who were, however, considered as “cooperators”, welcome so long as they were willing to place their skills at the service of the construction of the state. So, in the catholic Community was a tension between the will of being on the side of the country and that of conserving a certain distance from it and not being an integral part of it. In this process of reflection, the role of the Second Vatican Council was fundamental: it spread the idea of a Church open to the world and the other religions, in particular to Islam: the teaching of the Council led the congregations present in the country to accept the new condition. This new Church that emerged from the Council saw some important events in the process of “living together”, of “cultural mixing” and the search for a common ground between different realities. The almost contemporary arrival of Arab bishops raised awareness among the Tunisians of the existence of Christian Arabs and, at the same time, the Catholic community began considering their faith in a different way. In the last twenty years the situation has continued to change. Side by side with the priests present for decades or even those born there, some new congregations have begun to operate, albeit in small numbers: they have certainly revitalized the community of the faithful, but they sometimes appear more devoted to service “within” the Church, than to services for the population, and are thus characterized by exterior manifestations of their religion. This sort of presence has made it possible for Bourguiba's successor, Ben Ali (president from 1987 to 2011), to practice forms of tolerance even more clearly, but always limited to formal relations; the Tunisians are still far from having a real understanding of the Catholic reality, with certain exceptions connected to relations on a personal and not structured plane, as was the case in the previous period. The arrival of a good number of young people from sub-Saharan Africa, most of all students, belonging to the JCAT, and personnel of the BAD has “Africanized” the Church in Tunisia and has brought about an increase in Christians' exterior manifestations; but this is a visibility that is not blatant but discreet, with the implicit risk of the Church continuing to be perceived as a sort of exterior body, alien to the country; nor can we say, lacking proper documentation, how it will be possible to build a bridge between different cultures through the “accompaniment” of Christian wives of Tunisians. Today, the Church is living in a country that has less and less need of it; its presence, in the schools and in health facilities, is extremely reduced. And also in other sectors of social commitment, such as care for the disabled, the number of clergymen involved is quite small. The ‘revolution’ in 2011 and the later developments up to the present have brought about another socio-political change, characterized by a climate of greater freedom, but with as yet undefinable contours. This change in the political climate will inevitable have consequences in Tunisia’s approach to religious and cultural minorities, but it is far too soon to discuss this on the historical and scientific planes.

Genetic predisposition to acute respiratory distress syndrome in patients with severe sepsis

The objective of this study was to analyze the association between candidate gene polymorphisms and susceptibility to acute respiratory distress syndrome (ARDS) in patients with severe sepsis. Patients older than 18 years admitted to the intensive care un

Causes of a Divided Discipline: Rethinking the Concept of Cause in International Relations theory

Kurki, M. (2006). Causes of a Divided Discipline: Rethinking the Concept of Cause in International Relations theory. Review of International Studies, 32 (2), 189-216. RAE2008

Modelowanie i przetwarzanie wiedzy czaso-przestrzennej. Model XCDC – aspekty teoretyczne oraz rozwiązania aplikacyjne

Wydział Matematyki i Informatyki: Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji

Megiston agathon (Pl. Ap. 38 a) – Sedno życia i filozoficznego wyzwania Sokratesa

We suggest a certain minimal approach to the historical Socrates on the basis of Plato’s Apology. This text makes it possible to reconstruct the authentic charge and the defense line of Socrates, as well as his motivation and the quintessence of his philosophical challenge. The most important thing is what the philosopher says in the face of his death sentence: that the greatest good for a man is to live an examined life focusing on virtues and ethical values. Unfortunately, the preponderance of studies, even the most recent ones, fail to recognize the philosopher’s provocative challenge, whilst it is not only a crucial motif in the Socratic examining (ἐξετάζειν), i.e. testing the interlocutors’ knowledge by means of irony, elenchos and aporia, but also an inspiration for his direct and indirect followers in seeking virtues and the greatest good.

Działalność polityczno-społeczna prof. Stefana Dąbrowskiego (1877-1947)

Wydział Historyczny: Instytut Historii

An Historical and Theological Analysis of Campus Crusade for Christ's Evangelistic Practice in Two American University Contexts

This dissertation, an exercise in practical theology, consists of a critical conversation between the evangelistic practice of Campus Crusade for Christ in two American university contexts, Bryan Stone's ecclesiologically grounded theology of evangelism, and William Abraham's eschatologically grounded theology of evangelism. It seeks to provide these evangelizing communities several strategic proposals for a more ecclesiologically and eschatologically grounded practice of evangelism within a university context. The current literature on evangelism is long on evangelistic strategy and activity, but short on theological analysis and reflection. This study focuses on concrete practices, but is grounded in a thick description of two particular contexts (derived from qualitative research methods) and a theological analysis of the ecclesiological and eschatological beliefs embedded within their evangelistic activities. The dissertation provides an historical overview of important figures, ideas, and events that helped mold the practice of evangelism inherited by the two ministries of this study, beginning with the famous Haystack Revival on Williams College in 1806. Both ministries, Campus Crusade for Christ at Bowling Green State University (Ohio) and at Washington State University, inherited an evangelistic practice sorely infected with many of the classic distortions that both Abraham and Stone attempt to correct. Qualitative research methods detail the direction that Campus Crusade for Christ at Bowling Green State University (Ohio) and Washington State University have taken the practice of evangelism they inherited. Applying the analytical categories that emerge from a detailed summary of Stone and Abraham to qualitative data of these two ministries reveals several ways evangelism has morphed in a manner sympathetic to Stone's insistence that the central logic of evangelism is the embodied witness of the church. The results of this analysis reveal the subversive and pervasive influence of modernity on these evangelizing communities—an influence that warrants several corrective strategic proposals including: 1) re-situating evangelism within a reading of the biblical narrative that emphasizes the present, social, public, and realized nature of the gospel of the kingdom of God rather than simply its future, personal, private, and unrealized dimensions; 2) clarifying the nature of the evangelizing communities and their relationship to the church; and 3) emphasizing the virtues that characterize a new evangelistic exemplar who is incarnational, intentional, humble, and courageous.

Genteel revolutionaries: the lives of Anna and Thomas Haslam

The lives of Thomas and Anna Haslam were dedicated to the attainment of women's equality. They were feminists before the word was coined. In an era when respectable women were not supposed to know of the existence of prostitutes, Anna became empowered to do the unthinkable, not only to speak in public but to discuss openly matters sexual and to attack the double standard of sexuality which was enshrined in the official treatment of prostitutes. Their life-long commitment to the cause of women's suffrage never faltered, despite the repeated discouragement of the fate of bills defeated in the House of Commons. The Haslams represented an Ireland which did not survive them. While they were dedicated to the union with Westminster, they worked happily with those who applied themselves to its destruction. Although in many ways they exemplified the virtues of their Quaker backgrounds, they did not subscribe to any organised religion. Despite living in straitened circumstances, they were part of an urban intellectual elite and participated in the social and cultural life of Dublin for over fifty years. It is tempting to speculate how the Haslams would have fared in post independence Ireland. Hanna Sheehy Skeffington who had impeccable nationalist credentials, was effectively marginalised. It is likely that they would have protested against discriminatory legislation in their usual law abiding manner but, in a country which quickly developed an overwhelmingly Roman Catholic ethos, would they have had a voice or a constituency? Ironically, Thomas's teaching on chastity would have found favour with the hierarchy; his message was disseminated in a simple and more pious manner in numerous Catholic Truth Society pamphlets. The Protestant minority never sought to subvert the institutions of the state, was careful not to criticise and kept its collective head down. Dáil Éireann was not bombarded with petitions for the restoration of divorce facilities or the unbanning of birth control. Those who sought such amenities obtained them quietly 'in another jurisdiction.' Fifty years were to pass before the condom wielding 'comely maidens' erupted on to the front pages of the Sunday papers. They were, one imagines, the spiritual descendants of the militant rather than the constitutional suffrage movement. "Once and for all we need to commit ourselves to the concept that women's rights are not factional or sectional privileges, bestowed on the few at the whim of the many. They are human rights. In a society in which the rights and potential of women are constrained no man can be truly free." These words spoken by Mary Robinson as President of Ireland are an echo of the principles to which the Haslams dedicated their lives and are, perhaps, a tribute to their efforts.

The examination of the traditional femininity and women’s lives in ancient China

This thesis explores the evolution of the concept of traditional Chinese femininity in relation to women’s lives in ancient China (221 BCE – A.D.1840). It proposes that the traditional Chinese femininity had been trying to seek a balance between the permanent principles and contingency plans for the stability and development of the society, which caused women’s humiliation and freedom. In reality, politicians and thinkers in ancient China had been transforming the concept of femininity itself to make it more adaptable to the social conditions of that time. This may be discussed in terms of three aspects. Firstly, the traditional concept of Chinese human relationships, including the ethical order, always emphasised the influence of individual behaviour on others and the overall stability and linked development of family, society and nation. Thus, both men and women, must be placed within this interrelated, interacting and cooperating relationship. Secondly, the association of family and country created an overlap of family and public affairs, which, objectively, facilitated the movement of women from the inner to the public arena. Thirdly, the notions of political and ethical morality and of men’s virtues and women’s virtues were integrated because of the union of family and nation. Therefore, typically virtuous women could be a source of encouragement for men and, furthermore, men formulated their virtues in the public space by formulating women’s virtues in the private space. The shaping of the gender image and concept of women in ancient China reflected the country’s changing cultural and gender norms. Chinese femininity and lifestyles, like Chinese history, were a continuous presence in the society but were also constantly changing. Through this study, it could be noted that Chinese women were not hidden and that their subjectivity and the concepts motivating them were not merely devised by a male-dominated society and culture.

Sorting under partial information (without the ellipsoid algorithm)

We revisit the well-known problem of sorting under partial information: sort a finite set given the outcomes of comparisons between some pairs of elements. The input is a partially ordered set P, and solving the problem amounts to discovering an unknown linear extension of P, using pairwise comparisons. The information-theoretic lower bound on the number of comparisons needed in the worst case is log e(P), the binary logarithm of the number of linear extensions of P. In a breakthrough paper, Jeff Kahn and Jeong Han Kim (STOC 1992) showed that there exists a polynomial-time algorithm for the problem achieving this bound up to a constant factor. Their algorithm invokes the ellipsoid algorithm at each iteration for determining the next comparison, making it impractical. We develop efficient algorithms for sorting under partial information. Like Kahn and Kim, our approach relies on graph entropy. However, our algorithms differ in essential ways from theirs. Rather than resorting to convex programming for computing the entropy, we approximate the entropy, or make sure it is computed only once in a restricted class of graphs, permitting the use of a simpler algorithm. Specifically, we present: an O(n2) algorithm performing O(log n·log e(P)) comparisons; an O(n2.5) algorithm performing at most (1+ε) log e(P) + Oε(n) comparisons; an O(n2.5) algorithm performing O(log e(P)) comparisons. All our algorithms are simple to implement. © 2010 ACM.

Traumatic brain injury exacerbates neurodegenerative pathology: improvement with an apolipoprotein E-based therapeutic.

Cognitive impairment is common following traumatic brain injury (TBI), and neuroinflammatory mechanisms may predispose to the development of neurodegenerative disease. Apolipoprotein E (apoE) polymorphisms modify neuroinflammatory responses, and influence both outcome from acute brain injury and the risk of developing neurodegenerative disease. We demonstrate that TBI accelerates neurodegenerative pathology in double-transgenic animals expressing the common human apoE alleles and mutated amyloid precursor protein, and that pathology is exacerbated in the presence of the apoE4 allele. The administration of an apoE-mimetic peptide markedly reduced the development of neurodegenerative pathology in mice homozygous for apoE3 as well as apoE3/E4 heterozygotes. These results demonstrate that TBI accelerates the cardinal neuropathological features of neurodegenerative disease, and establishes the potential for apoE mimetic therapies in reducing pathology associated with neurodegeneration.

Cannibal Animal Games: A new variant of Tic-Tac-Toe

This paper presents a new partial two-player game, called the cannibal animal game, which is a variant of Tic-Tac-Toe. The game is played on the infinite grid, where in each round a player chooses and occupies free cells. The first player Alice can occupy a cell in each turn and wins if she occupies a set of cells, the union of a subset of which is a translated, reflected and/or rotated copy of a previously agreed upon polyomino P (called an animal). The objective of the second player Bob is to prevent Alice from creating her animal by occupying in each round a translated, reflected and/or rotated copy of P. An animal is a cannibal if Bob has a winning strategy, and a non-cannibal otherwise. This paper presents some new tools, such as the bounding strategy and the punching lemma, to classify animals into cannibals or non-cannibals. We also show that the pairing strategy works for this problem.

Covering Partial Cubes with Zones

http://www.combinatorics.org/ojs/index.php/eljc/article/view/v22i3p31