2,784 research outputs found

    Economic Model for Vehicle Ownership Quota Policies and Applications in China

    Get PDF
    AbstractTraffic congestion has caused huge economic loss and environmental pollution every year. As a demand management policy to reduce congestion, vehicle ownership quota system that directly controls the number of vehicles on the road has recently been adopted in some metropolitan areas including Beijing and Shanghai. When it comes to implementation of quota system, Beijing uses the plate lottery system, so that everyone interested in owning a vehicle can participate and there's no monetary transaction in the process. Shanghai, on the other hand, uses the plate auction system and participants bid for the limited number of vehicle plates available. This paper aims at building a theoretical model that quantitatively analyzes the benefits of such policies. This study extends the joint decision model of vehicle ownership and mileage model, and applied compensating variation method to measure the net social impact change of the different quota systems. Under this proposed framework, a numerical demonstration is conducted

    On Non-Parallelizable Deterministic Client Puzzle Scheme with Batch Verification Modes

    Get PDF
    A (computational) client puzzle scheme enables a client to prove to a server that a certain amount of computing resources (CPU cycles and/or Memory look-ups) has been dedicated to solve a puzzle. Researchers have identified a number of potential applications, such as constructing timed cryptography, fighting junk emails, and protecting critical infrastructure from DoS attacks. In this paper, we first revisit this concept and formally define two properties, namely deterministic computation and parallel computation resistance. Our analysis show that both properties are crucial for the effectiveness of client puzzle schemes in most application scenarios. We prove that the RSW client puzzle scheme, which is based on the repeated squaring technique, achieves both properties. Secondly, we introduce two batch verification modes for the RSW client puzzle scheme in order to improve the verification efficiency of the server, and investigate three methods for handling errors in batch verifications. Lastly, we show that client puzzle schemes can be integrated with reputation systems to further improve the effectiveness in practice
    corecore