Algorithm for the extraction of page-formatted binary digital data

We present an algorithm for fast and reliable extraction of page-formatted binary digital data. The advantages of the algorithm include a low raw bit-error rate, fast extraction speed, the use of a simple and density-efficient coding scheme, and large tolerance to a change of the signal-to-noise ratio. We used this algorithm to analyze shot-noise-limited binary data that had large interpage and intrapage intensity variations and obtained an improvement in the bit-error rate of 3-4 orders of magnitude compared with that in a single-threshold-detection scheme. Implications of our results for the development of high-speed, high-density holographic memories are discussed.     

An efficient microfluidic sorter: implementation of double meandering micro striplines for magnetic particles switching

The ability to trap, manipulate, and separate magnetic beads has become one of the key requirements in realizing an integrated magnetic lab-on-chip biosensing system. In this article, we present the design and fabrication of an integrated magneto-fluidic device for sorting magnetic particles with a sorting efficiency of up to 95%. The actuation and manipulation of magnetic beads are realized using microfabricated square meandering current-carrying micro striplines. The current is alternated between two neighboring micro striplines to switch the magnetic beads to either one of the two outlets. We performed a series of parametric study to investigate the effect of applied current, flow rate, and switching frequency on the sorting efficiency. Experimental results reveal that the sorting efficiency is proportional to the square of current applied to the stripline, and decreases with increasing buffer flow rate and switching frequency. Such phenomena agree well with our theoretical analysis and simulation result. The fastest switching rate, which is limited by the microchannel geometry and bead velocity, is 2 Hz.     

Solving the Matrix Differential Riccati Equation: A Lyapunov Equation Approach

In this technical note, we investigate a solution of the matrix differential Riccati equation that plays an important role in the linear quadratic optimal control problem. Unlike many methods in the literature, the approach that we propose employs the negative definite anti-stabilizing solution of the matrix algebraic Riccati equation and the solution of the matrix differential Lyapunov equation. An illustrative numerical example is provided to show the efficiency of our approach.      

A framework for linguistic logic programming

Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real‐world applications. Meanwhile, annotated logic programs (ALPs) and its fuzzy extension AFLPs have been developed as an extension of classical logic programs offering a powerful computational framework for handling uncertain and imprecise data within logic programs. This paper proposes annotated linguistic logic programs (ALLPs) that embed Lawry's label semantics into the ALP/AFLP syntax, providing a linguistic logic programming formalism for development of automated reasoning systems involving soft data as vague and imprecise concepts occurring frequently in natural language. The syntax of ALLPs is introduced, and their declarative semantics is studied. The ALLP SLD‐style proof procedure is then defined and proved to be sound and complete with respect to the declarative semantics of ALLPs. © 2010 Wiley Periodicals, Inc.     

Design and implementation of look-ahead linear jerk filter for a computerized numerical controlled machine

In this study, an open programmable logic controller (PLC) from Fuji electric prescribed in the Structured Text program was applied to develop a look-ahead linear jerk filter (LALJF) for a computerized numerically controlled (CNC) machine. To ensure the smooth and accurate motion of a tool with a linear change in jerk during real-time machining, the proposed filter was formed by combining a look-ahead algorithm with three modified moving average filters (3MMAF). The look-ahead algorithm performed a single look-ahead step-change in the speed of the speed curve. Based on a step-changing speed profile, given maximal acceleration/deceleration and maximum jerk, the speed curve was modified before it was passed through a linear jerk filter to reduce machining time. The speed commands filtered by the proposed filter stabilize machine table at the beginning and end of its motion, and at any point at which its speed exhibits a step-change. The theoretical and computational aspects of the LALJF are presented together with experimental results of its implementation on an X–Y table. The multiple-step-changing speed curve of a CNC machine and the speed curve of a high-speed measurement system were constructed in order to verify the feasibility and precision of the proposed method.     

Development of a sequential robust–tolerance design model for a destructive quality characteristic

Robust design (RD) and tolerance design (TD) have received much attention from researchers and practitioners for more than two decades, and a number of methodologies for modeling and optimizing the RD and TD processes have been studied. However, there is ample room for improvement. Because most existing research considers RD and TD as separate research fields, the primary objective of this paper is to develop a sequential robust–tolerance design method to jointly determine the best factor settings and the closed-form solutions for the optimal specification limits. We then apply the proposed method to a destructive quality characteristic. Finally, a case study and sensitivity analyses are performed for verification purposes, and further studies are discussed.     

A dispatching method for automated lifting vehicles in automated port container terminals

In automated container terminals, containers are transported from the marshalling yard to a ship and vice versa by automated vehicles. The automated vehicle type studied in this paper is an automated lifting vehicle (ALV) that is capable of lifting a container from the ground by itself. This study discusses how to dispatch ALVs by utilizing information about pickup and delivery locations and time in future delivery tasks. A mixed-integer programming model is provided for assigning optimal delivery tasks to ALVs. A procedure for converting buffer constraints into time window constraints and a heuristic algorithm for overcoming the excessive computational time required for solving the mathematical model are suggested. Numerical experiments are reported to compare the objective values and computational times by a heuristic algorithm with those by an optimizing method and to analyze the effects of dual cycle operation, number of ALVs, and buffer capacity on the performance of ALVs.     

A combined work optimization technology under resource constraints with an application to road repair

We propose an approach for solving the task prioritization problem in road surface repair under bounded resources; the idea is to use a combination of defect recognition and classification methods based on statistical analysis and machine learning (random forests) with original methods for solving infinite-dimensional optimization problems (optical-geometric analogy). We show the results of a computational experiment that indicate high performance of the developed algorithms, and the resulting solutions were evaluated highly by experts in road facilities management. Our results may encourage more efficient use of resources to improve the quality of motorways.     

A decision tree using ID3 algorithm for English semantic analysis

Natural language processing has been studied for many years, and it has been applied to many researches and commercial applications. A new model is proposed in this paper, and is used in the English document-level emotional classification. In this survey, we proposed a new model by using an ID3 algorithm of a decision tree to classify semantics (positive, negative, and neutral) for the English documents. The semantic classification of our model is based on many rules which are generated by applying the ID3 algorithm to 115,000 English sentences of our English training data set. We test our new model on the English testing data set including 25,000 English documents, and achieve 63.6% accuracy of sentiment classification results.