practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

Analysis of the practical force accuracy of electromagnet-based nanoindenters

Two important factors that influence the force accuracy of the electromagnet-based nano-indenters but have not yet attracted much attention are analyzed, and a more reasonable way to estimate the force accuracy is presented in this paper. MTS Nano Indenter (R), with the characteristics of a coil suspended in a uniform magnetic field by two sets of springs acting as an actuator and force measuring unit, is used as an example. One of the two factors is the uniformity of the magnetic field. The other is the stiffness of the supporting spring. Consequently, the practical force accuracy varies considerably from test to test because it firmly depends on the working position of the coil and the displacement stroke. A reasonable estimated accuracy value is of the order of 10 degrees mu N for typical indentation tests with a 10(2) nm indentation depth or a 10 degrees mN test force. (C) 2010 Elsevier Ltd. All rights reserved.

Cryopreservation of flounder (Paralichthys olivaceus) sperm with a practical methodology

A simple and convenient protocol for the cryopreservation of the flounder (Paralichthys olivaceus) sperm was established for "on the spot" cryopreservation of large quantities of semen. The use of three cryoprotectants, dimethyl sulphoxide (DMSO), glycerol (Gly) and methanol was tested in the method. The percentage of motile sperm present in semen after it had been frozen and thawed in the presence of DMSO, Gly or methanol was 60.5 +/- 3.6, 79.17 +/- 4.5 and 13.25 +/- 4.7%, respectively. The fertilization rates of this sperm were 67.06 +/- 15.1, 76.20 +/- 10.0 and 44.93 +/- 22.6%, while the hatching rates of eggs fertilized with this sperm were 37.40 +/- 8.3, 48.18 +/- 25.7 and 23.35 +/- 10.8%, respectively. It was found that Gly and DMSO were better cryoprotectants than methanol, with Gly giving the best overall results. Under scanning electron microscopy, it could be seen that while the majority of the frozen-thawed sperm remained morphologically normal, some exhibited lost or dilated mitochondria, swollen mid-pieces, broken tails, or damaged cell membrane, which probably caused the decrease in motility and fertility of the frozen-thawed sperm. (C) 2003 Elsevier Science Inc. All rights reserved.