摘要：田间表层土壤饱和导水率的空间变异性是影响灌溉水分入渗和土壤水分再分布的主要因素之一,研究土壤饱和导水率的空间变化规律,有助于定量估计土壤水分的空间分布和设计农田的精准灌溉管理制度。为了探究应用其他土壤性质如质地、容重、有机质预测土壤饱和导水率空间分布的可行性,试验在7.6 hm2的葡萄园内,采用均匀网格25 m×25 m与随机取样相结合的方式,测定了表层(0～10 cm)土壤饱和导水率、粘粒、粉粒、砂粒、容重和有机质含量,借助经典统计学和地统计学,分析了表层土壤饱和导水率的空间分布规律、与土壤属性的空间相关性,并对普通克里格法、回归法和回归克里格法预测土壤饱和导水率空间分布的结果进行了对比。结果表明:1)土壤饱和导水率具有较强的变异性,平均值为1.64 cm/d,变异系数为1.17;2)表层土壤饱和导水率60%的空间变化是由随机性或小于取样尺度的空间变异造成;3)土壤饱和导水率与粘粒、粉粒、砂粒和有机质含量具有一定空间相关性,而与土壤容重几乎没有空间相关性;4)在中值区以土壤属性辅助的回归克里格法对土壤饱和导水率的预测精度较好,在低值和高值区其与普通克里格法表现类似。研究结果将为更好地描述土壤饱和导水率空间变异结构及更准确地预测其空间分布提供参考。

摘要：基于鲁棒结构奇异值μ理论,建立了热轧带钢AGC的鲁棒控制模型,把AGC系统中分散的摄动集中成一个对角阵进行描述,分析了μ综合控制在热轧带钢中的摄动抑制机理,应用鲁棒稳定与鲁棒性能准则约束条件,设计了热轧带钢AGCμ控制器.仿真结果表明μ综合控制能有效地抑制AGC系统中的摄动,对模型不确定性具有很好的鲁棒性.

摘要：将醇/水分离通道适当地放大,在匀质膜材料中单一纳孔的基础上,引入介于纳孔与微孔之间的通道亚微孔,只依靠极性效应对水和乙醇进行选择分离。通过设计得到合适尺寸的分离通道,从而可以依靠极性选择作用来达到从水中优先脱醇并提高分离性能的目的。通过对改性有机硅浓乳液以及由其直接制备得到的分离膜的形态进行电子显微镜观测,发现在分离膜中存在浓乳液乳胶粒子相互挤压、密集堆砌而且随着苯乙烯类单体含量的增加,乳胶粒子形态结构的边缘逐渐清晰,并能够保持浓乳液中乳胶粒子密集堆砌形成的多面体结构,通过红外及DSC谱图的变化分析,发现苯乙烯存在交联互穿增强效果。

摘要：SpaceWire是应用于航空航天领域的高速通信总线标准,保证其设计的可靠性和正确性至关重要.本文通过概率模型检测的方法对SpaceWire的交换层设计进行形式化建模与量化分析.基于马尔科夫决策过程(MDP)对交换层的链路初始化及正常运行过程建立形式化概率模型,模型包括发送方、接收方和信道,提取SpaceWire交换层的4个关键属性,用概率计算树逻辑(PCTL)进行描述,运用PRISM平台对SpaceWire交换层设计进行验证和分析;并获得信道丢包概率不同情况下,链路初始化成功以及正常运行时数据包正确传输的概率,这种定量形式化分析结果可为SpaceWire的设计和实现提供参考依据.

摘要：基于光谱学原理设计了智能苹果糖度在线分级设备,研究了上置式检测器在线检测中的杂散光问题,通过光路图分析了富士苹果3种摆放方式对杂散光的影响,并提出了遮光降噪方案。利用偏最小二乘(PLS)回归分别建立了3种摆放方式的富士苹果可溶性固形物含量(SSC)在线预测模型。研究结果表明,对于上置式检测器而言,摆放方式和遮光处理尤为重要。其中果柄朝上遮光为最佳降噪措施,所建立的模型校正集均方差(RMSEC)为0.60,校正集相关系数(RC)为0.94,预测集均方差(RMSEP)为0.67,预测集相关系数(RP)为0.87,可以满足实际生产中的在线分级要求。

