Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Software and Systems Modeling - Open environmental software systems are often time-sensitive, as they need to respond to other entities within the systems and/or in the environments promptly. The...     

疫情封控下校园室内外蓝绿特征接触对 大学生心理健康的影响研究

疫情封控、隔离等防疫措施为研究校园室内外蓝绿 特征对大学生心理健康的影响提供了契机。通过对西安封控高 校中的1 016位在校大学生进行线上调研，利用广义线性模型 分析在不同自然接触类型(直接、间接、偶然)下，不同校园 蓝绿特征对大学生的心理健康影响。分析表明，在严格的(一 级)校园封控下：1)偶然接触不同校园室内蓝绿特征(植物、 日光强度)与大学生焦虑、抑郁及感知压力指标存在相关性； 2)偶然接触不同校园户外蓝绿特征(是否路过校园户外蓝绿空 间)与大学生焦虑、抑郁及感知压力指标无明显关联；3)间接 接触校园户外蓝绿特征方面，有无宿舍窗景与大学生焦虑、 抑郁及感知压力指标存在相关性，但具体窗景类型(灰色、绿 色、蓝绿)与大学生焦虑、抑郁及感知压力指标无明显关联。 基于研究结论提出促进大学生心理健康的校园室内外环境设计 建议，以期为进一步实施“健康中国”战略提供参考。     

论"增减挂钩"在国土空间规划中的扩展适用——以土地发展权转移的视角

在存量时代建设用地资源日益紧缺的形势下,城乡建设用地增减挂钩政策成为优化城乡土地资源配置、实现城乡统筹发展的重要抓手.从发展权视角切入,提出增减挂钩本质上是对"农转用"计划管理下土地发展权制度的补充;其空间运行机制取决于对城乡地租势差以及复垦与建新的边际成本和收益的考量;通过扩展政策实施范围、放松规划管制、引入市场机制,地方层面的创新实践提升了政策效能,实现了制度改进.在解析增减挂钩的政策内涵、阐释其运行的空间机制的基础上,从区域、城市、乡村三个层次提出了增减挂钩政策在国土空间规划中的扩展适用策略,以及对后续工作的启示.     

西湖凹陷反转构造定量运动学过程及对油气的控制作用

基于较密集分布的2D地震资料和少量钻井资料,利用平衡剖面模拟方法对发育在西湖凹陷的反转构造进行了定量运动学过程和参数的模拟与分析。结果表明,西湖凹陷自中生代以来主要经历了2次挤压反转构造作用, 分别发生在早中新世的龙井组沉积时期 （距今23.3~16.3Ma）和晚中新世的柳浪组沉积时期 （距今10.4~5.2Ma）,造成了盆地北西-南东方向分别缩短0.61km和1.69km。其中主要的反转作用发育在柳浪组沉积时期,不但使中生代以来的地层全部卷入其中,形成了中央反转构造带,而且还造成了盆地北部和南部平均约911.6m 和226.7m厚的地层剥蚀、以及1.46％和1.18％的盆地缩短率,北部反转强度明显大于南部。在中央反转构造带的南部区域,由于反转作用强化了部分背斜,形成了较理想的圈闭构造,为油气的聚集提供了有利条件,成为盆地重要的油气聚集带。     

氮修饰炭黑负载PdCu合金催化甲酸分解制氢性能研究

以氮修饰的炭黑为载体制备负载型PdCu/N-CB系列催化剂,相比较于未经氮修饰的催化剂,其催化性能显著提高,其中Pd₈Cu₂/N-CB催化剂活性最高,TOF为718.56 h^-1,并呈现良好稳定性。通过XRD、TEM、FTIR和XPS等表征分析,结果表明,经APTMS处理所制得的氮修饰载体N-CB促进了所负载的PdCu合金纳米颗粒变得细小并呈现良好的分散性,活性相PdCu合金与氮修饰的载体N-CB之间存在强相互作用,调变合金颗粒表面化学态,提高了催化剂催化甲酸分解制氢性能。通过引入过渡金属和氮修饰载体来改善负载型贵金属催化剂催化性能的方法有助于低成本高性能制氢催化剂开发。     

圆球及阴影水平斜轴测投影的算法

在工程中,斜轴测图是很有用的。工程图学中,用传统的作图方法求圆球及阴影的水平斜轴测投影,只能在特殊光线方向下,用近似方法绘制,且作图非常麻烦。对于任意方向的光线,作图很难完成。本文给出了任定投影方向,任定光线方向,圆球及其阴影的水平斜轴测投影的算法。根据得到的公式编程序,用计算机绘圆球及其阴影的水平斜轴测图。     

石油化工生产火灾危险性分析

针对石油化工生产的特点,从物料特性、上艺装置、工艺控制参数、防火防爆安全装置、作业性质和消防安全设施等几方面综合分析其火灾危险性,并提出相应的防范措施,为消防安全评价提供依据。     

2008-2009 年江苏省闪电特征分析及应用研究

统计了江苏省气象部门雷电探测系统2008-2009年闪电记录,对江苏省闪电强度、闪电频数等闪电特征进行分析,得出江苏省的雷电流强度和闪电分布都有明显的时空差异,并且闪电频数和强度在空间分布上基本呈相反分布;同时利用地闪记录与雷暴日数的关系,得出了适用于江苏13个地级市的地闪密度计算公式.     

用于平场光谱仪的非球面全息凹面光栅设计

基于全息凹面光栅理论和ZEMAX软件,设计了一种用于平场光谱仪的消象差平场非球面全息凹面光栅。与采用相同口径、相同相对孔径的全息凹球面光栅构成的平场光谱仪比较,在入射狭缝宽度相同的情况下,该光栅所构成的平场光谱仪的分辨率得到明显提高。同时,利用较大相对孔径非球面全息凹面光栅,可使平场光谱仪的结构更紧凑,从而可实现平场光谱仪的小型化。