Population dynamics and nesting of three species of egret on Xiamen Dayu Island

对厦门大屿岛白鹭保护区的夜鹭（nyCTICOrAXnyCTICOrAX）、白鹭（EEgrTAgArzETA）和池鹭（ArdEOlAbACHuS）进行种群动态和营巢观察研究。3种鸟的数量季节变化都很大，5~7月数量高峰期，每月总数都达5000只左右。5月底共5610只，3种鸟的比例分别为50.8%、32.0%和17.2%。4月开始大量在相思树梢上营巢，5月中至6月初巢数多达6000多个。结果表明，3种鸟都是厦门的繁殖鸟和留鸟This paper deals with the population dynamics and nesting of Nycticorax nycticorax, Egretta garzetta and Ardeola bacchus in the Egret Naturel Reserve on Xiamen Dayu Island.The number of three egret species vary greatly with the season.May, June and July is the peak seasons.When the total birds reach about 5000 in each month.Especially, 5610 birds are sighted in May,and three species account for 50.8%, 32.0% and 17.2%, respectively.In April, most egrets begin to nest on the branchs of Acacia confusa, and nests come to 6000 during middle May and the beginning of June.The results show that the three species of egret are all resident and breeding birds of the Island

description and verification of asynchronous web service composition based on xyz/adl

以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。国家自然科学基金(60973149)|江苏省自然科学基金(BK2011281)|中国科学院计算机科学国家重点实验室开放课题(SYSKF0908)|江苏省高校自然科学研究项目(08KJB520010)|苏州大学国家级大学生创新性实验计划项目(101028524)资

基于DSP和FPGA架构的PMD补偿模块设计

为开发实用的自适应偏振模色散（PMD）补偿控制模块,文章提出并实现了一种采用高性能浮点数字信号处理器（DSP）专注于算法处理、以增强型直接内存存取（EDMA）进行数据传输、以现场可编程门阵列（FPGA）进行数据采集和逻辑控制的新型设计方案。详细介绍了该模块的硬件设计、工作过程和软件设计,并对使用的粒子群优化（PSO）算法进行了重点阐述。给出了模块的工作流程图和算法流程图。实验结果表明,此模块对于二阶PMD补偿效果良好,相对于以往的补偿模块耗时更短

Efficiency and microbial characteristics of aerobic granular sludge for textile dyeing wastewater treatment

研究了好氧颗粒污泥处理印染废水的效果,并对系统中微生物菌群进行了分析。结果表明:颗粒污泥长时间运行会发生解体,但具有自修复潜力。该体系的COD、氨氮、总磷、色度的平均去除率分别为92.53%、56.65%、95.12%、69.03%。微生物测序结果显示:颗粒污泥解体前后的微生物群落发生了显著变化,体系中的优势菌门为变形菌门,其中磁螺菌属Magnetospirillum对染料降解和COD去除起到了重要的作用。</p

基于扩展自动机的服务组合静态与动态验证方法

针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。国家自然科学基金资助项目(61100074)|江苏省自然科学基金资助项目(BK2011281)|苏州市应用基础研究计划基金资助项目(SYG201241

2005～2015年CERN光合有效辐射数据集

光合有效辐射在生态学、农学以及气候学等多个学科中都有重要的应用价值。它是揭示物质与能量交换过程的基本生理变量,是光合潜力、潜在产量的评估研究和作物生长模拟研究、土壤碳的固定模拟研究中不可缺少的关键数据之一。该数据集涵盖了中国8个典型陆地生态类型、中国生态系统研究网络(CERN)下属的40个辐射观测站观测的光合有效辐射日均值,时间跨度为2005～2015年。通过对传感器的集中标定与规范的数据质量控制方案,保障了观测数据的可靠性与可比性。采用光谱仪、辐射标准灯传递辐射基准方案,对光合有效辐射传感器进行集中标定与比对,标定精度小于5%,符合世界气象组织(WMO)标准;采用极值法对观测的光合有效辐射数据进行质量控制

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