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

Monitoring functions on global states of distributed programs

JOURNAL OF parallel AND distributed COMPUTING 1997年第2期41卷 173-189页

作者： Tomlinson, AI Garg, VK Parallel and Distributed Systems Laboratory Department of Electrical and Computer Engineering 4 The University of Texas at Austin Austin Texas 78712

The domain of a global function is the set of all global states of an execution of a distributed program, We show how to monitor a program in order to determine if there exists a global state in which the sum x(1) + x(2) +...+ x(N), exceeds some constant K, where x(i) is defined in process i. We examine the cases where x(i) is an integer variable for N = 2 and where x(i) is a boolean variable for general N, For both cases we provide algorithms, prove their correctness, and analyze their complexity. (C) 1997 Academic Press.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Recovering Performance for Vector-based Machine Learning on Managed Runtime

引用

ACM SIGPLAN Notices 2017年第8期52卷 457-458页

作者： Wu, Mingyu Guan, Haibing Zang, Binyu Chen, Haibo Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems Shanghai Jiao Tong University China

来源：评论

学校读者我要写书评

暂无评论

Fretting wear mechanism of GH4169 dovetail joint specimens treated with hybrid laser shock peening

引用

Tribology International 2025年 209卷

作者： Fang, Xiuyang Wang, Zheng Wahab, Magd Abdel Gong, Jianen Liu, Xiong Liu, Xing Cai, Zhenbing School of Mechanical Engineering Southwest Jiaotong University Chengdu610031 China Tribology Research Institute Key Lab of Advanced Technologies of Materials Southwest Jiaotong University Chengdu610031 China Soete Laboratory Department of Electrical Energy Metals Mechanical Constructions and Systems Faculty of Engineering and Architecture Ghent University Gent9000 Belgium College of Engineering Yuan Ze University Taiwan China Parallel and Distributed Systems Laboratory Jožef Stefan Institute Jamova cesta 39 LjubljanaSI-1000 Slovenia DongFang Electric Machinery Co. LTD Deyang618000 China State Key Laboratory of Advanced Electromagnetic Technology Huazhong University of Science and Technology Hubei Wuhan430074 China

Aero engine blade structure is prone to severe fretting wear under centrifugal forces and vibration loads, resulting in greatly reduced engine service life, which is a typical fretting damage problem. In this paper, without Absorbing layer Nanosecond Laser Shock Peening (wAN-LSP) and without Absorbing layer Nanosecond superimposed Femtosecond hybrid Laser Shock Peening (NF-LSP) are utilized to strengthen the surface of GH4169 dovetail joint specimens, which is a common material for engine blades, to explore its strengthening mechanism and fretting wear evolution law. The findings indicate that the surface roughness of the wAN-LSP specimen rises from 0.28 μm to 1.16 μm. The thermal effects of wAN-LSP lead to the formation of a molten layer roughly 10.97 μm thick on the surface, accompanied by numerous pits, ablation holes, and micro-cracks. In contrast, NF-LSP treatment effectively eliminates the surface oxidation defects made by the thermal effects of wAN-LSP, leading to a slight decrease in surface roughness. Both wAN-LSP and NF-LSP treatments enhance the surface hardness of the specimens, creating a plastic deformation layer roughly 400 μm deep, but the near surface hardness of NF-LSP treated specimen is further improved compared to that of the wAN-LSP specimen. The wear mechanism observed in the GH4169 dovetail joint specimens following wAN-LSP and NF-LSP treatment are identified as abrasive wear and oxidation wear. Initially, as the number of cycles raises, the wear volume of GH4169 specimen treated with wAN-LSP is higher than that of untreated specimen, but subsequently, it becomes lesser than that of the untreated specimen. This phenomenon results from the interplay between the molten layer and hardened layer. In the initial stage of wear, despite the surface strengthening of the wAN-LSP specimen, the presence of molten layer significantly diminishes the fretting wear resistance of the material. As wear progresses, the molten layer is removed, revealing the be

关键词： Abrasion

来源：评论

学校读者我要写书评

暂无评论

Implicit-Explicit Error Indicator based on Approximation Order 7

Implicit-Explicit Error Indicator based on Approximation Ord...

引用

7th International Conference on Smart and Sustainable Technologies, SpliTech 2022

作者： Jancic, Mitja Strnisa, Filip Kosec, Gregor Parallel and Distributed Systems Laboratory Joief Stefan Institute Joief Stefan International Postgraduate School Ljubljana Slovenia Parallel and Distributed Systems Laboratory Joief Stefan Institute Ljubljana Slovenia

ISBN: (纸本)9789532901160

