Transaction Propagation on Permissionless Blockchains: Incentive and Routing Mechanisms

Existing permissionless blockchain solutions rely on peer-to-peer propagation mechanisms, where nodes in a network transfer transaction they received to their neighbors. Unfortunately, there is no explicit incentive for such transaction propagation. Therefore, existing propagation mechanisms will not be sustainable in a fully decentralized blockchain with rational nodes. In this work, we formally define the problem of incentivizing nodes for transaction propagation. We propose an incentive mechanism where each node involved in the propagation of a transaction receives a share of the transaction fee. We also show that our proposal is Sybil-proof. Furthermore, we combine the incentive mechanism with smart routing to reduce the communication and storage costs at the same time. The proposed routing mechanism reduces the redundant transaction propagation from the size of the network to a factor of average shortest path length. The routing mechanism is built upon a specific type of consensus protocol where the round leader who creates the transaction block is known in advance. Note that our routing mechanism is a generic one and can be adopted independently from the incentive mechanism.Comment: 2018 Crypto Valley Conference on Blockchain Technolog

Compressible primitive equation: formal derivation and stability of weak solutions

We present a formal derivation of a simplified version of Compressible Primitive Equations (CPEs) for atmosphere modeling. They are obtained from $3$-D compressible Navier-Stokes equations with an \emph{anisotropic viscous stress tensor} where viscosity depends on the density. We then study the stability of the weak solutions of this model by using an intermediate model, called model problem, which is more simple and practical, to achieve the main result

Visual Analytics in Software Maintenance:Challenges and Opportunities

Visual analytics (VA) is an emerging science at the crossroads of data and information visualization, graphics, data min-ing, and knowledge representation, with many successful applications in engineering, business and finance, security, geo-sciences, and e-governance and health. Tools using visualization, data mining, and data analysis are also prominently present in a different field: software maintenance. However, an integrated VA is relatively new for this field. In this paper, we discuss the specific challenges and particularities of applying VA in software engineering, highlight the added value of a VA approach, as distilled by us from several large-scale software engineering industrial projects. 1

A study on PDC drill bits quality

The quality of innovating PDC (Polycrystalline Diamond Compact) bits materials needs to be determined with accuracy by measuring cutting efficiency and wear rate, both related to the overall mechanical properties. An original approach is developed to encompass cutting efficiency and wear contribution to the overall sample quality. Therefore, a lathe-type test device was used to abrade specific samples from various manufacturers. Post-experiment analyzes are based on models establishing coupled relationships between cutting and friction stresses related to the drag bits excavation mechanism. These models are implemented in order to evaluate cutting efficiency and to estimate wear of the diamond insert. Phase analysis by XRD and finite element simulations were performed to explain the role of physicochemical parameters on the calculated quality factor values. Four main properties of PDC material were studied to explain quality results obtained in this study: cobalt content in samples that characterizes hardness/fracture toughness compromise, undesired phase as tungsten carbide weakening diamond structure, diamond grains sizes and residual stresses distribution affecting abrasion resistance