平面应变条件下两类有限元边坡稳定分析方法比较研究

对有限元边坡稳定分析方法中滑面应力分析法和强度折减法的安全系数定义进行了探讨,指出这两类方法的安全系数定义都是从强度折减的概念出发,与极限平衡方法中的安全系数定义概念上是一致的.在算例对比分析中,基于非关联流动法则,采用与经典摩尔-库仑准则相匹配的等效D-P准则,在平面应变条件下,对天然边坡(均质边坡、有下卧软弱层、有软弱夹层带)的稳定性进行了对比研究,并同传统极限平衡方法进行了比较.研究表明,两类有限元方法得到的安全系数大小以及相应滑动面形状和位置均十分接近,滑面应力分析法不适于计算失稳边坡的安全系数.     

深究函数的递归调用

程序设计从低级语言到高级语言、由过程式设计向面向对象发展,目前很多程序还是面向过程的设计方式,而且C语言一直是面向过程程序设计的最主要的实现语言之一,也是学习面向对象程序设计的基础语言。C语言已经成为高等学校计算机程序设计的基础学科,甚至成为各个高校理、工科学生的专业基础课。在讲授C语言程序设计中,函数的递归是相当难教、难学和难理解的重点内容。笔者观摩了许多老师讲授C语言的教学方法,在教学过程中不断的探索、改进,总结出了一些直观、形象、容易理解的教学方法。     

方程与曲线论[23]——演变公理体系

在丰富的几何图形世界中,用运动变化的观点,发现一类未能在《几何原本》和《几何基础》中展示的公理体系——演变形概念,演变公理。该理念在整个欧式几何系统中,不仅具有和谐性,还具有独立性和完备性。本文除运用推理证明公理系的基本问题之外,还列举实例对演变形的存在和其性质进行阐释。     

灰数灰度的一种公理化定义

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。新定义克服了原有定义中存在的问题，较为科学地描述了灰数的不确定程度。     

从基于结构定义的序列模体识别蛋白质的超家族

以进化上相距较远的蛋白质酪氨酸磷酸酶Ⅰ和Ⅱ为例，通过结构比较和基于结构的序列比对及共同保守区域残基替换模式的分析，定义了基于结构的序列模体。利用这种新的模体对SWISS－PROT和TrEMBL蛋白质序列进行搜索，可特异性地同时识别磷酸酶Ⅰ和Ⅱ，其识别正确率可达98．4％，而在此之前，尚未见可同时识别磷酸酶Ⅰ和Ⅱ序列模体的报道。     

递归学习寻找对称变量

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率．通常fx1xj^-=fxjxi-被用来检验变量的对称性．一般先分别建立fxjxi和fxjxi^-的BDD(Binary Decision Diagram)二分决策图，然后通过检查两BDD图是否同构来验证fxjxi=fxjxi^-．但将电路转化为BDD图本身就需要一定的时间，而且对于大的电路，存在BDD图不能建立的可能性，致使同构验证无法进行．本文利用递归学习，无需建立BDD图直接在电路拓扑图上验证fxjxi^-=fxjxi^-递归学习算法执行效率高，可以大大缩减对称变量检测的过程．试验结果表明，利用递归学习算法检测对称变量执行时间减少，并且能将大的电路作为检测对象．     

自感与互感的定义及耦合系数的讨论

提出了一种自感系数和互感系数的定义方法，有利于理解它们的静态定义与动态定义的区别与联系，同时对线圈串接时的常见错误进行了讨论。     

关于极限定义的讲解

极限的定义是在高等数学教学中的一个难点 ,本文分析了教学中的常见问题 ,并提出了解决的方法     

数字图书馆的概念与内涵的研究

简要介绍了数字图书馆的发展 ,对数字图书馆的定义进行了概括 ,指出了信息资源数据库群建设的重要性和方法 ,肯定了数字图书馆的发展趋势 ,指出了数字图书馆建设是涵盖广泛学科及技术领域的漫长过程 ,提出了数字图书馆资源建设的必要性、重要作用及规范标准 ,设想了数字图书馆应当建设的一些数据库 ,拟出了国家支持建立无偿数据库的思路和行业自行建立有偿数据库的思路     

GDMO模板在CORBA中的映射实现

分析了GDMO模板到IDL接口的映射方案 ,并对方案中存在的语意丢失现象进行分析 ,提出在对GDMO模板中的行为模板形式化描述的基础上映射到IDL接口的方法