With the immense computing power at our disposal, the numerical solution of partial differential equations (PDEs) is becoming a day-to-day task for modern computational scientists. However, the complexity of real-life problems is such that tractable solutions do not exist. This makes it difficult to validate the numerically obtained solution, so good error estimation is crucial in such cases. It allows the user to identify problematic areas in the computational domain that may affect the stability and accuracy of the numerical method. Such areas can then be remedied by either h- or p-adaptive procedures. In this paper, we propose to estimate the error of the numerical solution by solving the same governing problem implicitly and explicitly, using a different approximation order in each case. We demonstrate the newly proposed error indicator on the solution of a synthetic two-dimensional Poisson problem with tractable solution for easier validation. We show that the proposed error indicator has good potential for locating areas of high error. © 2022 University of Split, FESB.

关键词： Poisson equation

来源：评论

学校读者我要写书评

暂无评论

A Model for Jellyfish Detritus Decay through Microbial Processing 44

A Model for Jellyfish Detritus Decay through Microbial Proce...

引用

44th International Convention on Information, Communication and Electronic Technology, MIPRO 2021

作者： Strnisa, Filip Kosec, Gregor 'Jožef Stefan' Institute Parallel and Distributed Systems Laboratory Ljubljana Slovenia

ISBN: (纸本)9789532331011

The decay of jellyfish blooms introduces a significant organic matter source to the local marine environment that has still an unknown impact on the ecosystem. In recent laboratory experiments, authors studied how the introduction of excess organic material affects the coastal pelagic microbiome by introducing Aurelia aurita detritus to jars of seawater. During these experiments they have monitored bacterial abundance, amino acids' concentrations, dissolved organic carbon, as well the build-up of some inorganic nutrients. They have found, that about half of the protein-rich organic matter in jellyfish detritus is almost instantly available to microbes as dissolved organic matter. Based on this experimental data we devised a mathematical model of the jellyfish proteins (amino acids) degradation caused by marine bacteria. The model is built on top of the Monod bacterial growth model and the Luedeking-Piret metabolite production model. In addition, we incorporated the bacterial populations' age to model the lag phase as well as bacterial decay. In this paper, we demonstrate that with the proposed model, we can sufficiently describe the laboratory measurements. Keywords-bacterial growth;Monod model;Luedeking-Piret model;jellyfish © 2021 Croatian Society MIPRO.

关键词： Proteins

来源：评论

学校读者我要写书评

暂无评论

Natural Convection of Non-Newtonian Fluids in a Differentially Heated Closed Cavity 44

Natural Convection of Non-Newtonian Fluids in a Differential...

引用

44th International Convention on Information, Communication and Electronic Technology, MIPRO 2021

作者： Rot, Miha Kosec, Gregor 'Jožef Stefan' Institute Parallel and Distributed Systems Laboratory Ljubljana Slovenia

ISBN: (纸本)9789532331011

Fluids in computational hydrodynamics are often considered Newtonian, meaning a constant viscosity, but that is just a crude approximation for many real-world examples. Accounting for Non-Newtonian behaviour can provide a significant improvement in simulation accuracy. We present a meshless solution for the natural convection of a power-law non-Newtonian fluid driven by differentially heated cavity walls. The Navier-Stokes and heat transport equations are coupled using the Boussinesq approximation and numerically solved with the generalized finite differences, explicit Euler stepping and Chorin's projection method. © 2021 Croatian Society MIPRO.

关键词： Viscous flow

来源：评论

学校读者我要写书评

暂无评论

Using the causal domain to specify and verify distributed programs

引用

ACTA INFORMATICA 1997年第9期34卷 667-686页

