yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

A Structured Prediction Approach for Statistical Machine Translation

We propose a new formally syntax-based method for statistical machine translation. Transductions between parsing trees are transformed into a problem of sequence tagging, which is then tackled by a search- based structured prediction method. This allows us to automatically acquire transla- tion knowledge from a parallel corpus without the need of complex linguistic parsing. This method can achieve compa- rable results with phrase-based method (like Pharaoh), however, only about ten percent number of translation table is used. Experiments show that the structured pre- diction approach for SMT is promising for its strong ability at combining words.

Analytical method of predicating the instabilities of a micro arch-shaped beam under electrostatic loading

An arch-shaped beam with different configurations under electrostatic loading experiences either the direct pull-in instability or the snap-through first and then the pull-in instability. When the pull-in instability occurs, the system collides with the electrode and adheres to it, which usually causes the system failure. When the snap-through instability occurs, the system experiences a discontinuous displacement to flip over without colliding with the electrode. The snap-through instability is an ideal actuation mechanism because of the following reasons: (1) after snap-through the system regains the stability and capability of withstanding further loading; (2) the system flips back when the loading is reduced, i.e. the system can be used repetitively; and (3) when approaching snap-through instability the system effective stiffness reduces toward zero, which leads to a fast flipping-over response. To differentiate these two types of instability responses for an arch-shaped beam is vital for the actuator design. For an arch-shaped beam under electrostatic loading, the nonlinear terms of the mid-plane stretching and the electrostatic loading make the analytical solution extremely difficult if not impossible and the related numerical solution is rather complex. Using the one mode expansion approximation and the truncation of the higher-order terms of the Taylor series, we present an analytical solution here. However, the one mode approximation and the truncation error of the Taylor series can cause serious error in the solution. Therefore, an error-compensating mechanism is also proposed. The analytical results are compared with both the experimental data and the numerical multi-mode analysis. The analytical method presented here offers a simple yet efficient solution approach by retaining good accuracy to analyze the instability of an arch-shaped beam under electrostatic loading.

一个用于机器人自然语言理解的英语句法分析系统

在低挡微机中速度较慢的串行处理硬设备条件下，利用本文提出的启发式概念，分层搜索和匹配策略以及设置最大搜索长度等方法，可使推理速度提高一个数量级以上．此外，通过引入语义信息，分阶段消除歧义，自顶向下与自底向上相结合，以及把一般疑问句一律变成相应陈述句的方法，解决了自动英语句法分析中的一系列难题，缩小了知识库的规模。

运用神经网络完成汉字句子的格角色分配

According to PDP theory, the author tries to use ANN method in sentence understanding. In input layer, distributed knowledge representation and integrate syntactic, semantic information (of the word in Chinese sentence) and context information are used to complete the case role assignment of six types of Chinese sentence by parallel processing. The model is a four-layer forward network, consisting of input layer, two hidden layers, and output layer(case role layer). In addition, the neural network method and the traditional symbol processing method used in natural language understanding is compared and analyzed, and a conclusion could be made: the neural network should be used as a powerful tool in this area.

Dual Confocal Laser-Induced Fluorescence/Moveable Contactless Conductivity Detector For Capillary Electrophoresis Microchip

A new dual simultaneous detector was developed for capillary electrophoresis microchip. Confocal laser-induced fluorescence (LIF) and moveable contactless conductivity detection (MCCD) were combined together for the first time. The two detection systems shared a common detection cell and could respond simultaneously. They were mutually independent and advantageous in analyses of mixtures containing organic and inorganic ions. The confocal LIF had high sensitivity and the MCCD could move along the separation channel and detect in different positions of the channel. The detection conditions of the dual detector were optimized. Rhodamine B was used to evaluate the performance of the dual detector. The limit of detection of the confocal LIF was < 5 nM, and that of the MCCD was 0.1 mu M. The dual detector had highly sensitivity and could offer response easily, rapidly and simultaneously. 

Micromachining Of Passive Planar Micromixer On Poly (Methyl Methacrylate) Substrate With Excimer Laser Ablation

Excimer laser ablation technique was introduced into this work to fabricate a passive planar micromixer on the PMMA substrate. T-junction shaped and width-changed S-shaped microchannels were both designed in this micromixer to enhance mixing effect. The mixing experiment of distilled water and Rhodamine B with injection flow rate of 500 and 1,500 mu m/s validates the mixing effectivity of this micromixer, and indicates the feasibility of excimer laser ablation in the microfabrication of mu-TAS device.

一个数控自动编程系统的自然语言接口

本文简要介绍了一个数控自动编程专家系统的自然语言接口的实现.该自然语言接口是以我们研制的数控自动编程专家系统为背景,运行在 SUN3/4 工作站的 UNIX 下和 IBM/AT 机的 DOS 下,用 C语言编程.该自然语言接口由词法分析、句法分析、语义语用分析、目标生成和图形仿真五个模块及相应的知识库构成.该接口能够接受数控编程系统所需的对工件的英语自然语言描述并处理一些比较简单的英语语言现象.

隔区损毁对大鼠空间认知能力的影响及其在Morris迷宫中搜索策略的比较

Separate groups of rats with bilateral or unilateral lesions in septum were tested for acquisition and retention of the Morris water maze spatial cognitive task. Some of the animals in each lesion group received preoperative training in the task. Other animals in each group received no preoperative training. The results indicate that although both lesions lead to a spatial cognitive impairment in both the acquisition and retention of the task, the animals with bilateral lesions were more severely impaired than were the animals with unilateral, as indicated by quantitative measure. Searching strategies were used as an index to eximine the qualitative difference in the animals swim be havior, we found that the unilateral damaged animals still tend to use "mapping" strategies to solve the task as in the case of control groups but the accuracy is lower. The searching strategies used by the bilateral damaged animals showed complex patterns. The acquisition group with bilateral tend to use random and paratic strategies, however, the retention group with bilateral had a tendacy to use paratic and taxic strategies. The difference between searching strategies and its dynamic, change possibly suggest that other cognitive processing systems play an role in the processing of information about the task.