基于公平谓词法的JMS消息过滤改进算法

研究了JMS发布／订阅消息传递模式的工作机制，分析了JMS在对事件进行匹配时的过滤算法，针对该算法的不足提出了采用公平谓词法来改进JMS的消息过滤速度，改进方法对基于JMS的发布／订阅应用程序的开发具有一定的指导意义。     

基于机器翻译的原型句蜕及其包装研究

首先简要介绍了HNC理论及其机器翻译观,结合机器翻译的难点与原型句蜕存在的普遍性,说明了解决原型句蜕变换的意义:接着对原型句蜕构成现象进行了描述,从汉英语义块构成对比分析中导出了汉英变换规则;从现有的机器翻译系统所暴露的问题中,说明原型句蜕变换对提高机器翻译质量的必要性和可行性;最后是对本文的结论和说明。     

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

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

矩形腔内接触熔化的实验研究

对矩形腔内相变材料的接触熔化过程进行了实验研究,观测记录了熔化现象和规律,并进行了分析,给出一些有益的结论.     

中国维和警察特色理论研究

中国维和警察特色理论是中国维和警察学科理论体系基本框架的重要组成部分。对中国维和警察特色理论的概念、主体、特征、范畴进行了探讨，以构建中国维和警察特色理论的基本框架，为中国维和警察学科理论体系研究奠定坚实基础。     

运动舰船上任意分布的磁偶极子的感应电场计算

基于电磁场的坐标变换和线性叠加原理 ,导出了舰船上任意分布的磁偶极子感应电场的计算方法 .与积分方法相比 ,该方法具有普遍性 ,对任意磁化的舰船感应的磁场都适用 .     

基于Lambert算法的脉冲精确变轨策略

Lambert问题的求解多以二体假设为基础,从而对精确轨道控制带来不利影响.提出了一种脉冲修正策略,建立了考虑摄动影响的航天器轨道动力学计算模型,在Iambert算法基础上,通过拟牛顿法对变轨脉冲进行修正,消除终端状态误差,从而获得精确的变轨脉冲.将该修正策略用于固定时间精确变轨问题,建立了两层规划模型,并通过算例验证了算法的有效性.     

人工神经网络特征优化方法在模式识别中的应用

在模式识别中,特征量的选择及组合优化是设计模式识别系统的关键问题,它强烈地影响到分类器的设计及其性能。人工神经网络除了在模式识别中作为分类器应用之外,而且能够实现特征参数的提取。通过采用人工神经网络模型,对柴油机故障的特征量优化方法进行了研究,实现了对柴油机故障的特征提取及优化。     

一种数控火炮拉线机床的设计与实现

针对现行工厂使用的拉线机床操作不便、可视性差的弱点,提出一种采用单片机及光电编码技术对火炮加工中的膛线加工机床进行数字化控制的方案,使膛线加工精度、质量和效益均可得到提高,是实现各种复杂膛线加工的一种实用、可行的方法。     

多特征空间下的支持向量机及其在图像识别中的应用

分别在主成分分析(PCA)、独立成分分析(ICA)和线性鉴别分析(LDA)所构造的特征空间下用模糊支持向量机(FSVM)进行人脸识别。同时,提出了一种改进的FSVM方法,即利用FSVM和多叉决策树相结合的思想来设计人脸分类器,从而使FSVM分类器的速度得到了大幅度的提高。通过在ORL人脸库上的实验结果表明,该算法是有效的。