CIM与工业自动化总体技术——它的目标、方法和实践

本文概述了近年国际上兴起的CIM与国内的工业自动化总体技术,阐明了其出现背景,以及它的目标、方法、参考模型和有关实践情况,在CIM参考模型和体系结构中,叙述了西欧ESPRIT的CIM/OSA模型、美国普渡大学的企业参考体系结构与CIM模型,并简述了它们在建立综合自动化系统中的主要思路。

CIM-OSA的思想及其应用

计算机集成制造系统开放式体系结构 CIM-OSA 是欧共体 ESPRIT 计划的 AMICE 协作体的研究成果,本文系统地介绍了 CIM-OSA 的内容及特点,并对 CIM-OSA 思想的应用实例 IMPACS(集成制造计划和控制系统)和 IBM 的 CIM 结构做了详细分析和阐述.

井约束外推反演可信度与井震相关性关系研究

With the deepening development of oil-gas exploration and the sharp rise in costs, modern seismic techniques had been progressed rapidly. The Seismic Inversion Technique extracts seismic attribute from the seismic reflection data, inverses the underground distribution of wave impedance or speed, estimates reservoir parameters, makes some reservoir prediction and oil reservoir description as a key technology of Seismic exploration, which provides a reliable basic material for oil-gas exploration. Well-driven SI is essentially an seismic-logging joint inversion. The low, high-frequency information comes from the logging information, while the structural characteristics and medium frequency band depend on the seismic data. Inversion results mainly depend on the quality of raw data, the rationality of the process, the relativity of synthetic and seismic data, etc. This paper mainly research on how the log-to-seismic correlation have affected the well-driven seismic inversion precision. Synthetic, the comparison between middle –frequency borehole impedance and relative seismic impedance and well-attribute crossplots have been taken into account the log-to-seismic correlation. The results verify that the better log-to-seismic correlation, the more reliable the seismic inversion result, through the analysis of three real working area (Qikou Sag, Qiongdongnan basin, Sulige gas field).

阿尔泰南缘侧向增生过程中的VMS矿床：地质、地球化学特征与成矿机制

The Chinese Altai is one of the most important volcanogenic massive sulfide (VMS) deposit districts in China. All orebodies were lenticular or bedded and stratabounded by a suite of early Devonian volcanic-sedimentary rocks. Hydrothermal feeder zones developed under some of the orebodies. All the ores are massive or laminated, and show typical characteristics of VMS deposit. Based on the mineralizing time and the metal assembles, we divide 3 metallogenic stages: 1, Fe orefroming stage associated with basaltic and sedimentary rocks during very early Devonian; 2, Cu-Pb-Zn oreforming stage associated with rhyolitic and sedimentary rocks during early Devonian; 3， Cu-Zn oreforming stage in the dacitic and basaltic rocks during mid. Devonian. The hosting rocks for all orebodies are different, but they show very similar geochemical and isotopic characteristics. All the felsic rocks show enriched lighted rare earth elements (REE) patterns (La/Yb>5), and with an obvious Eu negative anomalies (Eu/Eu*<0.6). In the meanwhile, all the mafic rocks show flat REE pattern and no Eu anomalies. The Ashele basalt show an apparent Ce negative anomalies (Ce/Ce* <0.76), All the volcanic roks in Chinese Altai show the decoupled property between the high field strength elements (HFSE) and large ion lithophile elements (LILE). The negative Nb, Ta characteristics with respect to adjacent elements indicate that subduction-modified source. The Nd(t) of the hosting rocks for all orebodies changed in a small range (-1.5~5), and the (87Sr/86Sr)i change in a big range. The initial Sr value of the hosting rocks in Mengku and Tiemuerte are obviously affected by the seawater (0.705~0.710), and initial Sr values of hosting rocks Ashele change in a small range (0.704~0.706). All Sr-Nd isotopes of ores have the same range with the hosting rocks, indicating that both the ores and volcanic rocks have the same island arc source. The mean sulfur isotopes of sulfides from Ashele and Mengku are 6.2‰ and 3.4‰, respectively, indicating a deep magmatic source. However, the sulfur isotopes of sulfides from Keketale, Tiemuerte and Keyinbulake changed in -15.8‰~9.9‰, -23.5‰~1.87‰, -8.3‰~1.6‰, respectively. And the big sulfur isotope range indicated that the sulfur of the ores was a combination biogenic and magmatic source. All volcanic rocks from the VMS deposits in the southern Chinese Altai show a typical subduction related environments. Based on the regional and locally geological evidence, here we propose that the southern Chinese Altai is an island arc system, and all VMS deposits formed during the lateral accretion process. No VMS deposit formed during the formation of the island arc during Silurian; Fe VMS deposit formed during the beginning of the opening of the backarc basin in very early Devonian; Cu-Pb-Zn VMS deposits formed during the mature stage of the backarc basin in early Devonian; at last the Cu-Zn VMS deposit formed during the rifted stage of the island arc itself.

贵阳市表层土壤中镍的基线及污染研究

