关于不定方程组x+1=6py~2,x~2-x+1=3z~2

设p为素数,文章利用同余及丢番图方程的一些结果证明了不定方程组x+1=6py2,x2-x+1=3z2无正整数解。     

超大径圆钢机械连接接头试验研究

介绍超大径圆钢（Φ75/45A）机械连接接头试验方法和特点,本试验组研制的大吨位加力装置,解决了超大径圆钢机械连接接头变形性能单向拉伸试验的难题,填补了国内该项试验的空白。对试验测取的数据进行对比分析,其机械连接接头抗拉性能指标满足《钢筋机械连接技术规程》JGJ107（2007年 征求意见稿）的相关技术要求。     

剩余类环上线性方程组的求解

利用同余理论给出剩余类环Zm(m=p1α1P2α2…Pkαk)上线性方程组的求解方法.对剩余类环Zm(m=p1α1P2α2…Pkαk)上线性方程组是否有解给出判定定理.     

简支梁损伤识别的特征方程曲线交点法

基于扭转弹簧模型的裂纹梁振动分析,推导了含单边边缘裂纹简支梁振动频率特征方程,提出了“特征方程曲线交点法”结合“附加质量”的方法．通过绘制相应于损伤梁前几阶固有频率的裂纹深度一位置的关系曲线,并求解其交点识别裂纹参数,解决了由于简支梁的对称性导致的损伤位置的误判问题．数值模拟结果显示,本文方法具有很好的识别精度．     

煤矿立井井壁与围土相互作用的实验研究

在自行改造、加工的高应力单剪仪试验系统上对饱和砾砂、粗砂、中砂、细砂同混凝土界面的剪切特性进行了一系列试验研究.通过对试验数据的分析发现,高应力下界面的本构关系可以采用非线性弹性-理想塑性模型,非线性弹性阶段与双曲线模型较一致,界面的强度准则符合无粘聚力的库仑公式,在此基础上导出了界面单元的弹塑性矩阵.对包括弹性和塑性2个变形阶段的情况,采用初应力法得到了修正的弹塑性矩阵.     

关于费马数的若干性质

根据费马数的定义探究它的一些结论,借助中国剩余定理,得出费马数的若干性质.     

半环中的正规反L模糊理想的性质

在半环中引入了反L模糊理想及正规反L模糊理想的概念,给出了一个L模糊集是反L模糊理想的充要条件,半研究了正规反L模糊理想的一些基本性质。     

有限可交换Thue系统

串重写系统（∑：R）是定义在字母表∑上的所有字符串的集合,一般情况下集合中的元素是不可刻画的。对于一个有限可交换的Thue系统（∑：R）令△R={((t1,t2,……,tn),(s1,s2,……,sn））│(a^t11a^t22……a^tnn→a^s1a^s22……a^snn)∈R}。△R是幺群N^n的一个二元关系,用△*R表示N^n上由△生成的同余,则有（∑：R）≌N^n/△*R。反之,关于N^n的任意同余θ,令∑={a1,a2,……,an}和R1={a^t11a^t22……a^tnn→a^s11a^s22……a^snn│((t1,t2,……,tn),(s1,s2,……,sn))∈θ}。记R=R1U{aiaj→ajai│i≠j,i,j=1,……,n}。则（∑：R）是有限交换的串重写系统,并且（∑：R）≌N^n/θ。     

基于神经网络的简支梁损伤检测研究

理论分析表明结构损伤前后的固有频率的变化包含了结构损伤位置和程度的信息,在此理论基础上。对一个简支梁模型进行了损伤数值模拟。提取固有频率的变化并采取合适的方法构造改进型BP神经网络的输入参数,并应用简支梁损伤前后的模态实验数据输入训练好的神经网络来判断结构损伤,检测表明。该方法在结构损伤检测中具有较好的应用前景。     

G2型单代数群的单模张量积的分解

设G是特征p=5的代数闭域K上G2型单代数群,在本文中,我们首先利用Jantzen和公式计算部分Weyl模V（λ）,λ∈X（T）＋的G－合成因子,然后分解一些单G模的张量积。