面向像斑的高分辨率遥感影像自优化迭代分类方法

针对高分辨率遥感影像提出了一种面向像斑的自优化迭代分类算法,基于半监督聚类算法获取训练样本,以支持向量机为核心设计了自优化迭代分类器。使用分型网络演化算法获取像斑,并从中选取少量标记样本;结合标记样本,利用半监督模糊C均值算法对像斑进行聚类,并基于密集度筛选得到训练样本;设计了自优化迭代支持向量机分类算法,对所有像斑进行迭代分类直到满足分类要求,并在分类过程中对近邻分类结果进行统计得到高可信度样本以自主优化训练样本集。基于以上方法分别对武汉市QuickBird和WorldView影像进行分类实验,分类总精度分别达到94.67%与92%,与基于人工选取训练样本情况下进行分类的分类总精度（82%与82.67%）、常规支持向量机分类总精度（87.33%与88%）、最小二乘支持向量机分类总精度（88%与89.33%）相比,精度有明显提升,分类效果较好。     

利用化学键能评估火箭推进剂的能量特性

本文介绍利用化学键能评估火箭推进剂的能量特性的方法     

化学毒剂及相关化合物的色谱及质谱分析检测研究进展

介绍了当前对毒剂及相关化合物的色谱及质谱分析检测研究进展和发展趋势。仪器设备方面,气相色谱-质谱联用仪仍是主力仪器：但对热不稳定性及难挥发性化合物来说,用液相色谱-质谱来分析则更为合适;发展现场可用的、便携式鉴别技术和设备也是一个发展趋势。分析化合物方面,不能局限于附表化学品,应该积极开展对毒素及毒物与生物体加合物等复杂化合物的分析研究。样品基质方面,应该展开对新型消毒剂样品及生物样品的研究。     

当前石化企业火灾危险性与安全对策

针对当前石化企业新技术、新工艺、新材料的不断应用,从典型化学反应入手分析了石化企业的火灾危险性,探讨了石化企业火灾特点,并将安全预评价和安全评价的理论方法引入到石油企业的安全防控中,结合石化企业的本质安全化建设,提出了安全对策,为新时期石化企业的火灾预防提供了理论依据。     

基于层次分析法的化工企业火灾风险评估研究

化工企业火灾风险评估对于化工生产至关重要。针对化工行业的火灾风险,结合层次分析法和模糊识别模式的优点,提出了基于层次分析—模糊识别的综合评价方法,并通过实例评估证明了这种评价方法行之有效。     

定子绕组传输特性分析时的等效电路参数计算

多导体传输线理论是分析电机定子绕组传输特性的一种有效方法。本文提出了利用多导体传输线理论来分析电机定子绕组传输特性时的等效电路参数计算方法。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

大口径机枪弹性枪架稳定性分析的冲量法

大口径机枪在弹性枪架上射击稳定性的问题,是影响连发射击精度的一个重要问题,按传统方法以最大后座力或自动机后座到位的瞬间作用校核稳定性,其结果与实际射击现象不符。本文在分析大量实验现象后,提出稳定性分析计算中的冲量法,并以12.7mm 大口径机枪为例进行检验,结果与实验现象相符.     

Single machine sequencing with linear models of release dates

The paper deals with a problem of scheduling a set of jobs on a single machine. Before a job is released for processing, it must undergo some preprocessing treatment that consumes resources. It is assumed that the release date of a job is a linear decreasing continuous function of the amount of a locally and globally constrained, continuously divisible resource (e.g., energy, catalyzer, financial outlay, gas). The problem is to find a sequence of jobs and a resource allocation that will minimize the maximum job completion time. Such a problem appears, for example, in the ingot preheating and hot-rolling process in steel mills. It is shown that the problem is strongly NP-hard. Some polynomially solvable cases of the problem and approximate algorithms with both experimental and worst-case analysis are presented. © 1998 John Wiley & Sons, Inc. Naval Research Logistics 45: 99–113, 1998     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。