检索结果-维普期刊中文期刊服务平台

外部干扰引起的楼房共振实例被引量：3: 1; 作者郭铁栓卢振业李运筹《工程抗震》 2000年第4期39-41,共3页; 本文介绍了由外部干扰引起的楼房共振实例。指出该楼晃动是由于在附近简易安装了供热通风系统的大功率电动机 ,其振动频率与宿舍楼自振频率接近。; 关键词拍频共振环境振动; 在线阅读下载PDF 职称材料

马尾松×红锥异龄混交林对土壤微生物群落结构和功能的影响被引量：16: 2; 作者温远光李海燕 +6 位作者周晓果朱宏光李运筹蔡道雄贾宏炎黄雪蔓尤业明《广西科学》 CAS 2019年第2期188-198,共11页; 探讨马尾松( Pinus massoniana )纯林改造成马尾松×红锥( Castanopsis hystrix )异龄混交林对土壤微生物群落结构和功能的长期生态效应,为马尾松人工林质量的精准提升提供理论依据。以60 a生的马尾松纯林和改造后的异龄混交林为对... 展开更多; 关键词马尾松红锥异龄混交林土壤微生物群落土壤酶活性; 在线阅读下载PDF 职称材料

南亚热带马尾松×红锥混交林红锥的天然更新及环境解释被引量：3: 3; 作者李运筹周晓果 +6 位作者温远光朱宏光覃志伟蔡道雄贾宏炎李晓琼尤业明《广西科学》 CAS 2019年第2期207-214,共8页; 为揭示影响南亚热带马尾松×红锥混交林下红锥天然更新的关键环境因子,本研究以1983年造林的马尾松×红锥人工林为对象,选取3个研究样地,设置50个2m×2m的调查样方,对红锥更新苗、土壤理化性质、林分结构与光环境等展开调... 展开更多; 关键词红锥人工林天然更新环境解释; 在线阅读下载PDF 职称材料

模型检验在航天测控软件上的应用研究被引量：1: 4; 作者李运筹尹平《计算机科学》 CSCD 北大核心 2018年第B06期523-526,共4页; 模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验... 展开更多; 关键词模型检验 CBMC 航天测控软件蜕变测试; 在线阅读下载PDF 职称材料

VASR-CBMC:基于变量子图的多线程程序验证: 5; 作者李运筹尹平尹良泽《计算机应用研究》 CSCD 北大核心 2018年第8期2393-2396,共4页; Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例可行性及求解精化约束耗时过长的问题,提出变量子图概念及基于变量子图的抽象精化方法,将全局事件顺序图... 展开更多; 关键词程序验证变量子图反例抽象精化事件顺序图; 在线阅读下载PDF 职称材料

题名外部干扰引起的楼房共振实例被引量：3: 1; 作者郭铁栓卢振业李运筹; 机构中国地震局分析预报中心中国人民大学修建处; 出处《工程抗震》 2000年第4期39-41,共3页; 文摘本文介绍了由外部干扰引起的楼房共振实例。指出该楼晃动是由于在附近简易安装了供热通风系统的大功率电动机 ,其振动频率与宿舍楼自振频率接近。; 关键词拍频共振环境振动; Keywords beat frequency resonance ambient vibration; 分类号 TU311.3 [建筑科学—结构工程]; 在线阅读下载PDF 职称材料

题名马尾松×红锥异龄混交林对土壤微生物群落结构和功能的影响被引量：16: 2; 作者温远光李海燕周晓果朱宏光李运筹蔡道雄贾宏炎黄雪蔓尤业明; 机构广西大学林学院广西友谊关森林生态系统定位观测研究站中国林业科学研究院热带林业实验中心; 出处《广西科学》 CAS 2019年第2期188-198,共11页; 基金国家自然科学基金项目(31860171,31560201) 广西重点研发计划项目(2018AB40007) +3 种基金广西林业厅科研项目(桂林科字[2009]第八号)资助; 文摘探讨马尾松( Pinus massoniana )纯林改造成马尾松×红锥( Castanopsis hystrix )异龄混交林对土壤微生物群落结构和功能的长期生态效应,为马尾松人工林质量的精准提升提供理论依据。以60 a生的马尾松纯林和改造后的异龄混交林为对象,比较分析纯林和异龄混交林土壤微生物群落结构和功能差异,以及土壤微生物类群与土壤酶活性和土壤性质的相关性。两种林分土壤磷脂脂肪酸(PLFAs)含量均大于0.01 nmol·g -1 的标记种类为27种,其中25种PLFAs标记含量均为纯林高于异龄混交林;马尾松纯林土壤微生物群落、细菌、真菌、放线菌、丛枝菌根真菌、革兰氏阳性菌、革兰氏阴性菌的PLFAs均显著或极显著高于异龄混交林;马尾松纯林土壤微生物群落的PLFAs多样性均高于异龄混交林,其中土壤PLFAs丰富度和均匀度指数差异不显著,而香农威纳指数、Simpson指数差异显著;马尾松纯林改造为异龄混交林后,土壤β 1,4 葡萄糖苷酶、N 乙酰β氨基葡萄糖苷酶、酚氧化酶、过氧化物酶活性均呈现不同程度的降低,而土壤酸性磷酸酶和脲酶活性增加;相关分析表明,不同土壤微生物类群均与β 1,4 葡萄糖苷酶、N 乙酰β氨基葡萄糖苷酶、酚氧化酶、过氧化物酶呈正相关,与酸性磷酸酶和脲酶呈负相关;与土壤有机质、有效钾呈极显著正相关,而与土壤含水量、土壤微生物生物量氮呈显著负相关。马尾松×红锥异龄混交林对土壤微生物群落结构和功能的长期生态效应不明显,异龄混交林结构简单,物种多样性少,土壤有机质低,以及雨季土壤含水量过高是其土壤微生物群落多样性和土壤酶活性低于纯林的主要原因。; 关键词马尾松红锥异龄混交林土壤微生物群落土壤酶活性; Keywords Pinus massoniana Castanopsis hystrix uneven aged mixed plantations soil microbial community soil enzyme activity; 分类号 S718.5 [农业科学—林学]; 在线阅读下载PDF 职称材料

题名南亚热带马尾松×红锥混交林红锥的天然更新及环境解释被引量：3: 3; 作者李运筹周晓果温远光朱宏光覃志伟蔡道雄贾宏炎李晓琼尤业明; 机构广西大学林学院广西友谊关森林生态系统定位观测研究站中国林业科学研究院热带林业实验中心; 出处《广西科学》 CAS 2019年第2期207-214,共8页; 基金国家自然科学基金项目(31860171,31560201) 广西重点研发计划项目(2018AB40007) +3 种基金广西林业厅科研项目(桂林科字[2009]第八号)资助; 文摘为揭示影响南亚热带马尾松×红锥混交林下红锥天然更新的关键环境因子,本研究以1983年造林的马尾松×红锥人工林为对象,选取3个研究样地,设置50个2m×2m的调查样方,对红锥更新苗、土壤理化性质、林分结构与光环境等展开调查。结果表明,不同样地红锥天然更新密度为(132353±7050)^(174219±15580)株·hm^-2。5个高度级红锥更新苗密度差异显著,Ⅰ级最大,Ⅴ级最小,密度随高度级增加而递减。相关分析表明,土壤全磷含量对Ⅰ、Ⅴ级的红锥更新苗有明显的正效应,而对Ⅱ、Ⅲ级更新苗有明显的负效应;红锥Ⅰ级苗与土壤pH值呈极显著正相关;近地层透光系数与Ⅰ、Ⅱ、Ⅲ、Ⅳ级苗木密度呈负相关,与Ⅴ级呈正相关;林分上层平均叶倾角、近地层叶面积指数则与Ⅰ、Ⅱ、Ⅲ、Ⅳ级苗木密度呈正相关,与Ⅴ级呈负相关。研究所选择的25个林分结构与土壤环境因子组合对红锥天然更新分布格局的变异解释率达到66.01%,解释效果显著(F=2.0229,P=0.027)。土壤全磷含量、土壤pH值、海拔高度、林分上层平均叶倾角、近地层叶面积指数、近地层透光系数等6个因子是影响南亚热带红锥天然更新分布格局的关键因子。; 关键词红锥人工林天然更新环境解释; Keywords Castanopsis hystrix planted forests natural regeneration environmental factors; 分类号 S718.3 [农业科学—林学]; 在线阅读下载PDF 职称材料

题名模型检验在航天测控软件上的应用研究被引量：1: 4; 作者李运筹尹平; 机构北京跟踪与通信技术研究所; 出处《计算机科学》 CSCD 北大核心 2018年第B06期523-526,共4页; 文摘模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。; 关键词模型检验 CBMC 航天测控软件蜕变测试; Keywords Model checking CBMC Acrospace TT＆C softwarc Metamorphic tcsting; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名VASR-CBMC:基于变量子图的多线程程序验证: 5; 作者李运筹尹平尹良泽; 机构北京跟踪与通信技术研究所国防科技大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2018年第8期2393-2396,共4页; 文摘 Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例可行性及求解精化约束耗时过长的问题,提出变量子图概念及基于变量子图的抽象精化方法,将全局事件顺序图分解为连通等价的变量子图集,基于变量子图执行反例验证与精化求解,从而有效缩小图的规模,提升验证效率。将该方法实现为VSAR-CBMC,实验证明其相较于Yogar-CBMC验证时间平均缩短43%,有效提升了模型检验对并发程序的验证能力。; 关键词程序验证变量子图反例抽象精化事件顺序图; Keywords program verification variable subgraph CEGAR event order graph; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	外部干扰引起的楼房共振实例	郭铁栓卢振业李运筹	《工程抗震》	2000	3	在线阅读下载PDF 职称材料
2	马尾松×红锥异龄混交林对土壤微生物群落结构和功能的影响	温远光李海燕周晓果朱宏光李运筹蔡道雄贾宏炎黄雪蔓尤业明	《广西科学》 CAS	2019	16	在线阅读下载PDF 职称材料
3	南亚热带马尾松×红锥混交林红锥的天然更新及环境解释	李运筹周晓果温远光朱宏光覃志伟蔡道雄贾宏炎李晓琼尤业明	《广西科学》 CAS	2019	3	在线阅读下载PDF 职称材料
4	模型检验在航天测控软件上的应用研究	李运筹尹平	《计算机科学》 CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
5	VASR-CBMC:基于变量子图的多线程程序验证	李运筹尹平尹良泽	《计算机应用研究》 CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料