基于解释结构模型的智慧城市建筑信息模型运维管理应用影响因素分析

现今智慧城市大力推广的情景下,相比传统的建造和运维手段,建筑信息模型（BIM）技术更适合作为建筑项目全过程智慧化管理的重要基础,解决项目管理建设中容易出现的管理不当、信息紊乱、难以发挥信息资源合理利用等问题。本文通过相关文献研究和查询相关报告,提取出10个影响因素,基于此采用解释结构模型技术（Interpretative Structural Modeling,ISM）搭建智慧城市背景下BIM运维管理应用影响因素的结构模型,根据结构模型对影响因素进行解释和分析,得出各影响因素之间的联系。该研究对BIM应用提供了理论依据,支持多方BIM相关人员针对不同使用情况来做出及时和明智的决策。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

关于盖根堡多项式的一些恒等式

利用初等方法得到了关于盖根堡多项式的一些恒等式,在此基础上得到了关于勒让德多项式及契贝谢夫多项式的一组非常有趣的恒等式     

广义的Malfatti型不等式

不等式M(1,x)+[M(2,x)]1 2M(1,x)·M(-1,x) n+n1 2n2是所谓的广义Malfatti型不等式.在较弱的条件下把它推广为更一般的形式.例如:a[M(λ,x)]1 λ+b[M(μ,x)]1 μM(λ,x)·M(μ,x)·M(1-λ-μ,x) an1 λ+bn1 μn3,这里M(β,x):=∑ni=1xβi,xi>0,β>1;a,b是两个正常数.所得结果包含最近的相关不等式,且建立不等式的方法是初等的,因仅仅利用了基本不等式.     

Windows环境下蒙古文复杂文本处理的研究

简要介绍了复杂文本和Uniscribe布局引擎,然后介绍一种基于Uniscribe的蒙古文Unicode文本的解释算法,解决Windows环境下字处理软件不支持蒙古文国际标准编码的问题.该算法具有较好的通用性,能够有效处理多种复杂文本语言,在蒙古文字处理软件MWord中的应用说明了该算法的有效性.     

利用仿射不变量与不变性质求解初等几何问题

运用克莱因的变换群的观点阐述了仿射变换的基本不变量及不变性质,探索利用仿射变换下的不变量及不变性质求解相关初等几何问题。     

中国黄海沿岸地区工业废水排放及其统计解释

分析了黄海沿岸地区环境污染的时间变动,指出近10年来工业废水排放已经呈现下降趋势,环境与经济发展基本相互协调,统计分析证明：该地区环境污染程度与经济发展呈现典型的正相关关系,符合工业化中期的典型特征：人均GDP、水资源的消费强度、人口增长均对工业废水的排放起到了促进作用。     

企业总产值的组合预测方法与应用

为了选择灰色预测系统的最佳解释变量,并使其代表原始数据的绝大部分信息,将主成份分析方法与灰色系统理论进行有机地结合,形成一种组合预测方法。主成份的作用就在于对原始数据寻求基本结构、简化观测系统,并用一个有代表性的变量子集来解释整个问题,使GM(1,h)模型反映出影响某个经济现象的关键因素,更加有效地揭示了系统的发展趋势和动态变化规律,该方法具有很强的可靠性和实用性。     

基于结构解释模式的服役混凝土结构损伤识别

混凝土损伤的影响因素较多,采用结构解释模式(interpretative structural model,ISM)的系统分析方法进行服役混凝土结构损伤识别研究,科学判定既有混凝土结构的损伤程度及基本影响因素。根据引起混凝土损伤的因素,确定各因素间的二元关系,并以此为基础,由要素间的关系传递性,建立基于结构解释模式(ISM)的混凝土结构损伤识别的构思模型,并提取骨架矩阵,形成递阶结构模型,经过比较反馈、修正学习,分析给出混凝土结构损伤识别的基本影响因素。研究结果表明:结构损伤多因素的二元关系是进行损伤识别的基础,综合考虑系统中引起损伤的各因素之间的关系,利用图论中关联矩阵原理分析混凝土结构损伤,给出的结构损伤影响因素更为直接有效;由损伤识别模型归结出的基本影响因素与现行结构检测规范的基本项目基本一致。     

皮尔斯的解释项理论与外语教学

皮尔斯符号学是一种实用哲学,他把符号阐释为代表、对象和解释项三位一体的关系,其中解释项是非常重要的因素,由直接、间接和最终解释项三部分组成。解释项是符号的意义关系,允许把一个符号翻译成另一个符合系统,可以通过解释项来表达语言的意义,因此,解释项理论对外语教学中的语法教学、学生认知能力的培育、情感习惯以及教师的选择等方面都具有重要的指导意义。