某矿业企业遗留重金属污染场地污染调查与风险评估

以某矿业企业搬迁遗留场地为研究区域,根据《场地环境调查技术导则》(HJ 25.1-2014)、《污染场地风险评估技术导则》(HJ 25.3-2014)、《土壤环境质量建设用地土壤污染风险管控标准(试行)》(GB 36600-2018)、《重金属污染场地土壤修复标准》(DB43/T 1125-2016)等进行场地环境调查...     

国有钢铁企业营销存在的问题及其对策——对安阳钢铁集团信阳钢铁公司营销的调查分析

结合信钢产品市场营销中存在的问题,分析了国有钢铁企业在日趋激烈地钢铁市场竞争中应采取的对策,具体阐述了如何发现市场、抢占市场、拓展市场的营销策略。     

基于角色的飞机远程协同诊断并发控制技术研究

为了克服传统远程故障协同诊断存在的缺陷,在以往飞机远程故障诊断模型研究基础上,引入了协同合作机制。通过对协作过程中协作主体与任务之间相互关系的分析以及各协作主体在协作环境中空间位置关系研究,提出了基于角色的飞机远程协同诊断并发控制模型。该模型能够动态地组建协作群体（虚拟工作组）,在虚拟工作组内进行范围更大的交互和协作;通过对各角色和任务间动态考察,采用加锁机制来协调各角色之间的关系,从而有效地避免了各角色之间的冲突,实现了各角色之间的高效协同和数据的实时传输,并且使得诊断结果更加准确完整。     

基于故障树分析法的北斗装备定位异常分析

随着北斗卫星导航系统在军事中的应用越来越深入,北斗装备定位异常对北斗军事效能的制约也越来越明显.针对北斗装备定位异常进行研究,有助于提升装备的使用效能.对北斗装备定位异常的主要表现形式进行描述.采用故障树分析法对北斗装备定位异常进行了系统分析,通过建立北斗装备定位异常的故障树,理清影响北斗装备定位的因素及其逻辑关系.在...     

基于决策树的网络故障诊断专家系统模型

针对传统网络故障诊断专家系统在知识获取方面的固有不足,结合决策树算法和专家系统的特点,提出一种基于决策树的网络故障诊断专家系统模型,讨论网络故障诊断专家系统模型的推理机制和推测算法以及知识获取的实现方法。实践结果表明,模型在知识获取方面具有获取过程简单、计算复杂性低、适应性强的特点。     

基于SCSI的故障注入工具设计与实现

研究海量存储系统的可用性评测,设计一种基于小型计算机系统接口(SCSI)协议的故障注入工具。该工具在SCSI协议中间层截获SCSI上层命令,修改命令后,能够实现多种暂态和永久故障的注入,有效地模拟存储系统可能遇到的各种故障。根据目标系统特点确定故障模型和注入参数,注入结束后,进行注入结果回收和离线数据分析。实验测试结果验证了该故障注入工具的有效性。     

拜占庭系统技术研究综述

随着分布式系统规模的增大,设计复杂度也不断提升,系统可靠性所面临的问题也越来越严峻。由于拜占庭协议能够容忍包括人为失误、软件bug和安全漏洞等各种形式的错误,其系统技术和实现方法越来越受到研究者们的重视。介绍和总结了目前拜占庭系统技术的研究成果,分析了目前拜占庭系统的研究现状,并探讨了拜占庭系统的发展趋势。通过分析得出：1)拜占庭系统性能上仍然与已经实用的非拜占庭系统相距较大,占用资源数量仍然较多,需要进一步研究其性能和资源优化技术;2)通过检测错误或者定期修复来降低系统中的错误,是延长系统可持续运行时间的方法,需要研究新的、高效的全面检测拜占庭服务器、合理定期修复等保障系统可持续运行的方法;3)实际应用背景和需求及其特定错误类型的处理方法对拜占庭协议和功能等提出了不一样的要求,需要研究拜占庭系统在实际中的应用和可用性。     

一种基于层次切片谱的软件错误定位技术

传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,以提高面向对象程序中的错误定位效率.这种技术首先分析程序不同粒度层次元素(包、类、方法以及语句)之间的依赖信息,对可能发生错误的元素进行筛选,缩小错误查找范围;在此基础上,建立了层次切片谱模型,并定义了一种可疑度度量方法;最后根据该可疑度结果从大到小的顺序进行错误定位.通过实验验证了基于层次切片谱的错误定位技术的有效性,且比基于程序谱的Tarantula 技术、Union 技术、Intersection 技术效率更高.     

基于事务回退的事务存储系统的故障恢复

针对事务存储系统机制下的容错问题,提出一种基于事务回退的事务存储系统的故障恢复方法.该方法利用事务存储系统自身的版本管理机制,避免了额外的检查点数据保存开销,从而实现了事务存储系统高效的故障恢复.通过对容错事务存储系统的隔离性证明了该方法的正确性.最后,使用包括4个SPLASH-2典型用例在内的5个测试程序对该方法进行了性能测试.实验结果表明,与经典的Checkpointing机制相比,该方法在避免了额外的检查点数据保存开销的同时,还具有较低的故障恢复开销.     

离散事件系统基于模式的安全故障诊断

基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过构造非法语言识别器和安全诊断器对系统发生的故障模式实施安全诊断,最后分别得到了一个关于S型和T型模式的系统安全可诊断性的充分必要条件,实现了离散事件系统基于模式的安全故障诊断.