搜索筛选:
搜索耗时0.9036秒,为你在为你在102,285,761篇论文里面共找到 1,000 篇相符的论文内容
类      型:
[会议论文] 作者:雷,缪淮扣, 来源:2003中国计算机大会 年份:2003
基于Tableau方法的程序综合方法以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的程序.本文证明了通过程序综合方法构造得到的程序是完全正确的程序.......
[会议论文] 作者:张炜,苏沛东,燕, 来源:全国岩土与工程学术大会 年份:2003
本文以强夯石渣桩在信阳至九里关高速公路中的施工应用为例,提出其施工工艺、注意事项及质量检测评价方法,分析强夯石渣桩在山区公路建设的适宜性....
[会议论文] 作者:建平,王彦涵,陈道, 来源:第七届全国中药和天然药物学术研讨会 年份:2003
本文采用HPLC法,RAPP分子标记及统计分析方法,分析华中五味子木脂素成分变异规律,探讨化学成分变异与环境因子和种内遗传变异的相关性....
[会议论文] 作者:赵坤,,吴振军, 来源:第十五届电工理论学术年会 年份:2003
本文在一般峰值电流控制DC/DC Boost型变换器的基础上,设计了一种能够同时对最小输入电流加以限制的新型峰值电流控制DC/DC Boost型变换器,并分别对两种结构下的输入电流进行了分析和比较,证实改进模型有利于降低低频段电磁干扰水平.......
[会议论文] 作者:吴振军,,赵坤, 来源:第十五届电工理论学术年会 年份:2003
本文将著名"蔡氏电路"产生的混沌信号经处理后,用于buck型变换器开关的调制控制,使其工作在基于混沌的随机模式.通过对四种调制模式下变换器输出电压的频谱分析比较表明,混沌调制技术在扩展频谱方面有良好的效果,但也引入了较大的低频噪声纹波.分析了低频噪声产......
[会议论文] 作者:许长崎,张,陈岩, 来源:第九次全国木材干燥学术讨论会 年份:2003
木材干燥是木制品生产中比较重要的一个环节,干燥的缺陷直接影响到木材的深加工的质量,尤其是对木材的胶结质量,涂饰质量及木制品的尺寸稳定有着重大的影响.因此,能正确认识...
[会议论文] 作者:汤智慧,陆,张云, 来源:第四届全国腐蚀大会 年份:2003
高强度钢的防护需采用耐蚀性好、低氢脆性的工艺,本文就目前国内外航空工业上主要的4种高强度钢防护工艺进行了介绍,同时也简要介绍了高强度钢的其他一些防护方法....
[会议论文] 作者:杨绍,王国,陈茜, 来源:第五届全国交通运输领域青年学术会议 年份:2003
本文首先在分析公路客运站建设的潜在需求和现状存在问题的基础上,指明公路客运站可持续发展的内涵。然后在论述有关公路客运站建设的若干基本观念的基础上,对政府部门进行公...
[会议论文] 作者:朱明,鄢敏,王英, 来源:第八届多国城市交通学术会议 年份:2003
本文结合当前我国高速公路违章日益突出的现象,简要地叙述了高速公路管理上亟待解决的问题,以及由此产生的高速公路现代管理的需求."高速公路交通综合管理计算机网络系统"就...
[会议论文] 作者:潘,杜燕,何云, 来源:2003年全国时间频率学术交流会 年份:2003
本文详细叙述了地球同步卫星导航系统高精度授时的基本原理和方法,分析了定量结果和精度,并对地球同步卫星共视法进行了介绍....
[会议论文] 作者:陈文,曹洪,田华, 来源:中国水利学会首届青年科技论坛 年份:2003
本文研究了挡土结构前岩土体为非水平面的折线形时,其嵌入段被动土压力的计算问题.文中采用平面型滑裂面假定,建立了挡土结构与其前土体间的水平作用力函数.根据该函数可能为非单一极小值的特点,采用分区间最优化方法求其最小值--被动土压力.文中探讨了上述被动......
[会议论文] 作者:应子罡,吕昕,本庆,,李拂晓, 来源:2003全国微波毫米波会议 年份:2003
本文介绍了GaAs高速动态分频器的设计,并讨论了动态分频器的工作原理,最后根据国内GaAs MESFET器件模型给出了设计结果,仿真得到了工作到10GHz的双模动态分频器....
[会议论文] 作者:张炜,燕,杨锋,吴浩, 来源:中国铁道学会2003年中国交通土建工程学术暨建设成果交流会 年份:2003
工程物探是一种高效、经济的岩土测试手段.本文通过瑞雷波法、浅层地震反射法在强夯石渣桩地基处治中的综合测试工作,探索综合物探技术评价地基处治效果的优越性及不足....
[会议论文] 作者:张炜,燕,吴浩,杨锋, 来源:中国铁道学会2003年中国交通土建工程学术暨建设成果交流会 年份:2003
工程物探是一种高效、经济的岩土测试手段.本文通过瑞雷波法、浅层地震反射法在强夯石渣桩地基处治中的综合测试工作,探索综合物探技术评价地基处治效果的优越性及不足....
[会议论文] 作者:李宁,翟辉,黎,永春,夏华, 来源:第二届中华医学论坛防治SARS学术会议 年份:2003
目的应用中药(乾坤宁)治疗传染性非典型肺炎,探讨其治疗"非典"的疗效和作用机制.方法采用早期应用乾坤宁治疗传染性非典型肺炎群发病例,并设立对照组:利巴韦林组和利巴韦林加...
[会议论文] 作者:白泓,日,杨杰, 来源:第七届全国水工混凝土建筑物修补加固技术交流会 年份:2003
活性粉末混凝土(RPC)是一种超高强度、高韧性、高耐久性、体积稳定性良好的水泥基复合材料.本文概述了RPC材料的组成、配制原理、物理特性、力学特性及应用....
[会议论文] 作者:丽,黄玉秋,刘辉, 来源:中华地方病学杂志 年份:2003
目的探讨甲状腺肿大率与尿碘中位数分离现象.方法在木兰、依兰、方正3个县中各随机抽取1所小学校,检测8~10岁儿童甲状腺肿大率及尿碘含量.结果在3个监测点中甲状腺肿大率分别为14.13%、13.73%和15.20%,但尿碘中位数都在280 μg/L以上,出现了分离现象,与过去的观......
[会议论文] 作者:潘杨,金霞,雄伟, 来源:2003年全国医学影像技术学术会议论文汇编 年份:2003
本文根据CT基本原理,和多年的CT操作经验,提供一些方法和意见,旨在提高图像的空间分辨率和密度分辨率、从而改善CT图像质量供临床参考....
[会议论文] 作者:新平,刘学工,马兵, 来源:'OA2003办公自动化国际学术研讨会 年份:2003
"数字黄河"工程管理是一项非常复杂和困难的工作,进行信息化建设的项目有必要用信息化工程进行管理,设计开发高效方便的实施方案信息查询系统,快速生成工程进度方案和资金年...
[会议论文] 作者:强盛,智,庄显义, 来源:2003中国控制与决策学术年会 年份:2003
回顾了新兴的基于软计算的电机故障诊断的最新进展,提出若干应用神经网络、模糊逻辑、神经-模糊和遗传算法的典型故障诊断方案,并对比和讨论了它们的优缺点.软计算方法对处理故障检测和诊断问题具有巨大的潜力.......
相关搜索: