大型过程工业自动化全过程体系结构

本文首先论述了体系结构对大型自动化系统开发的重要意义，接着从生命周期的观点、递阶控制的观点、自控系统组成三要素的观点对体系结构进行了竖向、纵向、横向的分析。并讨论了各类参考模型对支持平台的要求，最后提出了大型过程工业自动化全过程体系结构，该体系结构对“八·五”攻关课题“大型过程工业综合自动化总体技术”具有指导作用。

人工源宽角地震资料中的广角效应及其对地壳速度成像的影响

The seismic wide-angle reflection/refraction method is the one of the most effective method for probing the crustal and upper mantle structure. It mainly uses the wide-angle reflection information from the boundary in the crust and the top boundary of the upper mantle to rebuild the crust and upper mantle structure. Through analyzing the reflection and transmission coefficients of various incident waves on the interface, we think relative to the pre-critical angle reflection information the post critical angle reflection information that received by wide-angle seismic data exists a time-shift effect with the offset variation, and then it must cause the error for velocity analysis and structure image. The feature of the wide-angle seismic wave field of the fourteen representative crust columns tell us that the wide-angle effects in the different representative tectonic units for the interface depth and the interval velocity in crust. We studied the features of the wide-angle seismic wave field through building the crust model and inverse its travel time by GA method to know the wide-angle influence on crustal velocity image. At last we finished the data processing of the Tunxi-Wenzhou wide-angle seismic profile. The results are as following: (1) Through building crust model, we labeled the travel time for all the phases by ray tracing method and remove wide-angle effects method, it revealed the wide-angle effect exists in the seismic data. (2) The travel time inversion by GA method can tell us that the depth by traditional ray tracing method is shallower than the result by remove wide-angle effects method, the latter can recover the crust structure model in effect. (3) We applied the two method mentioned before to the fourteen representative crust columns in China. It indicates that the removed wide-angle effect method in travel time inversion is reasonable and effective. (4) The real data processing from Tunxi-Wenzhou wide-angle seismic profile give us the basic structure through the two ways. The main influence exhibits in the difference of the interval velocity of the curst, and the wide-angle effects in shallow interface are stronger than the deep interface.

生物壳体Sr／Ca、Mg／Ca、^87Sr／^86Sr比值在恢复古气候、古环境中的应用—以小渡口剖面为例

生物壳体的Sr/Ca、Mg/Ca比值能反映其沉积水体的Sr/Ca、Mg/Ca比值，在一定条件下反映水体的盐度、温度，并分别与宿生水体的盐度、温度呈正比关系。生物壳体的^87Sr/^86Sr比值是恢复盆地古水文条件的一种重要手段。本文以著名的泥河湾盆地小渡口剖面的第28层为实例，力图通过对有孔虫、介形虫、腹足类生物壳体Sr/Ca、Mg/Ca比值与^87Sr/^86Sr比值的对比研究，并结合前人所作的中更新世古地理特征研究，来恢复生物壳体沉积时泥河古湖水的温度、盐度，进而进行古气候、古环境的恢复。研究结果表明：在0.97-0.94Ma间，古泥河湾湖为一陆相湖泊，湖水的温度、盐度变化趋势相吻合，均呈低－高－低的演化特征，可能对应着盆地水体的扩展－退缩－扩展变化。其中，在0.96-0.95Ma间，古泥河湾湖具有较高的温度、盐度特征。生物壳体的Sr/Ca、Mg/Ca比值能反映其沉积水体的Sr/Ca、Mg/Ca比值，在一定条件下反映水体的盐度、温度，并分别与宿生水体的盐度、温度呈正比关系。生物壳体的^87Sr/^86Sr比值是恢复盆地古水文条件的一种重要手段。本文以著名的泥河湾盆地小渡口剖面的第28层为实例，力图通过对有孔虫、介形虫、腹足类生物壳体Sr/Ca、Mg/Ca比值与^87Sr/^86Sr比值的对比研究，并结合前人所作的中更新世古地理特征研究，来恢复生物壳体沉积时泥河古湖水的温度、盐度，进而进行古气候、古环境的恢复。研究结果表明：在0.97-0.94Ma间，古泥河湾湖为一陆相湖泊，湖水的温度、盐度变化趋势相吻合，均呈低－高－低的演化特征，可能对应着盆地水体的扩展－退缩－扩展变化。其中，在0.96-0.95Ma间，古泥河湾湖具有较高的温度、盐度特征。

Sparse Representations for Fast, One-Shot Learning

Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints imposed by a plausible hardware mechanism. To demonstrate our approach we describe a computational model of acquisition in the domain of morphophonology. We encapsulate phonological information as bidirectional boolean constraint relations operating on the classical linguistic representations of speech sounds in term of distinctive features. The performance model is described as a hardware mechanism that incrementally enforces the constraints. Phonological behavior arises from the action of this mechanism. Constraints are induced from a corpus of common English nouns and verbs. The induction algorithm compiles the corpus into increasingly sophisticated constraints. The algorithm yields one-shot learning from a few examples. Our model has been implemented as a computer program. The program exhibits phonological behavior similar to that of young children. As a bonus the constraints that are acquired can be interpreted as classical linguistic rules.

Proteomic analysis of the larval stage of the parasite Echinococcus granulosus: causative agent of cystic hydatid disease

Gustavo Chemale, Arjan J. van Rossum, James R. Jefferies, John Barrett, Peter M. Brophy, Henrique B. Ferreira, Arnaldo Zaha (2003). Proteomic analysis of the larval stage of the parasite Echinococcus granulosus: causative agent of cystic hydatid disease. Proteomics, 3(8), 1633-1636. Sponsorship: CNPq / PADCT/CNPq / FAPERGS (Brazil)/ BBSRC (UK) RAE2008

