鄂尔多斯盆地南部加里东期岩溶古地貌与天然气成藏条件分析

认识鄂尔多斯盆地南部地区岩溶古地貌和成藏条件是加快该地区勘探步伐面临的重要问题。鄂尔多斯盆地南部加里东期风化壳储集层的分布主要受岩溶古地貌、风化壳层位及沉积相控制。马五段为云坪相带，溶蚀孔洞较为发育；平凉组为深水斜坡相带，多形成断裂、裂缝及洞穴储集空间。中央古隆起西侧古地貌为岩溶斜坡，地表岩溶作用较弱，但断裂发育，洞穴系统较发育；中央古隆起南侧古地貌为岩溶台地，断裂、洞穴系统和风化裂隙相对较为发育；中央古隆起区古地貌为岩溶台地，地层较老，岩性致密，风化壳顶部垂直裂隙带发育，岩溶孔洞不发育；中央古隆起东侧古地貌多属于岩溶阶地或鞍地，风化壳多位于云坪及含膏云坪相带，溶蚀孔洞较为发育。岩溶古地貌天然气成藏主控因素主要为生烃中心、岩溶古地貌、风化壳的层位和沉积相带，有利区带主要在耀县、旬邑、淳化平凉组生烃中心和中央古隆起东侧马五段有利沉积相带。图9表1参13     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。     

Trochilidae:面向众核平台的高性能轻量级虚拟机监控器

虚拟化技术在云计算中广泛应用。传统虚拟化技术对操作系统的一些操作都进行了捕捉与封装,使其越来越复杂,同时也影响了操作系统的性能。针对众核平台的发展趋势和特点,面向众核平台设计并实现了一个轻量级的高性能虚拟机监控器——蜂鸟(Trochilidae)。多操作系统可以同时运行在此虚拟机监控器之上,同时对操作系统性能无损失。在提供传统虚拟机监控器功能的基础上,蜂鸟的代码量仅4000行左右(包括汇编与C代码),降低了系统的复杂度,便于系统的维护与调试。     

多中继放大转发协作通信中的中继数量与位置的联合优化

本文研究了基于单用户下行遍历容量的多中继放大转发模型中中继数量与位置的联合优化问题.首先建立了单用户蜂窝中继小区协作通信模型,提出了位置-数量遍历容量.然后建立了问题优化模型,分析了位置-数量遍历容量与中继数量、中继节点位置的关系:位置-数量遍历容量随中继数量增大而增加;当中继数量给定时,位置-数量遍历容量随中继节点位置距离增大先增加后减少.最后提出了先依据容量随中继数量提升百分比的门限确定中继数量,再确定中继节点位置的方法.     

基于ISA100.11a标准的工业物联网开发平台的设计与实现

工业物联网技术是未来几年工业自动化产品新的增长点。作者所在实验室作为Voting Member和ISA WCI工作组成员参加ISA100.11a标准的制定,研发了基于ISA100.11a的工业物联网通信协议栈软件、网络设备及终端设备,研制的ISA100.11a工业物联网开发平台具有完善的硬件、软件产品及技术支持,核心技术已经形成专利池,可广泛应用于智能工业、环境监测、智能电网等应用系统的开发,并已经在中国四联集团、韩国汉阳大学等单位得到应用。     

带曲率补偿的带隙基准电流源的设计

简单介绍了带隙基准源的基本原理,给出了一款基于Widlar结构的带曲率补偿的带隙基准电压电流源的设计方法,通过采用TSMC₀.5μm工艺库对电路进行仿真,在-40～150℃的温度范围内,其带隙基准的输出具有12ppm/℃的温度系数,电流基准的输出具有42ppm/℃。此外,文中还对曲率补偿电路的工作原理进行了分析,并且通过仿真波形对曲率补偿的工作机制进行了讨论。     

物联网技术在军事领域中的应用

为了进一步满足当今信息化战争中高精确性、高可靠性和高实时性的战场信息需要,文中通过分析物联网的概念,研究了物联网的定义、本质和特征。阐述了物联网的基本构架,展望了物联网在军事领域的典型应用,最后提出了对于军队物联网建设的几点思考。     

基于嵌入式Linux网路监控系统的设计

随着微处理器技术、计算机网络技术的进步,基于嵌入式Web的网络视频监控系统逐渐得到了人们的广泛关注。文章重点研究一种基于Web技术和嵌入式技术相结合的远程监控系统的设计方案,详细分析它的系统结构。在嵌入式Linux操作系统下使用boa作为Web服务器,通过编写CGI程序实现用户使用标准Web浏览器通过服务器站点进行对远程设备的在线访问、控制和管理的过程。     

实时汽车控制系统面向方面建模

在控制系统监控、系统先进控制和优化控制等实时控制系统中,随着数据量的增大,把卖时数据库整合到这些系统中是一种发展趋势。以汽车控制系统为例,运用ACCORD方法对该控制系统中的实时数据库建模。     

一种基于层次的无线传感器网络非均匀分簇路由协议

针对无线传感器网络中由于多跳通信方式导致的"热区"问题,本文提出一种基于层次的非均匀分簇路由协议。本协议先根据节点到达汇聚节点的距离对网络划分层次,然后在每个层次中通过基于权值的竞选方式产生簇头,在权值的选择上综合考虑了节点剩余能量和位置,最后构建多跳传输路由负责簇内和簇间的数据转发。仿真实验表明,本协议能有效地均衡网络负载和延长网络生命周期。