搜索筛选:
搜索耗时1.0747秒,为你在为你在102,285,761篇论文里面共找到 272 篇相符的论文内容
发布年度:
[期刊论文] 作者:江建国,陈继理,钱保朝,,
来源:数学教学研究 年份:2007
...
[期刊论文] 作者:徐红梅,陈京元,江建国,高攀,
来源:中国森林病虫 年份:2003
灭幼脲Ⅲ号与阿维菌素2种农药混配成的4种混剂以及2种农药单剂对马尾松毛虫进行室内毒力测定.筛选出最佳混剂B在林间防治马尾松毛虫.试验表明:混剂防效好于灭幼脲Ⅲ号单剂,而...
[期刊论文] 作者:叶建红, 江建国, 宁亚功,,
来源:中华全科医师杂志 年份:2004
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[期刊论文] 作者:雷斯然,程梦奇,江建国,
来源:软件工程与应用 年份:2020
大型程序的验证是一项十分复杂但又极其重要的工作。本文以使用Hoare风格的分离逻辑验证C程序为目的,在基于Coq的现有的验证系统中,添加分离蕴含以扩展其分离逻辑断言语法,使...
[期刊论文] 作者:程梦奇,雷斯然,江建国,
来源:软件工程与应用 年份:2020
在形式化验证领域,EUF公式的活性编码判定过程解决某些问题具有实际的优势,判定组合理论时,该方法选择将其归约为命题公式,更易于求解。本文以寻找高效的EUF公式的活性编码判...
[会议论文] 作者:江建国, 李峻辉, 宁亚功,,
来源: 年份:2004
中西医结合综合保守治疗腰椎间盘病变易于病人接受,且疗效满意,避免了手术对病人带来的痛苦,通过综合保守治疗达到消除水肿,解除粘连,改善循环.治疗267例,治愈183例,好转...
[期刊论文] 作者:杨杰峰,杜丹,江晴,江建国,,
来源:广东农业科学 年份:2012
对武汉市藏龙岛地区24条道路的绿化配置模式进行了调查,统计了行道树的品种、高度、胸径、应用频度及长势等指标。结果表明,该地区道路的绿化形式有一板二带式、二板三带式、三......
[期刊论文] 作者:徐月,江建国,邹科,张新钢,
来源:应用数学进展 年份:2017
73构形的存在性是有限几何中的一个基本问题。本文给出了一种用Alloy分析器自动验证73构形的存在性的方法。该方法使用 Alloy语言对Fano提出的公理系统和需要验证的定理进行...
[期刊论文] 作者:邹科,江建国,徐月,张新钢,
来源:应用数学进展 年份:2017
群论是代数系统中的重要组成部分。本文提出一种使用Alloy验证群论中定理的新方法。使用Alloy对群的两种定义进行了形式化描述,并通过Alloy分析器实现了对这两种群定义的自动...
[期刊论文] 作者:叶建红,江建国,刘永莉,
来源:放射免疫学杂志 年份:2002
目的:探讨针刺镇痛与中枢cAMP含量变化之间的关系.方法:运用放射免疫分析法(RIA)测定大鼠电针15min ,30min,45min后,中枢cAMP含量的变化.结果:电针15min大鼠全脑cAMP含量降低...
[期刊论文] 作者:叶建红,陈涤新,江建国,
来源:内蒙古中医药 年份:2002
白细胞减少症是由多种原因引起的一组综合征.其发病原因主要与药物、化学药品、放射性物质、肝炎、脾功能亢进等有关.一般说来,当这些因素引起周围血液白细胞计数持续低于4...
[期刊论文] 作者:钱建平, 周勇, 江建国, 王萍,
来源:国土资源科技管理 年份:2004
针对当前农用地分等中,直接利用土地利用系数和土地经济系数计算分等指数在无形中扩大结果离散性的缺陷,提出了线性模型来修正这两个系数.首先,建立土地利用系数、土地经济系...
[期刊论文] 作者:张宗福,江建国,曾慧文,
来源:森林病虫通讯 年份:1993
1992年,湖北省潜江市的农田水杉林网、公路水杉行道树和水杉林遭受朱砂叶螨Te-tranychus cinnabarinus(Boisduval)危害,发生面积达300余公顷,成片、成行水杉叶片发红、枯黄,...
[期刊论文] 作者:徐世多,谢国林,江建国,,
来源:森林病虫通讯 年份:1983
各种环境因子对马尾松毛虫(Dendrolimus punctatus Walker)种群死亡率、生殖力的影响已被许多学者的研究证明,但环境因子对幼虫雌性比有否影响,尚未有过报道。1983年3月以来...
[期刊论文] 作者:徐世多,谢国林,江建国,,
来源:森林病虫通讯 年份:1983
马尾松毛虫(Dendrolimus punctatus Walker)的种群数量变动,除受各种环境因素影响外,本身的生物学特性是起作用的内因。其中性比和生殖力作为种群估量的重要生物学指标,对于...
[期刊论文] 作者:江建国, 赵玉清, 杨杰峰, 李红武,,
来源:湖北农业科学 年份:2012
通过实地踏查、定点观察并广泛收集历史资料,初步确定鄂西野三河自然保护区有鸟类208种,其中国家重点Ⅰ、Ⅱ级保护鸟类21种,湖北省省级保护鸟类39种,"三有"鸟类97种,被列入中国...
[期刊论文] 作者:江建国, 白涛, 雷正玉, 罗崇德,,
来源:生物学杂志 年份:2009
用实地踏查、定点观察的调查方法,并广泛收集历史资料,初步确定上涉湖湿地自然保护区有鸟类111种,其中“三有鸟类”86种;省级保护鸟类36种;国家重点保护鸟类11种;被列入国际贸易公......
[期刊论文] 作者:江建国,王爱民,龚旭东,陈明星,
来源:中国药业 年份:2006
目的:优选消疣合剂有效成分丹皮酚、挥发油、甘草酸、水溶性提取物的提取工艺。方法:针对处方中各药物有效成分的不同特性,时提取工艺分步进行考察。第1步,通过对丹皮中丹皮酚两......
[期刊论文] 作者:江靖,陈玲玲,王海民,江建国,,
来源:湖北林业科技 年份:2015
以湖北林业职教运行实践为基础,着力从其创建背景、应用价值、运行机制进行剖析,探讨行业集团化办学在推进林业职业教育发展中的重要作用,同时为揭示职教集团化办学普遍规律...
[期刊论文] 作者:江建国,陈京元,蔡三三,胡洋萍,,
来源:中国森林病虫 年份:2008
采用室内生长速率法和载玻片上萌发法测定了50%多菌灵超微WP等10种供试杀菌剂对坏损尾孢菌Cercospora destructive Ravo菌落和孢子的抑菌作用。结果表明:70%甲基硫菌灵WP、30%氟...
相关搜索: