基于AADL的软件可靠性验证

针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。     

工具热处理的新方法

最近几年,由于工具产量的显著增长,工具制造中广泛应用的钢材牌号的部份变更,以及在生产中新型的科研和工艺成果的引进推广,在金属切削刀具热处理领域里发生了极其显著的变化。产量的显著增长,使得工具制造厂更广泛地采用各种自动和半自动工具热处理流水线。现在,大型工具制造厂生产的工具有70—80％是用机械化设备进行热处理的。自动化和机械化水平也随之发生了相当大的变化。第二代半自动和自动流水线得到了日益广泛的应用:工具从一个槽到另一个槽的运输,用自动化操作代替了过去的链条传动和杠杆传动,按特定的循环流水作业程序进行工作,并能够保证严格遵守工具热处理或化学     

水电项目融资需要新方法

论述由私营部门开发、建设和运营的大中型水电项目的融资问题。现有的融资模式是不妥当的．因为它不是以一种优化火电项目和可再生能源项目的结合的方式来制定发电规划和扩大发电容量。历史数据和过去几年的趋势突出说明私人水电融资中的关键问题。介绍一种新的水电融资方法．该法把私人融资的市场约束同需要政府部门在支持水电长期效益起更加积极的作用进行平衡。     

科夫多尔采选公司排土工艺的改进

科夫多尔采选公司采用汽车运输岩石和矿石。废石、含铁较低的碳磷灰石以及异常区的矿石分别排弃在№1、2、3、4、5和6排土场(见图)。该公司排土技术条件的特点是地形变化大和排土场基底土层的强度变化大。排土场基底倾角变化于0～20°、个     

随钻测量系统脉冲信号特征提取的多尺度方法

在钻井液随钻测量系统中,从接收信号中识别有效脉冲是地面系统正确解码的关键。文章引入多尺度小波分解方法分析钻井液信道噪声特性和信号特性的基础上,分别使用小波熵法和小波阈值滤波方法对含有多频泵噪声的脉冲信号进行基线波动修正及有用脉冲提取。结果表明,小波熵能够刻画钻井液脉冲信号能量分布的真实特征,而小波阈值滤波也是有效可行的MWD信号特征提取方法。通过工程实践的检验,文中的两种方法达到了检测率高、虚警率低的效果。     

使用SUPAFLO型高生产率浓密机的优点

具有高生产率和高压缩率特征的两种SUPAFLO型浓密机在最近几年间都显示出一些极好的操作参数。高生产率浓密工艺已成功地结合到自动稀释系统中，作为新一代浓密机得到应用，而且还用于对原有的浓密机进行改造。使用这类浓密机后明显地降低了基本建设费用和生产费用。     

杰兹卡兹干矿床顶板岩石的采矿地质分类

在杰兹卡兹干矿床的开采期内,已发生规模不等的冒顶事故2000多起,其频度增大与开采速度有关,例如,近10年来的冒顶次数占总数的一半以上。在采矿规模越来越大,矿房顶板暴露面随之迅速增大的条件     

土工膜在大坝防渗中的有效应用

合成土工膜止水系统的应用已有45年历史了。根据国际大坝委员会(ICOLD)目前正在建设中的数据库的资料，作者概述了土工膜在过去和当前的应用情况。     

矿井提升设备用С_(игнал)—5型通讯信号装置

<正> 全苏有色金属自动化科学研究设计院北高加索分院研制成功(?)—5型高频通讯电码信号装置。该装置已在许多有色金属矿井使用。它可以使提升机司机与罐笼和接收平台的信号工之间进行扬声联系,也可以从罐笼发出电码信号给绞车房。它现已用于井深达1000米的矿井,这