摘要：西北农林科技大学3号教学楼建于1934年,钢筋混凝土框架结构,主体部分地上3层,局部塔楼7层。该建筑被列为陕西省文物保护单位。经过70多年的服役,材料的老化和结构的损伤导致承载能力下降、耐久性降低、抗震能力不足,加之汶川地震影响,部分填充墙出现裂缝。校方委托专业检测单位对该建筑进行了检测和评估,并委托设计单位依据评估报告及相应规范对结构进行加固设计。

摘要：Rust是为了解决系统编程领域的安全性问题,而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言,强调安全性和高性能,已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得到了越来越广泛的应用。现有研究表明,尽管Rust的设计目标是保证安全性,但其自身仍然存在许多安全问题。作为一门系统编程语言,Rust的安全性直接影响到基于Rust开发的软件系统的安全性。随着Rust的广泛应用,对Rust语言安全的研究显得尤为重要。Rust语言安全研究正在成为研究热点,并且在近几年已经取得了较大研究进展。本综述基于该研究领域已经公开发表的46篇研究论文,对该领域的相关研究进行了系统整理、分析和总结:首先,研究分析了Rust的核心安全特性,包括函数式编程范式、强多态类型系统、基于所有权模型的自动内存管理、对非安全代码的显式标记和隔离;其次,提出了Rust语言安全研究领域的分类学,将已有研究分为安全实证研究、漏洞检测研究、安全增强研究和形式化验证研究四个热点方向,并分别对这四个方向上的相关研究进行了综述、深入分析和总结,同时分析了四个研究方向的内在联系;最后,指出了该研究领域的待解决的科学问题,并对未来可能的研究方向进行了展望,提出了四个潜在的研究方向,以期为相关领域的研究者提供有价值的参考。

摘要：[目的]为了开展多任务作战舱室战位布置设计方案的工效评价研究,[方法]提出一种在设计阶段可实施的布置方案工效预测和评价方法,结合人的模糊认知特性以及多通道资源理论,考虑作战舱室战位间的沟通频率、距离、角度、战位对作战使用的重要隶属度等因素,从通道资源占用或付出努力对工作负荷的影响出发,对通过各因素进行归一化处理后,提出一种基于团队绩效的工效评价理论计算模型。通过开展仿真模拟的团队作业实验,测量团队任务完成时间及完成正确率等指标,并与模型计算的布置方案所支持的团队绩效理论值进行对比分析,[结果]试验结果验证了理论模型的有效性,并能够用于多种作战舱室战位布置设计方案的预测和工效评价。[结论]结果表明该模型可为作战舱室战位布置设计方案的工效评价、优选和优化设计提供一种新的方法与理论基础。

摘要：提出一种基于OPC技术的柔性制造系统集成平台,该平台利用MCGS作为OPC服务器,包括若干数控加工单元以及机械手、物料传送装置。平台集成了车间调度算法,可根据遗传算法优化出来的调度方案运行。利用***编写平台的WEB服务器程序以实现对该平台的远程监控。该柔性制造系统平台具备较强的开放性和灵活性,能够实现可靠的信息传输。

摘要：主要基于热声效应对石墨烯薄膜发声进行理论研究。首先建立了石墨烯薄膜耦合热振动模型,推导出了石墨烯薄膜发声器的声压表达式。在此基础上,进行了不同基底石墨烯薄膜发声器的声压测试,并将测试值与理论计算结果对比,二者随频率变化趋势基本吻合,测试值略低于理论值,验证了推导出的声压表达式的正确性。研究表明石墨烯薄膜发声器有很宽的频域响应,在低频段声压级随频率增大而增大,在高频段响应平稳,具有作为优秀的热致发声器的潜力。基底材料蓄热系数越小,石墨烯薄膜的声压值越大;声压级随薄膜热容量的增大而减小。研究结果对于石墨烯的发声机制探索及其在扬声器设计等方面的应用具有指导意义。

摘要：We describe the footprint and input catalog for bright nights in the LAMOST Pilot Survey, which began in October 2011. Targets are selected from two stripes in the north and south Galactic Cap regions, centered at δ = 29°, with 10° width in declination, covering right ascensions of 135° to 290° and -30° to 30° re- spectively. We selected spectroscopic targets from a combination of the SDSS and 2MASS point source catalogs. The catalog of stars defining the field centers （as re- quired by the Shack-Hartmann wavefront sensor at the center of the LAMOST field） consists of all V 〈 8m stars from the Hipparcos catalog. We employ a statistical selection algorithm that assigns priorities to targets based on their positions in mul- tidimensional color/magnitude space. This scheme overemphasizes rare objects and de-emphasizes more populated regions of magnitude and color phase space, while en- suring a smooth, well-understood selection function. A demonstration of plate design is presented based on the Shack-Hartmann star catalog and an input catalog that was generated by our target selection routines.

摘要：大型全冷式液化气船(VLGC)是液化气船市场上的一型高技术、高附加值船舶,一直以来为日本、韩国所垄断。江南造船自上个世纪九十年代末投入研发力量以来,经过十余年的不懈努力,终于在2012年打破国外的技术垄断,成功接单,实现了我国在该船型上零的突破。文章主要介绍了该船型在总布置设计、液舱设计、线型开发和CFD优化以及完整稳性和破舱稳性分析等方面的技术问题。通过这些研究,对该船型的开发和总体设计工作有了一个比较完整的认识。

摘要：为了给混凝土结构耐久性研究和寿命预测提供参考,依据扩散理论和有限元数值模拟,对应力、碳化和酸雨等单一因素和多因素作用下的混凝土构件中性化区域的物质含量分布、pH值和中性化深度进行了分析。研究结果表明:在混凝土中性化过程中,完全碳化区内的CO2浓度曲线近似呈直线下降,部分碳化区内呈非线性下降,整体曲线呈指数分布,而H+和SO2-4呈非线性下降分布;混凝土内部Ca(OH)2含量和pH值是连续变化的,存在部分中性化区;应力、酸雨与碳化存在耦合效应,酸雨腐蚀初期抑制碳化进行;混凝土中性化深度的数值模拟具有一定的可信度。

摘要：背架结构是FAST(500m口径球面射电望远镜)反射面支承结构的重要组成部分,其性能直接影响到FAST的工作精度、经济性乃至项目的可行性.针对2008年我国南方地区发生严重雪灾的实际情况,对单层、单层弦支、双层、局部双层四种形式的FAST背架结构重新进行了参数优化,最后从结构自重、刚度、施工难易程度等方面对四种结构形式进行了综合性能的比较.

摘要：为保证酒精及其相关产品的产量、质量和收得率,通常采用以开放式冷却塔为降温设备的循环冷却水系统。但冷却塔的降温效果与气象条件密切相关,在高温高湿天气下只能通过补充大量新水来保证冷却水的温度,从而造成水资源的浪费。针对这方面的问题,某酒精厂的冷却水系统在原有冷却塔后增加大型离心式制冷机组,实现冷却水温度的有效降低和控制,收到了明显的改善工艺条件、节约用水和节约运行费用的效果。实践证明制冷降温技术在工业冷却水领域应用具有可行性、合理性和必要性。