检索结果-内蒙古大学图书馆

作者： Gadelha Jr., Luiz M.R. Clifford, Ben Mattoso, Marta Wilde, Michael Foster, Ian Computer and Systems Engineering Program Federal University of Rio de Janeiro Brazil National Laboratory for Scientific Computing Brazil Computation Institute University of Chicago United States Mathematics and Computer Science Division Argonne National Laboratory United States

The Swift parallel scripting language allows for the specification, execution and analysis of large-scale computations in parallel and distributed environments. It incorporates a data model for recording and querying provenance information. In this article we describe these capabilities and evaluate the interoperability with other systems through the use of the Open Provenance Model. We describe Swift's provenance data model and compare it to the Open Provenance Model. We also describe and evaluate activities performed within the Third Provenance Challenge, which consisted of implementing a specific scientific workflow, capturing and recording provenance information of its execution, performing provenance queries, and exchanging provenance information with other systems. Finally, we propose improvements to both the Open Provenance Model and Swift's provenance system. © 2011 Elsevier B.V. All rights reserved.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Exploring provenance in high performance scientific computing

Exploring provenance in high performance scientific computin...

引用

1st Annual 2011 Workshop on High-Performance Computing Meets Databases, HPCDB'11, Co-located with Supercomputing, SC'11

作者： Gadelha Jr., Luiz M.R. Wilde, Michael Mattoso, Marta Foster, Ian Computer and Systems Engineering Program Federal University of Rio de Janeiro Brazil National Laboratory for Scientific Computing Brazil Mathematics and Computer Science Division Argonne National Laboratory United States Computation Institute Argonne National Laboratory University of Chicago United States Department of Computer Science University of Chicago United States

ISBN: (纸本)9781450311571

Large-scale scientific computations are often organized as a composition of many computational tasks linked through data flow. After the completion of a computational scientific experiment, a scientist has to analyze its outcome, for instance, by checking inputs and outputs of computational tasks that are part of the experiment. This analysis can be automated using provenance management systems that describe, for instance, the production and consumption relationships between data artifacts, such as files, and the computational tasks that compose the scientific application. In this article, we explore the relationship between high performance computing and provenance management systems, observing that storing provenance as structured data enriched with information about the runtime behavior of computational tasks in high performance computing environments can enable interesting and useful queries to correlate computational resource usage, scientific parameters, and data set derivation. We briefly describe how provenance of many-task scientific computations specified and coordinated by the Swift parallel scripting system is gathered and queried. © 2011 ACM.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Abstracting concepts from text documents by using an ontology

Abstracting concepts from text documents by using an ontolog...

引用

International Workshop on Concept Discovery in Unstructured Data 2011, CDUD 2011 - In Conjunction with the 13th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDGrC 2011

作者： Chernyak, E. Chugunova, O. Askarova, J. Nascimento, S. Mirkin, B. Division of Applied Mathematics and Informatics National Research University Higher School of Economics Moscow Russia Department of Informatics New University of Lisbon Caparica Portugal Department of Computer Science Birkbeck University of London London United Kingdom

A method for computationally visualizing and interpreting a text or corpus of texts in a taxonomy of the field is described. The method involves such stages as matching taxonomy topics and text(s) by using annotated suffix trees (ASTs), combining multiple information such as text abstracts, key-words and taxonomy cross-references, building clusters of taxonomy topics and their profiles, and lifting the profiles to higher ranks of the taxonomy hierarchy.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

Moving grids for magnetic reconnection via Newton-Krylov methods

Moving grids for magnetic reconnection via Newton-Krylov met...

引用

作者： Yuan, Xuefei Jardin, Stephen C. Keyes, David E. Department of Applied Physics and Applied Mathematics Columbia University New York NY 10027 United States Princeton Plasma Physics Laboratory Princeton NJ 08540 United States Division of Mathematical and Computer Sciences and Engineering King Abdullah University of Science and Technology Jeddah 21534 Saudi Arabia

