开互模拟的一条泛公理

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

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

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

半连续法制备核壳型苯丙聚合物乳液的研究

实验采用预乳化工艺和半连续种子乳液聚合技术合成了具有核/壳结构的苯丙乳液,粒径分布均匀,性能优越,适用于涂料、粘连剂、油墨等领域。研究了核壳型结构对乳液MFT的影响,讨论了乳化剂用量、引发剂用量、PH值的调节等因素对乳液性能的影响。     

r序同态与r开集在子拓扑空间中的性质

提出了r不定序同态、r连续序同态、r开序同态并讨论了它们之间的相互关系,得出了LF-r开集在开子空间中仍是LF-r开集,两个LF拓扑空间之间序同态r连续的充要条件等结论。     

一般化凸空间上KKM型定理对变分不等式解的存在性问题的应用

利用拓扑空间X的积空间X×X的实值函数构造出一个一般化凸空间,并根据已知的KKM型定理在该空间上讨论变分不等式解的存在性问题.     

用边界运算刻划拓扑空间

本文从定义边界运算出发，给出拓扑空间的一个新的定义。     

南屯矿63_上10面综采放顶煤开采覆岩移动变形破坏特征研究

本文根据使用新技术──双回路注（放）水系统在６３上１０工作面综采放顶煤开采覆岩破坏的探测结果，结合其它采矿方法的实测结果，应用断裂力学理论，研究了放顶煤开采覆岩移动变形破坏特征，为矿井安全生产提供了依据。     

陨石熔壳的击变作用

熔壳是陨星陨落过程中,与大气层相互作用的产物.这种特殊环境的矿物,肯定有其结构上的特异性.本文通过X射线粉晶分析,讨论了熔壳中主要矿物的特征及其结构畸变特征;并通过熔壳的红外光谱与模拟实验结果相比较,确认出其中的击变玻璃,并揭示了熔壳中矿物遭受强烈的冲击变质作用而经历改造的特征.样品取自安徽毫县陨石.熔壳厚约0.5mm,灰黑色,腊状光泽,表面气印发育.毫县陨石岩石化学类型为LL_(3.8).     

波纹管的特征值分析

基于Novozhilov薄壳理论 ,用有限元法建立了旋转波纹管非轴对称自由振动的广义特征值方程并进行了求解。选取两结点非协调曲边旋转壳单元作为波纹管的离散单元 ,并将所有相关变量沿其环向进行了Fourier展开。该方法不仅给出了子午线曲率连续变化的U型波纹管任意环向谐波所对应的特征值 ,而且对子午线曲率有突变的C型波纹管旋转壳也能很好地适应。算例结果表明 ,波纹管不存在一个最低固有频率对应的固定环向波数 ,但其轴对称振型和低阶非轴对称振型在动态分析中占绝对优势 ,高阶振型的作用并不明显。