The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages

Seki et al. (Theor. Comput. Sci. 88(2):191–229, 1991) showed that every m-multiple context-free language L is weakly 2m-iterative in the sense that either L is finite or L contains a subset of the form \(\{ u_{0} w_{1}^{i} u_{1} \cdots w_{2m}^{i} u_{2m} \mid i \in \mathbb {N}\}\) , where w ₁?w _2n ≠ε. Whether every m-multiple context-free language L is 2m-iterative, that is to say, whether all but finitely many elements z of L can be written as z=u ₀ w ₁ u ₁?w _2m u _2m with w ₁?w _2m ≠ε and \(\{ u_{0} w_{1}^{i} u_{1} \cdots w_{2m}^{i} u_{2m} \mid i \in \mathbb {N}\} \subseteq L\) , has been open. We show that there is a 3-multiple context-free language that is not k-iterative for any k.     

Balanced corpus of contemporary written Japanese

The balanced corpus of contemporary written Japanese (BCCWJ) is Japan’s first 100 million words balanced corpus. It consists of three subcorpora (publication subcorpus, library subcorpus, and special-purpose subcorpus) and covers a wide range of text registers including books in general, magazines, newspapers, governmental white papers, best-selling books, an internet bulletin-board, a blog, school textbooks, minutes of the national diet, publicity newsletters of local governments, laws, and poetry verses. A random sampling technique is utilized whenever possible in order to maximize the representativeness of the corpus. The corpus is annotated in terms of dual POS analysis, document structure, and bibliographical information. The BCCWJ is currently accessible in three different ways including Chunagon a web-based interface to the dual POS analysis data. Lastly, results of some pilot evaluation of the corpus with respect to the textual diversity are reported. The analyses include POS distribution, word-class distribution, entropy of orthography, sentence length, and variation of the adjective predicate. High textual diversity is observed in all these analyses.     

Lysozyme requires fluctuation of the active site for the manifestation of activity

Mutations around His15 which lie far away from the active site,stimulated glycol chitin activity of lysozyme at physiologicaltemperature. Del-Argl4Hisl5 lysozyme, a mutant lysozyme whoseArgl4 and Hisl5 were deleted together, and has the highest activityamong these mutant lysozymes, had a similar binding abilityto a trimer of N-acetyl-glucosamine, a substrate analogue, relativeto native lysozyme. This suggests that the increased activitywas due to an increased k_cat in the catalysis reaction. TheH-D exchange rate of the N-1 proton in the Trp63 which is locatedin the active site cleft, was enhanced in the Del-Argl4Hisl5lysozyme, while 2-D proton NMR analysis revealed no conformationalchange around Trp63. We conclude that some sort of fluctuationat the active site might be required for the manifestation ofactivity. This theory is supported by the finding that the Del-Argl4Hisl5lysozyme showed a shift in temperature dependency of activityto lower temperatures compared with that of native lysozyme.     

Electroless copper plating using Fe as a reducing agent

Although the electroless plating method is known to be an effective method for obtaining fine wiring in particular, 1 mol hydrogen gas is generated during 1 mol Cu deposition, and voids are generated in the wiring when electroless Cu plating is applied to fine wiring. To avoid the hydrogen evolution, the possibility of performing electroless Cu plating was confirmed using an inexpensive Fe^II compound as a reducing agent. The bath contains CuSO₄, FeSO₄, NaCl, ethylenediamine, sodium citrate, polyethylene glycol (PEG), and 2,2′-bipyridine. Under optimal conditions, over 1.7 μm of copper deposit with a smooth surface was obtained after 3 h of plating, which did not contain iron as an impurity. The electrical resistivity of the copper film is about 3-4 μΩ cm corresponding to that of electroplated copper films.     

Pervaporation via silicon-based membranes: Correlation and prediction of performance in pervaporation and gas permeation

Pervaporation (PV) is a membrane technology that holds great promise for industrial applications. To better understand the PV mechanism, PV dehydrations of various types of organic solvents (methanol, ethanol, iso-propanol, tert-butanol, and acetone) were performed on five types of organosilica and two types of silicon carbide-based membranes, all with different pore sizes. Water permeance was dependent on the types of organic aqueous solutions, which suggested that organic solvents penetrated the pores and hindered the permeation of water. In addition, water permeance of various types of membranes in PV was well correlated with hydrogen permeance in single-gas permeation. Furthermore, a clear correlation was obtained between the permeance ratio in PV and that in single-gas permeation, which was confirmed via the modified-gas translation model. These correlations make it possible to use single-gas permeation properties to predict PV performance.     

Fabrication of large area diffraction grating using LIGA process

X-ray imaging is a very important technology in the fields of medical, biological, inspection, material science, etc. However, it is not enough to get the clear X-ray imaging with low absorbance. We have produced a diffraction gratings for obtaining high resolution X-ray phase imaging, such as X-ray Talbot interferometer. In this X-ray Talbot interferometer, diffraction gratings were required to have a fine, high accuracy, high aspect ratio structure. Then, we succeeded to fabricate a high aspect ratio diffraction grating with a pitch of 8 μm and small area using a deep X-ray lithography technique. We discuss that the diffraction gratings having a narrow pitch and an large effective area to obtain imaging size of practical use in medical application. If the pitch of diffraction gratings were narrow, it is expected high resolution imaging for X-ray Talbot interferometer. We succeeded and fabricated the diffraction grating with pitch of 5.3 μm, Au height of 28 μm and an effective area of 60 × 60 mm².     

An optimum design of robotic food handling by using Burger model

This paper discusses an optimum design approach on robotic food handling by considering the characteristics of viscoelasticity of object. We pick up a traditional Japanese food, “Norimaki” as a typical example with the viscoelastic characteristics. We first show that the dynamic characteristics of Norimaki can be expressed by utilizing the Burger model. After testing the parameter sensitivity, we show an example of the optimum design for determining the combination of the hand stiffness and the operating velocity. We further show that the resultant plastic deformation can be formulated with the exact solution.     

An accurate adaptive NURBS curve interpolator with real-time flexible acceleration/deceleration control

Parametric interpolation has been widely used in CNC machining because of its advantages over the traditional linear or circular interpolation. Many researchers focused on this field and have made great progress in the specific one, NURBS curve interpolation. These works greatly improved the CNC machining with constant feedrate, confined chord error and limited acceleration/deceleration. However, during CNC machining process, mechanical shocks to machine tool caused by the undesired acceleration/deceleration profile will dramatically deteriorate the surface accuracy and quality of the machined parts. This is, in most occasions, very harmful to machine tools. In this paper, an accurate adaptive NURBS curve interpolator is proposed with consideration of acceleration–deceleration control. The proposed design effectively reduces the machining shocks by constraining the machine tool jerk dynamically. Meanwhile, the constant feedrate is maintained during most time of machining process, and thus high accuracy is achieved while the feedrate profile is greatly smoothed. In order to deal with the sudden change of the acceleration/deceleration around the corner with large curvature, a real-time flexible acceleration/deceleration control scheme is introduced to adjust the feedrate correspondingly. Case study has been taken to verify the feasibility and advantages of the proposed design.     

Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and tree languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars.