土壤疏水性研究进展

土壤疏水性是指水分不能或很难湿润土壤颗粒表面的物理现象。土壤疏水性研究不仅有助于合理评价疏水性对生态环境的影响,而且能为当前水土流失问题的解决提供新思路。本文对国内外土壤疏水性研究现状进行总结,着重阐述了土壤疏水性及产生机理、影响因素、测定方法及水文效应,并结合存在问题展望未来的研究,以期为我国开展相关研究提供参考。     

一个支持空间上下文的访问控制形式模型

利用上下文信息对授权决策进行控制已越来越受到重视．在无线和移动网络领域中控制资源的访问要求定义支持空间上下文的访问控制形式模型．然而，传统的RBAC模型并不能满足这些空间上的需求．文中对现有的RBAC模型进行扩充，提出了SC-RBAC模型，使其在定义安全策略时能结合用户的当前物理位置信息．提出了空间角色的概念，为角色赋予逻辑位置域以指定角色可以活动的空间范围．角色激活依赖于用户从移动终端获得的当前物理位置．紧接着，给SC—RBAC弓j入层次来表达权限、激活继承等关系．证明用层次化的空间角色在数学上可构建格模型以实施多级安全策略，使其更适合安全关键的位置感知信息系统对信息流的安全控制要求．随后，受限的SC-RBAC描述了3类限制：空间的职责隔离限制、基于位置的基数限制和基于位置的时序限制，这些限制允许表达位置感知系统中细粒度的空间语义．最后，为受限的SC—RBAC模型设置了9个不变量，证明了其基本安全定理，为模型在实际环境中的应用奠定了基础．     

结合搜索空间划分和抽象进行LTL模型检测

在应用模型检测于工业系统时,状态空间爆炸仍然是一个主要的障碍.基于抽象的方法在克服状态空间爆炸方面取得了很大的成功.提出一种结合搜索空间划分和抽象的方法来降低模型检测的空间复杂度.划分依赖于每个所分划的搜索空间的表达.特别地,划分可以逐步求精以获得更好的空间消减.从数值实验看,这种搜索空间划分和抽象的结合在基于内存的需求上能提高验证的效率,同时能得到比单独使用其中一种方法更好的效果.     

包含有界切换增益的空间惯性传感器输出调节积分模型参考自适应控制

基于输出调节的多变量模型参考自适应控制(model reference adaptive control, MRAC)用于解决系统状态不可直接获取时,多变量系统向参考系统的稳定输出跟踪问题.在空间引力波探测航天器内部惯性传感器静电悬浮控制中,考虑到其作为航天器平台惯性基准的稳定需求,双质量块动力学中存在的不连续干扰影响,以及应对不同工作模式的瞬态切换,提出一种基于积分输出调节MRAC的静电悬浮控制方案,引入有界的切换自适应校正增益及自适应积分修正项,用于系统不连续情况下的抗输入饱和、瞬态抑制及惯性传感器非敏感轴各自由度向参考状态的稳定逼近.基于Filippov集与广义梯度的Lyapunov分析验证该方案下,不连续系统中各闭环信号的收敛性,数值仿真验证样例空间引力波探测航天器中,作为关键载荷的双质量块空间惯性传感器各非敏感轴自由度针对位移噪声及残余加速度及切换瞬态的良好抑制效果.