地外人工光合成材料研究进展

太空探索已成为人类共同目标,重返月球、载人火星等人类历史上的重大里程碑任务已逐步实施。如何实现地外极端环境下人类生存和发展已成为载人太空探索的基本能力和基础技术。由南京大学和钱学森空间技术实验室提出的地外人工光合成技术,模拟地球绿色植物的自然光合作用,利用密闭空间废弃资源或地外天体环境中丰富的资源,通过光电催化方法原位、加速、可控地将二氧化碳转化成为氧气和含碳燃料,大幅度降低载人航天器的物资供应需求,支撑可承受、可持续的载人深空探索。本文回顾了近年来国际航空航天领域利用二氧化碳转换生成氧气和碳氢燃料的现有方法,并深入探讨面向地外原位资源利用的人工光合成材料研究进展,期望深化对地外人工光合成材料与技术的认知,有力支撑载人航天发展。     

4-甲基-5-甲酰基噻唑的合成研究

研究了头孢托仑匹酯3-位侧链4-甲基-5-甲酰基噻唑(1)的合成工艺,以氯丙酮(2)和硫脲为起始原料,经环合、Vilsmeier甲酰化、重氮化还原脱氨基得到4-甲基-5-甲酰基噻唑(1),反应总收率为58.5%。考察了重氮化还原脱氨基反应中溶剂、反应温度、亚硝酸叔丁酯及添加剂二甲基亚砜的用量对产物1收率的影响,得出了优化工艺条件。     

光电催化材料在太阳能分解水方面的应用研究进展

光电化学太阳能分解水制氢,能够直接将太阳能捕获、转化、存储为化学能,是有效应对目前能源与环境问题的方法。在光电化学分解水中,半导体光电极的性能决定了太阳能转化效率。但是对于半导体光电极,由于存在光生载流子的复合和传输距离短等问题,限制了光电化学性能。因此,主要结合作者课题组和国内外其他研究组的研究,以氧化铁、氮化钽等半导体材料为例,从电极的形貌调控、离子掺杂以及其表面的钝化层和过渡金属电催化剂改性等方面,综述了提高光电极性能的方法。     

高速铁路高架桥局部振动的有限元分析

针对高速铁路高架桥箱型梁局部振动问题，基于车辆-轨道耦合动力学原理，采用实体单元对梁体进行有限元分析。通过对选取的六个敏感点振动特性的研究，比较得出箱梁各部位局部振动情况。研究在不同列车速度作用下，梁体不同部位的时域与频域响应，得出随车速变化各点振动频率的分布规律。同时分析轨道状态对箱梁局部振动的影响，对比计算结果可知，轨道不平顺是引起局部振动的主要因素。此外，还分析了不同边界条件对箱梁的局部振动响应的影响，结果表明固支梁相比简支梁，顶板、腹板、底板的局部振动响应有所减弱，而对翼缘板则影响较小。     

嵌入式LINUX系统中触摸屏控制研究与实现

论文主要讨论了基于嵌入式Linux操作系统的研究与开发。文章对嵌入式系统进行了简单介绍，详细分析了系统特点，结合Linux自身的优点，提出了基于嵌入式Linux操作系统对触摸屏驱动的开发方案，并详细介绍了驱动程序及测试应用程序的设计．     

增湿条件下膨胀土隧道围岩的稳定性

增湿条件下,膨胀土的强度会降低并产生膨胀力,在两者的共同作用下,膨胀土隧道围岩稳定性会严重降低,有必要研究增湿条件下膨胀土隧道围岩的变形和衬砌受力。采用室内试验和数值模拟的方法对膨胀土隧道围岩稳定性进行研究,对不同含水率的重塑膨胀土进行剪切试验,得出摩擦角、黏聚力与含水率的拟合关系式,运用ABAQUS有限元软件对膨胀土隧道开挖过程进行仿真分析,并利用温度场模块模拟隧道围岩增湿膨胀,得出隧道增湿前后应力与位移的变化规律,同时设计正交试验,分析各因素对膨胀土浅埋隧道稳定性的影响。结果表明：围岩增湿之后,围岩拱腰处的应力值增加明显,拱顶和拱底处应力值减小;衬砌的拱底处纵向位移值增加,拱顶处纵向位移值减小。通过设计正交试验,采用极差和方差分析得到对膨胀土浅埋隧道围岩稳定性影响最大的因素为增湿强度,其次为覆跨比、膨胀厚度和膨胀系数。     

模态逻辑与带变量串空间相结合的协议分析

在传统的串空间基础上引入带变量的串空间模型，对于未确定的消息项或其子项用变量表示，允许变量出现在消息项及其演算中，协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型，提出了一个用于推理协议主体的各种行为的模态逻辑系统，给出了该逻辑的语法、公理及推理规则。基本的模态公式 表示主体A完成动作P， 是相应的结果，通过主体行为的各种组合并绑定相应逻辑公式，最终推断安全协议的秘密性和可鉴别性。用该方法分析Helsinki协议，能发现其中的安全漏洞Horng-Hsu攻击。     

基于各向异性扩散的图像平滑与分割技术研究

本论文研究基于各向异性扩散的偏微分方程除去图像噪声的方法,在去除噪声的同时,能有效保持重要的边缘和局部细节,在通常考虑4向扩散方向的基础上提出了八向的各向异性扩散和边缘增强的处理技术,并将平滑后的图像通过聚类分群而得到不同的医学器官组织的分布。     

基于位置的身份验证

使用地理位置作为身份识别的唯一特征,提出一种新的基于位置的身份验证的方案。新方案改进了以往方案在测量时间响应时要求过于精确这一弊端,针对BSM模型的存储能力有限、对于同时接收到的信息可以计算但不能存储这一特点进行设计,所以它对时间响应并无特殊要求。新方案使基于位置的身份验证的方法更加多元化,防攻击的手段更加丰富,并在此基础上设计了一种基于位置的密钥交换协议。     

《网络安全》课程教学创新初探

分析传统的《网络安全》教学过程中存在的问题,结合教学实践,提出《网络安全》课程的改进方法。随着网络安全态势日益严峻,社会对精通网络安全的专业人才需求量将会越来越大。《网络安全》课程是信息安全本科专业的必修课程,搞好该课程的教学是培养合格的信息安全人才的保证。