基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

细节护理对尿毒症血液透析患者生活质量的影响研究

分析细节护理对尿毒症血液透析患者生活质量的影响.选取60例收治的尿毒症血液透析患者,治疗期在2018年9月-2019年11月内,随机分为细节组(30例)和参考组(30例).其中参考组给予透析患者常规护理,细节组给予尿毒症血液透析患者细节护理.比较2组患者并发症发生情况、负性情绪评分、生活质量综合评定量表(GQOLI-74)评分.细节组并发症发生率10.00％较参考组36.67％明显降低(P＜0.05);治疗后,细节组SDS评分及SAS评分较参考组均明显降低(P＜0.05);治疗后2组GQOLI-74评分较治疗前均明显升高(P＜0.05),且细节组明显高于参考组(P＜0.05).细节护理用于尿毒症血液透析可有效提高患者生活质量,改善负性情绪,减少并发症发生率,推荐临床推广使用.     

人文精神视野下浅析提高高职美术教学课堂质量的有效对策

人文教育随着教育改革的加快逐渐深入高职美术教学,高职美术教学在人文视野下如何改变传统教学观念,提高教学质量成为当今美术教育发展的重要内容。分析当前我国人文精神视野下高职美术教学课堂的发展现状、存在的问题是提高教学质量的关键。本文在研究当前高职美术教学现状的基础上,提出了几点具有针对性的策略来提高高职美术的教学质量。旨在提高人文精神视野下高职美术的教学质量和发展。     

《同济大学学报(自然科学版)》2014年工作报告

<正>2014年,《同济大学学报(自然科学版)》在刊发论文质量、期刊影响力、学术传播广度与速度等方面在我闻自然科学综合类学术期刊中继续保持领先水平。继2013年被国家新闻出版广电总局评为中国"百强期刊"后,2014年又被教育部及相关期刊管理与评价机构评为"第五届中国高校精品科技期刊"、"2014中国精品科技期刊"、"2014中国国际影响力优秀学术期刊"。1.论文刊登情况2014年接收稿件745篇,较上年减少31篇;退稿436篇,较上年减少15篇;退稿率     

对低压电器检测实验室对电能质量要求的分析

随着近几年来我国经济的迅猛发展，我国在科学技术方面取得了较为显著的成就，各种新型低压电器不检测设备断涌出。科学技术的快速发展和进步使得低压电器检测试验室对电能质量的要求也越来越高，因此，必须要顺应时代的发展，不断更新和完善低压电器检测实验室的各种设备，该文就低压电器检测实验室对电网电能质量的要求做了简要的分析和探讨，并且针对已经存在的问题提出了相对应的解决对策，从而提高低压电器产品检测的质量，使得各种低压电器产品检测可以满足国家标准的相关要求，进而促进我国低压电器的快速发展和进步。     

浅谈水泥搅拌桩的施工质量控制要点

20世纪初，水泥搅拌桩在我国迅速发展起来，它是利用水泥做加固剂，使用特制的深层搅拌机械，对地基深处的软土、软弱土原地进行搅拌使之与加固剂混合后起化学物理反应，对软土或软弱土加固的一种方法，从而提高地基承载力，减少地基沉降。因其具有适用土质类型广、施工速度快，成本低，无噪音、无振动、无污染等特点，广泛应用在建筑物地基、高速公路桥台等部位。笔者结合沿海高速公路沧州歧口至海丰段某合同水泥搅拌桩施工管理的一些经验，就搅拌桩施工环节的质量控制要点、易出现的质量问题及原因进行了简要论述。     

爱因斯坦的洞察力

<正>今年12月2日是爱因斯坦广义相对论论文发表100周年纪念日坐在办公桌前或常年在实验室中独自忙碌,直到——灵感产生——觉察到了一切。这就是科学工作的神话,而且这个过程几乎总是错的。在现实生活中,科学的进步是循序渐进的,大多数研究人员是在团队中工作,孤独的天才总是难以找到揭示宇宙的革命性的新理论。然而,阿尔伯特·爱因斯坦(Albert Einstein)却做到了。来自于哈勃空间望远镜的图像:遥远星系由于地球附近星系团质量的存在而发生弯曲——这种弯曲是由广义相对论所预言的(又称引力透镜现象)     

光与光基技术推动人类文明与进步

2015年是光和光基技术国际年,简称2015国际光年.联合国之所以做出这一决议,是基于光和光基技术对世界人民的生活以及全球社会多层面未来发展的重要性.希望通过各种宣传提高人们对于光科学技术的认识并加强这方面的教育,这对于世界各国应对可持续发展、能源、社区保健和提高生活质量的挑战至关重要.     

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.