This paper presents a set of computationally efficient, adaptive grids for magnetic reconnection phenomenon where the current density can develop large gradients in the reconnection region. Four-field extended MagnetoHydroDynamics (MHD) equations with hyperviscosity terms are transformed so that the curvilinear coordinates replace the Cartesian coordinates as the independent variables, and moving grids' velocities are also considered in this transformed system as a part of interpolating the physical solutions from the old grid to the new grid as time advances. The curvilinear coordinates derived from the current density through the Monge-Kantorovich (MK) optimization approach help to reduce the resolution requirements during the computation. © 2010 Elsevier B.V. All rights reserved.

关键词： Magnetohydrodynamics

来源：评论

学校读者我要写书评

暂无评论

Simulation of the droplet-to-bubble transition in a two-fluid system

引用

Physical Review E 2011年第4期83卷 046318-046318页

作者： M. Garzon L. J. Gray J. A. Sethian Department of Applied Mathematics University of Oviedo Asturias Spain Computer Science and Mathematics Division Oak Ridge National Laboratory Oak Ridge Tennessee USA Department of Mathematics University of California Berkeley California USA and Mathematics Department Lawrence Berkeley National Laboratory Berkeley California USA

Recent experiments by Burton and Taborek have demonstrated a droplet-to-bubble transition in the pinchoff behavior of one inviscid fluid inside another. With D the relative densities ρE/ρℑ, they find transition from (D=0) droplet-to-bubble behavior at D≈4. Numerical simulations of this two-fluid system, up to and beyond the initial breakup of the inner fluid, have been carried out utilizing level set and boundary integral methods. A droplet-to-bubble transition is predicted: For D sufficiently large, the volume of the satellite droplet shrinks to zero and there is no overturning of the fluid at separation. The calculated self-similar scaling exponents and the pinchoff region shapes match the known behavior at the droplet and bubble extremes (D=0, D=100). For intermediate D values, the simulations presented here indicate that the transition range between droplet and bubble behavior depends upon initial drop geometry. When the neck separates two nonequal inner fluid masses the transition is mild and occurs in the range 4

关键词： DROPS BUBBLES FLUID dynamics -- Approximation methods HYDRODYNAMICS INVISCID flow EXPERIMENTS

来源：评论

学校读者我要写书评

暂无评论

QUANTITATIVE CHARACTERIZATION OF SOOT NANOSTRUCTURE FROM HRTEM IMAGES

QUANTITATIVE CHARACTERIZATION OF SOOT NANOSTRUCTURE FROM HRT...

引用

第十三届国际体视学大会

作者： Maxime Moreaud Stephane Zinola Nora Lamharess Jacques Lavy Technology Computer Science and Applied Mathematics Division IFP Energies nouvellesSolaizeFrance Energy Application Techniques Division IFP Energies nouvelles SolaizeFrance

Diesel particulate matter(DPM) emissions have a significant impact on global climate change by strong absorption of solar radiation in the atmosphere,and on health by penetrating through the human respiratory ***,DPM emissions are limited with tightening emission limits,which have led to generalization of diesel particulate filters(DPF).The exhaust is thus forced through porous ceramic channels walls,wherein the particulates are *** avoid increasing fuel consumption and clogging,the DPF must be periodically regenerated by increasing temperature,typically when a soot load of several grams per liter is *** the recent years,efforts to link the chemical,physical and structural properties with the reactivity have been done in order to improve DPF *** is often used to visualize the soot nanostructure but image analysis method to correlate the soot reactivity with the soot nanostructure is always under development.

关键词： soot nanostructure HRTEM segmentation distance between objects

来源：评论

学校读者我要写书评

暂无评论

Data analysis, mathematical statistics, machine learning, data mining: Similarities and differences

Data analysis, mathematical statistics, machine learning, da...

引用

International Conference on Advanced computer science and Information System (ICACSIS)

作者： Boris Mirkin Division of Applied Mathematics and Informatics National Research University Higher School of Economics Moscow Russia Department of Computer Science Birkbeck University of London UK

An attempt is made to bring some structure in the meanings of the title subjects based on the perspectives at which they view the data. A rigid framework for Data Analysis is proposed pointing out its role in augmenting the knowledge of a phenomenon the data relate to. In particular, the task of summarization as a general problem is discussed. The ingredients of a data analysis problem are described as a base for positioning of various approaches in data analysis and mathematical statistics.

