基于一阶谓词逻辑的结构设计规范表示方法

目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。

N_1-N_1结构模式逻辑-语义类型探究

N_1-N_1结构模式是俄语中十分积极的句式。运用简单句逻辑-语义类型分类方法分析N_1-N_1结构模式句,指出N_1-N_1结构模式句子的逻辑-语义类型,分析每个逻辑-语义类型结构、语义、指涉和交际。

英语逻辑性“主语—谓语”构造及理据分析

英语造句的根本特征是主谓构造,包括语法性和逻辑性"主谓结构"。逻辑性"主语—谓语"结构的逻辑主语采用中心词为主格形式的名词词组,逻辑谓语采用非限定动词词组或无动词词组,是一个具有独立性的意义表达单位。该结构既分布于大句,也分布于小句,既可以是从属结构,又可以独立存在。在一定语境下实现意义表达的简洁化是其主要语用理据。

对称离散事件系统状态树结构模型的控制函数不变性研究

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑。

马克·吐温巧用分词独立主格

本文简介英语分词独立主格,美国大作家马克·吐温巧用分词独立主格结构和一个翻译此结构的例子.

汉语连动句题元结构的形式语义分析

一个句子基本的逻辑语义信息是由逻辑谓词决定的,逻辑谓词是句子的焦点,一个单句通常只有一个焦点。而汉语连动句是由两个或两个以上谓词按照一定顺序组合而成的单句,句子中含有两个或两个以上的逻辑谓词,多个逻辑谓词和句子的句首名词之间虽然都是陈述与被陈述的语法关系,但是它们在逻辑上存在多种语义格关系,即存在多种题元结构形式。这使得句法结构关系和逻辑语义关系往往呈现出不对称关系,为我们的理解和使用带来一定的困扰,这对于汉语作为第二语言能力的人或者对于计算机识读和理解时,无疑更会产生许多困难和阻力。为了更加准确科学地解读和描写这种自然语言现象,我们可以根据范畴类型逻辑语法规则,对此进行形式化的计算和描写,即采用类型逻辑语法竖线算子方式进行进行具体的计算和推演处理,使其获得形式化的语义解读。考虑到集中性,我们暂且把讨论的范围限于以专名充当NP,两个VP连用的连动句,VP结构不作深入分析。