井田采动对下伏油田地层应力场影响分析

针对康北煤田与科尔康油田局部重叠的现状,以工程地质、地质力学的理论为基础,建立研究模型,通过有限元方法计算、数值模拟分析,重点研究煤矿开采产生的垂向与水平向地应力变化,井田采动对下伏油田地层应力场影响,结果表明:煤矿的开采对煤层下含油地层地应力的影响非常微小,不会对油田的开采造成影响。为井田和油田互不干扰、安全生产提供依据。     

基-可数仿紧空间的刻画

引入了基-可数仿紧空间的概念,给出基-可数仿紧空间的一些等价刻画,获得以下结果:(i)X是基-可数仿紧空间当且仅当存在X的一开基B,|B|=ω(X),对于X的每一可数开覆盖U={Ui}i∈N,都存在B′B,使得B′={Bi}i∈N是U的局部有限的可数开加细,且BiUi;(ii)设X是正规空间,X是基-可数仿紧空间当且仅当存在的一开基B,|B|=ω(X),使得X的每一可数开覆盖都存在由B中的元构成的局部有限的收缩.     

Provable Efficient Certificateless Group Key Exchange Protocol

Certificateless public key cryptography （CL-PKC） avoids the inherent escrow of identity-based cryptography and does not require certificates to guarantee the authenticity of public keys. Based on CL-PKC, we present an efficient constant-round group key exchange protocol, which is provably secure under the intractability of computation Diffie-Hellman problem. Our protocol is a contributory key exchange with perfect forward secrecy and has only two communication rounds. So it is more efficient than other protocols. Moreover, our protocol provides a method to design efficient constant-round group key exchange protocols and most secret sharing schemes could be adopted to construct our protocol.     

发动机曲轴应力影响因素的有限元分析

采用有限单元法研究了内燃机整体曲轴应力状态 ;讨论了气缸不同发火状态下曲轴内部应力的大小 ;分析了各缸载荷、主轴承安装误差、连杆轴承载荷的分布形式对曲轴应力的影响 ;探讨了目前曲轴应力有限元计算中所广泛采用的单拐力学模型的可靠性 ;并给出了建立曲轴有限元模型的正确方法。     

活塞连杆机构的复合变形模拟

基于现代机械弹性动力学理论以及有限元分析方法 ,利用美国SDRC公司的I-DEAS软件 ,对含运动副间隙的柴油机的活塞、连杆机构建立了动力学模型 ;运用KED分析中的“瞬时结构”假定 ,计算出了机构在各瞬时结构条件下的动态响应 ,研究了活塞顶部的纵向和周向变形规律 ,为柴油机优化设计提供了可靠的理论依据     

论会计要素的若干理论问题

会计要素是会计实务核算的重要基石，也是构造会计理论的重要组成部分。但会计要素的设置主要依托会计报表，在某种程度上阻碍了会计理论的发展，有进一步研究的必要。     

有限元计算结果可视化显示

画高次等参单元彩色云图的关键是计算单元覆盖像素的自然坐标，介绍一种计算像素自然坐标的算法，母元被均匀划分为矩形或三角形的子域，然后用一条水平线，依次扫描子域的顶点，把扫描线上顶点的自然坐标作为初始值，用牛顿迭代法求对应像素自然坐标的精确值，实践证明方法精度高、速度快。     

大开口对船舶板架稳定性和极限承载力的影响

选取典型船舶板架，采用ANSYS系统，对开口和不开口的板，分别进行了特征值屈曲分析和极限承压屈曲分析，同时，运用便于简化处理的相当梁系法，将加筋板架，近似看作由带附连翼板的交叉梁系构成，转换以后，给出了一套工程近似计算方法，经分析比较，得知：板的屈曲模式所对应的屈曲压力并不一定是最低的，高应力区出现了梁（桁）腹板平面外的失稳，大开口边缘构件的倾向刚度大大削弱，纵桁的理论论界应力降低。     

伸缩虚边界元法解含任意形状空穴外场声辐射

以位势理论为基础，提出了求解含任意形状空穴外场声辐射的伸缩虚拟边界元法。该方法的核心是通过伸缩虚拟边界使相应内问题的特征频率（本征值）避开与外问题给定波数相重合，从而保证了解的唯一性。以二维情况为例，通过诸多不同空穴形状在谐激励作用下的声辐射算例，从计算精度、稳定性以及克服解的非唯一性等方面，对该方法进行了检验。计算结果表明：无论是远场或近场的辐射声压，该方法都具有非常高的效率和精度。     

稳定有限环和满足秩条件的环与Grothendieck群

首先用Grothendieck群给出稳定有限环和满足秩条件的环的刻画，然后给出一些熟知结果的新证法.