开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

L型连续退火炉退火工艺的模拟实验

结合唐钢镀锌线退火炉的工艺特点，热模拟了退火工艺，检验了退火后带钢的力学性能和金相组织，为实际生产提供了理论依据。     

基于 FEM 的深基础工程数值模拟及其实现

简要介绍了有限元法的原理和解题步骤,在借鉴国内外众多有限元分析软件包优点的基础上,开发了自身的FEM三维非线性程序,并用所研发的程序对具体的工程进行了应用和模拟,与实测数据的逼近表明了整个软件系统的准确性和实用性。     

模拟电子技术双语教学体系的探索和实践

双语教学是目前高等院校教育改革的主要内容之一。模拟电子技术作为一门发展很快的重要基础学科,工程实践性很强,跟随新技术、新成果的节奏较快,因此,相应的教法改革势在必行。本文从“模拟电子技术”课程的双语教学出发,探讨了如何在专业基础课中更好的融入英文授课,达到既提高学生的外语应用能力又不影响教学效果的目的。文中首先分析了目前模拟电子技术双语教学存在的问题,然后对师资队伍建设,教学模式的改变等情况进行了阐述,提出了在专业课中开展双语教学和提高双语教学效果与质量的一些可行方案。     

用于图像目标识别的神经网络方法

本文提出了一种全局最优的神经网络（ＦｕｌｌＤｏｍａｉｎＯｐｔｉｍｕｍＮｅｕｒａｌＮｅｔｗｏｒｋ）模型用于目标识别。通常所设计的神经网络不能保证全局最优，使得网络不一定收敛到期望样本点上。本文的模型采用了先设计稳定点、再构造吸引域的方法，提高了网络的识别正确率及速度。针对图像识别中矢量维数大的实际，提出了一种不变性方法，使得样本维数下降而分类距离保持不变。同时又证明了网络的收敛性、收敛速度及映射保距等。计算机模拟结果表明，网络对噪声或缺损图均能正确识别。     

Mafia和Hfss对等梯度加速结构耦合器的数值模拟与比较

提出的数值模拟过程是关于直线加速器加速结构耦合器的设计的。Mafia程序和Hfss程序分别被用来模拟一截S—Band的三腔等梯度加速结构,其两端分别为输入耦合器和输出耦合器。通过Mafia程序和Hfss程序模拟了该结构的传输特性,发现两者的模拟结果能很好吻合。     

利用仿真软件EWB辅助模拟电路实验教学

阐述了传统模拟电路实验的局限性，介绍了仿真软件EWB的功能及其辅助实验教学应注意的几点问题．     

板坯结晶器钢水凝固的数值模拟

以实测结晶器铜板温度计算的热流量作边界条件,采用有限元方法,建立了结晶器内凝固传热方程.对凝固传热方程进行了离散化,利用ANSYS商业软件进行求解,得到凝固坯壳的应力、应变情况,从而确定连铸结晶器壁的合理锥度.     

浅谈边坡稳定数值分析方法

随着国民经济的发展,矿山开采、交通运输、水利和国防等建设工程中所遇到的边坡问题越来越多,这些边坡工程的稳定性及其对周边环境的影响己引起了人们的极大关注。本文对边坡稳定的分析方法进行了分析。     

深井巷道支护方法数值模拟及分析

随着煤炭工业的发展,矿井开采正经历着一个由浅到深、由简单到复杂的过程,深部矿井逐渐增多。影响巷道稳定性的因素也随着增加,深部巷道支护问题越来越引起人们的重视。本文以数值模拟研究为基础,通过RFPA软件分析了在不同条件下巷道支护的特点,得出了深部巷道支护的有效方法,提出了深井巷道矿压的控制应该着重考虑巷道的优化布置和改善巷道的支护形式,充分发挥以锚杆为主体的新型支护以及锚喷、锚索、锚网等联合支护形式。