千兆三余度AFDX帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网(AFDX)网络的传输速率和余度设计可靠性,在AFDX网络标准的基础上(ARINC 664 p7),建立千兆三余度AFDX网络的帧管理机制模型并进行了形式化建模,而且实现了AFDX网络标准中描述的SkewMax机制。使用UPPAAL形式化工具对千兆三余度AFDX网络帧管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度AFDX网络帧传输过程中不存在死锁。此外,针对标准AFDX的冗余管理中一个帧的丢失可能会导致其冗余备份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不必要的丢帧,提高QoS和数据完整性。形式化验证的结果可以作为千兆AFDX网络标准制定和实际应用的参考。

云南思茅盆地大平掌铜金多金属矿床金的赋存状态

大平掌矿床是西南三江地区重要的铜金多金属矿床,为系统地对比研究矿区16号勘探线新发现两类金矿体,即V1块状硫化物矿体中顺层产出的层状金矿体、穿层断裂带中的网脉状金矿体中金的赋存状态、载金矿物类型,探讨金的沉淀机制。文章基于详实的野外地质调查,运用光学显微镜、扫描电镜(SEM)观察,结合电子探针(EPMA)分析和激光剥蚀电感耦合等离子体质谱(LA-ICP-MS)原位微量元素分析。结果表明,两类金矿体矿石中可见金为金的独立矿物(银金矿、碲金矿、碲金银矿),以裂隙金形式赋存,层状金矿体矿石中还可见晶隙金;热液型黄铁矿是两类金矿体矿石的主要载金矿物,其中“不可见金”均以固溶体金(Au+)为主,存在极少数的纳米金(Au0)。两类金矿体金的成矿均受后期东西向断裂带影响,为后期具有较高碲逸度的成矿热液充填成矿提供有利空间,金的独立矿物颗粒细小且分布不均,是由流体的沸腾和混合作用以及不平衡、不稳定的流体体系造成;两类金矿体中固溶体金(Au+)均由Au+占据黄铁矿晶格空位或缺陷等畸变形成。

江西冷水坑矿田银铅锌矿床特征及成矿模式探讨

江西贵溪冷水坑矿田是国家级银资源基地。本文在系统研究冷水坑矿田成矿地质条件、矿床地质特征的基础上,从分析主要控矿因素和成矿系统入手,初步建立了冷水坑矿田成矿模式。认为冷水坑矿田矿床类型主要有两类:即斑岩型矿床和层控叠生型矿床。结合矿田成矿特征和成矿模式,进行了成矿预测,提出冷水坑矿田小源区、麻地-燕山区和闽坑-岭西铅锌区3个成矿预测区具有较好的找矿远景,为进一步开展找矿工作提供了依据。

基于TTE端系统的时钟同步设计与实现

随着航空电子体系架构的日益更新,航空机载总线技术得到了飞速发展。时间触发以太网作为新一代的航空总线适合在分布式综合模块化电子系统中应用。时钟同步机制是该网络的核心技术,通过该技术建立的高精度全局同步时钟是保障TTE的数据通信强实时性和确定性的先决条件。本文在分析研究TTE时钟同步算法的基础上,提出了符合SAE AS6802协议标准的TTE端系统的时钟同步机制的设计方案,并在FPGA硬件上得以实现。

江西金溪熊家山钼矿床成因探讨

位于武夷隆起带西坡的江西金溪熊家山钼矿床具有独特的矿化特点。本文概要地介绍了该钼矿床特征,运用成矿系统理论和区域成矿学基本观点及研究思路,结合矿区成矿分布规律,探讨了矿床成因,阐明矿区钼矿床属于岩浆热液型钼矿床。

北武夷冷水坑矿田银铅锌矿床找矿勘查模型探讨

冷水坑矿田是国家级银资源基地。本文在系统研究冷水坑矿田成矿地质条件、矿床地质特征的基础上,结合矿床主要控矿因素和找矿标志,建立了冷水坑矿田综合找矿勘查模型,并进行了矿田及外围成矿预测,提出小源区为重点勘查区,圈定外围四个找矿预测区,为进一步开展找矿工作提供了依据。

多元地学信息GIS集成与融合分析在冷水坑地区成矿预测中的应用

