排序方式: 共有8条查询结果,搜索用时 46 毫秒
1
1.
2.
3.
4.
Fred P. Popowich 《Computational Intelligence》1986,2(1):28-53
Since Colmerauer's introduction of metamorphosis grammars (MGs), with their associated type-O-like grammar rules, there has been a desire to allow more general rule formats in logic grammars. Gap symbols were added to the MG rule by Pereira, resulting in extraposition grammars (XGs). Gaps, which are referenced by gap symbols, are sequences of zero or more unspecified symbols which may be present anywhere in a sentence or in a sentential form. However, XGs imposed restrictions on the position of gap symbols and on the contents of gaps. With the introduction of gapping grammars (GGs) by Dahl, these restrictions were removed but the rule was still required to possess a nonterminal symbol as the first symbol on the left-hand side. This restriction is removed with the introduction of unrestricted gapping grammars. FIGG, a flexible implementation of gapping grammars, possesses a bottom-up parser which can process a large subset of unrestricted gapping grammars. It can be used to examine the usefulness of unrestricted GGs for describing phenomena of natural languages such as free word order and partially free word/constituent order. Unrestricted gapping grammars, as implemented in FIGG, can also be used to describe grammars (or metagrammars) that utilize the gap concept, such as Gazdar's generalized phrase structure grammars. 相似文献
5.
当雨水侵入脱空的水泥混凝土路面形成积水时,积水与基层材料中的细料形成泥浆,周而复始,恶性循环,最终导致接缝边缘破碎,板边、板中断裂等。在水泥混凝土道路改建为"白加黑"中,脱空板块注浆是维修处理的一道关键工序。介绍了判断板底脱空主要办法是测定弯沉值。凡主点弯沉值>0.2mm且差异弯沉值>0.06mm的板块,表明脱空已较严重。又介绍了注浆工艺、灌注孔布设、灌注浆液调制以及灌注操作。实践验证,注浆后主点弯沉值≤0.2mm的板块多于93%,效果显著。 相似文献
6.
通过对实测钻孔灌注桩低应变波形进行分析解剖,说明钻孔灌注桩自身的一些波形特点,由于钻孔灌注桩本身极不"规则",既有扩、也有缩,要根据测试波形仔细分析其扩、缩性。尤其对于缩径现象,要弄清楚缩是绝对的缩还是先扩后缩,必要时辅以其他手段如开挖、抽芯等进一步检测、验证,如条件许可还可以根据情况做静载试验,从而在钻孔灌注桩桩身完整性检测中做到既不漏判,也不误判。 相似文献
7.
张义福 《河南机电高等专科学校学报》2002,10(3):25-25,96
在薄板成形工艺中,冲压成形有其独特的专业优势,由于冲压模具较为复杂,且投资较大,对于那些成形难度较大,批量小,品种多的钣金件,使用效果较好。该工艺方法给类似产品的加工开辟了一种新的工艺思路。 相似文献
8.
Patrick Saint-Dizier 《Computational Intelligence》1986,2(1):1-8
In this paper, we introduce and initiate a formalism to represent syntactic and semantic features in logic-based grammars. We also introduce technical devices to express feature-checking and feature-inheritance mechanisms. This leads us to propose some extensions to the basic unification mechanism of PROLOG. Finally, we consider the problem of long-distance dependency relations between constituents in gapping grammars rules from the point of view of morphosyntactic features that may change depending on the position occupied by the moved constituents. What we propose is not a new linguistic theory about features, but rather a formalism and a set of tools that we think will be useful to grammar writers to describe features and their relations in grammar rules. 相似文献
1