作者： Garg, VK Tomlinson, AI Parallel and Distributed Systems Laboratory Department of Electrical and Computer Engineering The University of Texas at Austin Austin TX 78712 USA (http://maple.ece.utexas.edu) US

A system for specification and proof of distributed programs is presented. The method is based directly on the partial order of local states (poset) and avoids the notions of time and simultaneity. Programs are specified by documenting the relationship between local states which are adjacent to each other in the poset. Program properties are defined by stating properties of the poset. Many program properties can be expressed succinctly and elegantly using this method because poset properties inherently account for varying processor execution speeds. The system utilizes a proof technique which uses induction on the complement of the causally precedes relation and is shown to be useful in proving poset properties. We demonstrate the system on three example algorithms: vector clocks, mutual exclusion, and direct dependency clocks.

关键词： ALGORITHMS PARTIALLY ordered sets

来源：评论

学校读者我要写书评

暂无评论

Detecting Duplicate Contributions in Pull-Based Model CombiningTextual and Change Similarities

引用

Journal of Computer Science & Technology 2021年第1期36卷 191-206页

作者： Zhi-Xing Li Yue Yu Tao Wang Gang Yin Xin-Jun Mao Huai-Min Wang Key Laboratory of Parallel and Distributed Computing College of ComputerNational University of Defense Technology Changsha 410073China Laboratory of Software Engineering for Complex Systems College of ComputerNational University of Defense TechnologyChangsha 410073China

Communication and coordination between OSS developers who do not work physically in the same location have always been the challenging *** pull-based development model,as the state-of-art collaborative development mechanism,provides high openness and transparency to improve the visibility of contributors'***,duplicate contributions may still be submitted by more than one contributors to solve the same problem due to the parallel and uncoordinated nature of this *** not detected in time,duplicate pull-requests can cause contributors and reviewers to waste time and energy on redundant *** this paper,we propose an approach combining textual and change similarities to automatically detect duplicate contributions in pull-based model at submission *** a new-arriving contribution,we first compute textual similarity and change similarity between it and other existing *** then our method returns a list of candidate duplicate contributions that are most similar with the new contribution in terms of the combined textual and change *** evaluation shows that 83.4%of the duplicates can be found in average when we use the combined textual and change similarity compared to 54.8%using only textual similarity and 78.2%using only change similarity.

关键词： Pull-request Duplicate detection textual similarity change similarity

来源：评论

学校读者我要写书评

暂无评论

Serialization/Deserialization-free State Transfer in Serverless Workflows 24

Serialization/Deserialization-free State Transfer in Serverl...

引用

19th European Conference on Computer systems, EuroSys 2024

作者： Lu, Fangming Wei, Xingda Huang, Zhuobin Chen, Rong Wu, Minyu Chen, Haibo Institute of Parallel and Distributed Systems Seiee Shanghai Jiao Tong University China Shanghai Artificial Intelligence Laboratory China University of Electronic Science and Technology of China China Institute of Parallel and Distributed Systems Germany

ISBN: (纸本)9798400704376

Serialization and deserialization play a dominant role in the state transfer time of serverless workflows, leading to substantial performance penalties during workflow execution. We identify the key reason as a lack of ability to efficiently access the (remote) memory of another function. We propose RMMap, an OS primitive for remote memory map. It allows a serverless function to directly access the memory of another function, even if it is located remotely. RMMap is the first to completely eliminates serialization and deserialization when transferring states between any pairs of functions in (unmodified) serverless workflows. To make remote memory map efficient and feasible, we co-design it with fast networking (RDMA), OS, language runtime, and serverless platform. Evaluations using real-world serverless workloads show that integrating RMMap with Knative reduces the serverless workflow execution time on Knative by up to 2.6 × and improves resource utilizations by 86.3%. © 2024 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Powerlyra: Differentiated graph computation and partitioning on skewed graphs 15

Powerlyra: Differentiated graph computation and partitioning...

引用

10th European Conference on Computer systems, EuroSys 2015

作者： Chen, Rong Shi, Jiaxin Chen, Yanzhe Chen, Haibo Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems Shanghai Jiao Tong University China

ISBN: (纸本)9781450332385

Natural graphs with skewed distribution raise unique challenges to graph computation and partitioning. Existing graph-parallel systems usually use a "one size fits all" design that uniformly processes all vertices, which either suffer from notable load imbalance and high contention for high-degree vertices (e.g., Pregel and GraphLab), or incur high communication cost and memory consumption even for low-degree vertices (e.g., PowerGraph and GraphX). In this paper, we argue that skewed distribution in natural graphs also calls for differentiated processing on highdegree and low-degree vertices. We then introduce Power-Lyra, a new graph computation engine that embraces the best of both worlds of existing graph-parallel systems, by dynamically applying different computation and partitioning strategies for different vertices. PowerLyra further provides an efficient hybrid graph partitioning algorithm (hybrid-cut) that combines edge-cut and vertex-cut with heuristics. Based on PowerLyra, we design locality-conscious data layout optimization to improve cache locality of graph accesses during communication. PowerLyra is implemented as a separate computation engine of PowerGraph, and can seamlessly support various graph algorithms. A detailed evaluation on two clusters using graph-analytics and MLDM (machine learning and data mining) applications show that PowerLyra outperforms PowerGraph by up to 5.53X (from 1.24X) and 3.26X (from 1.49X) for real-world and synthetic graphs accordingly, and is much faster than other systems like GraphX and Giraph, yet with much less memory consumption. A porting of hybrid-cut to GraphX further confirms the efficiency and generality of PowerLyra. Copyright © 2015 ACM 978-1-4503-3238-5/15/04 $15.00.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：