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.     

Semiparametric specification of the utility function in a travel mode choice model

We propose a semiparametric approach that can capture the nonlinearity of deterministic components of the utility functions in discrete choice models and demonstrate it by analyzing travel mode choice behaviour for an interregional trip. The proposed smoothing spline-based specification method can be used to make ex ante evaluations regarding the parametric specifications of the deterministic utility functions in discrete choice models.     

Model-based analysis of the mechanical subsystem of an air brake system

Most commercial vehicles such as buses and trucks use an air brake system, often equipped with an S-cam drum brake, to reduce their speed and/or to stop. With a drum brake system, the clearance between the brake shoe/pad and the brake drum may increase because of various reasons such as wearing of the brake shoe and/or brake drum and drum expansion caused by high heat generation during the braking process. Hence, to ensure proper functioning of the brake system, it is essential that the clearance between the brake shoe and the brake drum is monitored. In this paper, we present a mathematical model for the mechanical subsystem of the air brake system that can be used to monitor this clearance. This mathematical model correlates the push rod stroke transients and the brake chamber pressure transients. A kinematic analysis and a dynamic analysis of the mechanical subsystem of the air brake system were performed, and the results are corroborated with experimental data.     

Benthic sediment composition and nutrient cycling in an Intermittently Closed and Open Lake Lagoon

Surfical sediments within Corunna Lake, a moderate size Intermittently Closed and Open Lake Lagoon (ICOLL), were examined for solid phase nutrient concentrations (TN, TP, TOC,) and solute exchange rates between the sediment and water column (O₂, NO₃–N, NH₄–N, FRP, and N₂). The surfical sediments in Corunna Lake contained high concentrations of TN (5 mg/g dry mass), total phosphorus (0.6 mg/g dry mass), and TOC (~ 5% dry mass). The carbon stable isotope ratio (δ¹³C) and TOC:TN ratios (δ¹³C ~ ? 24, TOC:TN ~ 11–14) demonstrated that the composition of the organic matter in the sediment was a mixture derived primarily of degraded planktonic matter. The close association between TP and Fe concentrations highlighted the potential role Fe plays in mediating Filterable Reactive Phosphorus (FRP) concentrations in the water column of Corunna Lake. In situ benthic chamber incubations were used to measure benthic fluxes. Solute exchange rates between the sediment and water column in Corunna Lake were similar to other reported studies (O₂ = ? 469 to ? 1765 µmol m^? 2 h^? 1, NH₄–N = 0.1–63 µmol m^? 2 h^? 1, NO₂/NO₃–N = 0 µmol m^? 2 h^? 1, FRP = ? 4–1.6 µmol m^? 2 h^? 1and N₂ = 12–356 µmol m^? 2 h^? 1). As more carbon was deposited and mineralized the efficiency of the bacterial population to denitrify nitrogen in the sediment decreases. The linkage between land use and benthic biogeochemistry was also explored. A dairy farm exists in the middle catchment of Corunna Lake, and the receiving bay sediment consistently demonstrated the highest oxygen consumption rates in winter and spring (? 1408 µmol m^? 2 h^? 1 in winter, ? 1691 µmol m^? 2 h^? 1 in spring) and lowest denitrification efficiencies during summer (~ 3%). Nitrate/nitrite fluxes were not observed during any of the chamber incubations, with the concentrations of nitrate/nitrite being below detection limits (< 10 μg/L). Seasonal changes influenced the rates of solute exchange between the sediment and water column. Critical measures of solute exchange for NH₄–N and biogenic N₂ indicated that seasonal temperature changes play a significant role in mediating the reaction rates of sedimentary based biogeochemical processes. Measurable FRP fluxes were small but greater in the benthic sediments which received higher carbon inputs. Sediments have a high capacity to adsorb P which is released as sediment oxygen demand increases as a result of increases in labile carbon loads.     

Cycle-simulation turbulence modelling of IC engines

Numerical simulations of IC engines are of high interest for automotive engineers worldwide. The simulation models should be as fast as possible, low-computational effort and predictive tool. The correct prediction of turbulence level inside the combustion chamber of spark ignition engines is the most important factor influencing to the engine working cycle. This paper presents a development of the k-ε turbulence model applied to the commercial cycle-simulation software with the high emphasis on the intake part. The validation was performed on two engine geometries with the variation of engine speed and load comparing the cycle-simulation results of the turbulent kinetic energy and in-cylinder temperature with 3-D CFD results. In order to apply the cycle-simulation turbulence model for the simulation of entire engine map, the parameterization model of turbulence constants was proposed. The parameterized turbulence model was optimized using NLPQL optimization algorithm where the single set of turbulence model parameters for each engine was found. A good agreement of the turbulent kinetic energy during the expansion was achieved when the turbulence affects the flame front propagation and combustion rate as well.     

Protecting Rhode Island's coastal salt ponds: An economic assessment of downzoning

Abstract

In southern Rhode Island, there is growing concern that housing and recreational demands will soon overwhelm the capacity of the coastal salt ponds to absorb wastes, produce seafood, and maintain scenic qualities. As a result, coastal towns have been studying the feasibility of using land controls such as downzoning to protect these coastal amenities. The paper presents an economic analysis of the downzoning program proposed in the town of South Kingstown. Hedonic price and contingent valuation methods are used to value coastal amenities. The estimated net present value of “swimmable” water is shown to be $3.1 million.