摘要：Supersaturated designs are useful in screening experiments. This paper discusses the topic of multi-level supersaturated design. Two quantities, E(d2) and Df, are proposed to evaluate the optimality of supersaturated designs. A lower bound of E(d2) is obtained with a necessary condition for achieving it. Some E(d2)-optimal supersaturated designs of 3, 4, and 5 levels are given.

摘要：An addition is a fundamental arithmetic operation which is used extensively in many very large-scale integration (VLSI) systems such as application-specific digital signal processing (DSP) and *** adder determines the overall performance of the circuits in most of those *** this paper we propose a novel 1-bit full adder cell which uses only eight *** this design,three multiplexers and one inverter are applied tominimize the transistor count and reduce power *** power dissipation,propagation delay,and power-delay produced using the new design are analyzed and com-pared with those of other designs using HSPICE *** results show that the proposed adder has both lower power consumption and a lower power-delay product (PDP) *** low power and low transistor count make the novel 8T full adder cell a candidate for power-efficient applications.

摘要：In this article a finite volume method is proposed to solve viscous incompressible Navier-Stokes equations in two-dimensional regions with corners and curved boundaries. A hybrid collocated-grid variable arrangement is adopted, in which the velocity and pressure are stored at the centroid and the circumcenters of the triangular control cell, respectively. The cell flux is defined at the mid-point of the cell face. Second-order implicit time integration schemes are used for convection and diffusion terms. The second-order upwind scheme is used for convection fluxes. The present method is validated by results of several viscous flows.

摘要：The paper establishes the relationship between the settling efficiency and the sizes of the sedimentation tank through the process of numerical simulation, which is taken as one of the constraints to set up a simple optimum designing model of sedimentation tank. The feasibility and advantages of this model based on numerical calculation are verified through the application of practical case.

摘要：The pincipl of a 6 DOF (degress of freedom) input device using ultrasonic distance measurement is presented in this paper. The system employs the method of measuring the time of flight. In addition, some techniques, including automatic gain control, self-adaptive variable threshold and temperature compensation, are also used to improve precision. Then, the positions and orientation of the input device can be calculated by the method of spatial analytic geometry. Meanwhile, commands from the 3-D input device are detected and carried out. The validity and precision of the input device are verified by the experiment in a robot system. The proposed device not only can be used for end effector position and orientation measurement in telerobotics, but also can be an interactive device in virtual reality systems, such as helmet tracking, viewpoint navigation and object manipulation.

摘要：Geo Agents, a multi agent system that processes distributed geospatial information and geospatial service was presented. Firstly, the requirement for distributed geographical information process was discussed, and the architecture of Geo Agents was introduced. Then in depth discussions were raised on agent system implementation, such as the basic agent, agent advertising, message passing, and collaborating. An example was also given to explain the problem solving process.

摘要：Aimed at the problem of adaptive noise canceling(ANC),three implementary algorithms which are least mean square(LMS) algorithm,recursive least square(RLS) algorithm and fast affine projection(FAP) algorithm,have been *** simulations were made for the performance of these *** extraction of fetal electrocardiogram(FECG) is applied to compare the application effect of the above *** proposed FAP algorithm has obvious advantages in computational complexity,convergence speed and steadystate error.

摘要：Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.

摘要：The secure socket layer/ transport layer security（SSL/TLS） handshake protocol uses public key cryptographic algorithms such as RSA for key establishment. Typically, public key cryptographic algorithm is computational intensive due to the modular multiplications. Therefore, SSL/TLS servers often become swamped while performing public key decryptions when the simultaneous requests increase quickly. A batch RSA decryption algorithm was proposed. The novel algorithm provides the reasonable response time and optimizes server performance significantly. The decryption speedup is proportional to the batch size b, for instance, the speedup factor is 4, while in Shacham＇s scheme the acceleration rate is only 2.5 when b = 4.

摘要：A summary of status of researches in the field of structural earthquake resistance design on energy concept is presented in three parts: earthquake input, demands on the structure and supplied capacity of the structure. A new approach is proposed for analysis of the seismic response and damage criteria based on the momentary input energy.