搜索筛选:
搜索耗时1.1300秒,为你在为你在102,285,761篇论文里面共找到 1,000 篇相符的论文内容
类      型:
[期刊论文] 作者:葛,晓庆,郝克刚, 来源:计算机科学 年份:2007
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方......
[期刊论文] 作者: , 来源:人生与伴侣 年份:2007
我在7岁那年父母就离婚了。7岁前,我和姐姐睡在一张小床上,往往半夜里会被父母打架的声音吵醒,两个人死命地打,父亲用手,母亲一边没命地号叫一边拿到什么东西就砸过去。我和姐姐蜷缩着身子,不时有东西扔到我们这边,姐姐大声地哭,而我吓得连哭都不敢,我紧紧裹着被子,牙齿不......
[期刊论文] 作者:陈远明,叶,宋鑫,, 来源:机床与液压 年份:2007
为了减少船舶在风浪中的摇摆和升沉运动对某些海上作业和设备的影响,可在其上建立一个具有波浪运动补偿功能的稳定平台。本文对该系统进行了方案设计,并对其液压机构进行了数学......
[期刊论文] 作者:高璟贤,杨,郭勇,, 来源:国外电子元器件 年份:2007
频率合成器是一种频率稳定度较高的离散间隔型频率信号发生器,广泛应用在通信、雷达、仪器仪表及导航系统中。在研究高集成度频率合成器AD9954的基础上,给出了AD9954在跳频系...
[期刊论文] 作者:刘晨,陈,杨忠芳, 来源:地质通报 年份:2007
在对地质样品进行有机农药残留分析的过程中,样品预处理是重要的步骤之一。概述了近年采样品预处理方法的新进展,简要介绍并对比了固相萃取(SPE)、固相微萃取技术(SPME)、微波提取......
[期刊论文] 作者:陈远明,叶,宋鑫, 来源:船海工程 年份:2007
利用Simulink仿真软件对该系统的液压补偿机构进行了仿真试验研究,并采用了PID控制、模糊控制和Fuziy-PI复合控制三种控制算法进行比较。仿真结果表明,Fuzzy-PI复合控制的控制...
[期刊论文] 作者:白武奇,刘勤,杨,, 来源:电子元器件应用 年份:2007
介绍了一种基于软件无线电的数字中频和基带处理平台的基本功能。给出以大规模FPGA、双DSP和ARM器件为核心,包括高速A/D,D/A转换器和数据接口,并通过软件编程来在单一通用平台上实......
[期刊论文] 作者:勾艳芬,叶,李峰, 来源:广东造船 年份:2007
本文介绍了一种阵列振荡浮子式简易波能转换装置,试验证明了该波能转换装置在没有进行二次转换的情况下,不仅保证了波能采集系统的性能稳定性而且提高了能量转换效率,为振荡浮子......
[会议论文] 作者:吕阁,陈壁,庄松林, 来源:中国仪器仪表学会第九届青年学术会议 年份:2007
本文介绍了带弧线扫描的材料负折射率三维探测系统的设计。该系统通过数据采集卡实现计算机对电移台和旋转台的扫描控制,在以光子晶体样品为圆心的圆弧上,对折射光的空间光强分布进行实时采集,根据扫描记录计算出折射角的大小,从而判断是否产生材料负折射率现象......
[期刊论文] 作者:余清华,林,郭善玲,, 来源:江西金融职工大学学报 年份:2007
当前,在我国行政法学的教学中,由于课时的减少和内容的增多,使得原有的教学模式难以适应新的变化,探索新的教学模式刻不容缓。案例教学法由此越来越受到老师们的青睐和同学们...
[期刊论文] 作者:况钢,刘勤,兴英, 来源:今日教育 年份:2007
基础教育课程改革的推进对教师素质要求越来越高。原有区(县)教研机构、教师培训机构在自身队伍建设问题上,比较注重学科骨干的引进,而较忽略已有队伍的建设,培养策略也较单一,使得......
[期刊论文] 作者:谢红艳,玉子,左哺, 来源:湖南林业科技 年份:2007
经初步调查与统计,南岳自然保护区外来入侵植物计26种,隶属于17科;其中菊科种类最多,共5种;从来源看,主要来自美洲,计18种,其它种则分别来源于非、亚、欧等地区;同时,分析了这些植物的......
[期刊论文] 作者:李守翔,华,雷大平,, 来源:湖北教育·时政新闻 年份:2007
随着社会的进步,教育事业飞速发展,网络技术在教育教学过程中的推广与应用已是大势所趋.作为一所山区农村初中,仙居中学近年来站在长远发展的战略高度,转变观念,大力开展现代...
[期刊论文] 作者:甘泉,庄,, 来源:鞍山师范学院学报 年份:2007
长期以来,高职英语教学主要还是采用以教师为中心的课堂教学模式,学生在课堂上处于被动的地位,只是语言知识的消极接受者,缺乏语言运用的综合实践机会,难以获得语言交际能力。近年......
[期刊论文] 作者:汤希,陈琳,王宏,正虎,, 来源:计算机工程与科学 年份:2007
资源管理是网络管理新的管理功能域,资源依赖性分析是网络资源管理的关键技术之一。本文详细描述了网络资源依赖性的相关特征属性、依赖性表示方法和动态资源依赖性的获取方...
[会议论文] 作者:浏澄,王,刘琴,郑德, 来源:2007年塑料助剂生产与应用技术信息交流会 年份:2007
2005年我国塑料用合成树脂的表观消费量达38 348 kt , 2006年已突破4 000 kto随着世界石油价格猛涨,2006年我国聚烯烃的增长率会明显下滑,但电石法聚氯乙烯产量增长率提高,已知...
[会议论文] 作者:浏澄,郑德,王,刘琴, 来源:2007年塑料助剂生产与应用技术信息交流会 年份:2007
2005年我国塑料用合成树脂的表观消费量达38 348 kt , 2006年已突破4 000 kto随着世界石油价格猛涨,2006年我国聚烯烃的增长率会明显下滑,但电石法聚氯乙烯产量增长率提高,已知...
[期刊论文] 作者:,, 来源:煤炭科技 年份:2007
纳税筹划是企业在合法的前提下,通过对经营事项的事先筹划、选择和管理,追求税收负担最小化的经济管理活动,有助于实现企业价值最大化。鉴于煤炭企业的特点,就煤炭企业税收筹...
[学位论文] 作者:, 来源:武汉大学 年份:2007
[期刊论文] 作者:,, 来源:中华武术 年份:2007
一读者发来E-mail:我建议贵刊介绍一些西北的武术,如甘肃的鞭杆、天启棍,还有一些软兵器和暗器等。还应介绍一下大型武校的情况,看他们是否和广告中所说的一样认真负责,希望...
相关搜索: