Efficient democratic group signatures with threshold traceability

Democratic group signature (DGS) is a group-oriented primitive with great flexibilities, i.e., no group manager, anonymity, and traceability. In a DGS scheme with (t, n)-threshold traceability, any subset of not less than t members can jointly reveal the identity of the signer while preserving security even in the presence of an active adversary can corrupt up to t − 1 group members. This paper proposes an efficient DGS scheme. We use publicly verifiable secret sharing (PVSS) to distribute the trapdoor via which the real signer is revealed. The computation cost and communication overhead of our DGS signatures are greatly reduced, compared with the existing work. For example, the size of the resulting signature contains only 2n + 1 elements of Z _q , except the PVSS output.     

A new efficient EDI system for container cargo logistics

There have been many efforts to develop a logistics information system in the Korean logistics industry. In spite of these efforts, there are many points which need improvement in the Logistics Information System, of which function is the electronic data communication without added value. This paper aims to describe some of the main problems and the successful factors which are being found in the evolution of the present EDI systems for clearing import/export container cargoes, with special reference to Singapore, Korea, and Japan. Following this, leaving legal issues aside, to suggest workable guidelines for designing a new efficient EDI system for container cargo logistics. As a result of the review, the following successful factors are drawn: (a) the planning, requirement analysis and design of EDI are critical, as it provides a framework for its implementation; (b) as the data of customs clearance are an integral part of a logistics EDI system, the inclusion of customs in the system design is essential; (c) the sharing system of cargo data as the framework of the logistics EDI is efficient for data interchange; (d) the EDI software for the user has been developed and provided by an EDI network operating company; and (e) to facilitate communication between trading partners and the transport sector, it is necessary to adopt a global message standard, such as EDIFACT.     

An analysis of the determinants of children’s weekend physical activity participation

This paper examines the out-of-home, weekend, time-use patterns of children aged 5–17 years, with a specific emphasis on their physical activity participation. The impact of several types of factors, including individual and household demographics, neighborhood demographics, built environment characteristics, and activity day variables, on physical activity participation is analyzed using a joint nested multiple discrete–continuous extreme value-binary choice model. The sample for analysis is drawn from the 2000 San Francisco Bay Area Travel Survey. The model developed in the paper can be used to assess the impacts of changing demographics and built environment characteristics on children’s physical activity levels.     

Optimum design of tilting bogie frame in consideration of fatigue strength and weight

This paper addresses the use of finite-element (FE) analysis to calculate the fatigue strength of a bogie frame, for the development of tilting trains in Korea. A multi-body dynamic analysis was performed to extract the load condition by tilting on curves. Using the results of the multi-body dynamic analysis and the load scenario setout in the UIC standard, FE analysis was performed to obtain the stress distribution and to calculate the fatigue strength. An attempt was made to minimize the weight of the bogie frame using a back-propagation artificial neural network (ANN). The results of this study reveal that the stresses at some nodes are near the fatigue limit in the Goodman diagram and by using back-propagation ANN, the weight of the bogie frame could be reduced by 4.7%.     

Global cutting-path optimization considering the minimum heat effect with microgenetic algorithms

This article considers microgenetic algorithms (GAs), which explore in a small population with a few genetic operators, for cutting-path optimization problems. The major difference between GAs and simple genetic algorithms (SGAs) is how to make a reproductive plan for an improved searching technique because of population choice. It is shown that GAs implementation reaches the near-optimal region much earlier than the SGAs approach, and the GAs give a better solution than simulated annealing (SA). The main objective was to determine what temperature distribution can be obtained from the solution of a travelling distributed heat source. The solution of the travelling heat source on nested raw plate provides information about the vertices of each nested part of the raw plate. From the fact that the initial temperature at a piercing point strongly depends on the heat flow which stems from the previous cutting contour, the temperature of all piercing points must be lower than the critical temperature after each cutting of the components of a part. The critical temperature is identified as the mechanical melting temperature of steels. A heuristic back-tracking method is introduced to find the near-optimum cutting path considering the minimum heat effect on deformation. The heuristic back-tracking method is incorporated with the GAs.     

Seabed scene simulation and its realization in extending Vega

Realistic simulation of underwater scene is always difficult because of the special and complex vision effects in underwater space. Seabed is an important part of underwater environment. This paper describes the methods for seabed scene simulation based on OpenGL. It includes construction of fluetuant terrain based on the random sinusoidal algorithm, simulation of seabed flicker effect by means of circular texture mapping and generation of turbidity effect by using fog techniques. For the application based on the leading high level 3D development environment-Vega, underwater scene simulation is still a difficulty since there is no module for it. Based on the analysis of Vega software and the research on seabed scene simulation methods, a Vega extending module named “Underwater Space” was created through developing module class and extending lynx interface. The module class was designed through developing DLL written in C . The Lynx was extended through developing keyword configure file, GUI configure file and lynx plug-in DLL. The problem that Vega can‘t simulate underwater space, is elementarily resolved. The results show that this module is efficient, easy using, and the seabed scene images am vivid.     

Identity-based threshold decryption on access structure

For the applied limitation of the existing threshold decryption schemes based on the (t, n) structure, an identity-based threshold decryption scheme which can be applied on the access structure is proposed through designing a special distribution algorithm of the private key shares. The generation and distribution of private key shares, the encryption, the decryption and the combination are introduced in detail. The validity and security of the scheme are proved and analyzed. Comparisons with the existing schemes show that the proposed scheme is more flexible.     

Tool sequence optimization based on three logical modes of robot control via CPLEX optimization

Cluster tools have advantages of shorter cycle times, faster process development, and better yield for less contamination. The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production. Efficient use of cluster tools is naturally very significant to competitive fab operations. Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity. The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes. The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX. Special methods for the linear conversion are highlighted. Due to the limited calculation time requirement for the real production and the large scale of the problem, special methods for the efficiency tuning are applied according to the characteristics of the problem. Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.     

Poisson noise removal based on nonlocal total variation with Euler’s elastica pre-processing

An enhancement-based Poisson denoising method for photon-limited images is presented. The noisy image is firstly pre-processed for enhancing incomplete object information, and then it is denoised while preserving the restored structural details. A variational regularization model based on Euler’s elastica (EE) is proposed for image enhancement pre-processing. A nonlocal total variation (NLTV) regularization model is then employed in the second stage of image denoising. The above two optimization problems are solved by the alternating direction method of multipliers (ADMM). For Poissonian images with low image peak values, experiments demonstrate the validity and efficiency of the proposed method for both restoring geometric structure and removing noise.