一种基于有限精度时间自动机的模型检测工具

基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果

有限精度时间自动机的时钟表示

简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM(Partial-OrderMatrix)。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率

Plant leaf traits, height and biomass partitioning in typical ephemerals under different levels of snow cover thickness in an alpine meadow

在高寒生命带,雪被作为重要的综合环境因子,影响着植物的生理生态特征、种群动态及群落演替等过程,进而作用于生态系统的功能与服务。通过在青藏高原东缘高寒草甸设置厚雪、中雪和浅雪3个地段,选取早春开花的常见种紫罗兰报春(Primula purdomii)、甘肃马先蒿(Pedicularis kansuensis)、高原毛茛(Ranunculus tanguticus),研究了三种植物株高、叶片性状和生物量分配随雪被厚度的变化规律,以及三者之间的关系。结果表明:甘肃马先蒿和高原毛茛在生境状况较好的地段比叶面积相对较高,紫罗兰报春由于具有根状茎和肉质根,在厚雪地段比叶面积相对较小;关于单个物种的地上-地..

Plant height, leaf traits, and biomass allocation of three species at heterogeneous slope aspects along a transect in an alpine meadow

为了解坡向异质性生境对植物生长发育的影响机制,在位于青藏高原东缘的岷江源区的研究样地内,沿山脊划分出东南、西南和东北3个坡向,每个坡向上选择珠芽蓼(Polygonum viviparum)、盘花垂头菊(Cremanthodium discoideum Maxim.)和滨发草(Deschampsia littoralis)3种常见物种作为研究对象,对比其株高、叶片性状和生物量分配的变化,并测定不同坡向土壤环境因子.结果显示:不同坡向间土壤环境差异明显;珠芽蓼和滨发草的株高在不同坡向上无显著差异,而盘花垂头菊株高依次为西南坡>东南坡>东北坡,3种植物比叶面积(SLA)均有显著变化且变化趋势均不同,在东北坡上珠芽蓼(161.30 5.44 cm~2/g)和盘花垂头菊(151.26 3.36 cm~2/g)具有最小的SLA,而滨发草(212.97 11.39 cm~2/g)最大;珠芽蓼的地下生物量高于地上生物量,而盘花垂头菊和滨发草地下-地上生物量分配格局则相反,3种植物的地下生物量比例在温度最低的东北坡均达到最高;珠芽蓼的地上-地下生物量分配在不同坡向皆为等速生长,而其余两种植物在个别坡向上呈现异速生长,且均为地下生物量积累速率大于地上部分.因此,高山草地生态系统的不同坡向生境对植物的生长发育产生了显著影响,上述3种植物的株高及叶片性状对不同坡向的响应具有特异性,而在温度较低的坡向上3种植物均偏向把更多的生物量分配给地下部分

Effects of 7-year enclosure on an alpine meadow at the south-eastern margin of Tibetan Plateau based on community structure and soil physico-chemical properties

过度放牧作为青藏高原长期存在的人为干扰方式,严重地破坏了高山草地生态系统的结构及其功能。简便有效的围栏封育方式广泛应用于退化草地的修复过程中,但其修复效果存在两面性,因此系统科学地评估草地围封后的质量状况至关重要。本研究针对围封7年的青藏高原东南缘退化高山草地,基于围栏与放牧处理之间的草地群落生物量、物种多样性及土壤理化性质的差异对比,对草地质量进行了综合评估。结果表明:1)通过围栏修复7年后,围栏内大部分土壤理化指标有所改善,但仅有硝态氮含量差异达到显著水平;2)围栏内地上生物量和凋落物量均显著高于放牧区,分别增加了35.73%和65.75%,而围栏内外的物种多样性无显著性变化;3)采用主成分分析法对土壤质量进行评估,发现围栏内土壤质量有所改善,其综合得分(0.1)高于放牧区(-0.02),同时利用草地各项指标的变化与其权重值之间的关系对草地进行综合质量评估,发现围封7年后草地综合质量得到一定程度的恢复(相对得分为0.209),更多归因于土壤理化性质的改善。研究表明,围栏7年后退化高山草地质量有所提高。针对其修复作用的时效性,需实际应用中定期评估草地的修复状况,以达到围栏的最优实施效果

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