半群G(n,r)的秩和(0,1)-平方幂等元秩

引入了保升序且保序有限部分一一奇异变换半群,通过对其(0, 1)-平方幂等元和星格林关系的分析,分别获得了半群G (n, r)唯一的极小(0, 1)-平方幂等元生成集,秩和(0, 1)-平方幂等元秩.进一步确定了当0≤l≤r 时,半群G (n, r)关于其星理想G (n, l)的相关秩.     

基于DEF核电站筏基混凝土施工配合比优化

<正>台山核电站1#岛是继芬兰OL3和法国FA3核电站之后世界上在建的第三座EPR堆型核电站,也是我国首座该堆形的核电站,其土建技术要求比CPRIOOO(M310改进型)堆型有较大提高,HRA筏基大体积混凝土浇筑中产生的高温将可能引起DEF-延迟钙矾石生成(delayed ettringite formation,DEF),膨胀性的钙矾石将在其内部产生应力,并最终导致混凝土开裂,对于建筑的安全和耐久性是极大的隐患。芬兰OL3和法国FA3的EPR型核     

全新世太阳活动驱动的太平洋上层热力结构的瞬变演化

在中等复杂程度地球系统模式(UViC-ESCM)中, 受过去7千年来瞬变太阳活动驱动, 北半球冬季太平洋上层水体热力结构表现出百年尺度变化特征, 西太平洋暖池(WPWP)的三维热力响应被大幅度增强. 太阳活动最大值期, 热带西太平洋表层海水温度变化幅度比Niño3区域大30%左右, 而次表层海水温度变化幅度在副热带北太平洋比赤道西太平洋大40%; 太平洋纬向表层海温梯度(西-东)和经向次表层海温梯度(北-南)同时增强, 且在百年尺度周期上线性响应于太阳活动驱动. 表层海温梯度的208 a周期最为显著, 而次表层海温梯度在大于208 a的周期上更为显著. 此外, 表层海温梯度在百年尺度周期上的相位滞后(响应时间)要比次表水海温略小, 表层海温梯度中出现的148和102 a周期并未见于次表层海温梯度. 上述模拟结果初步指示WPWP古海洋记录中的全新世百年尺度波动可能来源于太阳活动变化.     

精采细收综放面煤炭资源的技术途径

文章主要论述铁煤集团小康煤矿面对综放面回收率低的问题,从工作面设备选型、回采巷道布置、采放工艺等方面采取了精采细收综放面煤炭资源的技术途径,工作面回收率达93%,可为类似条件的煤层综放开采提供参考。     

澳大利亚板块漂移对南半球气候与环境影响的数值模拟

利用美国NASA(National Aeronautics and Space Administration)的GISS全球海洋-大气耦合模式, 研究了14 Ma BP在与现代情景不同下的澳大利亚板块位置对南半球中高纬度大气环流的影响. 模拟结果表明, 14 Ma BP澳大利亚板块偏南时, 副热带地区大洋上反气旋加强, 副热带高压加强, 高纬60°~70°S一带气旋性环流加强, 绕极地低气压加深, 造成当时南极涛动变强, 南极涛动指数AOI (Antarctic Oscillation index)波动周期缩短. 同时, 14 Ma BP降水与地表气温也发生了相应的变化. 在环40°S一带大部分地区降水量减少, 而在60°~70°S多数区域降水增加; 南太平洋高纬度地表气温下降, 威德尔海及其北侧海域地表气温升高. 此外, 由于气温和风场的变化, 南极海冰也发生了变化, 罗斯海附近及其西侧靠近南极大陆地区海冰较现在增加, 威德尔海附近海冰较现在偏少.     

降序且保序有限部分变换半群的幂等元秩

设PCn是[n]上的降序且保序有限部分变换半群.对n≥3,证明了半群Pcn是由秩为n-1的幂等元生成的,且它的秩和幂等元秩都是2n -1.     

表达HCV核心蛋白的重组减毒鼠伤寒沙门菌口服免疫小鼠的研究

构建了丙型肝炎病毒(HCV)核心蛋白原核表达质粒pQE-HCV,转化到减毒鼠伤寒沙门菌SL7207中,SDS-PAGE和Western blot检测到该重组菌能表达3种分子量的HCV核心蛋白.以该重组菌作为口服型活疫苗灌胃接种BALB/c小鼠,检测到小鼠产生的抗HCV核心蛋白IgG及迟发型超敏反应、T细胞增殖反应和细胞毒性T淋巴细胞反应.结果表明该重组菌能有效诱导免疫应答,尤其能高效诱导细胞免疫应答,这为研制高效免疫、成本低廉、接种方便的HCV疫苗提供了一个新的可行途径.     

基于投影权值归一化的立体图像质量评价方法

本文基于深度卷积神经网络和融合图像提出了一种引入投影权值归一化的立体图像质量评价方法.首先基于人眼双目竞争现象,提出对经过Gabor滤波后的左右视点图像进行彩色融合,从而得到单幅融合图像.卷积神经网络的输入即为预处理后的融合图像,通过卷积层自主对图像特征进行提取,采用池化层对特征信息降维,保留显著特征且减小网络计算复杂度;采用Re LU非线性激活函数缓解梯度消失,有效缓解了网络过拟合问题;网络引入数据批量归一化来规范各层输入数据的分布,引入投影权值归一化来保证权值参数的量级相同,有效地提升了算法的性能.本文在公开的立体图像库LIVE-Ⅰ和LIVE-Ⅱ上进行了实验.实验结果表明,本文方法在对称失真与非对称失真的立体图像质量评价上均具有较好的性能.     

方向保序变换半群K(n,r)的极大正则子半群

设OP_n是［n］上的方向保序变换半群. 对任意的2≤r≤n-1, 研究半群K(n,r)={α∈OP_n: | Im(α) |≤r}极大正则子半群的结构, 利用Miller-Clifford定理, 证明了半群K(n,r)的极大正则子半群有且仅有两类： M(α)=K(n,r-1)∪(J_r＼R_α), α∈J_r; N(α)=K(n,r-1)∪(J_r＼L_α), α∈J_r, 其中: J_r={α∈OP_n: | Im(α) |=r}; R_α和L_α分别表示α所在R-类和L-类.     

关于闵可夫斯基（Minkowski）不等式

本文对闵可夫斯基不等式进行了进一步的讨论，并给出了在ｒ＜－１及０＜ｒ＜１的相应形式，同时得到了它的一个实质性的推广形式。