首页 > 最新文献

ACM-SE 20最新文献

英文 中文
Joining separate file systems 连接不同的文件系统
Pub Date : 1982-04-01 DOI: 10.1145/503896.503900
J. Livesey
This paper takes a look at the so-called 'meta-system' approach to Distributed System construction; that is, constructing a distributed system by tieing together existing local operating systems. In particular it looks at some of the file system problems that may be encountered. These problems are simplified if one has the opportunity to rewrite the underlying local operating system (see [Oppen 81], for example], but typically, this is not the case. Since it is impractical to look at all existing local operating systems, I focus on a particular local operating system, Primos, with its overlying user interface, Software Tools, However, this is not to be taken as a comment on these systems; much of what I have to say is probably true of the majority of existing local operating systems.
本文介绍了分布式系统构建的“元系统”方法;也就是说,通过将现有的本地操作系统捆绑在一起来构建分布式系统。它特别关注可能遇到的一些文件系统问题。如果有机会重写底层本地操作系统(例如,参见[Oppen 81]),这些问题就会得到简化,但通常情况并非如此。由于查看所有现有的本地操作系统是不切实际的,所以我将重点放在一个特定的本地操作系统Primos上,以及它的覆盖用户界面Software Tools。然而,这并不是对这些系统的评论;我要说的大部分内容可能适用于大多数现有的本地操作系统。
{"title":"Joining separate file systems","authors":"J. Livesey","doi":"10.1145/503896.503900","DOIUrl":"https://doi.org/10.1145/503896.503900","url":null,"abstract":"This paper takes a look at the so-called 'meta-system' approach to Distributed System construction; that is, constructing a distributed system by tieing together existing local operating systems. In particular it looks at some of the file system problems that may be encountered. These problems are simplified if one has the opportunity to rewrite the underlying local operating system (see [Oppen 81], for example], but typically, this is not the case. Since it is impractical to look at all existing local operating systems, I focus on a particular local operating system, Primos, with its overlying user interface, Software Tools, However, this is not to be taken as a comment on these systems; much of what I have to say is probably true of the majority of existing local operating systems.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116760566","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Data management and model management: a relational synthesis 数据管理和模型管理:一种关系综合
Pub Date : 1982-04-01 DOI: 10.1145/503896.503921
R. Blanning
The successful implementation of data base management systems has led to suggestions that similar systems, called model management systems, be developed for decision models to facilitate and control user access to models and to integrate sets of models. This paper compares data management and model management in a relational context and examines an important difference between them: the conspicuous presence of sensitivity analysis in model management and its complete absence in data management. The paper concludes by outlining the salient issues in the integration of data and model management.
数据库管理系统的成功实现使人们建议为决策模型开发类似的系统,称为模型管理系统,以促进和控制用户对模型的访问,并集成模型集。本文比较了关系环境下的数据管理和模型管理,并考察了它们之间的一个重要区别:模型管理中明显存在敏感性分析,而数据管理中完全没有敏感性分析。本文最后概述了数据和模型管理集成中的突出问题。
{"title":"Data management and model management: a relational synthesis","authors":"R. Blanning","doi":"10.1145/503896.503921","DOIUrl":"https://doi.org/10.1145/503896.503921","url":null,"abstract":"The successful implementation of data base management systems has led to suggestions that similar systems, called model management systems, be developed for decision models to facilitate and control user access to models and to integrate sets of models. This paper compares data management and model management in a relational context and examines an important difference between them: the conspicuous presence of sensitivity analysis in model management and its complete absence in data management. The paper concludes by outlining the salient issues in the integration of data and model management.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126021095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
Computer graphics animation of the Tellico Reservoir water temperature simulation 电脑图形动画的Tellico水库水温模拟
Pub Date : 1982-04-01 DOI: 10.1145/503896.503913
William L. Reid, Dalpha R. Stubblefield
A color computer graphics animation movie was developed to illustrate simulated water temperatures in Tellico Reservoir. Movie depicts March through October of a typical annual cycle in five minutes of animation. A FORTRAN program used DISSPLA software and an Information International FR 80 graphic recorder to produce a 16 mm color, silent movie. Displayed data were taken from the results of a two-dimensional hydrodynamic computer model.
制作了一部彩色计算机图形动画电影来说明泰利科水库的模拟水温。这部电影用五分钟的动画描绘了三月到十月的一个典型的年度周期。FORTRAN程序使用DISSPLA软件和Information International FR 80图形记录器来制作16毫米彩色无声电影。显示的数据取自二维流体力学计算机模型的结果。
{"title":"Computer graphics animation of the Tellico Reservoir water temperature simulation","authors":"William L. Reid, Dalpha R. Stubblefield","doi":"10.1145/503896.503913","DOIUrl":"https://doi.org/10.1145/503896.503913","url":null,"abstract":"A color computer graphics animation movie was developed to illustrate simulated water temperatures in Tellico Reservoir. Movie depicts March through October of a typical annual cycle in five minutes of animation. A FORTRAN program used DISSPLA software and an Information International FR 80 graphic recorder to produce a 16 mm color, silent movie. Displayed data were taken from the results of a two-dimensional hydrodynamic computer model.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114288609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Realization of a translator for Janus Janus翻译器的实现
Pub Date : 1982-04-01 DOI: 10.1145/503896.503934
J. H. Barrett, K. Reilly
The Janus programming language, viewed as the assembler for an abstract machine with a tree-based memory system, is of theoretical and practical interest, e.g., Pascal compilers. Many widely accepted theoretical formulations and conceptualizations are incorporated into it. We share these interests, but primarily want to utilize the system for its portability and other pragmatic contributions. Realizations of the abstract machine on a real machine is of interest as the complementary component in the study of language development.The central purpose of this paper is to describe some basic aspects of the implementation of Janus especially as they relate to a Data General Eclipse S/l30 (in the Computer Laboratory at Alabama-Birmingham). These implementation features have been driven by certain computing goals, mostly in non-numerical areas: table processing, list processing, and logic programming. Recent progress has focused on such topics as the core computation features and realization of a decision-table interpreter (which is part of a complex of table processors that incorporate up to five different machines). The paper overviews the various aspects of this work and focuses on the details in major applications.
Janus编程语言,被视为具有树状内存系统的抽象机器的汇编语言,具有理论和实践意义,例如Pascal编译器。许多被广泛接受的理论表述和概念被纳入其中。我们分享这些兴趣,但主要是想利用系统的可移植性和其他实用的贡献。抽象机器在真实机器上的实现是语言发展研究的一个重要组成部分。本文的中心目的是描述Janus实现的一些基本方面,特别是当它们与Data General Eclipse S/l30(在Alabama-Birmingham计算机实验室)相关时。这些实现特性是由某些计算目标驱动的,主要是在非数值领域:表处理、列表处理和逻辑编程。最近的进展集中在核心计算特性和决策表解释器的实现等主题上(决策表解释器是包含多达五台不同机器的复杂表处理器的一部分)。本文概述了该工作的各个方面,并重点介绍了主要应用中的细节。
{"title":"Realization of a translator for Janus","authors":"J. H. Barrett, K. Reilly","doi":"10.1145/503896.503934","DOIUrl":"https://doi.org/10.1145/503896.503934","url":null,"abstract":"The Janus programming language, viewed as the assembler for an abstract machine with a tree-based memory system, is of theoretical and practical interest, e.g., Pascal compilers. Many widely accepted theoretical formulations and conceptualizations are incorporated into it. We share these interests, but primarily want to utilize the system for its portability and other pragmatic contributions. Realizations of the abstract machine on a real machine is of interest as the complementary component in the study of language development.The central purpose of this paper is to describe some basic aspects of the implementation of Janus especially as they relate to a Data General Eclipse S/l30 (in the Computer Laboratory at Alabama-Birmingham). These implementation features have been driven by certain computing goals, mostly in non-numerical areas: table processing, list processing, and logic programming. Recent progress has focused on such topics as the core computation features and realization of a decision-table interpreter (which is part of a complex of table processors that incorporate up to five different machines). The paper overviews the various aspects of this work and focuses on the details in major applications.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114431710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A truck dispatching system 一种卡车调度系统技术方案
Pub Date : 1982-04-01 DOI: 10.1145/503896.503908
Ken R. Adcock
Described is a system for the daily selection of truck carriers to deliver finished goods to a customer's site. The paper illustrates interfacing with corporate order entry and freight rate systems; the development and solution of a linear programming model; management reporting; and the human factors that must be considered.
描述的是一个系统,用于日常选择卡车承运人运送成品到客户的网站。本文阐述了与公司订单输入和运价系统的接口;线性规划模型的建立与求解管理报告;而人的因素是必须考虑的。
{"title":"A truck dispatching system","authors":"Ken R. Adcock","doi":"10.1145/503896.503908","DOIUrl":"https://doi.org/10.1145/503896.503908","url":null,"abstract":"Described is a system for the daily selection of truck carriers to deliver finished goods to a customer's site. The paper illustrates interfacing with corporate order entry and freight rate systems; the development and solution of a linear programming model; management reporting; and the human factors that must be considered.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129077983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A programming contest driving system 一个编程竞赛驱动系统
Pub Date : 1982-04-01 DOI: 10.1145/503896.503947
R. Hendry
This paper describes a system used to manage a programming contest. It has been used at East Tennessee State University for the past two years to determine the college's representatives to the ACM regional contest. The primary objective of the system is centralized automatic control. Its features provide ease of use and preservation of anonymity for the contestants in addition to security, logging, and scoring for the judges.
本文描述了一个用于管理程序设计竞赛的系统。在过去的两年里,东田纳西州立大学(East Tennessee State University)一直在用它来决定该学院参加ACM地区竞赛的代表。该系统的主要目标是集中自动控制。它的特性为参赛者提供了易用性和匿名性,同时还为评委提供了安全性、日志记录和评分。
{"title":"A programming contest driving system","authors":"R. Hendry","doi":"10.1145/503896.503947","DOIUrl":"https://doi.org/10.1145/503896.503947","url":null,"abstract":"This paper describes a system used to manage a programming contest. It has been used at East Tennessee State University for the past two years to determine the college's representatives to the ACM regional contest. The primary objective of the system is centralized automatic control. Its features provide ease of use and preservation of anonymity for the contestants in addition to security, logging, and scoring for the judges.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132210201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dataflow representation in a network database 网络数据库中的数据流表示
Pub Date : 1982-04-01 DOI: 10.1145/503896.503954
X. Pham
Solutions to the problem of consistency and correctness of duplicate database have been tackled by many authors such as in [Elli77], [Grap76], and [Mull71]. In a network system, each update may bring up a different kind of consistency and a new proof of correctness. Data integrity and security in a concurrent environment are a big headache for the system implementor. Issues related to security and social impacts on a network system are discussed in [Denn72]. This paper attempts to use a new method, Dataflow Language, to represent the interactions in a network environment, and in doing so, the paper, hopefully, points out the consistency, and correctness of the duplicate database.
许多作者已经解决了重复数据库的一致性和正确性问题,如[Elli77]、[Grap76]和[Mull71]。在网络系统中,每次更新都可能带来不同类型的一致性和新的正确性证明。并发环境中的数据完整性和安全性是系统实现者非常头疼的问题。与网络系统的安全和社会影响相关的问题在[Denn72]中进行了讨论。本文尝试使用一种新的方法——数据流语言来表示网络环境中的交互,并希望通过这样做,指出重复数据库的一致性和正确性。
{"title":"Dataflow representation in a network database","authors":"X. Pham","doi":"10.1145/503896.503954","DOIUrl":"https://doi.org/10.1145/503896.503954","url":null,"abstract":"Solutions to the problem of consistency and correctness of duplicate database have been tackled by many authors such as in [Elli77], [Grap76], and [Mull71]. In a network system, each update may bring up a different kind of consistency and a new proof of correctness. Data integrity and security in a concurrent environment are a big headache for the system implementor. Issues related to security and social impacts on a network system are discussed in [Denn72]. This paper attempts to use a new method, Dataflow Language, to represent the interactions in a network environment, and in doing so, the paper, hopefully, points out the consistency, and correctness of the duplicate database.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132796124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An analysis of programming environments 对编程环境的分析
Pub Date : 1982-04-01 DOI: 10.1145/503896.503929
J. E. Urban, Lucy Edmonds, David Holland, Barry King, Manijeh Moghis, Hugo Valencia
Programming environments consist of those tools and techniques that are applied throughout the software life cycle. Recent interest in programming environments has existed in industry, government, and academia. This paper is a synopsis of five graduate software engineering course projects in which programming environments were analyzed. The basis for the course project was a general set of environment questions posed to the attendees of the National Bureau of Standards Programming Environment Workshop. This paper addresses environment settings and requirements for the settings. The impact of utilizing programming environments, evaluation criteria, and technology validation are discussed. Finally, the paper covers current programming environment technology and potential future directions.
编程环境由应用于整个软件生命周期的工具和技术组成。最近,工业界、政府和学术界都对编程环境产生了兴趣。本文是对五个研究生软件工程课程项目的概述,其中对编程环境进行了分析。课程项目的基础是向国家标准局规划环境研讨会的与会者提出的一套一般性环境问题。本文讨论了环境设置和设置的要求。讨论了利用编程环境、评估标准和技术验证的影响。最后,介绍了当前的编程环境技术和潜在的未来发展方向。
{"title":"An analysis of programming environments","authors":"J. E. Urban, Lucy Edmonds, David Holland, Barry King, Manijeh Moghis, Hugo Valencia","doi":"10.1145/503896.503929","DOIUrl":"https://doi.org/10.1145/503896.503929","url":null,"abstract":"Programming environments consist of those tools and techniques that are applied throughout the software life cycle. Recent interest in programming environments has existed in industry, government, and academia. This paper is a synopsis of five graduate software engineering course projects in which programming environments were analyzed. The basis for the course project was a general set of environment questions posed to the attendees of the National Bureau of Standards Programming Environment Workshop. This paper addresses environment settings and requirements for the settings. The impact of utilizing programming environments, evaluation criteria, and technology validation are discussed. Finally, the paper covers current programming environment technology and potential future directions.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130747433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An O(V) algorithm M for computing transitive reduction of a planar acyclic digraph 计算平面无环有向图传递约简的O(V)算法M
Pub Date : 1982-04-01 DOI: 10.1145/503896.503902
S. Kundu
We present a linear O(V) algorithm for computing the transitive reduction of a planar acyclic digraph G, where V is the number of nodes in G. The algorithm makes explicit use of a fixed, but otherwise arbitrary, planar representation of G and obtains the transitive reduction in two steps, by computing successively the left reduction and the right-reduction. The planar digraphs form the second class of digraphs for which linear transitive reduction algorithm is known; the other class being the digraphs whose transitive reductions are directed spanning trees.
我们提出了一种线性O(V)算法,用于计算平面无环有向图G的传递约简,其中V是G中的节点数。该算法明确地使用了G的固定(但在其他方面是任意的)平面表示,并通过连续计算左约简和右约简,分两步得到传递约简。平面有向图构成了已知线性传递约简算法的第二类有向图;另一类是有向图,其传递约简是有向生成树。
{"title":"An O(V) algorithm M for computing transitive reduction of a planar acyclic digraph","authors":"S. Kundu","doi":"10.1145/503896.503902","DOIUrl":"https://doi.org/10.1145/503896.503902","url":null,"abstract":"We present a linear O(V) algorithm for computing the transitive reduction of a planar acyclic digraph G, where V is the number of nodes in G. The algorithm makes explicit use of a fixed, but otherwise arbitrary, planar representation of G and obtains the transitive reduction in two steps, by computing successively the left reduction and the right-reduction. The planar digraphs form the second class of digraphs for which linear transitive reduction algorithm is known; the other class being the digraphs whose transitive reductions are directed spanning trees.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124230811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Solving a file assignment problem with a genetic plan 用遗传计划解决文件分配问题
Pub Date : 1982-04-01 DOI: 10.1145/503896.503955
Thomas Wood
A genetic plan has been applied to the central server computer network file assignment problem. Throughput of the network is calculated for each file assignment produced by the genetic algorithm. Crossover and mutation are performed on individuals in accordance with their throughput.Various methods of representing and interpreting individuals as file assignments have been attempted. The effect of scaling, and time and space efficiency are addressed. The genetic plan quickly produces file assignments which are near optimal with regard to throughput of the network.
将遗传方案应用于中央服务器计算机网络文件分配问题。对遗传算法产生的每个文件分配计算网络吞吐量。根据个体的吞吐量进行交叉和突变。已经尝试了各种表示和解释个体为文件赋值的方法。讨论了尺度效应、时间和空间效率。该遗传计划可快速生成网络吞吐量接近最优的文件分配。
{"title":"Solving a file assignment problem with a genetic plan","authors":"Thomas Wood","doi":"10.1145/503896.503955","DOIUrl":"https://doi.org/10.1145/503896.503955","url":null,"abstract":"A genetic plan has been applied to the central server computer network file assignment problem. Throughput of the network is calculated for each file assignment produced by the genetic algorithm. Crossover and mutation are performed on individuals in accordance with their throughput.Various methods of representing and interpreting individuals as file assignments have been attempted. The effect of scaling, and time and space efficiency are addressed. The genetic plan quickly produces file assignments which are near optimal with regard to throughput of the network.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117073250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
ACM-SE 20
全部 Geobiology Appl. Clay Sci. Geochim. Cosmochim. Acta J. Hydrol. Org. Geochem. Carbon Balance Manage. Contrib. Mineral. Petrol. Int. J. Biometeorol. IZV-PHYS SOLID EART+ J. Atmos. Chem. Acta Oceanolog. Sin. Acta Geophys. ACTA GEOL POL ACTA PETROL SIN ACTA GEOL SIN-ENGL AAPG Bull. Acta Geochimica Adv. Atmos. Sci. Adv. Meteorol. Am. J. Phys. Anthropol. Am. J. Sci. Am. Mineral. Annu. Rev. Earth Planet. Sci. Appl. Geochem. Aquat. Geochem. Ann. Glaciol. Archaeol. Anthropol. Sci. ARCHAEOMETRY ARCT ANTARCT ALP RES Asia-Pac. J. Atmos. Sci. ATMOSPHERE-BASEL Atmos. Res. Aust. J. Earth Sci. Atmos. Chem. Phys. Atmos. Meas. Tech. Basin Res. Big Earth Data BIOGEOSCIENCES Geostand. Geoanal. Res. GEOLOGY Geosci. J. Geochem. J. Geochem. Trans. Geosci. Front. Geol. Ore Deposits Global Biogeochem. Cycles Gondwana Res. Geochem. Int. Geol. J. Geophys. Prospect. Geosci. Model Dev. GEOL BELG GROUNDWATER Hydrogeol. J. Hydrol. Earth Syst. Sci. Hydrol. Processes Int. J. Climatol. Int. J. Earth Sci. Int. Geol. Rev. Int. J. Disaster Risk Reduct. Int. J. Geomech. Int. J. Geog. Inf. Sci. Isl. Arc J. Afr. Earth. Sci. J. Adv. Model. Earth Syst. J APPL METEOROL CLIM J. Atmos. Oceanic Technol. J. Atmos. Sol. Terr. Phys. J. Clim. J. Earth Sci. J. Earth Syst. Sci. J. Environ. Eng. Geophys. J. Geog. Sci. Mineral. Mag. Miner. Deposita Mon. Weather Rev. Nat. Hazards Earth Syst. Sci. Nat. Clim. Change Nat. Geosci. Ocean Dyn. Ocean and Coastal Research npj Clim. Atmos. Sci. Ocean Modell. Ocean Sci. Ore Geol. Rev. OCEAN SCI J Paleontol. J. PALAEOGEOGR PALAEOCL PERIOD MINERAL PETROLOGY+ Phys. Chem. Miner. Polar Sci. Prog. Oceanogr. Quat. Sci. Rev. Q. J. Eng. Geol. Hydrogeol. RADIOCARBON Pure Appl. Geophys. Resour. Geol. Rev. Geophys. Sediment. Geol.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1