facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

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

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

汉语韵律短语切分及语调降阶和下倾研究

Firstly, prosodic boundaries of 1991 common sentences were labeled based on speech perception experiment, relation between prosodic structure and syntactic structure was examined after immediate constituent analysis, an example of prosodic phrasing from text sentences was provided using CART. Then, using designed sentences, phenomena of downstep and declination in pitch downtrend of Chinese declarative sentences were examined, commonness and speciality of Chinese intonation were discussed. The main results of the study are: 1 The distribution patterns of prosodic phrase boundaries for different syntactic structures are different, and there is great freedom in prosodic chunking. The relation between syntactic structure and prosodic structure can only be discussed in statistical sense. 2 Besides of syntactic relation, the second most important factor which influences prosodic phrase boundaries is length. The distances to the front boundary and the back boundary are more important than the lengths of the left syntactic contituent and the right one. In our corpus, the length distributions of prosodic phrases are 5±3 syllables. 3 Automatic downstep can lower intonation linearly, but is affected by stress easily. Non-automatic downstep lowers the higher part of pitch contours and has no effect on the lower one of the intonation. 4 The downtrend reason of low point is declination. The extent of declination relates to not only tones of low points, but also their positions in prosodic words, the baselines decline much faster when low point are in the initial position of a prosodic word. In long sentences, the baselines of prosodic phrases are the basic declination units, and the whole declination pattern of a sentence is related to syntactic relations between two neighboring prosodic phrases.

多重强式焦点共现句中的焦点强弱及其语音感知差异

The core issue of the current study is on the strength difference of strong foci led by different syntactic devices (focus marker、focus operator、exclusive quantifier)and their acoustic perceptual different in “sentence with multiple strong foci”. The research methods adopted were text labeling and acoustic perceptual experiment. The acoustic parameters of the two speakers in the experiment were analyzed and discussed. The main results of the current study are as follows: Utilizing “sentence with multiple strong foci” as research material, text labeling and acoustic perceptual experiment as research method, the present study performed pairwise comparison of the focus led by focus marker and its corresponding syntactic structure, exclusive quantifier and focus sensitive operator. The results reveal that: in the text labeling experiment and acoustic perceptual experiment, the focus led by focus marker and its corresponding syntactic structure are higher in strength than that led by exclusive quantifier, which in turn leads to more intensive focus strength than focus sensitive operator; in the text labeling experiment, experimental results reveal that foci led by focus marker and its corresponding syntactic structure are higher in strength than that led by the focus sensitive operator. The main conclusions of the current study are as follows: 1 The experimental result supports the assumption to separate the “exclusive quantifier” from the traditional “focus sensitive operator” and treat it as an independent syntactic device leading focus. 2 Paired-Samples T-Text demonstrated that the foci led by the three different syntactic devices differed in the aspect of strengths 3 Syntactic device plays a fundamental role in the determination of focus strength while phonetic device facilitates the determination of focus identification.

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

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.

语句句法成分边界和韵律特征知觉

The research investigates the acoustic-phonetic correlates of various levels of syntactic boundaries and the perception of prosody in Mandarin Chinese, more specifically, the way speakers express the syntatic relations between sentence compounents and teh perceptual representations of prosody. The relation between phonology and syntax in Chinese language is studied by comparing the perceptual representations and syntactic structures of sentences. The results may have theoretical and practical implications for research in fields of speech perception, linguistics and psycholinguistics, and for the development of speech engineering in China.