多元地学信息GIS集成与融合分析应用于找矿的实例较少,它可以实现元素地球化学系列数据处理与分析工作,为成矿预测提供找矿靶区信息。结合冷水坑地区多元地学信息GIS集成与融合分析应用实例,对单元素、多元素地球化学场进行了综合分析,信息表明,在冷水坑地区存在一个多元地学信息环形构造,根据环形构造圈定了4个寻找隐伏银铅锌多金属矿的远景区,并在小源远景区(即银珠山矿区)寻找到一个大型银铅锌多金属矿,为区域成矿预测提供了科学依据,并提高了隐伏矿的预测效果。

基于时间触发架构的网络技术研究与设计

随着航空电子系统架构朝着网络化的方向发展,机载电子系统时间关键性和安全关键性的通信应用需求加大,交互的信息量级不断提升,传统的机载总线技术已无法胜任。时间触发以太网(TTE)在引入了高精度时钟同步机制的基础上,采用一致性通信、故障容忍和冗余设计等技术提高了通信的实时性、稳定性和安全性。以TTE和时间触发协议(TTP)为例,综合TTE和TTP的优势,提出跨网段的一体式时间触发网络设计方法,为航空机载电子系统领域提供了基于时间触发架构的统一网络服务。

哀牢山金矿带北段马邓岩群外麦地岩组浅变质岩系中发现金矿体群

哀牢山金矿带处于哀牢山双变质带南西侧的含金低级变质带中，夹持于北西向的哀牢山断裂与九甲—阿墨江断裂之间（图1a）。该金矿带可分为北矿段和南矿段，以往将北矿段划分为九甲—老王寨—金厂金成矿亚带（西亚带）和大乾树—二台坡金成矿亚带（东亚带）。其中，西亚带为主要的成矿带，已知矿床产出较为集中，主要有镇沅老王寨、东瓜林、浪泥塘、和平丫口、库独木、搭桥箐及墨江金厂等矿床（点），其成矿时代较为相近，是对喜马拉雅期印—亚大陆碰撞造山作用响应的成矿产物，赋矿围岩均为志留系—石炭系具浅变质板岩化特征的浊积岩系。然而，在西亚带以外的其他浅变质岩区，建有古生界马邓岩群的转马路岩组和外麦地岩组，以往尚未显示出找矿潜力。由于多期造山作用的挤压影响，导致岩石发生强烈的脆韧性剪切变形和受变质作用的改造，原生层理发生多期构造置换，难以厘定地层的时代。笔者在参与该地区矿产地质调查和商业性找矿勘查过程中发现，外麦地岩组中赋存大量脉状金矿（化）体，属于新的含矿层位。

云南景洪市大勐龙曼养铁矿地质特征及找矿标志

曼养铁矿矿体呈似层状产出,主要赋存于古近系细碧岩、细碧角斑岩、钠长斑岩、火山角砾岩等火山碎屑岩中,矿体围岩蚀变主要有钠长石化、碳酸盐化、硅化、褐铁矿化、菱铁矿化等,其中以钠长石化与铁矿富集关系密切。成矿物质来自于岩浆,矿床受火山机构控制明显,属火山喷溢沉积、后期热液变质改造叠加铁矿床。

云南永善县金沙厂铅锌矿控矿因素

云南永善县金沙厂铅锌矿矿体呈脉状、透镜状、似层状产出。矿区内的层间破碎带、断层破碎带以及地层褶皱构造之虚脱部位,是主要的容矿构造。矿体近矿围岩为震旦系上统灯影组白云岩、硅质白云岩、含磷白云岩。矿床具有上层状下脉状、上平缓下陡倾的成矿特点,属构造控制中低温热液型矿床。

云南普洱银子山金多金属矿床地质特征及矿床成因初探

云南普洱银子山金矿床是近年来新发现的碲化物型金多金属矿床,其位于滇西三江特提斯构造带,属于澜沧江断裂构造-火山岩带中南段的云县—景洪弧火山岩带。矿体主要赋存于志留系—泥盆系大凹子组中,与矿区发育的火山岩关系密切,产于硅化英安岩、硅化凝灰岩、蚀变火山角砾-凝灰岩内,其中矿石矿物形态为细脉状硫化物和团块状碲化物的金品位较高;矿体形态总体具有脉状、透镜状、分支复合状等特征;矿石具有明显的交代残余结构、填隙结构,具有脉状、角砾状构造,无明显的沉积构造特征;自蚀变带中心向两侧具绢云岩化(含金)→硫化物(含铜、锌、银,伴生金)→青磐岩化的蚀变分带模式;成矿具有多期多阶段性;岩矿石的微量元素、稀土元素的组成特征表明成矿流体总体呈还原性质,成矿物质部分可能来源于含矿火山岩。金主要以碲金矿、斜方碲金矿的形式存在,少量呈自然金形式。金矿化主要的成矿阶段(黄铁矿-碲化物阶段)的温度为150~280℃之间。矿床成矿年代可能为晚于(420.8±1.6)Ma。以上现象表明,银子山金多金属矿床为产于火山机构中的浅成低温火山热液碲化物型金多金属矿床。

