摘要：蜂巢芯空腹楼盖是近年来新开发的现浇混凝土空心楼盖内模形式,具有减轻结构自重、降低层高、降低综合造价、缩短施工工期、提高隔音隔热性能等特点。施工难点分析表明,这种新型楼盖技术的关键施工技术是芯模的抗位移和抗破损,并提出了控制措施。定性的效益分析和定量的指标分析均表明,蜂巢芯空腹楼盖比传统梁板楼盖和密肋楼盖有着明显的经济性优势。

摘要：以提高排水沥青混合料的路用性能为目的,选取聚丙烯纤维作为增强稳定剂,对不同纤维掺量下排水沥青混合料的配合比进行了设计并对路用性能进行了试验测定。室内试验研究表明:聚丙烯纤维对排水沥青混合料的水稳定性能改善效果不明显,但对高温稳定性、抗疲劳性能及低温抗裂性能改善效果显著,综合路用性能建议最佳掺量取0.4%。在室内试验基础上展开工程应用研究,验证了聚丙烯纤维增强排水沥青混合料路用性能的有效性,具备较好的应用前景。

摘要：为了改变钢渣利用现状并满足道路建设实际需要,在超薄磨耗层SAC-10沥青混合料中用钢渣部分替代天然集料,对不同钢渣掺量下SAC-10沥青混合料的配合比进行了设计并对其路用性能进行了研究。室内试验结果表明:SAC-10沥青混合料的动稳定度随着钢渣掺量增加呈先增大后降低趋势,并在钢渣掺量为60%时达到最大值,高温稳定性能得到了巨大的提升;钢渣掺量为60%时,钢渣SAC-10沥青混合料的水稳定、低温抗裂、抗滑及抗膨胀性能良好,均满足规范要求。工程应用表明超薄磨耗层SAC-10在掺入60%钢渣后,抗滑性能、渗水性能及长期路用性能优异;掺入60%钢渣后,超薄磨耗层SAC-10的综合单价增加了81元/m3,但长远来看可以有效降低养护维修费用,长期经济效益高,值得推广。

摘要：宠物作为人类日常生活里的重要角色已经融入到人类生活中,并相应地发展出“宠物友好空间”理念。由于公共场所宠物存放设施存在明显的不足,不能合理满足养宠人群的需求,极易造成群体间的矛盾。通过数据收集和实地考察的方式,对场所中现有存放方式设施简陋、存放远距离等缺陷进行分析与归纳。围绕产品功能结构、造型形态、材料质感这3个方面,分析总结了公共场所宠物存放产品的设计要素。为了在不影响他人的情况下合理解决养宠人士的需求,采用问卷调查法对养宠人士以及非养宠人士的想法、需求等展开深入调研,绘制用户画像并分析宠物行为和心理特征,挖掘公共场所宠物友好存放产品这一机会点。结合绿色共享理念,提出宠物友好型共享存放产品的新设计思路和方法,设计实践出一款可移动的公共场所宠物存放产品,通过透明箱体、挂钩以及拉链的设计,确保人与宠物、人与人之间建立更为和谐的关系,以期对宠物产品行业发展提供一些借鉴和参考。

摘要：针对YTF组件生产过程中传统人工补偿工作费时费力且补偿效果较差的问题,设计了具有微控制单元的数控YTF组件,研究了改善YTF调谐线性度和频率温度漂移的数字补偿方法。在此基础上开发了计算机软件,用于控制矢量网络分析仪、温控箱、电源等可编程仪器从而组成自动补偿系统,最终实现了对YTF组件频率准确度的自动补偿。应用结果表明,该自动补偿系统不仅补偿速度快,而且能显著提高组件的批量一致性。

摘要：家庭体育作业是学校体育课的有效延伸,是学生根据教师要求,在学校场域之外进行的体育学习活动。针对当下家庭体育作业存在的功利化取向、设计随意化、反馈缺失等诸多问题,教师可从优化作业设计、充分发挥家长的作用、革新作业的批阅形式三方面进行改进,切实提高家庭作业的有效性。

摘要：智能手机的界面中的软件、游戏等大部分都是由电脑中映射过去的,智能手机的界面相对于电脑要小得多,图标尺寸也变得更小,与人的交互变化更加的微妙。如何让使用者更加准确的理解界面图标的意思并让用户在使用过程中产生愉快的交互体验成为了界面图标设计的关键。本文由心理学对于人类微表情研究的方法引出了界面图标微表情的概念,并对其进行进一步研究。

摘要：新城市科学的涌现为开展大规模和精细化的空间量化分析提供了基础。已有的关于街道空间品质的研究多采用定性或主观定量分析方法,近年来虽有学者采用新数据和新技术对其进行分析,但测度维度相对单一,不能客观、全面地反映街道空间品质。基于此,文章结合相关经典理论,在新数据和新技术的支持下,构建了一个包含多维度、分指标的城市街道空间品质综合评价框架,该评价框架兼顾街道形态特征以及使用人群的感知与行为特征,通过可视化分析判定街道类型,采用机器学习算法分类别的对街道进行打分和精细化评价,对不同街道之间的品质进行比较,并基于综合评价结果和共识认知比较进行评价效能检测。最后,以上海市中心城区为例,对该评价框架的可操作性和合理性加以验证,希望能够为精准化的街道空间更新设计提供科学支撑。

摘要：本文较详细地介绍了面向对象的中英文编辑系统的系统功能、系统设计和系统实现技术。该系统采用最新的面向对象编程技术，实现了中英文编辑的主要功能。

摘要：在本文中我们将在分析一阶程序逻辑的求解过程的基础上，讨论可满足性与布尔阵的关系，并给出一元涵词Ｈｏｒｎ子句可满足性的矩阵描述。