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

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

考虑单元互测的测试性指标分配方法

测试性分配是将系统级测试性指标按照一定规则分配给各组成单元的过程。针对现有主流测试性分配方法未考虑单元之间的互测情形,导致分配结果不合理,尤其是部分单元分配指标虚高,难以实现或代价过高等问题,提出了在综合考虑单元故障率、故障危害度等多重影响因素基础上,进一步考虑单元互测因素的测试性指标分配方法。首先实施考虑多重影响因素的指标初次分配;然后基于单元测试性初步设计结果,实施测试性建模与分析,得到单元自检故障率与他检故障率;再利用这两个数据以及初次分配结果构造分配函数实施再次分配,进而得到最终的分配结果;最后应用该方法进行仿真和实例运算,证明了该方法的有效性和先进性。     

高校校园文化景观设计创意和表达

高校校园的文化景观不仅对其师生有潜移默化的教育作用,更会传达给师生归属感和认同感.以上海应用技术学院奉贤校区的"思贤庭"为例,在设计中结合地理位置、学科特色、功能定位、校园文化特色等,从场地原有的精神特性、历史文脉出发,演绎推导出校园文化景观的语境、符号等要素,形成了较有典型意义的校园文化景观表达模式.指出,文化景观创意的表达无需说教,可用"只言片语"的形式含蓄表达,重要的是营造出既符合功能需求又具有灵性的校园户外空间.     

全球著名体育城市构建的内在逻辑与优化路径——基于上海体育名城建设的分析

基于当前新时代体育事业发展背景，在上海市构建全球著名体育城市的发展过程中，分析其构建的内涵与动机，解析构建全球著名体育城市的内在逻辑规律，采用SWOT-PEST组合矩阵模型并结合政治、经济、社会、技术背景因素，依次对上海市构建著名体育城市的内部优势、劣势环境与外部机遇、威胁环境进行相应的剖析，以此组合得出模型的优化路径，为上海市构建全球著名体育城市提出战略发展方向上的建议：转化发展理念，健全体育行政管理机制；强化产业结构，升级体育经济规模效益；深化健康意识，完善公共体育服务体系；进化科技运用，扩充体育技术创新领域。     

利用ARGO实验寻找GRBs的本底研究

位于西藏羊八井宇宙线观测站(海拔4300 m)的ARGO-YBJ实验具有高海拔、大视场、全覆盖特点,其阈能约几百个GeV,在探测高能GRBs方面具有独特的优势.ARGO-YBJ实验不能分辨光子和质子,要在大量的宇宙线事例中找出光子信号,就必须正确地估计背景事例率,这是寻找高能GRBs的关键.本文采用"等天顶角法"对ARGO实验中寻找GRBs的宇宙线本底进行了分析.由于地球的自转,天顶角随着时间的变化而变化.本文重点分析了长暴在其持续时间内天顶角的变化,从而更加准确地进行了本底估计.     

国家层面创新能力的评价

 综述了创新、创新监测与评价的研究进展，辨析了国家创新能力、创新型国家和科技强国的内涵特征，分析了中国创新能力在世界上的相对位置，探讨了建设科技强国的经验及启示。     

2005～2017年快速城市化背景下洱海流域不透水表面时空格局分析

近年来随着我国经济建设的不断加快以及城市化的快速发展,工业和人口的大规模聚集造成了不透水表面的快速扩张,这对城市生态环境产生了严重的影响。作为城市化水平的关键指示因子,不透水表面已经被广泛应用在城市生态环境评估中。为了定量的分析洱海流域不透水表面拓展的时空动态特征规律,本文以大理市所在的洱海流域为研究对象,利用2005年至2017年的大理市Landsat 5、Landsat 8遥感影像,提取归一化水体指数(MNDWI)和归一化差值不透水表面指数(NDISI)对洱海流域的城市、道路进行空间分析并提取出不透水表面信息进行空间格局分析。研究结果表明：2005~2017年间,随着城市化的快速发展,洱海流域的植被覆盖率和水体等自然地物覆盖率处于下降状态,而不透水覆盖率从11.6%上升到19.8%,呈现快速持续上升趋势。由洱海水质和其流域内不透水覆盖率线性拟合结果可以得到两者具有一定的负相关性。可以预见洱海水质未来发展中随着不透水覆盖率的增长而下降。因此,在城市发展的同时,应该注重对洱海的综合治理,不能任水质自行调节。本研究结果为洱海流域内城市规划管理和流域(水)环境治理提供参考信息,具有重要的现实意义。     

基于交通信号灯信息的混合动力汽车节能预测控制方法

针对传统混合动力汽车控制方法不考虑已知道路交通信号灯信息对车辆能量管理影响的问题,提出了基于交通信号灯信息的混合动力汽车节能预测控制智能优化策略。通过建立混合动力汽车系统的简化模型,并采用连续广义最小残量方法求解模型预测控制问题。运用MATLAB/Simulink进行仿真,仿真结果验证了交通信号灯信息模型的有效性,以及所设计的模型预测控制算法大幅度提高混合动力汽车的燃油经济性的能力和实时控制性能。研究结果表明所提出的控制策略可以实现车辆行驶轨迹的优化控制,显著提高了车辆的燃油经济性,并满足系统的实时最优控制要求。     

大学生羞怯与手机成瘾倾向:孤独感的中介作用

为探讨大学生羞怯与手机成瘾倾向的关系,考察孤独感在大学生羞怯与手机成瘾倾向之间的中介作用。采用羞怯量表、UCLA孤独量表得分第三版和大学生手机成瘾倾向量表对在贵州省8所高校抽取的1 147名大学生进行调查。结果显示:大学生羞怯量表得分、孤独感量表与手机成瘾倾向量表得分显著正相关(r=0.27,r=0.29,均P<0.001),羞怯量表得分和孤独感量表得分显著正相关(r=0.49,均P<0.001);羞怯和孤独感均可显著正向预测大学生手机成瘾倾向(均P<0.001),孤独感在大学生羞怯与手机成瘾倾向之间的部分中介作用成立。