Efficiently extendible mappings for balanced data distribution

In data storage applications, a large collection of consecutively numbered data “buckets” are often mapped to a relatively small collection of consecutively numbered storage “bins.” For example, in parallel database applications, buckets correspond to hash buckets of data and bins correspond to database nodes. In disk array applications, buckets correspond to logical tracks and bins correspond to physical disks in an array. Measures of the “goodness” of a mapping method include:

1. Thetime (number of operations) needed to compute the mapping.
2. Thestorage needed to store a representation of the mapping.
3. Thebalance of the mapping, i.e., the extent to which all bins receive the same number of buckets.
4. The cost ofrelocation, that is, the number of buckets that must be relocated to a new bin if a new mapping is needed due to an expansion of the number of bins or the number of buckets.

One contribution of this paper is to give a new mapping method, theInterval-Round-Robin (IRR) method. The IRR method has optimal balance and relocation cost, and its time complexity and storage requirements compare favorably with known methods. Specifically, ifm is the number of times that the number of bins and/or buckets has increased, then the time complexity isO(logm) and the storage isO(m ²). Another contribution of the paper is to identify the concept of ahistory-independent mapping, meaning informally that the mapping does not “remember” the past history of expansions to the number of buckets and bins, but only the current number of buckets and bins. Thus, such mappings require very little information to be stored. Assuming that balance and relocation are optimal, we prove that history-independent mappings are possible if the number of buckets is fixed (so only the number of bins can increase), but not possible if the number of bins and buckets can both increase.     

Elicitator: An expert elicitation tool for regression in ecology

Expert elicitation is the process of retrieving and quantifying expert knowledge in a particular domain. Such information is of particular value when the empirical data is expensive, limited or unreliable. This paper describes a new software tool, called Elicitator, which assists in quantifying expert knowledge in a form suitable for use as a prior model in Bayesian regression. Potential environmental domains for applying this elicitation tool include habitat modelling, assessing detectability or eradication, ecological condition assessments, risk analysis and quantifying inputs to complex models of ecological processes. The tool has been developed to be user-friendly, extensible and facilitate consistent and repeatable elicitation of expert knowledge across these various domains. We demonstrate its application to elicitation for logistic regression in a geographically based ecological context. The underlying statistical methodology is also novel, utilizing an indirect elicitation approach to target expert knowledge on a case-by-case basis. For several elicitation sites (or cases), experts are asked simply to quantify their estimated ecological response (e.g. probability of presence), and its range of plausible values, after inspecting (habitat) covariates via GIS.     

Efficient RNTS system for privacy of banking off-line customer

With the development in IT technology and with growing demands of users, a ubiquitous environment is being made. Because individual identification is important in ubiquitous environment, RFID technology would be used frequently. RFID is a radio frequency identification technology to replace bar code. The reader transmits query (request of user information) and tag-provides user information. RFID has various advantages, such as high speed identification rates, mass memory storages. However, eavesdropping is possible as well as a problem that user information is exposed (Juels et al. in Conference on Computer and Communications Security—ACM CCS, pp. 103–111, 2003; Ohkubo et al. in RFID Privacy Workshop 2003; Weis et al. in International Conference on Security in Pervasive Computing, pp. 201–212, 2003; Weis et al. in Cryptographic Hardware and Embedded Systems—CHES, pp. 454–469, 2002). Therefore, when off-line customer had visited bank for banking service, RNTS (RFID number ticket service) system provides both anonymity in customer identification and efficiency of banking service. In addition, RNTS system protects privacy of an off-line user visiting the bank and it is an efficient method offering service in order of arriving in the bank.     

Fully discrete potential-based finite element methods for a transient eddy current problem

Fully discrete potential-based finite element methods called methods are used to solve a transient eddy current problem in a three-dimensional convex bounded polyhedron. Using methods, fully discrete coupled and decoupled numerical schemes are developed. The existence and uniqueness of solutions for these schemes together with the energy-norm error estimates are provided. To verify the validity of both schemes, some computer simulations are performed for the model from TEAM Workshop Problem 7. This work was supported by Postech BSRI Research Fund-2009, National Basic Research Program of China (2008CB425701), NSFC under the grant 10671025 and the Key Project of Chinese Ministry of Education (No. 107018).     

Development of panel generation system for seakeeping analysis

In this paper, a panel generation system for analyzing seakeeping performance of a ship is developed. Given a set of offset data representing the ship hull, the system first creates a surface model of the ship. From the surface model, the wetted part of the ship is obtained by computing the intersection between the water surface and the hull, which is then processed to generate quadrilateral panels for the hull and the water surface. The system is designed to handle various kinds of ships such as ships with a mono-skeg, a twin-skeg and/or a bulbous bow in either an automatic or an interactive manner. Moreover, it can generate input panels for three different seakeeping analysis methods. Examples are provided to demonstrate the capabilities of the system.     

P(VDF-TrFE) copolymer acoustic emission sensors

Acoustic emission (AE) sensors have been fabricated using polarized polyvinylidene fluoride/trifluoroethylene (P(VDF-TrFE)) piezoelectric copolymer films. The acoustic and electromechanical properties of the copolymers have been determined using the ultrasonic immersion technique and the resonance technique, respectively. The P(VDF-TrFE) AE sensors have been calibrated according to the ASTM standard and evaluated for potential application in the detection of AE in glass fiber reinforced polypropylene (GFPP). A ceramic AE sensor also has been fabricated using lead zirconate titanate (PZT) 7A piezoelectric ceramic and its sensitivity and performance are reported as well. The copolymer sensors do not show resonance peaks of the ceramic sensor and have adequate sensitivity. They can reproduce AE signals accurately without giving artifacts and have potential use in commercial AE systems.     

Robust measurement of ocular torsion using iterative Lucas-Kanade

We present a new method to measure ocular torsion using Lucas-Kanade method. After pixels of iris annulus around a pupil have been converted into Cartesian coordinates, 30 features on the iris was selected then the features were tracked using the iterative Lucas-Kanade algorithm to calculate torsional shift. The results show that a precision of the method is higher than those measured by a conventional cross-correlation and by a template matching method. The suggested method showed 0.03 degrees mean error with 0.15 degrees maximum error. Particularly, the method was robust to change of pupil size and misalignment of pupil location. Processing time was also fast enough to be implemented in a real-time system.     

Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations

The past few decades have seen a resurgence ofreasoning techniques in artificial intelligenceinvolving both classical and non-classical logics. Inhis paper, ``Multi-valued Logics: A Uniform Approach toReasoning in Artificial Intelligence', Ginsberg hasshown that through the use of bilattices,several reasoning techniques can be unified under asingle framework. A bilattice is a structure that canbe viewed as a class of truth values that canaccommodate incomplete and inconsistent informationand in certain cases default information. Inbilattice theory, knowledge is ordered along twodimensions: truth/falsity and certainty/uncertainty. By defining the corresponding bilattices as truthspaces, Ginsberg has shown that the same theoremprover can be used to simulate reasoning in firstorder logic, default logic, prioritized default logicand assumption truth maintenance system. Although thisis a significant contribution, Ginsberg's paper waslengthy and involved. This paper summarizes some ofthe essential concepts and foundations of bilatticetheory. Furthermore, it discusses the connections ofbilattice theory and several other existingmulti-valued logics such as the various three-valuedlogics and Belnap's four-valued logic. It is notedthat the set of four truth values in Belnap's logicform a lattice structure that is isomorphic to thesimplest bilattice. Subsequently, Fitting proposed aconflation operation that can be used to selectsub-sets of truth values from this and otherbilattices. This method of selecting sub-sets oftruth values provides a means for identifyingsub-logic in a bilattice.     

Run-to-run control of inductively coupled C2F6 plasma etching of SiO2: Construction of a numerical process with a computational fluid dynamics code

A numerical process to simulate SiO₂ dry etching with inductively coupled C₂F₆ plasmas has been constructed using a commercial CFD code as a first step to design a run-to-run control system. The simulator was found to reasonably predict the reactive ion etching behavior of C₂F₆ plasmas and used to investigate the effects of plasma operating variables on the etch rate and uniformity. The relationship between the operating variables and the etching characteristics was mathematically modeled through linear regression for future run-to-run control system design.     

On Kalman filtering over fading wireless channels with controlled transmission powers

We study stochastic stability of centralized Kalman filtering for linear time-varying systems equipped with wireless sensors. Transmission is over fading channels where variable channel gains are counteracted by power control to alleviate the effects of packet drops. We establish sufficient conditions for the expected value of the Kalman filter covariance matrix to be exponentially bounded in norm. The conditions obtained are then used to formulate stabilizing power control policies which minimize the total sensor power budget. In deriving the optimal power control laws, both statistical channel information and full channel information are considered. The effect of system instability on the power budget is also investigated for both these cases.