黄沙坪铅锌多金属矿的成矿规律及深部找矿远景

众所周知,矿物质的成分是多种多样的,社会的发展和科学的进步需要运用到多重金属矿物质,在专业人员的勘探与挖掘中,发现了黄沙坪铅锌多金属矿,这个矿区中有丰富的有色金属,这个矿的发掘为研究成矿规律提供了物质基础,同时也为深部找矿提供了可靠的依据。本文主要分析黄沙坪铅锌多金属矿的成矿规律及深部找矿远景。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

浅析黄金矿山深部开采技术

随着科技的发展,我国的经济也随之发展,传统的金矿深部开采模式也得到了改善和提升。先进的技术和设备,不仅能有效提高井下采矿效率,还能有效保障采场工作人员的人身安全。本文我们将在综合讨论我国金矿地下开采技术现状和发展的基础上,对一些黄金矿山深部开采方法的选择及深部开采技术进行探究。     

是德科技 UXM 无线综测仪增添 3CC等测量功能

直观的图形触发可以帮助快速、高效地解决问题2015年1月28日,北京——是德科技公司(NYSE:KEYS)日前宣布E7515A UXM无线测试仪增添新功能。这些新功能可以应对快速发展的3GPP LTE-Advanced载波聚合技术的迫切需求。UXM无线测试仪是高度集成的信令综测仪,适用于4G及未来的功能和射频设计验证。UXM支持多小区、下行链路和上行链路载波聚合、4×2     

深部突出煤层超高压水射流割缝工艺参数研究与应用

超高压水射流割缝技术能显著改善深部煤层的应力状态、减少抽采钻孔工程量。针对割缝作业工艺参数选取缺少依据、易导致割缝误穿透相邻钻孔、卸压增透效果差等问题,开展了大埋深条件下的突出煤层超高压水射流割缝工艺参数研究。首先,理论分析了水射流压力、割缝时间、水射流旋转速度等工艺参数对超高压水射流割缝效果的影响;然后,通过不同参数下水射流割缝卸压增透效果现场考察,获得最佳水射流割缝工艺参数组合;最后,在赵固二矿西胶带大巷进行现场工艺验证。试验结果表明:优化后的煤层割缝钻孔抽采瓦斯纯量为对比钻孔的3.8倍,割缝钻孔有效瓦斯抽采半径为对比钻孔的2倍,割缝后穿层钻孔设计参数由4 m×5 m优化为8 m×5 m布置,在钻孔工程量减少50%的基础上,抽采达标时间由12个月以上缩短为7个月,抽采达标时间缩短了约40%。     

火焰原子吸收光谱法测定锑精矿中银量的方法验证

对《锑精矿化学分析方法第14部分:银量的测定火焰原子吸收光谱法》(YS/T 556.14—2011)中火焰原子吸收光谱法测定锑精矿中银量进行方法验证。结果表明,标准曲线线性范围良好,检出限、精密度和准确度均满足国家标准方法的要求。说明实验室具备该方法测定锑精矿中银量的能力。     

基于白光LED驱动电路中误差放大器的设计

从电路的稳定性和可靠性出发,设计一款用于白光LED驱动电路中的误差放大器。结合DC/DC升压式变换器的工作原理,在无锡上华(CSMC)的标准0.5μm两层多晶硅、三层金属CMOS工艺下,采用比较简单的两级运放电路。通过Spectre软件进行仿真验证,在2.5 V的电源电压下,得到开环增益为54.87 d B,共模抑制比为70.98 d B,电源电压抑制比为63.15 d B。该设计与传统的设计方法相比,减小了芯片的面积,同时基本达到设计指标。