BTCS:基于二叉遍历的XML文档编码模式

XML文档数据的编码模式与索引技术决定了基于纯XML数据库的XML查询效率,在正则路径表达式实现方面有重要意义.基于树遍历的XML文档编码在更新与结构关系判断方面存在不足.为了解决此类问题,作者作了如下工作:(1)提出一种新的基于二叉树遍历的XML文档编码模式BTCS(Binary Traveling Coding Scheme);(2)实现了BTCS编码算法,支持XML文档更新,提高了编码更新效率;(3)在常数复杂度的时间内快速准确判断XML文档结构树中任意两个结点之间的父子以及祖孙关系,并能计算它们的辈数差(Distance of Genera-tions);(4)通过详细实验证明了BTCS编码模式的良好性能.     

数学的形态与教师的任务

数学有3种形态:原始形态、学术形态、教育形态.教师的主要任务在于把学术形态的数学转化成教育形态呈现给学生,给予学生一个“平易近人”的数学.要做好这一点,使数学生活化、立体化、简单化、结构化、美化是较为有效的做法.     

CFRP加固钢筋混凝土简支梁桥的设计计算

由于碳纤维受力过程中特有的线弹性性质，粘贴加固计算时需判断加固截面的应变状态。结合某钢筋混凝土简支T形桥梁粘贴碳纤维片加固设计，应用碳纤维片加固受弯构件正截面强度计算公式，介绍了该公式在加固设计及强度复核中的应用方法及注意事项。加固前后的荷载试验结果表明，粘贴碳纤维片可大大提高主梁的抗弯刚度，增加主梁的承载潜力，有效抑制了混凝土的开裂。     

高职高专数学分层教学探究

根据数学课程标准提出的新的教育理念和高等职业教育的实际状况，高职高专院校的数学教学应进行分层教学，以求让不同的学生在数学学习中有不同的发展，真正体现因材施教。     

超越传统的数学学习观

传统的学习心理学一直把对学习结果的掌握等同于实际的学习过程.就其本质而言,是把学习活动的研究简单化为对学习结果的研究.从哲学解释学角度看,数学学习过程本质上是数学理解的发生过程,数学学习的结果是一种具有暂时性的"个体性知识",而"个体性知识"的"客观性"保证在于对这些知识的理解的不断循环和反思;同时数学学习也是意义生成的过程,不同的人看到的是事物的不同方面,不存在唯一的标准的理解,任何一个前理解都是理解的基础.     

海底管线用钢焊接接头的安全评定及寿命预测

焊接接头是海底油气输送管道焊接结构中的薄弱环节，作者在给定裂纹尺寸和载荷条件下，根据裂纹尖端张开位移CTOD试验结果，采用欧共体提出的结构完整性评定方法SINTAP，对API5LX65管线钢焊接接头焊趾处的表面裂纹进行评定，根据拉伸试验结果，给出了X65管线钢焊接接头焊缝和母材的一级与三级评定曲线，结果表明，不论采用一级还是三级评定，各评定点均在评定曲线定义的范围内，说明该结构是安全的，根据评定结果对结构进行疲劳寿命估算具有工程实际意义和经济价值。     

双层弹性支承梁的有限元分析

用有限单元法分析了双层弹性支承梁的静力响应.双层弹性支承梁结构由二种平行的梁(上层梁和下层梁)、上层梁和下层梁之间的离散弹簧和下层梁下部的Winkler基础组成.上层长梁、下层短梁、离散弹簧、Winkler基础和作用在上层梁上的荷载视为一个系统,并将该系统进行有限单元离散,梁单元的弯曲形函数采用Hermitian 3次方插值函数,利用变分原理及形成矩阵的"对号入座"法则建立该系统有限单元形式的平衡方程.阐明了单元刚度矩阵以及在上层梁单元作用竖向集中荷载或分布荷载下单元节点荷载列阵的形成.举例说明了该方法的应用,为类似结构的力学分析提供了一种数值方法.图5,参13.     

塔里木盆地库车褶皱冲断带的构造特征与油气聚集

根据地面地质调查和地震剖面解释 ,认为库车褶皱冲断带具有分带组合的构造特点 ,即由南侧的滑脱褶皱和北侧的断展褶皱相互匹配 ,实例有喀桑托开背斜与吉迪克背斜、吐孜麻扎背斜与大宛齐背斜、亚克里克背斜与米斯坎塔格背斜以及东秋里塔格背斜与亚肯背斜等 .除了南北分带、上下分层和东西分段特征外 ,库车褶皱冲断带还具有构造分块特点 ,自西向东依次可分却勒、克拉、迪那和阳霞 4大区块 .库车褶皱冲断带的油气聚集主要与侧断坡相关背斜有关     

顺层边坡岩体结构稳定性位移判据的研究

针对顺层岩质边坡．概括出实际边坡工程中常见的几种破坏形式，以其地质背景及力学作用机制为依据，抽象出了不同约束条件下岩梁结构简化分析模型。利用梁板屈曲理论，讨论了岩梁变形的前屈曲状态和后屈曲状态的分叉特性，建立了岩层结构发生灾变的判据。利用文中理论方法及所建立的位移判据，并结合工程现场有效的量测手段，可方便、有效的判定岩质顺层边坡的稳定性。     

论科学的数学化精神

科学的数学化不但可以促进科学的发展 ,而且还是这门科学成为独立领域的标志 ;科学数学化是指建立数学设计出的理论模型与科学事实之间的同构关系 .把一般理论的处理方法看作是表征数学化本质的最重要方面 ,数学化的模式在建立科学理论的过程中比直接实际体验的经验方式或感性直观的方式起着更大的作用 ,现代数学教育应该通过“数学化”的途径进行教学 ,以使学生获得富有生命力的数学知识