新型外墙保温材料的研究进展及发展方向的探讨

近年来,我国因外墙保温材料引发的火灾事故持续增加,另外,生活水平的改善使得人们对住房安全性的要求不断提高,外墙保温材料及技术已成为建筑行业的重中之重。而全球日益变暖的气候使得我国对外墙保温材料的要求进一步升高,既要满足节能减排,又要关注居民的舒适度和安全性。本文简述了目前建筑节能新形势对我国外墙保温材料的新要求为外墙保温材料应具有更低的导热系数。此外,改变依赖阻燃剂提高保温材料燃烧性能以及目前的研究成果也做了阐述。     

2-度量空间上具有隐式收缩条件的映射族的重合点和公共不动点

引进满足特定性质的二元、四元和六元函数类,建立2-度量空间上的四个映射的隐式收缩条件,讨论并证明四个映射的唯一重合的点和唯一公共不动点的存在定理;给出关于两个和三个映射的相应的结果和Banach不动点定理在2-度量空间上的表现形式,推广并改进了现有的一些结果。     

《实验科学与技术》投稿注意事项

<正>1.来稿应该具有创新性、学术性、准确性、规范性和可读性。文章篇幅(含图、表)一般不超过5000字,图不超过6幅。2.论文要求主题明确,数据可靠,逻辑严密,文字精练。文稿必须包括:中、英文题名,作者姓名(汉语拼音名必须与中文名对应),中、英文作者单位、地址、邮编,作者电话号码、电子邮箱。中、英文摘要和中、英文关键词(4~7个),正文,参考文献。在文章首页脚注处注明第一作者简介(包括姓名,出生年,性别,学历,学位,职称,研究方向等),省、部级以上基金资助项目应注明项目级别、名称、基金号。     

关于分段函数求导数的教学思考

通过分析分段函数求导数中常见的错误及其原因,探讨了如何进行分段函数求导数的教学,并提出了几点建议.     

微分中值定理的证明及应用中的辅助函数构造

微分中值定理是微分学的基础内容,也是用来研究函数性态的重要手段.因此,对微分中值定理的研究和再证明长期以来都是经久不衰的话题.通过对微分中值定理的再证明,不仅有利于初学者对定理的理解和掌握,也有利于其对定理的灵活运用,同时通过对微分中值定理的推广,还可以得到更加一般的情形.     

关于有理分式函数极限问题的注记

有理分式函数的极限计算问题是极限教学中的一个难点,总结了它的计算方法,并结合具体的实例探讨了它的反问题.对于自变量趋于无穷时的计算方法——分子分母同除法,将其推广应用于其它分式函数极限的求解问题.     

多线性极大函数在加权Morrey空间中的有界性

本文证明了多线性极大函数在加权Morrey空间中的有界性,其中权函数为Lerner等人于2009年定义的多线性矢量权。     

基于深度卷积神经网络的RNA三维结构打分函数

非编码RNA的三维结构对于人们理解和干预其生物功能具有重要的意义，从计算的角度发展RNA结构预测方法可以加速结构获取过程，对三维结构进行评分是进行结构预测的关键步骤.近年来，基于机器学习的方法，如AlphaFold2，已在分子结构预测领域取得了革命性的进展.基于深度卷积神经网络，建立了一个对RNA三维结构进行评估的方法 .为了训练这一网络，建立了一个非冗余的含有422个RNA以及126600个decoys结构的数据集.训练得到的模型在RNA-Puzzles数据集上进行了测试，结果表明，在28个RNA中，网络从众多decoys中挑选出实验结构的正确率约为71.4%，这一结果比之前有所提高.另外，还对网络的工作机制进行了分析，发现神经网络对结构评分的倾向性和已知的物理化学知识相一致.     

7次Z_7-等变平面多项式干扰向量场的极限环分支

研究一个7次Z_7-等变平面多项式干扰系统.利用平面动力系统的分支方法和判定函数方法,通过选择恰当的扰动系统参数以获得尽可能多的极限环个数.借助于数值计算,获得了35个极限环,并给出了这些极限环的复眼分布模式.     

Higher-order principal component pursuit via tensor approximation and convex optimization

Recovering the low-rank structure of data matrix from sparse errors arises in the principal component pursuit （PCP）. This paper exploits the higher-order generalization of matrix recovery, named higher-order principal component pursuit （HOPCP）, since it is critical in multi-way data analysis. Unlike the convexification （nuclear norm） for matrix rank function, the tensorial nuclear norm is stil an open problem. While existing preliminary works on the tensor completion field provide a viable way to indicate the low complexity estimate of tensor, therefore, the paper focuses on the low multi-linear rank tensor and adopt its convex relaxation to formulate the convex optimization model of HOPCP. The paper further propose two algorithms for HOPCP based on alternative minimization scheme： the augmented Lagrangian alternating direction method （ALADM） and its truncated higher-order singular value decomposition （ALADM-THOSVD） version. The former can obtain a high accuracy solution while the latter is more efficient to handle the computationally intractable problems. Experimental results on both synthetic data and real magnetic resonance imaging data show the applicability of our algorithms in high-dimensional tensor data processing.