摘要：针对中高纬度地区桥梁斜拉索易发生的覆冰跌落现象,本文基于压电阻抗和主成分分析方法开展了桥梁斜拉索覆冰监测研究。压电阻抗方法对结构局部刚度和质量变化敏感,斜拉索表面覆冰同时影响了其局部动力特性以及布置在其表面的压电传感器的动力特性。本文给出了压电阻抗法覆冰监测的原理和常用损伤指数,并分析了温度的影响。通过斜拉索节段模型试验得到了覆冰和温度同时作用下的压电阻抗特征曲线,分析了峰值电导、峰值频率、电导均值及标准差与冰厚的关系,提出了采用主成分分析法剔除温度影响并识别覆冰厚度。分析结果表明上述方法可有效识别有冰、无冰工况以及对不同冰厚的工况进行监测,对实际除冰具有较大意义。

摘要：讨论了重写对策在基于高阶逻辑定理证明系统HOL的形式化证明过程中的应用。通过REWRITE_TAC对策、ASM_REWRITE_TAC对策和RW_TAC对策,详细分析了重写对策的功能、应用方法、应用环境、应用中可能出现的问题以及解决办法,给出了***搜索和***搜索等重写对策的定理参数的选择方法,并进行了分析与比较。进一步说明了重写对策在基于HOL系统的形式化证明中的重要性,以期对HOL系统用户提供一些帮助与启发,促进HOL系统的进一步发展与完善,使形式化方法能够解决更多的实际问题。

摘要：应不应记忆?能不能记忆?愿不愿记忆?让不让记忆?记忆存在于真实前行的生活,是活着的,不是死去的;记忆不是唯精英权贵,草根民众记忆亦弥足珍贵;珍视记忆中蕴含的历史文脉,但记忆的保护不等同于遗产的保护,亦应正视记忆与现代发展存在的某些不相容;记忆不是虚幻之谈,而是文化自信、城乡复兴的源泉。时间之河不会回淌,改变了的城乡空间再也无法回到从前,今天对城乡未来的反思本质上就是对社会发展的反思。结合国际研究的比较,针对中国当下的语境,就城乡记忆的演变机制和空间逻辑,地理、规划、建筑、文物、旅游等领域的理论和实践讨论在此交汇。伴随着城乡社会的不断变化,记忆和乡愁的保存和发展是为了展现过去的历史,适宜今天的生活,愉悦未来的创造。

摘要：随着边缘设备数据的增多和神经网络的不断落地应用,边缘计算为以云计算为核心的大数据技术分担了压力。现场可编程门阵列(FPGA)因灵活的体系结构和低功耗,在边缘计算以及构建神经网络加速器中显示出优异的特性。但是,传统的基于传统卷积算法的FPGA解决方案往往受到片上计算单元数量的限制。使用Zynq作为硬件加速平台,对参数进行定点量化,利用数组分区提高流水线运行速度。采用Winograd快速卷积算法对传统的卷积进行改进,将卷积运算中的乘法运算转换为加法运算,降低了模型的计算复杂度,极大提高了所设计的加速器的计算性能。实验表明,XC7Z035工作在150MHz时钟下获得了43.5GOP/s的性能,能效是Xeon(R)Silver 4214R的129倍,是双核ARM的159倍。所提方案在资源和功耗受限的情况下可以提供较高的性能,适用于网络边缘端对轻量级神经网络的落地应用。

摘要：聚合物基微环谐振器作为低成本和易制备的集成光子器件受到了广泛的关注。利用多模干涉的自映像理论设计了微环谐振器,在直波导和环之间以2×2多模干涉耦合实现50∶50的分光比。在输入/输出波导和多模干涉耦合区连接部分引入了锥形结构以提高性能。分析了TE/TM波多模干涉区制备容差对附加损耗和均衡度的影响。分析了不同残留层厚度下正脊型波导的弯曲损耗。进一步仿真了半径为200μm微环的光谱响应。仿真结果表明设计极大的提高了微环的性能。