Learn More
Motivated by online advertisement and exchange settings, greedy randomized algorithms for the maximum matching problem have been studied, in which the algorithm makes (random) decisions that are essentially oblivious to the input graph. Any greedy algorithm can achieve performance ratio 0.5, which is the expected number of matched nodes to the number of(More)
The past several years have seen tremendous advances in practical, general-purpose, non-interactive proof systems called SNARKs. These building blocks are efficient and convenient, with multiple publicly available implementations, including tools to compile high-level code (e.g., written in C) to arithmetic circuits, the native representation used by SNARK(More)
Bitcoin is the first decentralized crypto-currency that is currently by far the most popular one in use. The bitcoin transaction syntax is expressive enough to setup digital contracts whose fund transfer can be enforced automatically. In this paper, we design protocols for the bitcoin voting problem, in which there are n voters, each of which wishes to fund(More)
The principle of energy-saving in hydraulic hybrid vehicles was introduced. The characteristics of hybrid vehicles with electric or hydraulic were compared. Because of its higher power density and higher efficiency, hydraulic hybrid vehicle is more advantageous when working under the condition changed frequently such as city bus. Different arrangement forms(More)
To improve transient response of turbocharged gasoline, various kinds of optimization methods were studied by using engine performance simulation software GT-POWER. The results showed that: increasing valve overlap, using the series composite supercharge and replacing the original turbocharger with a VNT turbocharger can improve transient response(More)
Non-interactive zero-knowledge proofs are a powerful cryptographic primitive used in privacy-preserving protocols. We design and build C∅C∅, the first system enabling developers to build efficient, composable, non-interactive zero-knowledge proofs for generic, user-defined statements. C∅C∅ extends state-of-the-art SNARK constructions by applying known(More)
Based on the engine performance requirements and flow characteristics of supercharger, the paper presents a method on pre-matching of engine with turbocharger. Combined with database, the special software for matching of turbocharger is developed. To match of a natural inspiration gasoline engine with turbocharger, the turbocharger is chosen via this method(More)
—A new data fusion method called joint probability density matrix (JPDM) is proposed, which can associate and fuse measurements from spatially distributed heterogeneous sensors to identify the real target in a surveillance region. Using the probabilistic grids representation, we numerically combine the uncertainty regions of all the measurements in a(More)
Given a rooted tree with n nodes, the tree shortcut problem is to add a set of shortcut edges to the tree such that the shortest path from each node to any of its ancestors is of length O(log n) and the degree increment of each node is constant. We consider in this paper the dynamic version of the problem, which supports node insertion and deletion. For(More)