Practical Criterion for Universal Laws and Practical Methods for Construction of Co-variance Sets

给出相对论力学中普遍定律的实用判别法和协变集的实用构造法,还给出实现非普遍定律的“可导出性”的一种实用方法．

A practical package technique for FBG-based temperature independent sensor

A practical package technique for temperature independent Fiber Bragg grating sensor is proposed. A uniform strength cantilever with two FBG attached on the upper and lower surfaces was utilized as the key element. By detecting two wavelengths differential output, the applied force can be obtained and temperature effects can be eliminated. Experiment results show the sensor has linear response and output signal uctuates less than 12pm as temperature changes from -10 degrees C to 50 degrees C. The maximum thermal error is less than 0.3% of the full measurement range.

Practical Evaluation of Security against Generalized Interpolation Attack

Interpolation attack was presented by Jakobsen and Knudsen at FSE'97. Interpolation attack is effective against ciphers that have a certain algebraic structure like the PURE cipher which is a prototype cipher, but it is difficult to apply the attack to real-world ciphers. This difficulty is due to the difficulty of deriving a low degree polynomial relation between ciphertexts and plaintexts. In other words, it is difficult to evaluate the security against interpolation attack. This paper generalizes the interpolation attack. The generalization makes easier to evaluate the security against interpolation attack. We call the generalized interpolation attack linear sum attack. We present an algorithm that evaluates the security of byte-oriented ciphers against linear sum attack. Moreover, we show the relationship between linear sum attack and higher order differential attack. In addition, we show the security of CRYPTON, E2, and RIJNDAEL against linear sum attack using the algorithm.

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.

Concise synthesis of novel practical sulfamide-amine alcohols for the enantioselective addition of diethylzinc to aldehydes

Novel sulfamide-amine alcohol ligands were designed using a grafting strategy and synthesized from readily available starting materials via a simple, efficient method. The key features of these ligands for the asymmetric addition of diethylzinc to aldehydes included stability, enhanced effectiveness without using Ti((OPr)-Pr-i)(4), suitability for a variety of aldehydes, the ability to operate at room temperature, and selectability to afford either absolute configuration products with enantiomeric excess up to >99%.

A Facile and Practical One-Pot Synthesis of beta-Oxo Thioamides from beta-Oxo Amides and Isothiocyanates

A facile and practical one-pot synthesis of beta-oxo thioamides from beta-oxo amides has been developed. By treatment with isothiocyanates in ethanol in the presence of potassium carbonate, a series of beta-oxo amides was converted, under reflux, in high yields into the corresponding beta-oxo thioamides.

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.

A practical approach to the degradation of polychlorinated biphenyls in transformer oil

A practical and efficient disposal method for hydrodechlormation of polychlorinated biphenyls (PCBs) in transformer oil is reported. Transformer oil containing PCBs was treated by nanometric sodium hydride (nano-NaH) and transition metal catalysts. High destruction and removal efficiency (89.8%) can be attained by nano-NaH alone under mild conditions. The process exhibits apparent characteristics of a first order reaction. The reductive ability of nano-NaH was enhanced by the addition of transition metal catalysts. In the presence of TiCl4, 99.9% PCBs was hydrodechlorinated. The complex reducing reagents, Ni(OAc)(2) + i-PrONa, show extra hydrodechlorinating activity for di-chlorinated biphenyls. (c) 2004 Elsevier Ltd. All rights reserved.