以贵州省贵阳市8 046 km2 为研究区域, 将土壤中镍的空间分布规律与环境地球化学机理研究相结合, 建立镍的区域土壤环境地球化学基线, 并进行污染分析. 通过对332 个样品的分析, 得到以下结论: 贵阳市表层土壤中镍的基线值为1710 mg/ kg , 大于5710 mg/ kg 的样品可能遭受人为污染. 地质累积指数分析结果显示贵阳市1912 %的表层土壤未受镍的污染, 6317 %的表层土壤在无污染到中度污染之间, 1618 % 的中度污染, 只有013 %的表层土壤介于中度污染到强污染之间. 污染程度指数分析则显示贵阳市64 %的表层土壤未受到镍的污染, 镍的污染程度最大为1156 , 总污染程度小于0 , 即总体未受到污染.

Les Tritons de Th?ophile

Sibona, Bruno, 'Les Tritons de Th?ophile', L'Esprit cr?ateur - Literature and Ecology (2006) 46(2) pp.17-32

Letter: To Molly Wesley from John Wesley, March 30, 1751

Digitized from a letter in the Drew University Methodist Collection. 1 Item (4 p.); 20.5 x 33 cm.

Equational Axiomization of Bicoercibility for Polymorphic Types

Two polymorphic types σ and τ are said to be bicoercible if there is a coercion from σ to τ and conversely. We give a complete equational axiomatization of bicoercible types and prove that the relation of bicoercibility is decidable.

On Class-based Isolation of UDP, Short-lived and Long-lived TCP Flows

The congestion control mechanisms of TCP make it vulnerable in an environment where flows with different congestion-sensitivity compete for scarce resources. With the increasing amount of unresponsive UDP traffic in today's Internet, new mechanisms are needed to enforce fairness in the core of the network. We propose a scalable Diffserv-like architecture, where flows with different characteristics are classified into separate service queues at the routers. Such class-based isolation provides protection so that flows with different characteristics do not negatively impact one another. In this study, we examine different aspects of UDP and TCP interaction and possible gains from segregating UDP and TCP into different classes. We also investigate the utility of further segregating TCP flows into two classes, which are class of short and class of long flows. Results are obtained analytically for both Tail-drop and Random Early Drop (RED) routers. Class-based isolation have the following salient features: (1) better fairness, (2) improved predictability for all kinds of flows, (3) lower transmission delay for delay-sensitive flows, and (4) better control over Quality of Service (QoS) of a particular traffic type.

An Online Distributed Algorithm for Inferring Policy Routing Configurations

We present an online distributed algorithm, the Causation Logging Algorithm (CLA), in which Autonomous Systems (ASes) in the Internet individually report route oscillations/flaps they experience to a central Internet Routing Registry (IRR). The IRR aggregates these reports and may observe what we call causation chains where each node on the chain caused a route flap at the next node along the chain. A chain may also have a causation cycle. The type of an observed causation chain/cycle allows the IRR to infer the underlying policy routing configuration (i.e., the system of economic relationships and constraints on route/path preferences). Our algorithm is based on a formal policy routing model that captures the propagation dynamics of route flaps under arbitrary changes in topology or path preferences. We derive invariant properties of causation chains/cycles for ASes which conform to economic relationships based on the popular Gao-Rexford model. The Gao-Rexford model is known to be safe in the sense that the system always converges to a stable set of paths under static conditions. Our CLA algorithm recovers the type/property of an observed causation chain of an underlying system and determines whether it conforms to the safe economic Gao-Rexford model. Causes for nonconformity can be diagnosed by comparing the properties of the causation chains with those predicted from different variants of the Gao-Rexford model.

Peanut Allergen Threshold Study (PATS): validation of eliciting doses using a novel single-dose challenge protocol

Background: The eliciting dose (ED) for a peanut allergic reaction in 5% of the peanut allergic population, the ED05, is 1.5 mg of peanut protein. This ED05 was derived from oral food challenges (OFC) that use graded, incremental doses administered at fixed time intervals. Individual patients’ threshold doses were used to generate population dose-distribution curves using probability distributions from which the ED05 was then determined. It is important to clinically validate that this dose is predictive of the allergenic response in a further unselected group of peanut-allergic individuals. Methods/Aims: This is a multi-centre study involving three national level referral and teaching centres. (Cork University Hospital, Ireland, Royal Children’s Hospital Melbourne, Australia and Massachusetts General Hospital, Boston, U.S.A.) The study is now in process and will continue to run until all centres have recruited 125 participates in each respective centre. A total of 375 participants, aged 1–18 years will be recruited during routine Allergy appointments in the centres. The aim is to assess the precision of the predicted ED05 using a single dose (6 mg peanut = 1.5 mg of peanut protein) in the form of a cookie. Validated Food Allergy related Quality of Life Questionnaires-(FAQLQ) will be self-administered prior to OFC and 1 month after challenge to assess the impact of a single dose OFC on FAQL. Serological and cell based in vitro studies will be performed. Conclusion: The validation of the ED05 threshold for allergic reactions in peanut allergic subjects has potential value for public health measures. The single dose OFC, based upon the statistical dose-distribution analysis of past challenge trials, promises an efficient approach to identify the most highly sensitive patients within any given food-allergic population.

