关于高等代数与解析几何教学的思考

介绍了当今数学界将高等代数的解析几何合并的思路与措施,阐述了两门基础课合二为一应注重与计算机运用和实际应用相联系的观点,对国内常见的十余种高等代数与解析几何的中、外文版教材作了简要介绍。     

任意形态岩体边坡的块体稳定性计算方法探讨

本文用解析几何的原理，研究在任意形态岩体边坡条件下的块裂体稳定性评价问题，在工程实际中得到很好的应用。     

斜锥坡的计算

为了比较精确地设计斜锥坡,应用解析几何方法和积分理论,对斜锥坡的计算进行了推导和证明。     

应用“平面法”研究正交轴蜗轮副啮合

本文应用微分几何和解析几何的理论,论述了用平面啮合原理研究正交轴蜗轮副啮合的理论根据、方法及应用。     

浅谈高速铁路隧道临近既有铁路侧穿高速公路桥桩设计思路

新建铁路接入既有铁路车站,进站前工程条件极其复杂,存在工程设计难度大、施工风险高等问题.以新建汉中至巴中至南充高速铁路营盘梁隧道为实例,针对新建隧道临近既有铁路侧穿高速公路桥桩的复杂条件,阐述了隧道设计思路,并进行了风险分析.     

利用数字地面模型建立公路横断面模型的新方法

笔者利用空间解析几何原理 ,提出了新型、有效的在数字地面模型中公路横断面模型的建立方法 .该方法能够使公路模型和数字地面模型更完整的结合     

新奥法隧道开挖围岩级别快速判定方法

隧道开挖对岩层的级别判定,历来都存在不确定性和多解性,文章通过在高速公路隧道施工断面上划分9个分区,对每个分区确定级别加权系数,9个分区的系数之和为1,再与图纸设计的围岩级别相加,取代数和,得出初期支护所需的级别,避免了盲目估算围岩级别而产生偏差的现象。     

用空间解析几何法求解环叉式万向节的附加力矩

本文用空间解析几何法建立了环叉式万向节的空间坐标系,并对环叉式万向节的附加力矩进行分析,得出了附加力矩的数学表达式。     

厦漳跨海大桥工程动力问题研究与对策

厦漳跨海大桥工程的建设除了具有海湾大桥的特点外,还具有地震烈度大、气象条件较差、水文条件复杂、地质条件恶劣、通航标准高等不利条件,给大桥设计带来较多的挑战.主要针对抗震、抗风和抗撞3个方面的动力响应问题,介绍厦漳跨海大桥工程动力问题在研究和设计中的应对措施.     

高校教材建设及教材管理改革研究

教材管理与教材建设是高等学校基本教学条件建设之一,是搞好教育改革、提高教学质量的关键．本文结合近年来我国高等教改革发展趋势和教材建设与管理方面的实践,论述了如何适应高等教育教学改革需要,加强高等院校教材建设与管理的思路和措施。     

基于蒙特卡罗的软件可靠性测试技术研究

为了缩短软件测试周期,提出了运用蒙特卡罗(Monte-Carlo)方法进行软件可靠性测试的基本技术,通过实例介绍了这一技术在软件测试中的应用过程.这一技术较好地解决了2个问题:测试用例的优化;使用新的评判准则分析测试结果.     

简支梁振动可靠性的Monte Carlo模拟

结构的几何尺寸,所受外载荷、材料性能特性是随机的。考虑这些随机因素对简支梁振动的影响,研究了简支梁振动的可靠性。对随机变量进行计算机模拟,产生多组随机变量样本,应用Monte Carlo模拟求出它们的可靠度。算例表明本文的方法是可行的。     

格蕴涵代数

本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.      

A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra

A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).     

RELATIONS OF DERIVATIVE ALGEBRA AND RING OF DIFFERENTIAL OPERATORS IN CHARACTERISTIC p>0

Introduction　　 Let K be a field,K [X ]∶=K [x1,… ,xn]bethe polynomial ring in n variables.We know thatwhen K is a field with ch( K ) =0 ,then the Weylalgebra An( K) ,the ring of differential operatorsD( K[X]) ,and the derivative algebraΔ ( K [X])which is generated by{xi, i| i=1 ,… ,n}in End KK[X]are all isomorphic[1～ 3 ] .But if ch( K) =p>0 ,the three do not have that relation.In factΔ( K[X]) is only a quotientof An( K) [4] ;and Ref.[5 ]gives a comprehensive study to the rela…     

基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

温度量测在石林隧道突水预报中的应用

提出了用温度梯度量测预报隧道突水。阐述了利用掌子面温度变化预报隧道突泥突水的基本原理;结合石林隧道的工程实践,介绍了该方法的实施步骤和效果。为超前地质预报提供了一个新的途径。     

VRML在基于网络的画法几何教学中的应用

针对当前画法几何CAI课件中存在的不足、网络课件相对滞后等缺陷，从画法几何教学的实际需要出发，以课程中的主要内容为教学目标，利用VRML语言的动态性、交互性、基于低带宽网络传输等特性，设计开发了基于网络的画法几何教学课件，介绍了课件的制作和实施的主要技术策略。     

鄱阳湖水环境地理信息系统的设计与开发

以鄱阳湖水环境为例,利用GIS技术设计与开发了鄱阳湖水环境信息系统。阐述了系统的总体设计及系统所实现的功能。系统的建立可以对已有水环境相关资料进行动态管理,实现水资源信息的基本管理及水质的可视化分析,为鄱阳湖水资源合理开发和利用提供辅助决策支持,对保护鄱阳湖湖区环境具有重要的意义。