摘要：When measuring the surface subsidence of unstable areas such as railroad beds and large construction fields, it is not practical to always find stable positions to install measurement instruments. Yet installing those instruments in unstable positions will cause measurement errors or even the complete failure of long-term subsidence surveillance. In this paper, the innovative concept and its method of "displacement-relay videometrics" are proposed. With the method, a double-headed camera is designed, and two constraints, the "fixation constraint" and the "homologous constraint", are established to construct the displacement-relay measurement equations, which can concurrently give the subsidence of the points to be measured and the positions where the cameras are fixed. The method and its measurement system are thus capable of automatically measuring the surface subsidence under the condition that the cameras are mounted on unstable locations over long durations. Therefore, the method has the broad prospect of undertaking automatic, long-term and continuous measurement for surface subsidence in engineering projects such as railroad beds, bridges and the ground beds of tall buildings. The proposed method opens a new area that cameras can be mounted on unstable platform to make high accuracy measurements, which is of great significance for applications.

摘要：针对图像同时存在仿射变形和成像特性差异时传统方法难以快速可靠匹配图像的问题,提出仿射变形下的异源图像匹配方法.首先利用二维Moran信息准则从小图中筛选若干有效子区;然后基于梯度方向相关方法在平移空间内计算每个有效子区与大图的相似度;最后对多个子区的平移空间相似度进行变换与组合得到仿射空间图像相似度的近似描述,求解仿射空间相似度最大值得到图像匹配结果.该方法避免了多次对全图进行仿射变换和比较相似度的运算,其计算复杂度仅与传统平移空间图像匹配方法相当,远低于仿射空间图像匹配方法.实验结果表明,文中方法不仅计算速度快,同时还具有很高的匹配成功率.

摘要：干旱区人居环境受到干旱自然条件的制约呈现出系统失衡的态势,如何促进系统耦合协调对干旱区人居环境建设至关重要。为探索系统耦合协调视野下干旱区人居环境的时空演化机制,以新疆14地州市人居环境为研究对象,构建干旱区人居环境系统协调发展评价体系,基于5个子系统的耦合协调度模型,综合运用熵值法、GIS空间分析与结构方程模型,探索2003—2019年新疆人居环境系统耦合协调度的时空演变规律与耦合作用机制。研究表明:(1)在时间维度上,2003—2019年新疆人居环境系统的耦合度与耦合协调度均呈现波动上升趋势,14地州市之间增速不均匀。(2)在空间维度上,形成“中间高、两侧低、北高南低”的空间分布格局,在东西方向由“一字型”向“倒U型”演变,在南北方向由“一字型”向“U型”再到“斜线型”演变。(3)在作用机制方面,主要形成“人类系统→社会系统→居住系统→支撑系统”,以及“社会系统→自然系统”的作用路径,其作用效应依次为0.570、0.972、0.953、-1.189。其中,人类系统是干旱区人居环境协调发展的根本动力,通过社会系统正向或负向地间接作用于其他系统。

摘要：铝离子光钟跃迁谱线的自然线宽为8 mHz,因此,需要用线宽为1 Hz左右的激光探测光钟跃迁谱线。半导体激光器的线宽为500 kHz,长期漂移量为90 MHz/h,为了满足铝离子光谱探测的要求,将激光频率稳定在法布里-珀罗(F-P)腔上。振动噪声为F-P腔的主要噪声之一,为了降低F-P腔的振动敏感性,理论分析了激光频率稳定的F-P腔振动敏感性。通过有限元方法模拟分析了F-P腔的弹性形变与其形状和支撑位置的关系,设计了激光波长为534 nm时激光振动敏感性为0.53 kHz/(m?s^(2))的F-P腔,为实现低振动噪声激光提供了理论依据,在原子钟和精密谱测量领域具有重要的应用价值。

摘要：在疫情防控常态化背景下,了解居民对城市综合性公园的出行意愿有利于公园管理运营合理化发展。基于事件强度认知与计划行为理论,以风险传播为调节变量构建结构方程模型,探讨影响居民公园出行意愿的机制。结果表明:1)在新冠疫情强度认知中,居民的新颖性认知无法影响公园出行意愿,但会负向影响公园出行态度,而颠覆性认知与关键性认知均能够正向影响居民公园出行意愿与态度;2)居民对于公园出行的态度、主观规范与感知行为控制均能正向影响公园出行意愿;3)在新颖性认知和关键性认知2条影响公园出行意愿的路径中,态度均起到中介作用;4)风险传播在“态度→出行意愿”和“主观规范→出行意愿”2条路径中均起到负向调节作用。

摘要：Xen作为一种开源流行的虚拟化工具,使用越来越频繁。作为Xen的安全框架XSM(Xen Security Module)也受到广泛的关注。许多研究者通过形式化的方式对现有的操作系统进行正确性的验证,目前已有的形式化研究主要是验证系统实现的代码正确性。从系统功能角度提出了一种以主体行为为操作系统语义模型对系统进行形式化建模,并采用CTL时序逻辑对XSM安全需求进行分析。语义模型作为系统设计合理性和形式化验证的联系,对XSM进行形式化验证,并使用Isabelle/HOL验证功能和安全需求的一致性,以说明XSM是否符合安全需求。

摘要：为了进一步研究胶合木张弦梁(BSS)的力学性能,进行了10榀花旗松胶合木梁(2榀普通胶合木梁(B),8榀的张弦胶合木梁)的抗弯试验研究。结果表明:张弦梁可改善普通梁的脆性破坏模式,使上弦木梁的受压性能得到有效发挥,破坏表现出塑性特征,极限承载能力提高3倍以上。张弦梁的极限承载力及刚度与跨高比成反比,与垂跨比成正比,与腹杆数量成正比。初始预应力水平对承载能力的影响不明显,仅对刚度有贡献。结构破坏时的延性需要综合考虑各项因素。结合一项设计完成的50.4 m跨胶合木张弦拱结构实例,阐述关键连接节点及预应力取值等问题,并对整体结构性能进行了分析。研究内容可为胶合木张弦梁理论及工程应用提供参考。

摘要：该文选取塔格托维村作为研究对象,使用ENVI-met微气候仿真软件模拟、分析村落的温度、湿度、风速和热舒适度的分布情况。结果显示,塔格托维村气候适应性相对较好。在太阳强烈照射下,黑山地表温度迅速升高,且高于周围环境温度;因受下山风的影响,黑山周围部分热量随风进入塔格托维村内部,提高了内部温度,降低了人们的舒适度。最后,基于气候适应性在规划设计方面提出相关优化策略。

摘要：网络测量是评估网络性能和监视网络状况的重要手段。本文研究了分布式网络测量基础架构,并在此基础上设计了一种基于ARM和嵌入式实时操作系统的分布式网络测量探针,应用于DNMAI测量系统中,进行网络性能指标的测量。最后,文中以端到端时延测量为例给出了对探针测量数据的分析方法。

摘要：为便于木结构工程设计,提出了钢板螺栓连接承载力计算式,并提出了受弯螺栓连接节点承载力上限和下限的计算方法。设计制作了钢填板螺栓连接节点试件,并进行了复合受力节点承载力试验研究。试验结果表明,各受力工况下试验节点的承载力平均值均介于所计算的承载力上、下限之间,且基本等于所计算的承载力上、下限的平均值。从而验证了所提出的钢板螺栓连接承载力计算式和连接节点承载力计算方法的正确性和适用性,为设计提供了可靠依据。