英语比较动词纵探

英语比较动词是用来表达级差这一逻辑意义的一类较特殊的动词。英语比较动词的数量虽不如形容词、副词比较级丰富，但仍是构成英语比较语义系统不可忽视的环节。本文系统探讨了英语比较动词的语义、语法与形态学特征，以及相关语义动词的比较级分类，并在对比分析的基础上推演出英语比较动词的不同类别，从而加强了对英语比较动词的了解和认识。     

屈折形态学视角下的日语动词谓语的声调变化

在日语声调研究领域中,从屈折形态学的角度揭示日语动词谓语的声调变化规律,是一个崭新的声调研究视角。基于此,通过屈折形态学的研究方法,主要探讨了日语动词谓语发生形态变化时所引发的声调核移位现象以及其主要特征。日语动词谓语发生屈折形态变化时,随着语素的增加,声调核的位置也发生复杂的变化。如果从屈折形态学的视角分析日语动词谓语的声调变化,就能进一步挖掘声调变化的内在规律。     

法语动词的配合

法语动词与主语的配合问题是一项很复杂的语法内容。着重研究了动词变位与主语的关系，主语对动词变化的各种影响，特别是各种各样的词类作主语时动词的变化。即一个主语的情况下，动词的配合，要看主语是单数还是复数．当作主语的集体名词后面有名词补语时，动词的配合，取决于两个名词的意义哪个为主；几个单数主语的情况下．动词的配合较复杂，要看几个单数主语是否意义相近、是否同时表示同一个单数的人或物。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

汉语动词框架库的自动构建技术研究

语义知识库是自然语言处理的基础性工程,但现阶段语义知识库的构建,大部分基于人工。针对动词语义信息在自然语言处理中的实际应用,提出了自动构建汉语动词框架库的方法。首先,本系统针对不同的格关系抽取不同的扩展特征,并提出了将格标作为特征,训练得到基于最大熵的格关系识别模型,从而有效的识别了文本中的动词格关系。其次,采取有效的基于现有词语相似度的算法,并加入了启发式信息,从语料库中自动获取动词对必需格关系的语义选择限制。实验结果表明,对动词格关系识别的准确率达到了90．70％,在语义限制阶段,对必需格角色的语义类识别的准确率达到了98．00％。     

致使动词对"动+名1+的+名2"歧义结构的影响

配价理论对汉语的句法结构组合具有一定的解释力,它可以从语法的角度来进行优选,消除句法结构歧义。带有致使意义的动词会对动词的配价数和句型归类产生影响,所以本文提出当“动 名1 的 名2”中的“动”为致使动词时,我们可以通过动词的配价数和句型归类实现对“动 名1 的 名2”歧义结构的消解。实验结果表明本文提出的方法是有效的。     

不完全信息数据库的逻辑基础研究

不完全信息问题存在于每一种数据库模型中。传统的二值逻辑难以适应不完全信息处理的需求,而多值逻辑能更多地捕获不完全信息的直觉含义。在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑。为满足实际应用的需要,本文选取了适用于不完全信息处理的一组联结词∧、∨、→、和μ作为构造逻辑系统的原始联结词。构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。M FM可作为研究不完全信息数据库理论的逻辑基础。     

INTELLIGENT RESOLUTION OF COOPERATIVE CONFLICT

Great attention has been paid to the researchof tactical plan for air combat( AC) all along byscholars from various countries[1,2 ] .The researchof multi- fighter AC ( MFAC) that has been madelays stress on the confrontation of both gamesides,butneglects the cooperation of internal vari-ous fighters of one game side.In multi- fighter co-operative AC( MFC- AC) ,the above neglect willcause enormous loss.This paper discusses thedeeper layer mechanism of MFCAC:there existconflicts among th…     

离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论.