Pseudo-inversion: closure properties and decidability

We consider a pseudo-inversion operation inspired by biological events, such as DNA sequence transformations, where only parts of a string are reversed. We define the pseudo-inversion of a string \(w = uxv\) to be the set of all strings \(v^Rxu^R\), where \(uv \ne \lambda \) and consider the operation from a formal language theoretic viewpoint. We show that regular languages are closed under the pseudo-inversion operation whereas context-free languages are not. Furthermore, we study the iterated pseudo-inversion operation and show that the iterated pseudo-inversion of a context-free language is recognized by a nondeterministic reversal-bounded multicounter machine. Finally, we introduce the notion of pseudo-inversion-freeness and examine closure properties and decidability problems for regular and context-free languages. We demonstrate that pseudo-inversion-freeness is decidable in polynomial time for regular languages and undecidable for context-free languages.     

Scalable digital hardware for a trapped ion quantum computer

Quantum Information Processing - Many of the challenges of scaling quantum computer hardware lie at the interface between the qubits and the classical control signals used to manipulate them....     

Inertial effects on cylindrical particle migration in linear shear flow near a wall

Micro-/nanoparticle-based systems are regarded as one of the possible candidates due to the engineerability and multifunctionality to maximize the accumulation of the nano-/microparticle-based drug delivery system on the target. Recent advances in nanotechnology enable the fabrication of diverse particle shapes from simple spherical particles to more complex shapes. The particle dynamics in blood flow and endocytosis characteristics of non-spherical particles change as the non-sphericity effect increases. We used a numerical approach to investigate the particle dynamics in linear shear flow near a wall. We examined the dynamics of slender cylindrical particles with aspect ratio γ = 5.0 in terms of particle trajectory, velocity, and force variation for different Stokes numbers over time. We identified the rotating inertia of particle near a wall as the source of inertial migration toward the wall. The drift velocity of slender cylindrical particles is comparable to that of discoidal particles. We discuss the possibilities and limitations of using slender cylindrical particles as a drug delivery system.     

Nonparametric approach for uncertainty-based multidisciplinary design optimization considering limited data

Uncertainty-based multidisciplinary design optimization (UMDO) has been widely acknowledged as an advanced methodology to address competing objectives and reliable constraints of complex systems by coupling relationship of disciplines involved in the system. UMDO process consists of three parts. Two parts are to define the system with uncertainty and to formulate the design optimization problem. The third part is to quantitatively analyze the uncertainty of the system output considering the uncertainty propagation in the multidiscipline analysis. One of the major issues in the UMDO research is that the uncertainty propagation makes uncertainty analysis difficult in the complex system. The conventional methods are based on the parametric approach could possibly cause the error when the parametric approach has ill-estimated distribution because data is often insufficient or limited. Therefore, it is required to develop a nonparametric approach to directly use data. In this work, the nonparametric approach for uncertainty-based multidisciplinary design optimization considering limited data is proposed. To handle limited data, three processes are also adopted. To verify the performance of the proposed method, mathematical and engineering examples are illustrated.     

A disturbance observer based practical coordinated tracking controller for uncertain heterogeneous multi‐agent systems

This paper presents a coordinated tracking controller for multi‐agent systems. We assume that agents are uncertain, nonidentical, and affected by external disturbances. The information available to the tracking controller is a weighted sum of relative measurements. A coordinated tracking controller based on the disturbance observer, which is known as a robust output feedback controller, is designed so that the disturbances acting on agents are attenuated and at the same time the weighted sum of relative measurements approximately satisfies a differential equation defined by the leader's dynamics, which results in practical coordinated tracking. Systematic design procedures of the controller as well as numerical simulations are provided. Copyright © 2014 John Wiley & Sons, Ltd.     

Quantification model of proper curvature for large‐sized curved TVs

We present a feasible modeling method to estimate the proper curvature for large‐sized curved TVs. We especially focused on two factors – preference and perceived distortion – to be considered to determine the proper curvature. The preference includes a number of advantages that people expect to fulfill the possibilities of a more immersive image and sense of realism from curved display. On the other hand, the perceived distortion means the side effects that people can notice uncomfortable feeling caused by the shape of a curved one. In order to find out how two factors would be different as a number of conditions like curvature, size, and viewing angle change, a series of subjective assessments were conducted. The evaluation results show that both the preference and perceived distortion vary with the conditions considerably. We performed the statistical analysis based on the results and proposed the quantification model of proper curvature, which has higher preference and less perceived distortion, for various‐sized curved TVs.     

Developing and Verifying a Questionnaire for Evaluating User Value of a Mobile Device

User experience has become a major issue lately with user value as one of its key elements. This study proposes a method to evaluate user value using a questionnaire specialized for a mobile device such as smartphones. The questionnaire was developed considering elements of user value, product features, and context of use. Then, a case study with hundreds of participants was conducted via the Internet to verify and screen out questionnaire items in terms of reliability and validity. Finally, a total of 16 questionnaire items were selected for evaluating elements of user value, consisting of self‐satisfaction, pleasure, sociability, customer need, and attachment. The results of this study are expected to help understand potential users and select design alternatives.     

Toward Universal Design in Public Transportation Systems: An Analysis of Low‐Floor Bus Passenger Behavior with Video Observations

This study aims to investigate the relationship between ergonomic comfort and the provision of accessibility features for mobility‐impaired persons in the use of public transportation systems in Korea. To deal with mobility issues in a public transportation environment, we chose the low‐floor bus as our research subject because it is the representative of a barrier‐free design solution. We collected data via video observation, which can overcome the limitations of traditional accessibility‐focused studies and laboratory studies by providing data on real usage patterns. We developed a framework to analyze the gathered data which includes user, space, tools, activities, and context. As a result, we observed existing difficulties of mobility‐impaired persons in terms of moving and supporting their bodies on the bus, despite the application of accessibility features. Furthermore, the design only for accessibility of mobility‐disabled persons can cause unexpected predicaments for the passengers who do not have physical handicaps. Drawing on these findings, we concluded that the concept of universal design in public transportation environments must be introduced in Korea. This study suggests video observation as a useful methodology for collecting data in dynamic environments. Additionally, our study is expected to contribute to how the concept of universal design can be implemented, and stimulate issues for ergonomic research based on our behavior pattern analysis.