SL(2,R)上的Hardy-Littlewood极大函数的性质

本文给出了SL(2,R)上的Hardy-Littlewood极大函数mf的定义,利用Ergodic定理证明了Hardy-Littlewood极大函数的强(p,p)型性质,p>1.     

提高酸牛奶加工工艺及品质的研究

用保加利亚乳酚杆菌（Ｌａｃｔｏｂａｃｉｌｌｕｓｂｕｌｇａｒｉｃｕｓ）和乳酸链球菌（Ｓｔｒｅｐｔｕｃｏｃｃｕｓｔａｃｔｉｓ），按２．５：１的菌种作为发酵剂，用“正文试验”筛选配方，确定乳中干物质为１２％（±０．１％），用９５℃保温杀菌５ｍｉｎ，接种３％发酵剂，恒温条件４３℃／３ｈ，冷却到４℃３０ｍｉｎ，这些是获得风味良好酸牛奶的主要条件。在酸牛奶中主要风味物质乙醛含量达到４１．５ｐｐｍ，二乙酰含量为１６；４０ｐｐｍ，柠檬酸为１．２ｐｐｍ，达到以上所测成分，是确定酸牛奶加工工艺及提高品质的关键。     

超幂零根环类的另一种模刻划

本文对Ｓｚａｓｚ，Ｆ．Ａ提出了的“找出超幂零根环类的一个模刻划”问题给出了一个不同于文献「２，３」的解法。     

特殊气候条件下水泥混凝土路面施工质量控制

从雨季施工，高温季节和低温季节施工以及施工质量检测等方面，论述了水泥混凝土路面在特殊气候条件下的施工质量控制方法及应注意的事项。     

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

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

基于梯度加权类激活热力图的卷积神经网络故障诊断模型鲁棒性分析

深度学习近年来在故障诊断领域受到广泛应用,但基于深度学习的故障诊断模型缺乏工程上的物理解释性,难以保证其故障诊断结果的稳定性。以轴承为例,建立了以小波时频图像为故障诊断依据的卷积神经网络模型(convolutional neural network, CNN),提出了一种基于梯度加权类激活热力图(gradient-weighted class activation map, Grad-CAM)的网络模型鲁棒性分析方法,并利用美国凯斯西储大学(Case Western Reserve University, CWRU)轴承数据集进行验证。首先,将故障直径轴承数据以不同方式混合并训练大、小多个模型。其次,利用Grad-CAM方法,建立时频区域与故障模式之间的联系。最后,利用其他工况下的轴承故障数据,以及含噪数据进行测试,并根据结果结合模型最注重的时频区域进行分析。结果表明,基于深度学习的轴承故障诊断模型在参数较少时更加注重低频区域,并能使其具有更好的鲁棒性。     

一个新的单调类定理

定义了集类的ｗ类的概念,给出了ｗ类的单调类定理．     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题     

我的几点意见——评论“关于狭义相对论的本质”一文

评论了“关于狭义相对论的本质”一文,实际上仍使用了狭义相对论的两个基本假设。