云南富宁南沙金矿矿化富集规律

南沙金矿处于滇黔桂"金三角"西段滇东南金成矿区富宁—广南成矿带。已发现金矿体10余条,远景可达中—大型规模。矿体受地层和构造双重控制。微细浸染状结构。低温气水热液控矿断层的次级破碎带中富集成矿。

云南永德县薅子坝铅锌多金属矿找矿前景分析

云南永德县薅子坝铅锌多金属矿地处西南三江昌宁-孟连重要的Pb-Zn-Ag多金属成矿带中部,该矿区地质构造复杂,通过1∶20万水系沉积物测量,发现了多处U、La、Be、Y、Th等稀土元素异常,通过1∶2.5万土壤化探测量,圈定了多个Pb、Zn、Ag综合异常,目前矿区已经发现了6个铅锌矿(化)体。据矿区稀土元素异常凸显,以及矿区位于重力低异常区的异常梯度带上推测,矿区地下深部可能存在隐伏岩体,因此薅子坝矿区可能存在与隐伏岩体有关的矽卡岩型铅锌多金属矿床,具很好的找矿前景。

世界一次能源消费情况剖析

根据1993年6月英国石油公司发表的世界能源统计报告,对1992年世界一次能源消费情况加以分析,结果表明:在世界一次能源消费构成中,石油占40.1％,天然气占22.9％,煤炭占27.8％。与1991年相比,世界一次能源消费量仅增加0.2％,其中石油增长0.5％,天然气增长0.3％,煤炭与上一年大体持平,核能和水电消费量有所下降。在世界一次能源消费总量中,经合组织24个国家消费了57.6％的石油,49.8％的天然气,41.5％的煤炭,83.2％的核能和,52.5％的水电。

高精度无人机在变电站巡检中的应用

变电站巡检工作对于电网系统平稳运行有着重要作用,传统的人工巡检方式耗时、耗力,还无法获得较好的巡检效果,而高精度无人机的出现,利用信息化技术便可实现自动巡检,实时传送数据,是一种高效、安全的巡检方式。文章基于高精度无人机在变电站巡检中的应用展开探讨,并针对其优势、缺陷及在变电站巡检中的应用进行详细的阐述,以供参考。

基于TTE端系统协议处理软件的研究与设计

在深入研究TTE协议基础上,根据该网络通信特点,提出了一种TTE端系统协议软件的设计方法。该协议软件在不同接入方式下采用了不同协议栈处理,支持三种不同优先级和实时性的数据流的传输,具有较好的可靠性,对于TTE端系统的设计有一定参考价值。

西方环境保护措施对各石油公司业务和财务的影响

西方环境保护措施对各石油公司业务和财务的影响南开大学国际经济研究所硕士罗泽雄随着世界人口与经济的日益发展、各种活动的日益频繁，人类对地球环境造成了越来越严重的影响，二战以来尤其如此。在世界经济发展的过程中，世界石油工业的发展尤为迅速。石油从勘探、开采...

环境保护对西方石油公司发展战略的影响

环境保护对西方石油公司发展战略的影响南开大学国际经济研究所硕士罗泽雄随着人类和人类的各种活动的发展对自然环境所产生的不利影响的增强和日益明显，随着世界各国为了消除、扭转或至少限制这种情况和趋势所采取的各种环保要求的迅速增多和加严，环保所需的经济费用负...

日本石油替代能源政策浅析

日本石油替代能源政策浅析（１９７３－１９９３）国际经济研究所硕士研究生罗泽雄日本是一个能源十分缺乏的国家，然而又是一个能源消费大国，（１９９２年消费总量达２．５９亿吨石油当量，占世界总消费量的５．８％，位居世界第四，仅次于美国、俄罗斯和中国）。７０年...