有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构 ,它有多种定义方式 ,其中以 S.Kraus,D.Lehmann及 M.Magidor提出的 KLM占先结构最为著名。但是对 KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下 ,对一般 KLM占先模型的赋值结构性质进行了研究 ,给出了占先模型与其赋值结构逻辑等价的充分必要条件 ,证明了有限语言框架下 ,逻辑等价的单射模型在同构意义下的唯一性。这些结果说明 ,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。

面向对外汉语教学和教材编写的词汇义位赋值因素研究

影响汉语词汇义位的因素有很多,从词汇本体的角度来讲有构词语素的义值的影响,同时,构词语素的结构本身又赋予词汇义位一定的价值。在语用中,语境对词汇义值也有触发作用,语用意义使词汇义位的丰度得到了加强。我们在对外汉语教学和教材编写中加强对词汇义位赋值因素的研究,就可以有针对性地提高教学和教材编写的效率。

基于程序开发的桥梁工程BIM正向设计研究

在工程的设计阶段,BIM技术只是起到辅助作用。利用BIM技术进行正向设计是BIM的发展瓶颈。本文选取实际的桥梁工程项目,以专业设计流程为核心,对桥梁工程BIM正向设计展开研究。依托BIM软件平台CATIA,围绕设计过程中的线形创建、构件定位、结构选型与参数赋值等进行分析研究,开发相关程序,实现了BIM软件平台与设计流程的结合,深化了BIM技术在桥梁工程设计阶段的应用。