secure monitoring framework based on multi-policies

当前的基于通用日志数据的安全监视手段存在日志数据冗余和异常检测时间延迟等问题.本文提出的基于多策略的安全监视框架(MP-SMF),不但可以有效克服上述问题,而且还具有可配置的特性.并且通过把Bell-LaPadula机密性安全策略改写成为相应的关系模式,具体示例安全策略如何应用在MP-SMF中

安全策略模型规范及其形式分析技术研究

形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安全策略模型的开发中,提出了一种新颖的安全策略模型形式规范构造方法及其证明机理,从而有效解决了上述问题。还以Bell-LaPadula多级安全策略为实例,具体说明了规范的形式开发和形式分析过程

evaluation and introduction of the toolkit for advanced optimization

本文通过在曙光2000Ⅱ的运行,从起源与现状、设计原理、核心组件、具体算例等方面给出了高级最优化工具箱TAO的一个评介,并从具体实用中给出了TAO的优缺点及建议

阜康大气气溶胶中水溶性无机离子粒径分布特征研究/Size Distributions of Water-Soluble Inorganic Ions in Atmospheric Aerosols in Fukang[J]

为了解阜康大气气溶胶中水溶性无机离子的浓度水平、来源以及粒径分布,本研究于2011年2月～2012年2月利用8级惯性撞击式分级采样器采集了阜康大气气溶胶样品,使用离子色谱测定了其中水溶性无机离子含量.分析比较了非采暖期和采暖期主要离子的变化趋势、浓度水平、构成、来源以及粒径分布,在此基础上选取特殊采样日分析了重污染、秸秆燃烧以及春耕期的离子组成以及粒径分布的差异.结果表明,阜康细粒子、粗粒子中总水溶性无机离子(TWSI)在非采暖期和采暖期的浓度分别为11.17、12.68μg·m-3和35.98、22.22 μg·m-3;非采暖期的SO42-主要来自盐碱土扬尘,NO3-和NH4+主要来自农田土壤扬尘,而采暖期的SO42-、NO3-和NH4+主要来自煤炭等化石燃料燃烧.8种离子在非采暖期和采暖期均呈现双峰分布,相对于非采暖期,采暖期的SO42-、NO3-和NH4+在细粒径段的峰值发生了粒径增长,SO42-和NH4+在粗粒径段的峰值出现在3.3～4.7 μm处.重污染期间二次污染严重,离子主要分布在1.1 ～2.1 μm处;秸秆燃烧期受生物质燃烧影响大,离子主要分布在＜0.65μm粒径段;春耕期土壤扬尘较多,离子主要分布在＞3.3μm粒径段

JUNO Sensitivity on Proton Decay p→νˉK+p\to \bar\nu K^+ Searches

The Jiangmen Underground Neutrino Observatory (JUNO) is a large liquid scintillator detector designed to explore many topics in fundamental physics. In this paper, the potential on searching for proton decay in $p\to \bar\nu K^+$ mode with JUNO is investigated.The kaon and its decay particles feature a clear three-fold coincidence signature that results in a high efficiency for identification. Moreover, the excellent energy resolution of JUNO permits to suppress the sizable background caused by other delayed signals. Based on these advantages, the detection efficiency for the proton decay via $p\to \bar\nu K^+$ is 36.9% with a background level of 0.2 events after 10 years of data taking. The estimated sensitivity based on 200 kton-years exposure is $9.6 \times 10^{33}$ years, competitive with the current best limits on the proton lifetime in this channel

JUNO sensitivity on proton decay p → ν K + searches*

The Jiangmen Underground Neutrino Observatory (JUNO) is a large liquid scintillator detector designed to explore many topics in fundamental physics. In this study, the potential of searching for proton decay in the $p\to \bar{\nu} K^+$ mode with JUNO is investigated. The kaon and its decay particles feature a clear three-fold coincidence signature that results in a high efficiency for identification. Moreover, the excellent energy resolution of JUNO permits suppression of the sizable background caused by other delayed signals. Based on these advantages, the detection efficiency for the proton decay via $p\to \bar{\nu} K^+$ is 36.9% ± 4.9% with a background level of $0.2\pm 0.05({\rm syst})\pm$$0.2({\rm stat})$ events after 10 years of data collection. The estimated sensitivity based on 200 kton-years of exposure is $9.6 \times 10^{33}$ years, which is competitive with the current best limits on the proton lifetime in this channel and complements the use of different detection technologies