论文部分内容阅读
多晶硅太阳电池
【出 处】
:
太阳能
【发表日期】
:
2000年1期
其他文献
控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用和返回引起的控制转移来计算函数间的控制依赖关系。最后通过实例验证了该改进算法比原算法更能准确地计算程序的控制依赖关系,比传统的内联方法更易于理解。
2000年,全球刮起一股石油涨价风,每桶 10美元的油价半年之内涨到了 35美元,德国汽油价格由每公升 1 62马克攀升至 2马克。祸不单行,德、法等国政府又不合时宜推出增加燃油税政
Xen作为一种开源流行的虚拟化工具,使用越来越频繁。作为Xen的安全框架XSM(Xen Security Module)也受到广泛的关注。许多研究者通过形式化的方式对现有的操作系统进行正确性的验证,目前已有的形式化研究主要是验证系统实现的代码正确性。从系统功能角度提出了一种以主体行为为操作系统语义模型对系统进行形式化建模,并采用CTL时序逻辑对XSM安全需求进行分析。语义模型作为系统设计合理性和形
本文运用植物群落中植物优势种的重要值与相对应子群落的土壤特征值直接相关联的分析方法,对湖北宜昌大老岭的桦(Betula)、栎(Quercus)、栗(Castanea)七个群落类型的三个演替
鄂尔多斯盆地陇东地区延长组长8^1段低渗储层油藏具有典型性和代表性。通过对长8^1段低渗储层成岩过程、沥青赋存状态的细致观察,分析了古流体的活动特征,总结出西峰油田长8^
<正> 自我评价是自我教育的一种方法,是学生为了形成一定的思想品质而向自己提出任务,进行自觉的思想转化和行为控制。自我评价不仅对学生的思想形成起作用,在学生的学习行为
目的压力和心理健康是当今社会关注的一大主题,11至15岁之间的初中青春发育期, 是个特殊时期,面对来自家庭、学校、社会等各方面的压力.近年来,民工学校作为一种新生的社会事
“探究功与速度变化的关系”实验是人教版高中物理必修2第七章第6节的内容,是高考力学6个必考实验之一。该实验探究为下一节课引导学生推导动能的表达式做了铺垫,同时其作为