各向同性与各向异性介质中地震波旅行时正演模拟与反演成像

By seismic tomography, interesting results have been achieved not only in the research of the geosphere with a large scale but also in the exploration of resources and projects with a small scale since 80'. Compared with traditional inversion methods, seismic tomography can offer more and detailed information about subsurface and has been being paid attention by more and more geophysicists. Since inversion based on forward modeling, we have studied and improved the methods to calculate seismic traveltimes and raypaths in isotropic and anisotropic media, and applied the improved forward methods to traveltime tomography. There are three main kinds of methods to calculate seismic traveltime field and its ray path distribution, which are ray-tracing theory, eikonal equation by the finite-difference and minimum traveltime tree algorithm. In ray tracing, five methods are introduced in the paper, including analytic ray tracing, ray shooting, ray bending, grid ray tracing and rectangle grid ray perturbation with three points. Finite-difference solution of eikonal equation is very efficient in calculation of seismic first-break, but is awkward in calculation of reflection traveltimes. We have put forward a idea to calculate traveltimes of reflected waves using a combining way of eikonal equation method and other one in order to improve its capability of dealing with reflection waves. The minimum traveltime tree algorithm has been studied with emphases. Three improved algorithms are put forward on the basis of basic algorithm of the minimum traveltime tree. The first improved algorithm is called raypath tracing backward minimum traveltime algorithm, in which not only wavelets from the current source but also wavelets from upper source points are all calculated. The algorithm can obviously improve the speed of calculating traveltimes and raypaths in layered or blocked homogeneous media and keep good accuracy. The second improved algorithm is raypath key point minimum traveltime algorithm in which traveltimes and raypaths are calculated with a view of key points of raypaths (key points of raypths mean the pivotal points which determine raypaths). The raypath key point method is developed on the basis of the first improved algorithm, and has better applicability. For example, it is very efficient even for inhomogeneous media. Another improved algorithm, double grid minimum traveltime tree algorithm, bases upon raypath key point scheme, in which a model is divided with two kinds of grids so that the unnecessary calculation can be left out. Violent undulation of curved interface often results in the phenomenon that there are no reflection points on some parts of interfaces where there should be. One efficacious scheme that curved interfaces are divided into segments, and these segments are treated respectively is presented to solve the problem. In addition, the approximation to interfaces with discrete grids leads to large errors in calculation of traveltimes and raypaths. Noting the point, we have thought a new method to remove the negative effect of mesh and to improve calculation accuracy by correcting the traveltimes with a little of additional calculation, and obtained better results.

Consumo de tabaco, álcool e drogas ilícitas nos jovens

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Psicologia da Educação e Intervenção Comunitária.

O discurso de O Portuguez e a Corte portuguesa no Brasil

Relatório apresentado à Universidade Fernando Pessoa como parte dos requisitos para cumprimento do programa de pós-doutoramento em Ciências da Comunicação, vertente Jornalismo

Address to the pious and benevolent, proposing an annual subscription for the support of missionaries in the Highlands and adjacent islands of Scotland, the isles of Jersey, Guernsey, and Newfoundland, the West Indies, and the provinces of Nova Scotia and Quebec.

Reproduction of copy held by Special Collections, Bridewell Library, Perkins School of Theology, Southern Methodist University. Includes both DjVu and PDF files for download. Mode of access: World Wide Web.

Lectures on the Tinnevelly missions, descriptive of the field, the work, and the results : with an introductory lecture on the progress of Christianity in India.

http://www.archive.org/details/lecturesontinnev00calduoft

What Are Polymorphically-Typed Ambients?

Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather that just inert data. We propose different senses in which such a calculus can be said to be polymorphically typed, and design accordingly a polymorphic type system for it. Our type system assigns types to embedded programs and what we call behaviors to processes; a denotational semantics of behaviors is then proposed, here called trace semantics, underlying much of the remaining analysis. We state and prove a Subject Reduction property for our polymorphically typed calculus. Based on techniques borrowed from finite automata theory, type-checking of fully type-annotated processes is shown to be decidable; the time complexity of our decision procedure is exponential (this is a worst-case in theory, arguably not encountered in practice). Our polymorphically-typed calculus is a conservative extension of the typed Ambient Calculus originally proposed by Cardelli and Gordon.

History, revolution and the British popular novel: historical fiction in the romantic age

