自然伽玛能谱测井——一种新型的地层评价技术(第Ⅰ部分——原理)

近期的经验清楚地证明,用于裸眼井和套管井中的自然伽玛能谱测井,在评价地层方面有着广泛地解决问题的能力。自然伽玛能谱资料既可以用作定性解释,也可以用作定量解释。在定性解释中的应用包括:详细的地层对比,判别异相岩石类型(泥质岩、碎屑岩、碳酸盐岩、蒸发岩、火成岩和变质岩),区分高渗透性和裂缝性地层,或确定     

快中子对黑曲霉变异菌株uv-11产糖化酶的诱变效应研究

快中子具有穿透力强、生物效应显著等特点,而且辐射效应要比X、γ射线明显得多,能达到较高的剂量,诱变操作也比较容易,没有化学诱变剂处理后需对废液处理等麻烦事。在提高微生物代谢产物的育种工作中,用快中子处理提高产量国内曾有报导。而用快中子诱变提高参与微生物生命活动酶的活     

操作系统内核内存分配算法的分析与性能评价

内存是计算机中的重要资源,快速、合理地分配内存不但能提高内存资源的利用率,也能使系统的整体性能得以提升.本文介绍了操作系统中几种常见的内存分配算法,深入分析了几种操作系统内核内存分配算法(内核分配器KMA),并对其性能进行了评价.     

道路灯具的安装高度估算方法与低杆安装可行性

本文介绍了道路照明设计中道路的照度均匀度、眩光控制与灯具安装高度的内在联系,提出了简便的估算路灯安装高度的计算式。应用这种估算方法所得出的结果肯定了非对称式配光曲线道路灯具在主干路上低杆安装的可行性。     

低能入射Si与Si(001)2×1重构表面相互作用过程的分子动力学模拟

利用Tersoff势函数,对300K时初始入射动能为0.03eV的单个Si原子从6个不同位置轰击Si(001)2×1重构表面的动力学过程进行了模拟.分析了入射Si原子的动能变化、势能变化以及其运动轨迹.结果表明:入射原子与表面原子相互作用几个皮秒后即可进入稳定位置,其与基底原子的结合能最大可以达到2.99eV;从位置1,2,3,4入射的原子不能使基底表面的二聚体键断开,而从位置5和位置6入射时,表面二聚体键的断开在入射原子与基底表面原子发生相互作用几十飞秒后即可完成.     

让音乐与生活恋爱——“建设音乐家园”系列活动启动仪式实录

从去年9月到今年初．广西《健报》、《当代生活报》、南宁市音乐音响协会、浩声音响公司、时空网影迷俱乐部等单位在广西图书馆联合举办了“建设音乐家园”系列活动。该活动除了邀请到广西艺术学院音乐学院教授赵琳、南宁市音乐音响协会秘书长李延、《健报》乐评人甘雨、浩声音响公司高级音响师李松等学者、专家主持讲座外，还要求参与者现场播放自带碟片，并陈述自己的音乐感受或音乐背后的感人故事。这个活动在当地音乐爱好者和音响发烧友中引起了相当大的反响．受到了广泛的欢迎。 我刊在广州海印广场也有一个以类似活动为主的名戈视听俱乐部，友邻出色的策划与组织能力自然成为我们学习的楷模。为推动音响行业的健康发展．为帮助乐迷提高欣赏音乐的能力作出应有的贡献．《视听前线》特整理出这篇关于“建设音乐家园。活动的文章对我们或许有所启迪。     

二苯醚树脂和绝缘材料

一、引言近代电机、电器、要求绝缘材料具有耐高温,高强度的特性。然而,研制新型电绝缘材料需要发展高性能、低成本、工艺性能好的新型树脂。二苯醚树脂具有上述特点,看来发展潜力较大。在现代聚合物工艺学条件下,廿多年来,化学家已合成了许多新型的热固性树脂,在热稳定性、高温机械强度和电性能方面较优于酚醛、环氧、环氧酚醛及聚酯。例如:各种杂环     

自动控制用微电机(二)

二、伺服电动机由前节可知,当闭环控制系统失调时,系统的失调信号经放大后,作为控制电压加给电动机,电动机运行的趋势是使系统达到协调位置,即失调角趋于零。这时失调信号消失,控制电压为零,电动机停转。当系统再次出现失调时,将再如此重复运行。在系统中完成这种职能的电动机称为伺服电动机。以交流电源工作的称为交流伺服电动机,用直流电源工作     

我国卫星及应用产业发展研究

卫星及应用产业是国家战略性高技术产业,是我国战略性新兴产业高端装备制造业的重点发展方向。本文在对卫星及应用产业的概念及范畴进行界定的基础上,分析了国内外卫星及应用产业的总体情况、关键产品、产业链及产业环境,通过剖析卫星及应用产业发展面临的主要问题,结合国内外卫星及应用产业的发展趋势,提出了促进我国卫星及应用产业发展的政策建议。     

一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从inux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.