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)
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 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)
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)
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)
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)
The wake vortex is playing an increasingly important role in aviation safety area, making the detection and simulation of it be a key issue in aviation. Currently, a widely used method to describe the evolution of wake is based on the simulation of passive convection-diffusion equation under stratified atmosphere condition, and the RCS is obtained by(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)