“History, Revolution and the British Popular Novel” takes as its focus the significant role which historical fiction played within the French Revolution debate and its aftermath. Examining the complex intersection of the genre with the political and historical dialogue generated by the French Revolution crisis, the thesis contends that contemporary fascination with the historical episode of the Revolution, and the fundamental importance of history to the disputes which raged about questions of tradition and change, and the meaning of the British national past, led to the emergence of increasingly complex forms of fictional historical narrative during the “war of ideas.” Considering the varying ways in which novelists such as Charlotte Smith, William Godwin, Mary Robinson, Helen Craik, Clara Reeve, John Moore, Edward Sayer, Mary Charlton, Ann Thomas, George Walker and Jane West engaged with the historical contexts of the Revolution debate, my discussion juxtaposes the manner in which English Jacobin novelists inserted the radical critique of the Jacobin novel into the wider arena of history with anti-Jacobin deployments of the historical to combat the revolutionary threat and internal moves for socio-political restructuring. I argue that the use of imaginative historical narrative to contribute to the ongoing dialogue surrounding the Revolution, and offer political and historical guidance to readers, represented a significant element within the literature of the Revolution crisis. The thesis also identifies the diverse body of historical fiction which materialised amidst the Revolution controversy as a key context within which to understand the emergence of Scott’s national historical novel in 1814, and the broader field of historical fiction in the era of Waterloo. Tracing the continued engagement with revolutionary and political concerns evident in the early Waverley novels, Frances Burney’s The Wanderer (1814), William Godwin’s Mandeville (1816), and Mary Shelley’s Valperga (1823), my discussion concludes by arguing that Godwin’s and Shelley’s extension of the mode of historical fiction initially envisioned by Godwin in the revolutionary decade, and their shared endeavour to retrieve the possibility enshrined within the republican past, appeared as a significant counter to the model of history and fiction developed by Walter Scott in the post-revolutionary epoch.

ITSM ProcessGuide – a longitudinal and multi-method field study for real-world DSR artifact evaluation

Process guidance supports users to increase their process model understanding, process execution effectiveness as well as efficiency, and process compliance performance. This paper presents a research in progress encompassing our ongoing DSR project on Process Guidance Systems and a field evaluation of the resulting artifact in cooperation with a company. Building on three theory-grounded design principles, a Process Guidance System artifact for the company’s IT service ticketing process is developed, deployed and used. Fol-lowing a multi-method approach, we plan to evaluate the artifact in a longitudinal field study. Thereby, we will not only gather self-reported but also real usage data. This article describes the development of the artifact and discusses an innovative evaluation approach.

El estudio de los parámetros por medio de tecnologías híbridas

Los estudiantes de enseñanza media se enfrentan al uso e interpretación de los parámetros en funciones polinomiales, lugares geométricos y expresiones algebraicas. Este hecho conduce a la necesidad de diferenciar los parámetros de otro tipo de literales como variables o incógnitas. Esta investigación indaga sobre la influencia que pueden tener dos entornos tecnológicos sobre la comprensión de la polisemia de las literales, bajo el telón de fondo de los Modelos Teóricos Locales y de la Aproximación Instrumental.

Las familias "Baeomycetaceae" e I"Icmadophilaceae" en la Península Ibérica

Se aportan datos morfológicos, químicos y de distribución de seis especies de las familias Baeomycetaceae (Baeomyces) e Icmadophilaceae (Dibaeis, Icmadophila, Thamnolia) presentes en la Península Ibérica. Se publican numerosas nuevas citas de Baeomyces rufus y de Dibaeis baeomyces, que constituyen las especies más frecuentes y abundantes en la península.

La acción del viento sobre la distribución microtopográfica de las comunidades vegetales de las montañas próximas al litoral levantino

Se comenta la variación de los vientos con respecto de los macizos de Javalambre (2020 m) y Peñagolosa (1814 m), así como la seriación altitudinal en las laderas Nordeste y Este del Javalambre relacionándola con los vientos procedentes del mar.También se presentan esquemas de la estructura interna del Junipero sabinae-P¡netum sylvestris Rivas Goday & Borja 1961, en las zonas cacuminales del Javalambre y del Erodio-Erinaceetum (Rivas Goday & Borja 1961) 0. de Bolós & Vigó, del Peñagolosa.

Adaptation to the Environment: Changes in Initial Projects in Ottoman Shephardic Press

The origins of Sephardic press date back to the mid-20th century, when the influence of the Western world spread across the Sephardim communities of the East. The content of these newspapers was diverse: pieces of general interest, but also scientific, literary and humorous works, with various political orientations. These papers were published in different languages, writing styles and alphabets. Those to be analysed here, however, were published in aljamiado Judeo-Spanish: three papers from Smyrna and one from Salonica. Throughout this work we will focus on the different obstacles and difficulties the editors and publishers of this Ottoman Sephardic press had to face to bring their publications to light.