浅谈南方新型绿色智能居住小区

介绍了“绿色智能居住小区”环境的构成，总结了“绿色智能居住小区环境”的设计原则，试图利用“可持续发展”、“人性化”原则、社区发展原则、地方性原则、形式美法则创造一个交通便利、设备先进、环境优雅的生态智能小区。     

移动4G通信关键技术及应用分析

随着我国通信行业的飞速发展,通信企业为了适应市场的需求与发展,4G技术逐渐的不如市场,但在4G技术的广泛应用过程中,其自身存在的问题也逐渐的显露出来。本文主要对4G通信的关键技术进行研究,并对其应用的状况进行阐述,以此来完善4G技术的发展。     

基于正交试验的脉冲MIG焊参数优化试验

采用了四因素三水平的正交试验方法,结合焊接电弧动态小波分析仪对脉冲参数进行了优化。根据试验结果分析了MIG焊主要参数和焊缝成形质量之间的关系,为脉冲MIG焊的参数设计提供了依据。     

氧化镁复合膨胀剂对高性能混凝土安定性能和力学性能的影响

随着时代的进步和社会经济的发展,我国出现了各类工程,高性能混凝土得到了较为广泛的应用,但是在各种因素的综合作用下,混凝土很容易出现开裂问题,影响到工程质量和安全。针对这种情况,就需要深入研究氧化镁复合膨胀剂对高性能混凝土安定性能和力学性能的影响,希望可以提供一些有价值的参考意见。     

C掺杂金红石结构TiO_2的第一性原理研究（英文）

利用基于密度泛函的第一性原理研究了非磁性轻元素C掺杂金红石TiO_2的性质,这在自旋电子和红外电子领域具有潜在的应用前景.结果显示:C原子更倾向于形成铁磁耦合并围绕在Ti原子周围,每个C原子的磁矩大约为1.3μB.体系的铁磁性来源于p-d轨道杂化和类p-d杂化的p-p耦合共同作用,p-p耦合主要来自类p-t_(2g)和价带p态耦合.     

NB-IoT低速率窄带物联网通信技术现状及发展趋势

NB-IoT作为现阶段我国物联网结构体系中的重要分支,凭借自身在蜂窝网络结构技术以及运行成本等方面的优势与商业价值,逐渐成为物流网发展的的主流.本文以NB-IoT低速率窄宽带物联网技术为研究重点,深入分析发展现状及方向,为其在实践中的有效应用提供必要的参考.     

带钢输送机的制作介绍

带钢输送机的制作介绍黄文超（四川省忠县高频焊管厂６３４３００）主题词带钢，输送机，工艺设计，结构参数ＴｈｅＩｎｔｒｏｄｕｃｔｉｏｎｔｏｔｈｅＭａｎｕｆａｃｔｕｒｅｏｆａｎｄＳｔｅｅｌＣｏｎｖｅｙｅｒ￥ＨｕａｎｇＷｅｎｃｈａｏＫｅｙｗｏｒｄｓ：ｓｔｅｅ...     

慢速加载对两河口堆石料侧限压缩变形的影响

堆石料变形具有时间相关性。本文采用两河口特高砾石土心墙堆石坝的坝壳风干板岩堆石料开展不同应力加载速率下的大型侧限压缩试验,以及侧限压缩后卸载再加载试验、蠕变变形试验。对于侧限压缩试验,中低应力下,应力速率越高、变形增量越大、模量越小;高应力下,应力变形过程受应力速率的影响减小,规律反之,即应力速率越高、变形增量越小、模量越高。对应加载全过程,堆石料变形量总体随应力速率提高而增大。侧限压缩后卸载和再加载过程中形成滞回曲线,每次卸载-再加载中有一定的变形累积,每次变形累积增量随卸载-再加载次数逐渐减小,且各次卸载-再加载过程中的平均回弹/再压缩指数随卸载-再加载次数逐渐减小。一般地,应力速率越高,卸载和再加载变形量均更小。同时,应力速率越高,卸载-再加载循环中的变形累积增量越小、收敛也越快。以一定应力速率加载到特定荷载后的蠕变速率与蠕变时间在双对数坐标中近似为线性关系。初始蠕变速率随应力和应力速率增大而增大,而蠕变速率衰减速度随应力和应力速率增大而减小。     

基于强化学习的安全协议形式化验证优化研究

使用形式化方法能够找到安全协议设计中存在的漏洞,但高效地对安全协议进行自动的形式化分析仍然是一个挑战。针对现有形式化自动验证工具无泛化性和效率低的不足,对基于强化学习的安全协议形式化验证框架smartVerif进行优化。使用无人工特征、完全进行自我学习的蒙特卡洛树搜索与深度神经网络相结合的强化学习框架,同时设计能够保留形式化数据结构信息的数据转换方法。实验结果表明,利用该优化方案训练的强化学习模型具有泛化性且能高效地验证安全协议。     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。