关键词： Data analysis Correlation Data models Mathematical model Fitting Data mining Decoding

来源：评论

学校读者我要写书评

暂无评论

Parsimonious reconstruction of network evolution

Parsimonious reconstruction of network evolution

引用

Lecture Notes in computer science

作者： Patro, Rob Sefer, Emre Malin, Justin Marçais, Guillaume Navlakha, Saket Kingsford, Carl Center for Bioinformatics and Computational Biology University of Maryland College Park MD 20742 United States Department of Computer Science University of Maryland College Park MD 20742 United States Computational Biology Bioinformatics and Genomics Concentration Biological Sciences Graduate Program University of Maryland College Park MD 20742 United States Program in Applied Mathematics Statistics and Scientific Computation University of Maryland College Park MD 20742 United States School of Computer Science Carnegie Mellon University Pittsburgh PA 15213 United States

ISBN: (纸本)9783642230370

We consider the problem of reconstructing a maximally parsimonious history of network evolution under models that support gene duplication and loss and independent interaction gain and loss. We introduce a combinatorial framework for encoding network histories, and we give a fast procedure that, given a set of duplication histories, in practice finds network histories with close to the minimum number of interaction gain or loss events. In contrast to previous studies, our method does not require knowing the relative ordering of unrelated duplication events. Results on simulated histories suggest that common ancestral networks can be accurately reconstructed using this parsimony approach. © 2011 Springer-Verlag.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

K, T and D-like fuzzy Kripke models

K, T and D-like fuzzy Kripke models

引用

Annual Meeting of The North American Fuzzy Information Processing Society

作者： Bedregal, Benjamin Santiago, Regivan H. N. Benevides, Mario Viana, Petrucio Group of Logic Language Information Theory and Applications - LoLITA Department of Informatics and Applied Mathematics Federal University of Rio Grande Do Norte 59072-970 Natal-RN Brazil Program of Engineering of Systems and Computing - PESC Department of Computer Science Federal University of Rio de Janeiro 21941-972 Rio de Janeiro-RJ Brazil Department of Analysis Fluminense Federal University 24020-140 Niterói-RJ Brazil

ISBN: (纸本)9781612849676

The idea of a Kripke semantics endowed with possibility/plausibility information is not new;in fact there are different approaches for that;see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D. © 2011 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

ESTIMATIONS OF THE CRITICAL PERCOLATION THRESHOLD FROM THE ZEROS OF CONNECTIVITY NUMBER

ESTIMATIONS OF THE CRITICAL PERCOLATION THRESHOLD FROM THE Z...

引用

第十三届国际体视学大会

作者： Maxime Moreaud Dominique Jeulin Souhail Youssef Technology Computer Science and Applied Mathematics Division IFP Energies nouvellesSolaizeFrance Centre de Morphologie Mathématique Mathématiques et Systèmes Mines ParisTechFontainebleauFrance Reservoir Engineering Division IFP Energies nouvelles Rueil MalmaisonFrance

Supposing a structure made of grains randomly distributed and that a Boolean random model can be used to model his *** these assumptions,critical percolation thresholds can be estimated by conjecture from the zeros of the connectivity number from *** formula uses estimates of the mean volume, surface and integral curvature of the *** additional assumptions,these estimates can be obtained on segmented volumes designing the structure using Steiner formula by measuring the probability of compact sets with increasing size to belong to the *** the grains of the structure can be individually segmented,for instance by a watershed method,estimates can be measured directly on the discretized ***, assuming the structure can be fit by a Boolean scheme with specific model of primary grains;estimates can be calculated directly with analytical *** propose to use this approach to predict critical percolation threshold of Fontainebleau *** materials provide good experimental systems and are largely used in the literature as model in the understanding of fluid or gas diffusion in porous rocks.3D segmented computed micro tomography images with different volume fraction of pores will be used.A Boolean random model with Poisson polyhedra as primary grains will be used to fit the *** predictions will be compared to physical properties like mercury saturation.

关键词： percolation connectivity number miles formula steiner formula poisson boolean scheme

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：