基于污点跟踪的黑盒fuzzing测试

针对传统fuzzing测试中的低效率问题,提出一种基于污点跟踪的黑盒fuzzing测试方法.通过将合法输入标记为污染源,并记录污点在应用程序中的传播过程,提取关键的污点信息,用以指导新的测试用例的生成.这样生成的测试用例,具有更好的针对性,以及能够达到较深的代码深度,有良好的代码覆盖率,能更好的挖掘出潜在的漏洞和安全脆弱点.采用这种方法对几款图形处理软件和图形库进行了测试,发现了一个漏洞,并提交SecurityFocus通过.     

SPM5360TCGJ型碳纤维连续抽油杆作业车研制

针对当前碳纤维连续抽油杆作业车存在的结构布局不合理、夹持器的牙齿尖、夹持力大、易损碳纤维连续抽油杆等问题,研制SPM5360TCGJ型碳纤维连续抽油杆作业车。该车采用单车车载式结构,整车全液压控制,设计了专用动力滚筒、排杆机构、井口装置等装置,适用于圆形碳纤维连续抽油杆的各项作业。通过控制动力滚筒的正反转,实现杆体的收卷、释放。排杆机构与动力滚筒联动,滚筒旋转1圈,杆体导向机构移动1个导程(1个杆体直径距离),实现杆体在滚筒的有序多层排列。井口装置主要通过前后移动液压缸、左右移动液压缸实现快速对正井口。现场应用证明,该作业车结构紧凑,布局合理,作业灵活,不损伤碳纤维连续抽油杆,作业效率高。     

综放工作面过空巷技术实践

以柳湾煤矿61107综放工作面为背景,根据工作面情况,分析空巷的具体支护形式及顶板情况,采取合理的空巷加强支护措施及工作面过空巷措施。实践证明:该过空巷技术可保证工作面安全地通过空巷,保证安全生产。     

某石膏矿采空区治理方案及安全技术措施

某石膏矿采用房柱法开采多年,导致井下遗留较多采空区,随着下部矿体继续开采,未及时处理采空区,为井下生产增加了安全隐患。通过现场勘查和资料收集的方式进行采空区调查,根据统计好的采空区数量和位置,结合矿山现有开拓工程,进行采空区治理方案比选,最终确定密闭隔离-顶板自然崩落法治理采空区,采用巷道挑顶密闭法,并提出了相应安全技术及管理措施,基本消除井下采空区隐患,保证矿山安全高效生产。     

基于模型的舵机非线性因素补偿控制研究

为了抑制非线性因素对导弹舵机性能的影响,本文对电动舵机中的非线性因素进行研究分析,建立相关的非线性因素模型,并将非线性模型与舵机控制系统模型综合,同时对基于模型的自适应补偿舵机控制算法进行研究,实现了依赖于模型的自适应控制策略,设计了可以实现对非线性和扰动因素模型参数在线估计并进行补偿的自适应控制器,仿真结果表明该算法对舵机控制系统的稳态精度、超调量、相移、稳定性等有较大改善。     

小断面长隧洞施工技术研究

系统介绍向家坝水电站骨料输送线小断面长隧洞多项成功应用的无轨施工新技术，并对通风、散烟等相关技术难题进行了总结。特别是对小断面长隧洞无轨出渣方式及出渣设备的选型、组合等方面进行研究。     

基于LabVIEW的干熄焦外部除尘的模拟仿真和计算

本文以干熄焦外部除尘模拟仿真软件为例,介绍了如何利用LabVIEW中slide控件、Flat case structure等结构以及属性节点,全局变量来实现复杂界面及其现场的模拟仿真和计算.描述了在LabVIEW环境下用slide、Flat Sequence structure、global variable和ActiveX等不同的控件和函数分别模拟加料系统、灰尘和阀门调节的实现方法.     

晶体管基座立式包装机的研制

晶体管基座是晶体管的重要组件,均采用大量生产。其立式包装机,运用机、电、气一体化设计,整体结构采用接近开关和磁感应气缸取得信号,利用机械手装盒、卸盒自动化程度高,运行平稳,工作效率高,操作简单方便。     

参与式流域管理在我国的发展

介绍了我国参与式流域管理的发展及相关政策和措施。并分析了参与式流域管理的优点及其可解决的典型水问题；作为今后参与式流域管理的参考和借鉴。