需求驱动的Web服务建模及其验证:一个基于本体的方法

从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力,并由此建立了需求驱动的Web服务组合模型.同时提出用π演算的进程表达式表示Web服务的行为语义,并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制,在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法.经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者

design and implementation of multi-role requirement review system

需求质量对于软件产品质量有至关重要的影响,而需求评审是保证需求质量的有效手段之一.目前的需求评审存在效率低、问题发现率不高、评审结果难以被有效处理等问题.在对需求特性进行研究,以及对实际项目中人员角色及其关注点进行调研的基础上,开发了多角色的需求评审系统MRRS.MRRS系统为每类角色的评审人员提供有针对性的评审指标体系,依照预设算法对评审结果进行量化处理,以GUl形式展示结果,为项目决策提供支持.应用了MRRS系统后,评审效率提高一倍以上

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