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

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

基于养生理念的小区生态园林植物群落配置设计——以池州和泰星城小区为例

首先论述了小区生态园林植物配置的原则,提出养生保健理念配置具体手法,具体调查了池州市和泰星城小区绿化树种的选择以及群落配置,进行了系统分析评价,借以探讨池州养生宜居小区的建设。     

测绘工程专业CAD课程教学改革与实践

结合测绘工程专业本身的特点，该文首先介绍了CAD课程的作用，分析了该课程的教学现状，总结了在现实教学中存在的问题，进一步引出教学改革的必要性。接下来结合实际教学经验，分别从课程的教学内容、教材的选择、教学方法与教学手段、考核方式、师资队伍建设等方面探讨了AutoCAD教学的改革措施，对提高CAD课程教学质量，培养学生实际动手能力，更好地将CAD应用到专业中，适应实际行业工作需求，具有十分重要的意义。     

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

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

基于ESI的湖北省高校科技竞争力评价

基于ESI数据库，选取湖北省高校作为研究对象，分析各高校论文发表数量、被引情况、世界排名等，以期通过科技竞争力的研究，了解湖北省高校的整体实力，为决策者提供决策依据，提升湖北省高校的整体科研水平。     

Recent advances and challenges in materials for 3D bioprinting

3D bioprinting has been developed as a promising technology in a wide variety of biomedical applications. However, the successful implementation of bioprinting is still heavily restricted by the relatively narrow range of printable and biocompatible materials. Recently, many comprehensive reviews of the main bioprinting methods, commonly used bioprinting materials and the trending bioprinting applications have been carried out. In this review, we focused on the trends in the development of materials for 3D bioprinting. The significance and recent advances of ECM-based materials, multi-material and stimuli-responsive materials for bioprinting were summarized successively. Moreover, the challenges in current studies and future perspectives of materials for 3D bioprinting were discussed.     

国家层面创新能力的评价

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

基于变量选择-神经网络模型的复杂路网短时交通流预测

摘要： 针对传统交通流预测模型正在由单断面历史数据处理向多断面、多时刻历史数据处理转变,但在考虑各断面间的影响时,多变的交通状况往往会使预测模型复杂化的问题,引入一种多元线性回归最小绝对收缩和选择算子方法(Lasso),并利用其优秀的变量选择能力,在复杂路网多断面中选出相关性较高的断面；结合神经网络(NN)的非线性特性,提出了Lasso NN组合模型.结果表明：Lasso NN模型在路网交叉口对未来15 min交通流数据预测的误差率低于9.2%；在非交叉口的误差率低于6.7%,总体优于各自单独使用得出的结果.     

基于炉灶热量回收的吸热装置设计

设计了一种基于炉灶热量回收的吸热装置。该装置通过将导热性能及焊接性能优良的无氧紫铜管与炉灶支架焊接成一个整体,近距离吸收炉灶火焰四周散失的热量,利用火焰散失的热量给生活用水加热,将生成的热水供日常生活使用;对出水装置进行改良,使其与加热装置形成循环结构,达到对整个系统进行保护的目的。本装置提高了对能源的利用率,减少了能源消耗,达到节能的目的。     

基于语料库的韩语因果复句语义及句法特征探析

韩国语中存在着各种各样的因果复句,以口语和书面语中使用频率极高的""四种因果复句作为研究对象,通过21世纪世宗计划语料库中的具体实例来考查分析它们的语义及句法特征,对于韩国语复句教学及韩国语学习者学习并运用韩国语因果复句,能够提供一个良好的理论基础和参考依据。