主动授权规则实施支持空间特性的RBAC*

为满足安全策略或者角色定义的变化,系统或模型应该提供一种灵活的机制实施支持空间特性的RBAC。引入了OITE（on-if-then-else）主动授权规则实施支持空间特性的RBAC,定义了支持空间特性的RBAC中各基本元素与OITE之间的映射关系。使用OITE作为实施机制,可以在不同粒度上实施带有空间特性角色约束,并且可以将支持空间特性的RBAC应用在多个领域中。最后简要讨论了授权规则如何从支持空间特性的RBAC安全策略中自动产生。     

双向搜索多约束路由启发式计算方法

为提高大型通信网络中搜索满足多约束条件路由的速度,提出一种双向搜索路由的计算方法.首先从源和目的节点同时出发,计算到达各中间节点的可达路径.然后在各可达路径中进行路径的筛选.可达路径是采用邻接矩阵变换方式获得的,筛选路径是根据非线性开销函数,采用启发方式择优选取.当两方向搜索的节点数累计达到n-2后,对接合并两方向到达中间节点的路径,从中再选择最佳路径作为路由输出.通过算例详细介绍了可达路径计算及启发式选优方法.阐述了算法的正确性及特点,分析了最大时间杂性.通过仿真实验评估,不仅更进一步验证了新算法的正确性,而且表明新算法在搜索路由速度上要优于其他算法.     

工科背景高等院校开展统计教育的研究——以浙江科技学院为例

快速发展中的工科背景高等院校在统计教育上存在有待改进的地方。以浙江科技学院为例,为培养具有深厚统计学背景的应用型复合人才,在统计教育上作了一些探索：定位于浙江中小企业对统计知识的实际需求;选择注重实际应用的国外经典教材;在教学中注重学生的参与;在实践中培养学生运用统计学知识和统计工具如统计软件的能力。     

CO2 gasification of wood charcoals derived from vacuum and atmospheric pyrolysis

The gasification of biomass derived char obtained via vacuum and atmospheric pyrolysis of Populus tremuloides has been studied in the ranges of 725–960°C and 0.1 to 6 MPa. CO₂ was used as the oxidizing gas. The results show that char reactivity is influenced by the preheating rates and that pressure effects are significant between 850°C and 950°C. A correlation based on the expression: df/dt = k₀{exp(-E/RT)}(1 - f)^af^βP^yCO₂ was used to fit the experimental data. In general, vacuum pyrolysis derived char showed a higher reactivity than atmospheric pyrolysis chars. An explanation based on a higher oxygen content of the vacuum pyrolysis char is suggested.     

Delay‐dependent stability of nonlinear hybrid neutral stochastic differential equations with multiple delays

In this article, we study the delay‐dependent stability of a class of hybrid neutral stochastic differential equations (NSDEs) with multiple delays which is highly nonlinear. Some novel stability criteria are investigated according to Lyapunov functions and generalized Itô's formula. In particular, we generalize and improve the results in Shen et al, Systems & Control Letters (2018) from a single delay to multiple delays.     

基于稳健设计的SGNS算法的超参数调优方法

通常给定超参数的若干取值选取性能最大的为最优组合(称为直接选优法),但是此方法的稳健性差。为此,提出了一种基于稳健设计的超参数调优方法(称为稳健调优法)。具体地,以SGNS算法中的超参数调优为例,在词语推断任务上实验并得出:经方差分析得到SGNS算法中的七个超参数中的五个对算法预测性能有显著影响,确定为主控因子,其余两个确定为噪声因子,且主控因子中有三个对性能估计的方差有显著影响,因此,调优中仅从期望最大来直接选优是不合理的;稳健调优法与直接选优法两者在预测性能上没有显著差异,但稳健调优法对噪声因子具有较好的稳健性。稳健调优法对一般的深度神经网络的调参有实际的借鉴意义。     

无人机群目标搜索的主动感知方法

为提升蚁群搜索算法在规模大的栅格环境中对未知目标的搜索效率,提出基于蚁群算法的主动感知搜索框架。该框架通过应用历史环境信息来选择无人机的运动方式,并由无人机运动方式和感知域信息得到新的环境信息,从而实现无人机群的智能自动化搜索功能。新方法计算出一种具有探索偏好的未搜索概率,可使无人机搜索时偏向未搜索程度高的栅格,以此来提高算法的搜索能力。同时,以未搜索概率和信息素作为运动方式决策的依据来建立一种新的运动方式选择机制。该机制不仅考虑了目标可能出现的区域,又可兼顾未知区域,从而可实现无目标先验信息条件下的搜索过程。仿真结果表明,此算法在规模大的栅格环境中,与现有算法相比具有更高的搜索效率,并且得到的目标分布信息将更加全面。     

稳定的K-多均值聚类算法

指定K个聚类的多均值聚类算法在K-均值算法的基础上设置了多个次类,以改善K-均值算法在非凸数据集上的劣势,并将多均值聚类问题形式化为优化问题,可以得到更优的聚类效果。但是该算法对初始原型敏感,且随机选取原型的方式使聚类结果不稳定。针对上述问题,提出一种稳定的K-多均值聚类算法,并对该算法的复杂度与收敛性进行了简要讨论。该算法先基于数据样本的最邻近关系构造图,根据图的连通分支将数据分为若干组,取每组数据的均值点作为初始原型,再用交替迭代的方法对优化问题进行求解,得到最后的聚类结果。在人工数据集和真实数据集上的实验表明,该算法具有更稳定更优越的聚类效果。     

土工格栅加筋包边填砂路堤模型试验研究

为探究包边填砂路堤荷载作用下的极限承载力特性、破坏形态规律及加筋性状,设计了土工格栅加筋包边填砂路堤结构,改装美国GCTS公司的USTX-2000动静三轴加载装置进行加载,通过改变加筋层数、筋材布置长度及包边土厚度对土工格栅包边填砂路堤进行一系列试验。对不同工况下包边填砂路堤的极限承载力、封层及坡面法向累积变形、位移变化进行研究。试验结果表明:土工格栅加筋和增加包边土厚度可以显著提高包边填砂路堤的极限承载力,并能减小封层中、封层右及坡顶、坡中的法向累积变形;无筋路堤的滑动面在路堤内呈折线状且并未通过坡脚侵入地基,在坡顶的黏土和砂芯交界处产生最大位移;土工格栅加筋及增加包边土厚度可以使滑动面向路堤内部迁移但形态不变,且最大位移处向路堤内部迁移。     

照片数量对SfM动床河工模型地形三维重构的影响研究

SfM是摄影测量领域近年来飞速发展的三维场景重构技术,目前已在地貌勘测、文物勘察、冰川演化、岩石勘探、土壤侵蚀等研究领域开展了大量尝试和应用,而在河工模型方面的应用研究尚处于起步阶段。本文开展了输入照片数量对SfM法动床河工模型地形三维数字高程地形(DEM)重构精度影响研究,采用4个不同视角对河工模型动床冲淤地形进行拍摄,选取不同数量照片作为输入开展SfM法三维地形DEM重构,然后将每组DEM重构结果与传统测针法测量进行对比。结果表明,当照片数量较少时,增加照片数量可改善SfM重构精度,但当照片数量较多时,虽可为SfM提供更多的床面变化图像信息,但同时带来由于特征点成像变化而引起的误匹配现象,反而可能导致SfM重构精度下降。鉴于不同动床模型的模型沙和光照等外部条件不同,实际应用时须针对不同模型的特点进行深入对比和分析,选取合理的照片张数开展SfM法动床冲淤地形测量。