Leisure and surveillance in Irish childhoods: A cross-class study of Cork city

This research provides an interpretive cross-class analysis of the leisure experience of children, aged between six and ten years, living in Cork city. This study focuses on the cultural dispositions underpinning parental decisions in relation to children’s leisure activities, with a particular emphasis on their child-surveillance practices. In this research, child-surveillance is defined as the adult monitoring of children by technological means, physical supervision, community supervision, or adult supervised activities (Nelson, 2010; Lareau, 2003; Fotel and Thomsen, 2004). This research adds significantly to understandings of Irish childhood by providing the first in-depth qualitative analysis of the surveillance of children’s leisure-time. Since the 1990s, international research on children has highlighted the increasingly structured nature of children’s leisure-time (Lareau, 2011; Valentine & McKendrick, 1997). Furthermore, research on child-surveillance has found an increase in the intensive supervision of children during their unstructured leisure-time (Nelson, 2010; Furedi, 2008; Fotel and Thomsen, 2004). This research bridges the gap between these two key bodies of literature, providing a more integrated overview of children’s experience of leisure in Ireland. Using Bourdieu’s (1992) model of habitus, field and capital, the dispositions that shape parents’ decisions about their children’s leisure time are interrogated. The holistic view of childhood adopted in this research echoes the ‘Whole Child Approach’ by analysing the child’s experience within a wider set of social relationships including family, school, and community. Underpinned by James and Prout’s (1990) paradigm on childhood, this study considers Irish children’s agency in negotiating with parents’ decisions regarding leisure-time. The data collated in this study enhances our understanding of the micro-interactions between parents and children and, the ability of the child to shape their own experience. Moreover, this is the first Irish sociological research to identify and discuss class distinctions in children’s agentic potential during leisure-time.

THE ART OF TRANSCRIBING FOR HARPSICHORD

A relatively unexplored area of the harpsichord repertoire is the group of transcriptions made by J.S. Bach (1685-1750), Jean Henry d'Anglebert (1629-1691), and Jean-Baptiste Forqueray (1699-1782). These transcriptions are valuable and worth exploring and performing. Studying them provides unique insights into their composer‘s musical thinking. By comparing transcriptions with their original sources, the transcriber's decisions and priorities can be observed. The performance component of this dissertation comprises three recitals. The first features works of Johann Sebastian Bach: two transcriptions of violin concerti by Antonio Vivaldi (1678-1741), and two transcriptions of trio sonatas by Johann Adam Reinken (1643-1722). The most salient feature of Bach‘s transcriptions is his addition of musical material: ornamenting slow movements, adding diminutions and idiomatic keyboard figurations throughout, and recomposing and expanding fugal movements. The second recital features works of Jean Henry d'Anglebert and Jean-Baptiste Forqueray, two French composer/performers. From d'Anglebert‘s many transcriptions, I assembled two key-related suites: the first comprised of lute pieces by Ennemond Gaultier (c. 1575-1651), and the second comprised of movements from operas by Jean-Baptiste Lully (1632-1687). Forqueray's transcriptions are of suites for viola da gamba and continuo, composed by his father, Antoine Forqueray (1671-1745). Creative and varied ornamentation, along with the style brisé of arpeggiated chords, are the most important features of d‘Anglebert‘s transcriptions. Forqueray‘s transcriptions are highly virtuosic and often feature the tenor and bass range of the harpsichord. The third recital features my own transcriptions: the first suite for solo cello by J.S. Bach, excerpts from the opera La Descente d’Orphée aux Enfers by Marc-Antoine Charpentier (1643-1704), and two violin pieces by Nicola Matteis (fl. c. 1670-c. 1698). In these transcriptions, I demonstrate what I have learned from studying and performing the works in the first two recitals. These recitals were performed in the Leah Smith Hall at the University of Maryland on May 4, 2010; May 11, 2010; and October 7, 2010. They were recorded on compact discs and are archived within the Digital Repository at the University of Maryland (DRUM).

Scalar glueballs: Constraints from the decays into η or η′

We study the mixing of the scalar glueball into the isosinglet mesons f0(1370), f0(1500), and f0(1710) to describe the two-body decays to pseudoscalars. We use an effective Hamiltonian and employ the two-angle mixing scheme for η and η′. In this framework, we analyze existing data and look forward to new data into η and η′ channels. For now, the f0(1710) has the largest glueball component and a sizable branching ratio into ηη′, testable at BESIII.

Parallelisation of electromagnetic simulation codes

In this paper results obtained from the parallelisation of existing 3D electromagnetic Finite Element codes within the ESPRIT HPCN project PARTEL are presented. The parallelisation procedure, based on the Bulk Synchronous Parallel approach, is outlined and the encouraging results obtained in terms of speed-up on some industrially significant test cases are described and discussed.