一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度，并利用真度给出一种改进了的相似度定义，进而导出全体公式集F(S)上的一种伪距离，最后讨论了相似度及伪距离的重要性质．     

建筑环境与能源应用工程制图及建筑识图课程的教学思考

结合建筑环境与能源应用工程专业的特点,对工程制图与建筑识图课程的教学内容、教学方法与手段、实训和教材建设等方面进行了教学改革思考。探讨了适合专业制图课程的学习特点和教学方法,注重传统教学与辅助教学的结合,不仅提高了学生的专业技能,也提高了学生的综合素质。     

基于拓扑优化的筏形基础传力途径仿真

文章主要介绍了通过拓扑优化对筏形基础的传力途径进行仿真分析的基本原理和所涉及的关键问题.结合大型有限元软件ANSYS,建立了筏板-地基土共同作用体系的全三维有限元模型.并在此基础上,采用变密度法建立拓扑优化模型,选取序列线性规划法对某高层建筑的筏形基础结构进行了仿真分析.仿真结果较为清楚地反映了筏板内部应力分布的宏观规律.表明,应用有限元法进行筏形基础结构拓扑优化设计是一种有效的优化方法,可为高层建筑筏形基础设计提供重要的概念化设计参考.