射频收发芯片CC1100及其应用

简要介绍射频收发芯片CC1100的特性，分析芯片的结构功能以及芯片内收发器的工作原理，给出参考应用电路，说明在PCB（Printed Circuit Board）布线时应注意的一些问题。     

一种基于分离逻辑的块云存储系统验证工具

云存储技术目前被广泛应用于人们的生产与生活中.验证云存储系统中管理程序的正确性,能够有效地提高整个系统的可靠性.块云存储系统(CBS)具有最接近底层的存储架构.运用交互式定理证明器Coq,实现了一种辅助验证工具,用于分析和验证CBS中管理程序的正确性.基于分离逻辑的思想,对工具中证明系统的实现主要包括:首先,将CBS抽象为两层堆结构,定义建模语言形式化表示CBS的状态和管理程序;其次,定义描述CBS状态性质的堆谓词,并说明堆谓词间的逻辑关系;最后,定义描述程序行为的CBS分离逻辑三元组,以及制定验证三元组所需的推理规则.此外,还引入了几个证明实例,以此展示工具对实际CBS管理程序表示和推理的能力.     

基于级联CFAR的SAR图像目标快速检测方法

针对高对比度场景下合成孔径雷达(SAR)图像的实时目标检测问题,提出一种基于级联恒虚警率(CFAR)的SAR图像目标快速检测算法,将二维图像的检测沿距离向和方位向拆分成两个一维的CFAR检测, 采用距离向-方位向级联检测器并加以分割关联方法对目标进行检测。首先,按距离向叠加后进行距离向检测,并进行分割关联以划分不同目标的区域;然后,对过检单元进行方位向检测得到目标位置;同时,进行分割关联,从而实现目标检测。文中利用仿真的SAR图像、MSTAR数据和实测数据进行实验。仿真结果表明:该算法具有速度快、检测率高的优点,满足实时处理要求。     

MOOC系统的设计与实现

在线教育作为互联网在线应用的一个重要分支,在其发展过程中呈现不断细化的态势.MOOC便是其中的重要代表,MOOC起源于美国,壮大于世界,突破传统教育对时间、空间以及人数的限制,是对传统教育的有利补充.文章经过详细的调研与分析,理清了MOOC系统的功能需求,并在此基础上对MOOC系统进行了规划与设计,划分了功能模块,定义了用户角色,建立MOOC系统的数据库表,比较完整地开发了可以观看加入课程,发布管理课程的MOOC系统.对MOOC系统的学习与应用具有一定的借鉴意义.     

浅谈我国高速公路桥梁标准化施工

鉴于高速公路桥梁施工的复杂性与特殊性,如果施工不当,会引发严重的事故,对施工者造成极大危害。为此,文章重点探讨高速公路桥梁中的标准化施工策略,以提升项目质量,确保施工安全。     

外国海军舰空导弹体系发展现状及其火力运用特点

面对现代信息化海战严重的空中威胁,各海军强国构建了各具特点的舰空导弹体系。将外军舰空导弹体系发展划分为独立作战的平台中心模式、共享态势图的网络中心模式和资源共享的网络中心模式三个阶段,根据外军舰空导弹体系建设及作战理论发展,分析了其体系火力运用的特点。     

金属火灾与干粉灭火剂

1 金属火灾的分类 已知能燃烧的金属见表1。 表1 可燃金属     

舰空导弹防空反导作战效能优化建模研究北大核心CSCD

舰空导弹防空反导作战效能优化建模研究是保证舰空导弹顺利、高效完成防空反导作战任务的关键。上述优化模型的建立属于一个复杂的多阶段、多目标优化建模问题。传统作战模式由于舰空导弹可射击时间较短,通常只考虑一次抗击过程,在协同作战模式下更需要一种综合考虑多次射击的防空反导效能优化模型。提出将舰空导弹的每一次射击作为一个阶段,每次发射的导弹数量和发射单元的配置模式作为变量,空袭目标对舰艇的威胁程度、对空防御资源的占用程度作为调整权重,利用动态规划的相关理论知识建立多阶段多目标优化动态规划模型。通过算例分析表明,采用优化建模方法能够优选每次射击的舰空导弹的发射数量和配置模式,提高舰空导弹防空反导作战效能。     

吐哈油田深层致密砂岩气藏体积压裂技术应用

吐哈油田台北凹陷丘东洼陷深层致密砂岩油（气）藏储层埋藏深、中-强水敏、低孔-特低渗、非均质性强等特点,储层地层温度高（140～150℃）,前期试油常规压裂工艺措施效果差,无法经济动用。随着油田上产,开展了吐哈油田台北凹陷丘东洼陷深层致密砂岩油（气）藏水平井体积压裂技术攻关,通过岩性评价、地应力分析、压裂液体系及支撑剂组合等方面进行精细研究并开展现场应用,形成了区块压裂主体工艺路线,有效解决了区块深层致密砂岩油气藏无法动用技术难题,为油田上产提供了有力技术支撑。