3维Maxwell方程局部1维多辛格式的能量恒等式

在理想导体边界条件下,对3维Maxwell方程的局部1维多辛Preissman格式的能量守恒性质进行研究.运用能量分析法推导了2个能量恒等式,这些恒等式说明了给出的格式在所定义的离散范数下是能量守恒和无条件稳定的,数值算例验证了结论的正确性.     

基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

基于CORS基站的校园控制网的布设研究

为便于测量和其他专业学生校内实习,解决目前校内实习控制点在假设坐标系统建立起来的弊端,使用CORS基站布设了校园控制网,通过与已知高级控制点联测,获取校园控制点在城市坐标系下的坐标,为利用CORS基站的学校周边地区建设提供有价值的参考信息,实现校园的真正数字化,并为学校创造一定的经济效益和社会效益.     

单自由度状态下SMA-KBF耗能减震能力研究

SMA和隅撑支撑(KBF)分别为近些年发现的有超弹性力学性能的一种金属材料和新型结构框架,并被国内外学者广泛关注,应用在了很多的工程试验中。以此为基础该文的主要研究在地震荷载下,通过实验模拟SMA阻尼器隅撑构件的耗能以达到结构减震的目的。     

三维热传导型半导体器件瞬态模拟问题的Crank—Nicolson差分—流线扩散有限元法及其数值分析

本文研究三维热传导型半导体器件瞬态模拟问题的数值方法。针对数学模型中各方程不同的特点，分别提出不同的有限元格式。特别针对浓度方程组是对流为主扩散问题的特点，使用Crank-Nicolson差分-流线扩散计算格式，提高了数值解的稳定性。得到的L^2误差估计关于空间剖分步长是拟最优的，关于时间步长具有二阶精度。     

二阶椭圆问题的混合有限元估计

关于二阶椭圆问题，[1]中给出了一种混合有限格式，但所用的自由度太多，给实     

M.K.D.V方程高阶全离散Galerkin有限元格式

本文用对角隐式Runge-Kutta方法(D.I.R.K),对M.K.D.V.方程在时间方向离散,采用增加扰动项的办法,得到了L~2模意义下时间方向具有三阶精度的格式。数值实例表明,其精度比无拢动项及C-N格式好。还证明了收敛性和稳定性,用Newton迭代法求解非线性方程组,并证明选取适当的初始值,Newton迭代仅需一步完成。     

超高层建筑-18.7m的深基坑施工优化

介绍了深达 18.7m的基坑围护措施 ,对超高层建筑深基坑支护结构与施工技术进行优化