宏观环境与马拉松赛事集聚的影响机制——基于我国31个省区市的模糊集定性比较分析

近年来,我国马拉松事业发展成果显著,举办规模不断扩大,逐步进入市场的快速扩张和加速上升阶段,影响马拉松集聚的因素也在不断发生着变化,尤其是在省市区域间的影响因素更为明显。以我国31个省区市为样本,分析多重因素构成的现实样态影响马拉松赛事集聚的条件组态和路径。结果表明:(1)单一变量无法成为推动马拉松赛事高集聚的必要条件,但其中经济水平和市场环境发挥着普适性作用;(2)通过组态分析,有3条马拉松赛事高集聚组态路径,概括为“市场-赛事”双重驱动型和“经济-环境-市场”均衡驱动型两种驱动类型,非高集聚存在5条组态路径,高集聚和非高集聚组态呈现非对称性;(3)通过潜在替代关系分析,经济水平等6个宏观环境因素通过等效替代以“殊途同归”的方式实现赛事高集聚。

实时嵌入式系统的竞态条件及其分析方法研究

竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.

芸薹根肿菌生理小种鉴别方法研究进展

本文综述了芸薹根肿菌生理小种鉴别方法和国际通用的根肿病生理小种鉴别系统及鉴别寄主,详细介绍了"Williams"和"ECD"根肿病鉴别系统的优缺点及适用范围,分析了分子生物学鉴定根肿病生理小种的技术,以期为抗病品种选育和持续控制根肿病提供准确的抗病鉴定方法。

嵌入式系统同步进程的竞态条件分析与推理学习方法

针对嵌入式系统同步进程的竞态条件问题,提出了一个竞态条件分析与推理模型,包括竞态依赖集、竞态协作图和竞态条件数组三要素。其中,模型分析并推理嵌入式系统中具有竞态关系的进程,生成竞态依赖集,定义竞态协作图来描述同步进程竞态条件关系,设计竞态条件数组来存储进程竞态逻辑推理关系以便进一步学习分析。该分析与推理学习方法提高了分析效率,具有一定的实用价值。

输水洞径对可逆式机组相继甩负荷尾水进口压力影响

针对1洞多机抽水蓄能电站水力机组过渡过程调节保证计算中相继甩负荷对尾水进口压力的影响问题,通过对某抽水蓄能电站输水系统洞径组合的比选,得出不同甩负荷形式对尾水进口压力影响程度不同,先甩N-1台机组、后甩尾水管道最长的1台机组尾水进口压力最危险;不同输水系统洞径对改善尾水进口压力的影响程度也不同。

嵌入式软件中断数据竞争安全性检测技术研究

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。

基于种特异性COI标记的西花蓟马温室品系和羽扇豆品系一步双重快速鉴定技术

【背景】西花蓟马(Frankliniella occidentalis)是世界性农业和园艺作物害虫,也是我国重要的对外对内检疫对象。西花蓟马具有两个品系,即温室品系(greenhouse race,GR)和羽扇豆品系(lupin race,LR),二者在寄主范围、抗药性、生存环境等方面均具有明显差异,但外部形态相似,无法准确鉴别。【目的】以西花蓟马温室品系和羽扇豆品系为靶标,以田间常见的其他14种蓟马为参照,采用基于线粒体DNA细胞色素C氧化酶亚基I(mitochondrial DNA cytochrome c oxidase subunit I,mtDNA COI)基因的种特异性(species-specific COI,SS-COI)PCR法,研究一步双重品系快速检测技术。【方法】采用mtDNA COI基因通用引物获得西花蓟马温室品系和羽扇豆品系以及其他常见蓟马的COI序列,根据测序结果以及数据库已公开数据,设计筛选获得可同时扩增两个品系的特异性组合引物(TF6/GR32/LR12),其中TF6为品系通用上游引物,GR32为温室品系特异性下游引物,LR12为羽扇豆品系特异性下游引物,其扩增片段大小分别为温室品系362 bp、羽扇豆品系541 bp;对组合引物比例和退火温度进行优化;同时,对组合引物的种/品系特异性和灵敏性/检测阈值进行检验。【结果】当组合引物TF6/GR32/LR12比例为1.0/0.2/0.8、退火温度为44℃时,扩增效果最好。种/品系特异性检测结果证实,该检测技术仅对西花蓟马温室品系和羽扇豆品系具有扩增能力,对田间常见的其他14种蓟马包括花蓟马(Frankliniella intonsa)、禾花蓟马(Frankliniella tenuicornis)、黄胸蓟马(Thrips hawaiiensis)、大蓟马(Thrips major)、棕榈蓟马(Thrips palmi)、烟蓟马(Thrips tabaci)、普通大蓟马(Megalurothrips usitatus)、豆喙蓟马(Mycterothrips glycines)、草木樨近绢蓟马(Sussericothrips melilotus)、蔗腹齿蓟马(Fulmekiola serrata)、稻简管蓟马(Haplothrips aculeatus)、榕端宽管蓟马(Mesothrips jordani)、榕母管蓟马(Gynaikothrips ficorum)和横纹蓟马(Aeolothrips fasciatus)等不具有扩增能力。灵敏性检测结果显示,该组合引物不仅对单一品系或混合品系的成虫具有良好的扩增效果,对单粒卵、1龄和2龄幼虫以及预蛹和蛹均具有同样的扩增效能;对温室品系的最低检测阈值为35.90 pg·μL^-1,相当于1/10 240头雌成虫,对羽扇豆品系的最低检测阈值为146.95 pg·μL^-1,相当于1/2 560头雌成虫;同时,对来自不同地域的同一品系不同单倍型的成虫亦具有良好的扩增效能。【结论】建立的技术体系完全可以用于西花蓟马品系的快速鉴定及检疫监管,对有效阻截其进一步传播扩散及靶向防控措施制定意义重大。

竞态漏洞检测方法综述

并行化程序运行环境中资源竞争导致的竞态漏洞是当今操作系统安全的重要威胁之一,攻击者常常间接利用竞态漏洞实施诸如远程命令执行、本地提权等攻击行为。分析了不同条件下竞态漏洞的产生机理及其相互关系,提出了竞态漏洞检测基本范式和通用框架,分别综述了用户态和内核态竞态漏洞检测方法的技术思想和发展脉络,讨论了制约检测效率的瓶颈问题以及可能的解决方法,结合最新技术应用指出了未来发展趋势和亟待解决的问题。

嵌入式系统的数据竞态条件研究

针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。

论民族团结是构建和谐新疆的重要基石

没有民族团结,就没有新疆改革发展稳定的一切。历史与现实的经验一再证明:民族团结始终是构建和谐新疆的基本前提和重要保证;照顾民族特点、坚持民族平等、发展民族地区经济、落实民族宗教政策,维护好民族团结是构建和谐新疆的重要基础;坚持并实施好民族区域自治制度,维护好民族团结是构建和谐新疆的基本保障;建立和巩固社会主义民族关系,维护好民族团结是构建和谐新疆的核心。