Simplified Design for Concurrent Statistical Zero-Knowledge Arguments

This paper shows that the protocol presented by Goyal et al.can be further simplified for a one-way function,with the simplified protocol being more practical for the decisional Diffie-Hellman assumption.Goyal et al.provided a general transformation from any honest verifier statistical zero-knowledge argument to a concurrent statistical zero-knowledge argument.Their transformation relies only on the existence of one-way functions.For the simplified transformation,the witness indistinguishable proof of kn...     

Dedicated Linear Attack on ARIA Version 1.0

ARIA is a new block cipher designed as the block cipher standard of South Korea.The current version is 1.0,which is an improvement of version 0.8 with the security using four kinds of S-boxes instead of two and an additional two rounds of encryptions.These improvements are designed to prevent the dedicated linear attack on ARIA version 0.8 by the four different kinds of S-boxes.This paper presents 12 linear approximations of a single round function that succeeds in attacking ARIA version 1.0 on 7,9,or 9 ...     

Estimating the Willingness-to-Pay for Urban Housing in Chinese Cities

The housing market, an important component of the urban economy, is closely integrated with urban development. Urban development attracts labor inflows which then increase the housing demand in the cities. Urban dwellers’ willingness-to-pay (WTP) for housing, as part of their living costs, depends on their incomes they can earn in the cities and the quality of life (QOL) they want to enjoy. Urban wage growth and quality of life improvements are always accompanied by increased demand and increased WTP. This ...     

Efficient Translation of LTL to Büchi Automata

The construction of Büchi automata from linear temporal logic is a significant step in model check-ing. This paper presents a depth-first construction algorithm to obtain simple Büchi automata from linear-time temporal logic which significantly reduces the sizes of the state spaces. A form-filling algorithm was used to reduce the size of the generated automata and the algorithms were applied directly to state-based Büchi automata, without transformation into transition-based automata. A form-filling algorit...     

Dynamic Air-Route Adjustments——Model,Algorithm,and Sensitivity Analysis

Dynamic airspace management (DAM) is an important approach to extend limited air space resources by using them more efficiently and flexibly.This paper analyzes the use of the dynamic air-route adjustment (DARA) method as a core procedure in DAM systems.DARA method makes dynamic decisions on when and how to adjust the current air-route network with the minimum cost.This model differs from the air traffic flow management (ATFM) problem because it considers dynamic opening and closing of air-route segments instead of only arranging flights on a given air traffic network and it takes into account several new constraints,such as the shortest opening time constraint.The DARA problem is solved using a two-step heuristic algorithm.The sensitivities of important coefficients in the model are analyzed to determine proper values for these coefficients.The computational results based on practical data from the Beijing ATC region show that the two-step heuristic algorithm gives as good results as the CPLEX in less or equal time in most cases.     

Experimental Study of a Stoppage Natural Circulation during a Nuclear Heating Reactor LOCA

IntroductionThe5MW Nuclear Heating Reactor( NHR- 5)was designed and built by the Institute of NuclearEnergy Technology( INET) of Tsinghua Universityin 1 989.The development of a 2 0 0 MW NuclearHeating Reactor ( NHR- 2 0 0 ) as an industrialdemonstration was undertaken by INET undercooperation with otherinstitutions.The main loopsof the 5MW nuclear heating reactor and the2 0 0 MW nuclear heating reactor are integralnatural circulation systems[1,2 ] . The naturalcirculation of the…     

Mobile Robot Control Based on Dynamic Potential

An efficient method is presented for implementing mobile robot perception-action behaviors, based on time-varying environment potential field approach. First, in this paper, the concept of dynamic potential U(x,y,z,t) is proposed for representing the environment of a mobile robot, and the form of U(x,y,z,t) is deduced, and then the velocity control of the vehicle with two wheel is directly calculated by transition function T of U(x,y,z,t). Finally, the perception-action layer is successfully implemented for avoiding collision, wandering, and integrating path planning and steering control on THMR-Ⅱ (TsingHua university Mobile Robot system). Based on sonar array signals, the experimental results are given to show that THMR-Ⅱ has better reflexive function, real-time obstacle avoidance, adaptablity and robustness for complex environments.     

A Comparative Study of the Application of Electronic Data Interchange and Internet Technology to Business Process Reengineering

This study investigates the role of information technology in business process reengineering (BPR) implementation. To increase the prospects of successful BPR implementation, the role of information technology in BPR should be thoroughly investigated to find the logical relationships between information technology and BPR. This study used a survey methodology to gather information from 72 BPR programs. The results show that different information technologies, such as those examined in this study, electronic data interchange (EDI) and Internet, provide different capabilities and can be useful in different ways and for different purposes. Lack of attention to these relationships may be due to the unacceptable high implementation failure rate in the previous BPR efforts,     

水平反复荷载作用下双层空心墙体抗震性能的试验研究

本文通过十四片具有不同构造措施的双层空心墙体和两片实心砖墙体试件的周期反复加载试验,研究了双层空心墙体在水平周期反复荷载作用下的基本性能,分析和比较了具有不同构造措施的双层空心墙体的破坏机理,滞回性能、廷性等.分析了双层空心墙体的开裂荷载、极限荷载、变形等,并且提出了有关双层空心墙体的设计建议.     

用于模式识别的多输入开关电流型模糊处理器

提出了一种用于模式识别的新型多输入开关电流模糊处理器。该处理器是一个模数混合系统。其中，数字部分用于对输入码进行译码，并且产生系统所需的时钟和控制信号，模拟部分用于处理模糊信息并输出识别结果。该系统可以采用分时的方法接收未知模式的多个特征。模糊处理利用加权求和－求大操作，其中综合函数的权重可调，以提高处理器的自适应能力，并拓展其应用场合。侧重于集成电路的模拟程序ＰＳＰＩＣＥ模拟结果表明，该系统性能好、精度高。同时，电路在规模上易扩展。由于采用开关电流技术，该系统电路可以直接采用标准的数字互补型金属氧化物半导体（ＣＭＯＳ）工艺来实现，便于模、数混合集成，易于超大规模集成电路（ＶＬＳＩ）的制作。