富矿粉烧结配矿优化研究

为了降低烧结成本,减少烧结过程能源的消耗,同时提高烧结矿质量,针对某钢铁公司富矿粉烧结进行优化配矿实验研究。选用南非富矿粉、巴西卡粉与南非精矿粉1、2进行了烧结配矿优化研究。结果表明:最优配矿方案为6~#,其中巴西卡粉、南非富矿粉、南非精矿粉1配比为15∶70∶15。其利用系数为2.66t/(m~2·h),转鼓指数为63.39%,RI、RDI_(+3.15)分别为70.06%和51.30%,熔滴性能总特性S值为1419kPa·℃。     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

基于SURPAC的复杂岩体RFPA3D模型构建与应用

RFPA^3D软件前处理功能薄弱,无法有效便捷地建立形态复杂的岩体模型,而采矿专业软件SURPAC具有强大的复杂地质精确建模能力,且两款软件模型单元均为六面体单元,以此作为研究基础,提出利用SURPAC软件快速准确地进行RFPA^3D模型生成的方法.根据SURPAC块体单元和RFPA^3D模型单元之间的数据关系,在MATLAB中编制以上两种软件的模型转换程序STOR.m;并在某露天铁矿挂帮矿开采边坡失稳分析中进行了应用.计算过程及结果表明,复杂岩体模型的转换高速便捷、准确可靠,同时拓展了RFPA^3D和SURPAC的应用空间.     

基于强互惠理论的漳河流域跨界水资源冲突水量协调方案设计

水量的分配方案在一定程度上影响因水量短缺引发的跨界水资源冲突的发展进程.从政府强互惠的角度入手，设计水量协调方案，寻求漳河流域跨界水资源冲突的协调途径是一个新的视角.基于这一思想，从政府的强互惠政策角度对漳河流域跨界水资源冲突系 统建模，从经济效益和社会效益两方面建立政府Agent和用水Agent 的目标函数，以强互惠表现的节水激励和水权交易为例，分别建立强互惠下的节水激励模型和水权交易模型，通过粒子 群优化算法求解，得出两种政策下漳河流域跨界水资源冲突的水量协调方案.水量的协调方案表明：政府强互惠的表现——节水激励和水权交易可以重新调整漳河流域的水量分配方案，以此来减少缺水量，协调漳河流域的跨界水资源冲突.     

C~(++)程序设计实验教学方法研究

针对信息与计算科学专业学生创新能力差及就业竞争力不足等问题,提出对C++程序设计课程的实验教学实施"启发——创新——实验"的教学方法,让学生在启发式教学中大胆尝试创新思路,在实验过程中更加灵活地掌握知识,逐步培养其主动学习、自主创新的能力,为后续的实践、实习和实训过程奠定基础.     

普通本科院校大学生创新性实验计划的若干问题探讨

基于普通本科院校大学生创新性实验计划面临的培养目标不明确,缺乏合理的实施原则以及学校管理缺失,学生很难获得创新思维培养等问题,提出改革评定体制,深入科研氛围以及改革管理体制的若干建议,以期更好推行该计划的实施,培养学生的创新实验能力。     

铁路电气化工程开通方案研究

文章介绍了电气化铁路施工完成后开通应具备条件、开通组织机构和试运行组织机构。结合近年来本单位在铁路电气化施工中的开通经验，全面分析了牵引变电所和接触网送电开通方案，以确保电气化铁路一次送电成功。     

利用ETC技术的小区内无线车位锁设计

针对居住小区内的专用车位被随意占用现象,提出了基于ETC技术的自动控制车位锁系统。该系统通过无线自动控制装置,免去了每次都需要车主手动开锁车位或者利用无线控制器的情况。经过实验,该设计可以智能化地解决专属车位的随意占用现象。     

基于PERT与CPM的船舶分段建造计划协调与优化

分析了现代精益造船模式下要求的船舶分段建造流程以及国内船厂生产计划的制定方式,利用计划评审技术（PERT）,结合关键路径法（CPM）,自动生成船舶分段产品建造计划,并在工期和成本方面对建造计划进行了协调与优化．基于MS-Project软件,用VBA编制了实用程序,并以大连某船厂建造的某油船为实例进行了计划编排与优化．与生产实际对比表明,该计划方法是可行的,为船舶建造初期制定生产计划提供了一种实用简便的方法．     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...