一类自适应松弛算法的算法模型

对于一类自适应松弛算法,本文提出了一个算法模型。在一些通常的假定下,证明了该模型生成的序列的收敛性定理。     

Feller—Trotter算子的局部饱和定理

利用Bajsanski-Bajanic抛物线引理建立Feller-Trotter算子的局部小“ο”饱和定理,进一步地应用所得到结论建立了(C_)类算子半群概率表示的局部饱和定理。     

技能映射通过析取模型诱导的多分知识结构

基于程序性知识的评估,提出由项目自身的状态结构诱导多分知识结构的方法,以建立适用于问题解答的多分评估体系.首先,根据各项目的解答或操作步骤设定响应值集,通过项目状态转移函数定义项目状态空间;然后,用操作程序表示技能,由过程函数导出析取的技能映射;最后,讨论技能映射通过析取模型诱导的多分知识结构.结果表明：技能映射通过析取模型诱导的多分知识结构是多分知识空间.     

高温遇水冷却岩石循环加卸载力学性能试验研究

为研究高温遇水冷却后不同岩性岩石在循环加卸载条件下的物理特性和力学响应特征的变化规律,对高温遇水冷却后的花岗岩、大理岩及绿砂岩试件分别开展了单轴压缩和循环加卸载试验. 结果表明,当加热温度超过400 °C后,三类岩石的体积增长率显著增加,400 °C可以作为三类岩石物理参数发生突变的阈值温度.总体上,三类热处理水冷却岩石的单轴抗压强度随温度的升高而降低,但花岗岩在200 °C温度处理后峰值强度比常温时有所增加. 在循环荷载作用下,花岗岩滞回曲线接近于线性,上限应力较高且不可逆变形小;而绿砂岩和大理岩的上限应力低于花岗岩且变形较大.相同温度热冲击下滞回环宽度大小顺序为绿砂岩>大理岩>花岗岩.随循环次数的增加,三类高温遇水冷却岩样的塑性变形减小,弹性模量增大,试件强度较单轴压缩均有提高;随温度升高,破坏面裂纹更为发育,破裂岩屑更为细碎.      

基于变换域注意力机制的压缩伪影去除的方法

图像有损压缩过程往往会导致图像质量退化,使图像出现压缩伪影。针对现有基于深度学习的方法缺乏对联合图像专家组(Joint Photographic Experts Group,JPEG)压缩算法先验信息的利用,提出一种基于变换域注意力机制的去伪影方法。该方法利用卷积神经网络在像素域和离散余弦变换(discrete cosine transform,DCT)域分别提取特征,再将双域学习的特征信息进行融合。利用量化表设计了DCT注意力机制,该模块根据DCT系数的损失程度给予各频率系数不同的权值,使网络自适应补偿量化引起的误差。于此基础上,在像素域引入通道注意力机制,从而更好地利用量化表的先验信息。在主要数据集上,提出的去伪影方法以固定的模型参数对多种质量因子的压缩图像进行伪影去除实验。实验结果表明,所提出的方法在各评价指标和主观视觉上取得较好的效果。     

稻壳灰改良盐渍土力学特性及抗冻性的研究

在西北季节冻土区广泛分布着盐渍土,其在空间分布上连续性差,工程性质极其不稳定;且浅层盐渍土受冻融作用的反复影响,其力学性质长期处于动态的变化之中,给工程设计与建设带来了极大的挑战.鉴于此,通过压缩试验及无侧限抗压强度试验,研究稻壳灰对盐渍土的改良效果.结果表明,稻壳灰可以显著地改善盐渍土的压缩特性,并提高其无侧限抗压强度,且改良土的压缩系数与抗压强度之间呈现出负相关的线性关系.随着掺灰量和养护龄期的增加,改良土的压缩系数不断减小,无侧限抗压强度呈现出不断增加的趋势,最大可增加4倍左右.以抗压强度损失率为指标对改良土的抗冻性进行了评价,发现改良土的抗冻性随着掺灰量的增加呈现出先增强后减弱的趋势,且在15%的掺灰量时,其抗冻性效果最显著;相对而言,养护龄期对于改良土的抗冻性影响较小.     

3—己烯—1—醇及其酯类的合成和香气研究

介绍了叶醇(cis-3-己烯-1-醇)及其异构体的实用合成路线。由顺反混合(或全反式)3-己烯-1-醇制备了一系列羧酸酯,研究了这些化合物的结构与香气的关系,从中发现一些有实用价值的新香料。     

从OSI看K-NET

随着微型计算机在我区的应用普及,许多用户已从分散、独立的单机作业向着联网作业迈进。国际标准化组织已推出一种开放式系统互连七层参考模型,这一模型已得到国际电报电话咨询委员会的承认,成为国际上网络通信的标准化基础。在许多局部网络中,K－NET因高效、低价、易学易用而对用户具有很强的吸引力。K－NET所采用的新思想和技术完全遵循OSI标准。因此,K－NET是值得推广的先进产品。