Metrica expression, reverente en el dia ventvroso, que cumple años el Exc. Señor D. Balthasar de Zuñiga, y Guzman, Marques de Valero, y de Aya-monte, Gentil-Hombre de la Camara de su Mag. Virrey, y Capitan General del Reyno de Navarra, &c.. : ofrecela a svs pies sv mas humilde criado

Signaturas: A6.

DNS-based Internet Client Clustering and Characterization

This paper proposes a novel protocol which uses the Internet Domain Name System (DNS) to partition Web clients into disjoint sets, each of which is associated with a single DNS server. We define an L-DNS cluster to be a grouping of Web Clients that use the same Local DNS server to resolve Internet host names. We identify such clusters in real-time using data obtained from a Web Server in conjunction with that server's Authoritative DNS―both instrumented with an implementation of our clustering algorithm. Using these clusters, we perform measurements from four distinct Internet locations. Our results show that L-DNS clustering enables a better estimation of proximity of a Web Client to a Web Server than previously proposed techniques. Thus, in a Content Distribution Network, a DNS-based scheme that redirects a request from a web client to one of many servers based on the client's name server coordinates (e.g., hops/latency/loss-rates between the client and servers) would perform better with our algorithm.

System F with Constraint Types

System F is a type system that can be seen as both a proof system for second-order propositional logic and as a polymorphic programming language. In this work we explore several extensions of System F by types which express subtyping constraints. These systems include terms which represent proofs of subtyping relationships between types. Given a proof that one type is a subtype of another, one may use a coercion term constructor to coerce terms from the first type to the second. The ability to manipulate type constraints as first-class entities gives these systems a lot of expressive power, including the ability to encode generalized algebraic data types and intensional type analysis. The main contributions of this work are in the formulation of constraint types and a proof of strong normalization for an extension of System F with constraint types.

The development of new methods for high resolution radio astronomy imaging

Very Long Baseline Interferometry (VLBI) polarisation observations of the relativistic jets from Active Galactic Nuclei (AGN) allow the magnetic field environment around the jet to be probed. In particular, multi-wavelength observations of AGN jets allow the creation of Faraday rotation measure maps which can be used to gain an insight into the magnetic field component of the jet along the line of sight. Recent polarisation and Faraday rotation measure maps of many AGN show possible evidence for the presence of helical magnetic fields. The detection of such evidence is highly dependent both on the resolution of the images and the quality of the error analysis and statistics used in the detection. This thesis focuses on the development of new methods for high resolution radio astronomy imaging in both of these areas. An implementation of the Maximum Entropy Method (MEM) suitable for multi-wavelength VLBI polarisation observations is presented and the advantage in resolution it possesses over the CLEAN algorithm is discussed and demonstrated using Monte Carlo simulations. This new polarisation MEM code has been applied to multi-wavelength imaging of the Active Galactic Nuclei 0716+714, Mrk 501 and 1633+382, in each case providing improved polarisation imaging compared to the case of deconvolution using the standard CLEAN algorithm. The first MEM-based fractional polarisation and Faraday-rotation VLBI images are presented, using these sources as examples. Recent detections of gradients in Faraday rotation measure are presented, including an observation of a reversal in the direction of a gradient further along a jet. Simulated observations confirming the observability of such a phenomenon are conducted, and possible explanations for a reversal in the direction of the Faraday rotation measure gradient are discussed. These results were originally published in Mahmud et al. (2013). Finally, a new error model for the CLEAN algorithm is developed which takes into account correlation between neighbouring pixels. Comparison of error maps calculated using this new model and Monte Carlo maps show striking similarities when the sources considered are well resolved, indicating that the method is correctly reproducing at least some component of the overall uncertainty in the images. The calculation of many useful quantities using this model is demonstrated and the advantages it poses over traditional single pixel calculations is illustrated. The limitations of the model as revealed by Monte Carlo simulations are also discussed; unfortunately, the error model does not work well when applied to compact regions of emission.

Einleitung: Dramapädagogik und fremdsprachlicher Deutschunterricht

Published Version

A case study of pre-midlife crisis: an extraordinary transformational episode in an ordinary life

This case study explored a single in-depth narrative of an episode of crisis. The participant, an English Jewish man in his late thirties (Guy), was selected using a ‘random purposeful’ design from a sample who had previously participated in a study on the experience of crisis in pre-midlife adulthood. From a subgroup of participants chosen for giving full accounts of both inner and outer dimensions of crisis, the individual was selected randomly. Data collection comprised two interviews followed by an email discussion. The crisis occurred in Guy’s late thirties, just before the midlife transition, and so can be considered a ‘pre-midlife’ crisis. It subsumed the period surrounding leaving a high-profile banking career and a dysfunctional marriage, and the ensuing attempts to rebuild life after this difficult and emotional period. Qualitative analysis found four trajectories of personal transformation over the course of the episode: Firstly there was a shift away from the use of a conventional persona to a more spontaneous and ‘authentic’ expression of self; secondly there was a move away from materialistic values toward relational values; thirdly a developing capacity to reflect on himself and his actions; fourthly an emerging feminine component of his personality. The case study portrays an extraordinary event in the life of an ordinary man approaching middle age. It illustrates the transformative nature of crisis in ordinary lives, the dramatic nature of narrative surrounding crisis, and also illustrates existing theory about the nature of adult crises.