Tongjilibo/CSL huggingface dataset:
具有最小时间加权平方误差积分的主动队列管理算法ISTE-PI

针对现有基于控制论的主动队列管理(AQM)算法的不足,在不忽略TCP/AQM传递函数模型中时滞环节的条件下,将TCP短流和UDP流作为干扰信号引入AQM控制器的设计过程,并借助最小"时间加权平方误差积分(ISTE)"控制方法,设计了一个基于PI控制器的AQM算法ISTE-PI.与现有算法相比,ISTE-PI算法同时具备响应速度快、抗干扰能力强、能用于大时滞网络环境且鲁棒性好等特点.鉴于Internet网络流量由TCP长流、TCP短流和UDP流构成,且是大时滞网络,因此ISTE-PI算法能更好地适应Internet网络环境下的主动队列管理.
基于对象频度的粗集约简算法研究

决策表中大量的不相容对象和相同对象会降低粗集约简算法性能,出现错误的属性核和约简结果。因此文中首先讨论决策表的不相容对象与相同对象即冗余对象对约简结果的影响,然后提出利用对象频度概念来删除冗余对象,组建最简决策表的算法。把求最简决策表的算法与高学东的粗集约简算法结合起来,形成了一种具有较好的处理不相容决策表、决策规则较合理的粗集约简算法。实例证明,该算法性能时间与空间复杂度与高学东算法相同,但明显优于Hu XiaoHua、叶东毅等的算法。
OFDM系统中子载波间干扰抑制算法的研究

针对频偏引起的正交频分复用(OFDM)系统中载波间干扰(ICI)的问题,为消除间干扰,提出了一种基于SSC-ASIZ方案的子载波间干扰抑制算法。为了更好地在接收端消除子载波干扰,发送端通过相邻子信道插零(ASIZ)算法对子载波进行分配;在接收端,针对发送端的特殊载波结构,通过接收符号移位抵消(SSC)算法来抑制对子载波的干扰。仿真结果表明,使用方案后系统信号干扰功率比(SIR)性能比常规系统提高了至少15dB,误码率(BER)性能也比其它方案优越,明显地改善了系统的性能。
智能卡COS安全性测试研究

智能卡COS是智能卡中重要的软件控制部分,它控制着智能卡内外部的数据通信和存储。智能卡COS的安全性是信息化应用健康有序进展的重要基础,因此,必须对智能卡COS进行科学全面的测试评价。文中首先描述了智能卡COS的组成结构;然后分析了智能卡COS需要保护的信息资产及其面临的安全威胁,在此基础之上,提出智能卡COS在软件设计实现中需要考虑的安全机制,阐明如何构建智能卡COS安全性测试评价平台;最后,重点从安全功能测试和穿透性测试两个方面阐述了智能卡COS安全测试的关键技术。
基于LDA模型的文本聚类检索

传统的判断2个文档相似性的方法没有考虑到文本背后的语义关联,导致检索系统返回的结果与用户的查询需求之间存在很大的差异。本文提出一种基于LDA主题模型的文本聚类方法,首先介绍LDA主题模型的应用原理,阐述文本挖掘的基本方法,之后构建LDA主题模型,采用Gibbs抽样的方法进行推导,得到特征词的概率分布,最后用优化聚类中心选择的K-means++方法对测试数据集合聚类,并把设计的LDA-Gibbs模型与传统的TF-IDF模型进行聚类评价对比。实验结果表明,该模型能够提高数据的检索效果,具有良好的推广价值。
三维线性倒立摆模型在双足机器人系统中的应用

机器人稳定的步行行走模式在双足机器人的控制中占有很重要的地位,提出了一种基于三维线性倒立摆的机器人行走模型。通过机器人的三维倒立摆模型得到机器人质心的位置和速度,再结合机器人的逆运动学,求得机器人各关节的关节角度,驱动机器人关节运动。从而得到机器人完整的运动轨迹。
变尺度混沌光强吸收系数的萤火虫优化算法

针对基本萤火虫算法存在早熟现象,提出了一种变尺度混沌光强吸收系数调整策略的混沌萤火虫优化算法。首先,应用Sinusoidal映射产生混沌变量来描述光强吸收系数;其次,在算法迭代过程中引入变尺度混沌扰动,使光强吸收系数与迭代次数呈线性变化;最后,将萤火虫群分成三个子种群协作合作,可有利于增强算法搜索前期的全局探索能力和搜索后期的局部细化搜索能力。通过标准测试函数测试,实验结果表明算法是有效的,比基本萤火虫算法有了较好的寻优精度和收敛速度。
融合全局和局部特征的人脸识别算法

针对人脸识别算法缺乏对光照变化的自动调节能力的弱点,提出了一种综合利用全局和局部特征进行人脸识别的新方法。对整幅人脸图像进行主成分分析;针对人脸局部特征,提出一种根据各局部子块包含的信息量即利用图像熵值进行自动加权的算法;基于贝叶斯原理对全局和局部特征进行数据融合,给出最终结果。实验结果表明,该数据融合算法综合全局和局部特征提取方式的优势,有效提高了人脸识别率。
基于ROMP算法的压缩感知飞行数据重构技术

在飞行数据压缩的研究中,由于传统飞行数据压缩编码受到带宽限制,导致重构时飞行数据包含的有用信息量有限。提出一种采用压缩感知(CS)方法的飞行数据压缩重构过程,通过正则正交匹配追踪算法(ROMP)对压缩后数据重构处理。选用飞行数据中的瞬时垂直速率数据,对其稀疏表示压缩并测量。通过仿真比对不同压缩比、不同压缩分解层数下重构信号与原始信号的相对误差,获得包含高有用信息量的理想重构信号,为更广泛的应用飞行数据提供理论基础。
多元线性模型和数据降维用于评价复杂体系中各因素的影响程度

评价复杂体系中各因素对特定对象的影响程度是一类常见问题。通过影响程度,可以发现主要影响因素,从而实现相应的科研和生产目标。本文提出了一种影响程度因子,用于评价复杂体系中各种因素的影响程度。该影响程度因子基于多元线性模型,通过偏导数得出,并且消除了量纲,以对比不同类型因素的影响程度。在建模样本数量有限的情况下,通过主成分分析对原始建模数据进行降维,然后在主成分和特定对象之间建立多元线性模型,最终获得各因素的影响程度因子。将影响程度因子用于研究卷烟产品9项物理指标对于4种烟气成分含量的影响,得到了各烟气成分含量的主要影响因素,为产品研发提供数据支持。
基于国产基础软硬件的数字校园建设研究

为了推动国产基础软硬件环境下数字校园的建设和发展,形成示范效应,探索服务保障模式,分析和研究国产基础软硬件和数字校园建设现状。针对国产基础软硬件环境下数字校园的总体架构体系、技术实现路线和服务保障模式等相关内容匮乏,提出国产基础软硬件环境下数字校园建设的总体架构体系、技术路线和服务保障模式。将其运用于航天工程大学数字校园基础软件平台的建设,为其他院校提供了一定的指导借鉴作用。同时,也可为其他非院校单位的相关系统建设提供一定的参考。
引导小生境回溯优化算法

回溯搜索优化算法(BSA)是近年提出的一种新型优化算法,针对其收敛速度较慢、易陷于局部最优的缺点,提出了一种基于最优个体引导和小生境技术相结合的改进BSA算法。本方法首先在BSA的变异操作中引入向最优个体学习的策略,以提高算法的收敛速度;其次,设计一种新的小生境排挤技术,根据每个个体到其他个体距离的平均最小值确定小生境半径,排除部分相似性较高的个体;结合群体当前的最差信息,设计一种新的变异方法产生一定数量的新个体补充到新的种群中,维持群体数量的恒定并增强群体多样性。改进的BSA算法充分考虑了算法的收敛速度和群体的多样性,较大地提高了传统BSA算法的性能。对10个典型函数进行仿真测试,并与其他算法结果进行对比,实验结果表明,改进算法在收敛速度与精度方面具有较好的效果。
MDUAM:一个企业信息集成系统中元数据更新分析与管理系统

当前的企业信息集成系统是由大量的自治系统组成,这些自治的系统的数据之间进行互操作.由于自治的系统之间可以进行互操作,因而带来了一个问题,就是对一个系统中进行的数据操作可能会给其它系统带来意想不到的影响.介绍一种方法,用于监测每一个参与互操作的系统中的元数据更新情况,对每一个数据更新可能带来的影响进行分析并加以管理.这个分析过程是通过显式地定义规则,规则分为防范性的和反应性的规则,这些规则是通用的、可扩展的,可以表达相关的数据更新的元数据.本文的方法可以在异构的环境下工作,并且能够根据特殊的需要进行定制.
面向低功耗无线传感器网络的动态重传算法

由于信道通信质量具有时变性,为了保障数据传送具备高可靠性,需要在低功耗传输网络中加入能量利用率更高的重传机制。低功耗无线传感器网络对数据实时性的要求不高,但整体能量有限,因此重传的时机及重传的有效性显得额外重要。在静态发送队列的基础上,提出一种可靠且稳定的动态重传算法。随机出现丢包的节点利用自身产生的随机数作为序列,将其添加到重传队列中。该算法利用随机生成发送时机的方式避免随机出现的通信不佳的情况。实践表明,动态重传算法在降低能耗的同时,能够提高数据传送的成功率。
LCD灰阶响应时间自动测量系统开发

灰阶响应时间需要测试不同灰阶之间切换需要的时间,这样测试的数据量非常大,仅仅靠手动测试已经很难完成该测试;需要自动化的测量方法才能完成;对LCD的灰阶响应时间自动测量进行了研究,用综合测试仪(DMS)与FPGA系统结合的方案完成灰阶响应时间的自动测量,可以快速准确的测试灰阶响应时间;采用这个方案可以在无需额外购买测试设备的情况下几分钟内测试一组灰阶响应时间,测试基准采用DMS设备,所以测试的准确率高;该自动测试方案对于LCD灰阶响应时间的测量和研究具有很强的实用价值。
基于BSC的高校战略管理驾驶舱系统研究

为了提升高校战略管理能力,增强高校核心竞争力,提出了基于平衡计分卡理论和管理驾驶舱实现平台的高校战略管理的信息化方法。讨论了将平衡计分卡理论引入到管理驾驶舱系统的可能性,根据高校与企业的不同特点,将企业用的平衡计分卡修正为适合高校的平衡计分卡,并将其应用到S大学,设计了S大学战略管理指标体系。通过把该管理模型引入到管理驾驶舱系统,设计了高校战略管理驾驶舱系统,实现了高校战略管理的信息化。以"卓越的教学与科研服务"战略主题为例论证了该系统的可行性。
ARP协议的描述与TLA验证

随着计算机网络的发展,网络的安全性日益受到人们的关注。ARP攻击是一种非常专业化的网络攻击方式,它会给网络管理员增加很大的负担,破坏主机数据,窃取主机信息。Lesilie Lamport提出了一种新的逻辑,即行为时序逻辑(TLA)理论体系,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达程序与属性。文中介绍了ARP协议,用基于行为时序逻辑TLA的建模语言TLA+对ARP协议进行建模分析。构造了一个ARP欺骗的攻击者模型,用基于TLA的模型检测工具TLC对其进行验证并找出一条攻击者路径。
广义三支决策与狭义三支决策

从三支决策发展历史出发,在总结三支决策近年来研究的基础上,基于三支决策现有模型、算法及应用,提出了一种广义三支决策和狭义三支决策理论。广义三支决策注重对三支决策概念内涵和外延进行诠释;狭义三支决策主要注重三支决策在实际决策问题中的语义解释。提出了一种"四层次"三支粒结构决策模型,从静态和动态、广义和狭义两种视角对三支决策进行剖析,厘清了三支决策发展过程和研究脉络。最后,给出了三支决策的研究现状和未来发展方向。
几何定理机器证明复系数质点法的改进及其应用

复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复系数质点法仍不能有效地处理一些非线性构造型几何命题.为此,该文在原有工作的基础上,对原复系数质点法机器证明算法进行了较大的改进,新添加了一些重要的构图方式,并选用Mathematica重新实现了改进的算法,创建了新的证明器CMPP(Complex Mass Point method Prover).对上百个几何定理的运行结果显示,证明器CMPP能有效地处理非线性构造型几何命题以及许多非构造型几何命题,在解题能力及运行效率上均有所提高.特别地,CMPP能在短时间内实现五圆定理、莫莱定理等一些难度较大的几何定理的可读机器证明.
高维数据离群点检测的局部线性嵌入方法

由于高维空间中数据点比较稀疏,用传统方法来检测高维空间中的离群点不能达到预期效果。提出了一种基于局部线性嵌入的离群点检测方法(OLLE)。在OLLE降维方法中,建立了一种有效的粗糙集模型,使数据集的下近似中的点保持局部线性结构。同时构造两个权重,使所有样本点保持局部近邻结构,且保证在降维的过程中使离群点远离正常点。最后,在低维空间中,采用基于最小生成树的k-最近邻启发式方法来检测离群点。通过一系列的模拟实验,证明OLLE方法能达到很好的降维效果,并且在低维空间中可以有效地检测出离群点。
Chirp-Z变换在振动信号处理中的应用

由于频率分辨率较低,基带FFT难以有效地分析卧螺离心机拍振信号的频谱特征,为解决上述问题将选带细化频谱分析技术应用于拍振信号的分析。分析比较了两种常用细化方法:选带细化Zoom-FFT(ZFFT)和线性调频Z变换(CZT),指出了CZT算法的优越性。其中CZT法能在不增加采样点数的前提下,对感兴趣的频带进行细化,得到比较精确的频率值。对仿真信号和实际信号的分析表明,CZT在卧螺离心机拍振信号处理中有着极大的实际应用前景。
一种高效的分辨函数范式转换算法

基于分辨矩阵获取一个决策表所有约简的过程实质上是一个将分辨函数从合取范式转换为析取范式的过程,其效率对于属性约简算法性能至关重要。依据人工范式转换的运行机制,充分利用合取运算和析取运算的吸收率,并借助队列结构,提出了一种面向分辨函数的范式转换算法。该算法易于理解,实现简便。仿真实验表明算法能够高效地完成范式转换。
一种可确保完整性策略有效性的可信恢复模型

多策略融合是访问控制技术研究的重要内容.可信恢复是高等级安全操作系统的必需功能.为解决过于严格的安全策略难以推广应用的局限性,提出了一种可确保完整性策略恢复后有效性的可信恢复模型.首先给出了模型的框架结构,利用多模型融合方法,通过对类型实施模型(type enforcement,TE)和基于角色的访问控制(role-based access control,RBAC)模型的重新构造和配置,实现了形式化的Clark-Wilson完整性策略模型及其扩展模型PCW(Poveys Clark-Wilson).然后,结合文件系统的具体特点,提出静态和运行时两类恢复算法,通过分析系统日志,撤销恶意操作,使文件系统恢复到原先的一致状态.该恢复方法增强了系统的可用性,对设计和实现我国自主高等级安全操作系统的可信恢复机制进行了重要探索.
块矢量的三维模型数字水印

针对三维网格模型数据的版权保护提出一种基于块矢量分布的三维网格模型数字水印算法。对三维网格模型进行分块,用块质心集代替原模型质心,构造模型块曲面的基本几何单元,视觉系统产生最小代价的基础上,调整块质心来嵌入单位水印信息,从而改变顶点位置使水印信息遍布整个模型。实验结果表明该算法对剪切,仿射变换、随机噪声和网格简化等攻击有较好的鲁棒性,具有较高的水印信息嵌入量和信息的冗余度。
无线传感器网络中结合信任管理的基于属性基加密方案

针对无线传感器网络(WSN)中基于属性基加密(ABE)的属性授权与撤销问题,提出了一种结合信任管理的密文-策略ABE方案(TM-CP-ABE)。该方案基于密文-策略ABE,融合了信任管理机制,将信任评估和信任更新与属性授权和属性撤销结合起来。对方案的安全性、复杂性和有效性进行了对比分析,并与目前WSN中比较流行的加密方案进行了仿真实验对比,结果表明TM-CP-ABE方案较好地解决了无线传感器网络CP-ABE的属性撤销问题,并通过属性撤销在一定程度上抑制了恶意节点的破坏行为。
SLP和遗传算法结合在车间设备布局中的应用

用经典的系统布置设计结合遗传算法求解车间设备布局,以高效率获得满意的设计结果,弥补传统SLP设计过程中手工操作的繁琐迭代、易受主观影响、结果不稳定等缺点。并且通过对遗传算法的改进,增强了算法的全局和局部搜索能力。最后,通过实例验证了其有效性。
基于LLE的优化RBF神经网络降水预报模型

利用局部线性嵌入降维方法(LLE)提取有效因子,并将这些有效因子组成的特征空间矩阵作为优化的RBF神经网络的输入矩阵,从而建立网络模型。以此对广西5月区域平均日降水量进行预报,结果表明,该模型具有较好的收敛效果和泛化能力,在预报性能上明显优于同期的T213降水预报,具有一定的普遍适用性。
采用同心圆图像的摄像机标定方法

为研究计算机视觉问题,介绍了一种新的采用同心圆图像进行摄像机内参数标定的算法,在标定中,采用了针孔摄像机模型。与已有的方法不同,算法以3D圆的投影方程为基础,包含了摄像机的内部参数矩阵。根据其在代数上的特殊形式,可以得到关于摄像机内部参数的一个线性方程组,通过创建足够的方程组,可以很容易求得所有的摄像机内部参数。方法是完全线性的算法,无需迭代优化,无需求取虚圆点,仅需要三幅两同心圆的图像即可实现全部摄像机内部参数的标定。最后通过仿真验证了内参数标定算法的准确性和鲁棒性。
采用近似max*运算的Log-MAP译码算法

为有效降低Turbo码译码的硬件存储消耗,提出一种基于近似max*运算的改进的Log-MAP算法。并通过设计合适的数字电路来找出一组数据中最大的两个值嵌入到其相关函数项中,有效实现了低复杂度的Turbo译码器的硬件结构。实验结果表明,所提出的结构比Constant Log-MAP算法结构平均简化了30%,达到了与Log-MAP几乎相同的误码率(BER)性能,降低译码的复杂度,便于实际工程应用。
面向移动自组网的分布式认知MAC协议改进设计

针对移动自组网MAC协议未考虑节点移动性、缺乏功率控制机制、算法开销较大等问题,改进设计基于信道可维持时间的分布式认知MAC协议。新协议建立了节点存储信息结构,根据节点功率与移动速度的关系,构建信道可维持时间模型,并改进信道感知和数据传输算法,增加移动性和信道增益考虑,降低速度和功率对信道感知的影响,提高协议对移动性的适应能力。结果表明,对于中低速网络而言,该协议在不增加控制开销的基础上,丢包率、时延和频谱利用率等性能得到较大改善。
基于时域振动速度有效值的铣削稳定性研究

为了提高铣削的稳定性进而提高高速铣削的加工质量,以时域响应中振动速度的有效值作为振动强度的衡量指标,提出一种稳定性判定及不稳定区间颤振强度衡量方法。分别基于强迫振动模型和自激振动模型计算振动速度有效值随转速变化的规律曲线,对比分析了两种模型下的曲线差异,判定不受颤振影响的转速区间,即稳定性区间。对于不稳定切削区间,给出衡量其颤振强度的振动速度有效值差值-转速关系曲线。通过算例与传统方法计算的对比结果验证了该方法的可行性。
基于云存储的重复数据删除架构的研究与设计

随着云计算的发展,云存储技术通过集群应用、虚拟化技术、分布式文件系统等功能将网络中大量各种不同类型的存储设备集合起来协同工作,缓解了老式数据中心的存储压力.另外,重复数据删除技术是一种缩减存储空间减少网络传输量的技术,随着云的广泛应用也势必会发展应用于云存储中.这两种技术结合将会给IT存储业带来实际效益.本文通过研究重复数据删除技术、云存储技术,设计了基于云存储的重复数据删除架构,提出了一种用In-line方式在客户端进行数据块级与字节级相结合的重复数据删除操作后再将数据存入云中的方案.在本架构下,海量数据存储在HDFS中;而文件数据块的哈希值存储在HBase中.
基于用户行为的个性化推荐系统的设计与应用

目前电子商务网站提供的推荐服务很难满足用户的个性化需求,协同过滤算法作为应用最成功的推荐算法,依然存在数据稀疏性、用户评分真实性等问题,制约着推荐系统的质量。设计和实现了一个基于用户行为的个性化商品推荐系统,主要采用前融合组合推荐策略,避免了单纯使用协同过滤算法的弱点。阐述了基于用户行为的个性化推荐系统的设计思想和实现过程,最终通过实验验证了本推荐系统具有良好的推荐效果。
基于蛋白质相互作用网络预测癌症致病基因

基于现有的蛋白质相互作用数据,提出利用邻居曲线方法来分析癌症基因产物在蛋白质相互作用网络中的中心度和聚集度,据此获取与癌症高度相关的候选致病基因。癌症基因大规模测试显示,有26%的目标基因在候选基因中排名前5%,90%的目标基因在候选基因中排名前50%,该方法能有效地识别癌症致病基因。
一种基于力导向布局的层次结构可视化方法

在数据结构优化管理的研究中,传统的力导向方法应用于层次结构数据的展示时,会存在树形布局展示不清楚的问题。为解决上述问题,通过层次数据特征分析,提出了一种面向层次数据的力导向布局算法,将力导向布局中不同层次的边赋予不同初始弹簧长度,以解决层次数据中结构信息展示不清楚的问题,然后结合层次上下行、Overview+Detail等交互技术,通过与气泡图的协同,清晰展示层次数据的内容信息,从结构和内容角度对层次数据进行可视化和可视分析。实验表明,能够有效提高层次结构数据的展示能力,最后应用于农产品中农残检测结果数据的分析和观察,取得良好效果。
基于云模型和信任链的信任评价模型研究

以复杂网络环境为研究背景,引入云模型理论,提出了一种基于信任链的信任评价模型,实现了信任的定性概念与定量数值之间的转换,通过评价模型识别恶意节点,减少不必要的损失。该模型将信任信息按属性分离,并转换成云数字特征参数进行传递和融合,解决了信任链过长带来的信任信息传递和融合的不合理性问题。通过仿真实验证明了该模型能有效控制最终信任评价结果的真实性,通过防恶意竞争实验,进一步证明了基于云模型和信任链的信任评价模型的可行性和合理性,为复杂网络环境下信任评价的研究提供了一个新的思路。
基于STK的靶标布设分析建模与仿真

由于靶标布设是航天测控的重要问题之一,覆盖分析为靶标布设提供重要的参考依据。为研究靶标布设的规律特点,提高测控质量,提出了利用STK进行仿真分析。针对某个工程中的靶标布设问题,采用卫星携带相机的侧摆情况和相机类型的情况,对卫星过境的覆盖品质进行了分析建模。并运用MATLAB与STK软件进行联合仿真,得出6种模式下的覆盖结果。仿真结果表明,无论是否侧摆还是相机类型不同的情况下,卫星过境时长均只与所处纬度有关,与经度无关,并且纬度越高,覆盖品质越好。
特技飞行表演中飞机拉烟效果实时推演核心算法研究

为编排更多特技飞行表演中飞机拉烟新奇效果,烟雾多路径运动控制核心算法是关键.首先,为实现千变万化的拉烟效果,引入速度增长因子控制烟源速度,使得烟雾可沿任意轨迹运动;其次,在拉烟扩散过程中,受到复杂气流的作用会产生漩涡现象,为避免小尺度漩涡细节丢失,将漩涡限制作为N-S(Navier-Stokes)方程的外力项,借助可变空间螺旋性强度取代作用在整个网格上的漩涡系数,表现随空间位置变化的漩涡细节;然后,为减少在高分辨率时求解N-S方程的计算量,在GPU上采用并行计算,改善实时性;最后,搭建拉烟效果核心算法推演平台,完成多种拉烟效果图的推演.
飞行试验航路规划方法研究与实现

光电系统挂飞试验对飞行航路有较高要求,一条能够满足试验各项约束的航路是试验按计划完成的前提。针对该问题,提出了一种基于可见性图的航路搜索空间构造方法;使用Dijkstra算法计算顺序两目标点间的折线路径;使用遗传算法计算代价最小的目标观测顺序;在得到的折线路径上计算得到满足最小转弯半径约束的航路。计算结果表明,这种航路算法能够有效规划出满足挂飞试验多约束条件的航路。
规划领域定义语言的演进综述

规划领域定义语言是智能规划研究中问题描述的标准语言,它同时起到了建模和通信语言的作用。随着智能规划得到了很大的发展,规划定义语言的作用越来越重要。但至今尚无对其版本、特性和语义的演进过程的综述。鉴于此,对规划领域定义语言的演进进行综述。最后概括了规划领域定义语言的发展趋势。
一类完全模糊非线性系统同伦法求解

在现有三角模糊数表示及模糊运算规则基础上,采用参数变换法对一类模糊非线性系统做变换,得到同解的确定非线性系统。采用同伦法求解该确定非线性系统,进而给出原模糊非线性系统的近似解,并给出了具体算例。
基于蛙跳思想的改进聚类模式识别算法

目前武器装备保障维护的经验性强而科学性、智能化弱,开展智能模式识别研究有助于提高部队的维护排故能力。分析了K-均值聚类算法和混合蛙跳算法的特点,找出了二者的相似之处,针对前者对初始聚类中心的选取敏感和聚类过程中聚类中心数目不能动态调整的缺点作了相应的改进,为使二者能有机融合,对后者进行了一定的修改后用于优化改进的K-均值聚类算法。通过对某型空气压缩机车柴油机燃油系统状态技术参数样本进行仿真实验,证明了该方法能够正确聚类,且算法较优。
生物地理学优化算法研究

对生物地理学优化算法(biogeography-based optimization,BBO)的研究现状进行了总结,并介绍了一些最新的研究进展。从BBO算法提出的背景出发,讨论了算法的主要思想、算法原理以及算法步骤。论述了该算法的研究进展,包括BBO算法的改进、算法的收敛性分析、BBO算法与其他算法的融合以及BBO算法在优化领域的典型应用,对BBO算法有待研究的问题做了总结。
基于显著性判别的缺陷检测方法

X射线成像存在噪声大、半影现象及散射等问题,使所得缺陷图像边缘模糊,背景灰度变化不均匀,严重影响了缺陷的识别准确率。提出了一种由LoG边缘检测和局部对比度筛选进行显著性判别的缺陷检测方法,在基于LoG边缘检测的双阈值进行显著性边缘检测的基础上,通过各向同性扩散方法求取待定缺陷的局部背景,利用待定缺陷和局部背景之间对比度的显著性设置第三个阈值进行进一步判断,从而去除假缺陷,使缺陷能够被准确地提取出来,并可以同时确定缺陷的轮廓和面积。实验结果表明,该方法对缺陷识别的准确度较高,并可以用于在线的实时检测系统中。
两种前向神经网络在变压器故障诊断中的应用

针对依靠变压器油中溶解气体分析的传统故障诊断方法存在的不足以及未来智能诊断算法进一步发展的需要,在研究人工神经网络的基础上,介绍了两种前向神经网络在变压器故障诊断中的应用,并用大量的DGA样本数据做了仿真训练;首先讨论了几种常用变压器故障诊断方法的一些缺陷,通过分析现代智能诊断算法的局限性,得出改进人工神经网络的优势;然后结合两种前向神经网络的原理和结构,对变压器内部故障进行了分类和编码;分别设计了相应的故障诊断模型,在MATLAB中做了仿真测试,并给出了仿真程序;仿真结果表明,两种神经网络用于变压器故障识别较为理想,其中PNN网络在样本数量较多时效果更好,有效提高了变压器故障诊断的正确率。
步态识别关键技术研究

高新技术的高速发展,使得越来越多的人对生物识别技术予以关注。步态识别技术是一种新颖的生物特征识别技术,它通过人体行走姿态进行身份识别与认证,在安全监控和国防军事等领域的应用潜力也获得越来越多的关注。文中首先分析了步态识别的研究意义和背景,以及步态识别系统的原理,再从主要评价指标、运动目标提取、步态特征提取、分类判决等几个主要方面介绍步态识别的技术现状,并分析了步态识别现存的困难和未来的发展方向。
多支持度下用户行为序列模式挖掘方法研究

针对现有用户行为序列模式挖掘方法的单一支持度局限性问题,提出一种基于前缀树结构的多支持度序列模式挖掘方法。设计一种多支持度条件下的前缀树结构MSLP-tree,并基于此结构提出一种序列模式增长算法MSLP-growth。通过考虑各数据项不同最小支持度,获取更精确的频繁序列模式,在确保挖掘结果的准确性和完整性的前提下,大大压缩搜索空间,缩短挖掘时间。实验结果表明,相较于MS-GSP算法,MSLP-growth算法具有更高的挖掘效率和可扩展性。
OFDM系统中频数字接收机的工程实现

对带通采样理论进行了简单介绍,并对带通欠采样数字正交解调进行了详细的数学推理,并介绍了一种数字中频接收机的工程实现办法。该数字接收机具有较大的动态范围,较高的I,Q输出精度,采用带通欠采样进行中频采样,数字滤波法进行数字正交相干解调。介绍了传统模拟中频接收机的不足和数字中频接收机的优点,根据本课题的技术指标要求进行了中频数字接收机的设计,包括中频放大电路和数字控制VGA、数字中频A/D采样和数字相干解调。结果表明,两路信号幅度的误差&lt;0.4%,相位的正交误差&lt;0.4%,满足了设计指标要求,技术指标明显优于传统的模拟接收机。
SRK-WS-COSMOSAC模型关联二元体系汽液平衡

基于量子力学计算的真实溶剂似导体屏蔽模型（COSMO-RS）在预测纯组分饱和蒸汽压、混合物汽液平衡、液液平衡等方面已取得重要进展,但在模型参数的优化方面还不尽人意。COSMO-SAC（segment activity coefficient）活度系数模型是COSMO-RS模型的1种改进形式,在汽液平衡预测方面能够符合热力学一致性。本文通过WS混合规则将COSMO-SAC与SRK状态方程结合应用于二元体系汽液平衡数据的关联,首次利用牛顿-拉夫逊迭代算法获得多个二元体系最优化的二元交互作用系数k12,填补文献空白。在较宽温度和压力范围内对不同类型二元体系（包括烃与烃,烃与醇,烃与酮,烃与酯,以及醇与水等）汽液平衡数据进行关联的结果表明,采用最优化的二元交互作用系数k12后,模型的计算精度大大提高,与实验数据吻合良好。尤其对醇,水等体系,优化后的模型关联精度明显优于文献数据。
直升机加装设备电磁干扰研究

直升机通过加装电子设备,其用途愈加广泛,而带来的电缆辐射及设备超限问题也越来越引起重视。对于直升机的大型复杂系统而言,在有限空间内集成的电子设备越来越多,电磁能量的耦合途径越来越复杂,要理论分析加装电子设备及电缆带来的电磁干扰也越来越困难。为解决上述问题,利用电磁仿真软件CST搭建直升机及加装设备模型,从加装电子设备内外部电缆辐射两个方面进行了仿真。仿真结果表明,在多种信号激励下,当电子设备外部电缆未加装屏蔽层时,上述设备在低频段超限,加装屏蔽层可解决超限问题。
基于自适应观测器的故障检测方法研究

研究航空发动机控制系统执行机构和传感器的故障诊断问题。由于航空发动机长期工作热力系统温度升高,应及时控制。传统航空发动机控制系统的故障诊断方法均基于定常模型,且只能实现执行机构或传感器的单一故障诊断,因而导致故障的误诊、漏诊率较高。针对上述问题,建立了航空发动机控制系统的时变故障模型,设计自适应观测器对发动机状态和执行机构、传感器故障同时进行估计,并验证所建立自适应观测器方法的收敛性,最后通过解耦算法实现了问题的求解。仿真结果表明,当发动机燃油计量活门和涡轮后总温温度传感器同时发生故障时,改进方法能及时准确地检测出故障,具有工程应用价值。
基于熵权法和模糊评价的信息化厂商评价研究

针对信息化厂商综合评价中各指标的模糊性和不确定性,尝试综合运用层次分析法、熵权法和模糊综合评价法,构建主观权重和客观权重相结合的模糊综合评价法以评价信息化厂商质量。采用层次分析和熵权法分别确定主观权重和客观权重,挖掘指标样本值的客观信息差异,力图使结果更为客观。应用供电企业信息化厂商实际数据测算结果验证了熵权组合权重的信息化厂商的模糊综合评价模型的有效性和实用性。
基于子图分割和自适应噪音方差的2D移动机器人定位方法

基于子图分割和自适应噪音方差的2D移动机器人定位方法,不仅能有效地检测闭环,而且能更精准地估计移动机器人的位姿。首先,子图分割能够有效提高移动机器人的定位效率,通过匹配局部子图也能提高闭环检测的准确性,减少测量噪音的影响。与之前工作不同的是,根据2D几何特征点的个数来分割子图,使得子图中有足够的特征点,进而提高闭环检测的准确性。其次,在利用unscented卡尔曼滤波(UKF)模型时,使用自适应的噪音方差来估计移动机器人运动路径,使得每次UKF的预测方差与移动机器人当前环境有关,当检测到闭环时,通过UKF融合闭环定位信息,可以更准确地估计机器人位姿。在实验中,首先使用两组经典的移动机器人地图数据来比较基于特征点分割子图的方法与基于帧数分割子图的方法在闭环检测时的准确性;然后使用真实的移动智能车在室内环境进行实验,证明了自适应方差比常量方差有更高的定位精度。
流感病毒A型核酸内切酶与羟基嘧啶酮衍生物识别的分子动力学模拟

流感病毒A型核酸内切酶(Influenza A Endonuclease,IAE)是目前抗流感新药物研发的重要靶标。本文对IAE单体及其与羟基嘧啶酮衍生物(Hydroxy pyrimidine-ketone derivatives,HPD)抑制剂的复合物分别进行了2.1 ns的分子动力学模拟。从能量角度详细分析了IAE与HPD识别的关键残基,并对IAE-HPD复合物和IAE单体进行了成簇和自由能曲面计算,得到了HPD结合导致IAE的构象变化,主要是H41~Y48段α螺旋的去螺旋化以及H41等氨基酸残基的空间结构变化。优化后的结合模式表明,HPD与IAE识别主要是依靠一个双金属螯合的作用力以及周围残基的范德华相互作用力。模拟结果对于更深入理解IAE的结构特点以及与HPD的分子识别机制具有指导意义,为后续基于结构的抗流感病毒药物设计具有参考作用。
基于多轮分簇的无线传感器网络路由协议

提出了一种基于多轮分簇的无线传感器网络路由协议MCBMC(multi-round cluster based Multi-hop clustingrouting protocol),它对RBMC(ring based multi-hop clustering routing algorithm)进行了改进,在簇头自举中引入剩余能量参数,同时改单轮成簇为多轮成簇,减少了频繁分簇和重复建立多跳路由的次数。仿真结果表明,与RBMC相比,MCBMC能够降低节点平均能耗,提高网络的寿命。
应用佳点集的混合反向学习人工鱼群算法

为了改善人工鱼群算法求解精度较低、容易过早收敛的弱点,提出了一种应用佳点集和反向学习的人工鱼群算法。改进算法在迭代中对当前种群中部分优质个体执行一般动态反向学习,生成它们的反向种群,引导种群向包含全局最优的解空间逼近,以提高算法的平衡和探索能力。当种群的拥挤程度超过阈值λ时,利用佳点集机制对大部分个体重新初始化,以帮助算法脱离局部最优的约束。在六个Benchmark函数上的实验表明,该算法收敛速度快、求解精度高,适合求解函数优化问题。
面向方面的时间特性建模

基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。
云计算应用及其安全问题研究

随着全球信息化进程的不断演进,云计算成为继分布式计算、并行计算、网格计算之后的一种新的互联网服务模式,受到业界和政府的广泛关注.我们从云计算的概念定义和发展现状出发,从服务模式的角度分析提出了云计算服务的典型特征,深入分析了云计算服务可能存在的安全问题,进而提出了公有云管理服务规范体系.该规范体系可以作为企业加强安全防护手段、用户按需选择云计算服务,以及建立第三方云计算安全评估、监测和管理平台的参考和依据,从而起到促进云计算产业安全、有序发展的作用.
基于小波变换和Wiener滤波的SAR图像相干斑噪声去除

先介绍了小波变换和Wiener滤波,为提高去噪性能,提出一种基于小波变换和Wiener滤波的SAR图像speckle噪声去除算法,利用Wiener滤波对小波分解系数去噪.结果表明,与传统方法相比,所提出的算法能较好地提高SAR图像的去噪效果.
一种防止手术电钻磨穿颞骨的智能监控装置

手术电钻是一种重要的耳科手术设备,可能会磨穿颅骨,对患者造成损伤;设计了一种用于手术电钻的智能监控装置,使用了电流传感器、电压传感器、转速传感器和压力传感器,通过信息融合技术识别手术电钻的工作状态、防止钻头磨穿骨质;智能监控装置的软件识别系统由卡尔曼滤波、差分运算和BP神经网络构成,能够实现高精度的识别。经测试,软件系统可以识别出80%的异常状态。
战场PHM及其通信技术应用

首先介绍了战场PHM的体系结构和特点;然后,针对战场环境下PHM对数据通信的需求,以网络中心化的任务保障以及大规模健康状态信息传输两个难点问题为出发点,分析了如何将通信技术应用于PHM中并支持系统的高效运行;最后阐述了未来战场的以先进通信技术为支撑的PHM特点;可预见的是,随着通信技术的不断发展和进步,战场环境的PHM性能必将获得进一步的提升。
基于检测工具的软件脆弱性分析模型研究

针对使用单一检测工具进行软件脆弱性分析,存在较高误报率、漏报率和重报率的问题,研究和设计一个基于多检测工具的软件脆弱性分析模型。该模型通过对不同检测工具的集成,对不同检测结果的优化处理,有效地降低了检测工具的误报率、漏报率和重报率。基于该模型设计一个实例,对其实用性和有效性进行验证,结果表明,经过多层次等级处理,有效降低了误报率、漏报率和重报率。
基于优先级的服务区分和速率控制策略

针对中高速无线传感器网络中不同种类的网络流量对服务质量的需求,提出一种基于优先级的服务区分和速率控制策略。该策略对实时性和可靠性要求强的流量赋予高优先级以进行服务区分;并利用ε因子计算节点的速率差,逐跳地调整其上游节点的发送速率。仿真结果表明,所提出的策略能够保证高优先级实时流量具有高吞吐量和低延迟,并保持网络吞吐量的稳定。
机器人控制系统关键模块的形式化验证

随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。
高速动车组动力轮对车轮疲劳强度研究

在高速动车组动力轮对车轮疲劳强度的研究中,机车车辆非轴对称车轮辐板孔疲劳强度校核常用多轴准则较多,针对各疲劳准则得到的辐板孔疲劳强度评定结果存在差异,通过对比分析各常用多轴准则下辐板孔安全系数的方式,确定安全度最大的多轴疲劳评定准则,同时使用单轴疲劳准则和Haigh-Goodman曲线对辐板非孔区域进行研究,指出非孔区域安全系数较小的位置。为此,基于某高速动车组非轴对称车轮,在确定计算载荷工况的情况下进行有限元分析和疲劳强度评定。计算结果表明,在Sines、Crossland、Kakuno-Kawada和Dang Van四种常用多轴疲劳破坏准则中,使用Kakuno-Kawada准则评定辐板孔疲劳强度最安全;对于辐板非孔区域,直辐板与轮毂的过渡区域和直辐板与轮辋的过渡区域的安全系数较小;车轮辐板区域的疲劳强度满足要求。
用于遥感图像建筑物目标分类的层次匹配核

提出了一种利用图像特征空间信息的核函数——层次对数极坐标匹配核,用于遥感图像建筑物目标的分类。对图像进行特征提取,并将特征映射到已聚类好的"码本"中,量化为有限个类别。将图像由粗到细划分为多个层次的对数极坐标系下的"子区域(单元格)"。比对落入同一层次、同一"子区域(单元格)"的每类特征的直方图交集,建立加权的多尺度直方图,将多个特征多尺度直方图合并,得到最终的核函数,并利用"一对多"的支持向量机(supportvector machine,SVM)完成建筑物的分类。对标准数据库Caltech-256和自建遥感图像数据集进行实验,结果证明了该核函数的有效性。
一种基于改进SURF的图像配准方法

针对经典SURF算法存在特征点冗余、运算量大的问题,提出一种基于SURF的改进算法,首先使用SURF算法提取特征点,然后建立两级特征点筛选机制从初步检测出的特征点中筛选出信息含量高、分布均匀的特征点,减少特征点数量来减轻算法的计算量,提高算法整体性能.最后采用鲁棒性较好的PROSAC算法剔除误匹配点,计算变换矩阵.实验验证了本算法性.
基于SURE无偏估计的图像自适应稀疏收缩去噪

研究了基于过完备字典下稀疏表示框架的图像去噪问题,基于Stein无偏估计提出一种自适应阈值选择算法。在一阶可导收缩函数的基础上,推导了阈值选择的优化目标函数;证明该函数是关于阈值的凸函数,用黄金分割法搜索其全局最小值。该算法选择的阈值接近峰值信噪比-阈值曲线的极大值点。通过对Lena和Barbara图进行去噪实验,验证了算法的优越性。
遗传程序设计在旋转机械故障分类中的应用

特征提取是旋转机械故障分类中一个很重要的问题。为解决该问题,提出一种利用时域中已有的无量纲指标和遗传程序设计对旋转机械多类故障进行新无量纲指标提取的方法。实验结果表明,新无量纲指标比传统的无量纲指标具有更好的故障分类能力,能够对旋转机械故障进行准确分类。
小型无人直升机地面控制站设计与实现

通过分析小型无人直升机对地面控制站的需求,介绍地面控制站的结构和功能,分析开发地面控制站涉及的关键技术和解决方案,控制站采用基于面向对象的VC++开发环境和嵌入式Matlab混合编程技术。通过在某小型无人直升机飞行实验中的应用,证明该系统具有实时性强、稳定性好、人机界面友好、可扩展能力强等优点。
基于选择性集成SVM的数据类型识别

提出基于选择性集成支持向量机的语音、话带数据信号分类方法,根据集成算法的差异性定义,采用两层级联结构的动态叠加算法完成决策输出。该方法能够在训练阶段准确地选择具有较高识别精度和差异性的成员分类器,在测试阶段对各成员分类器进行动态集成,保证最终的分类结果最优。构建时域、频域相结合的特征向量,并具有较好的抗噪声能力。实验结果表明,该方法无论在分类还是在运算复杂度上都取得较好的效果。
粗糙模糊集的近似表示

粗糙模糊集是利用粗糙集的Pawlak知识空间来近似刻画一个模糊集(不确定概念)的理论模型.粗糙模糊集用上、下近似模糊集作为目标概念的边界模糊集,它没有给出在当前知识基下如何得到目标模糊概念的近似模糊集或近似精确集的方法.文中首先给出模糊集的相似度(近似度)的概念,定义了Pawlak知识空间U/R下的阶梯模糊集、均值模糊集、0.5-精确集等概念;然后分析得出U/R知识空间下的均值模糊集是所有阶梯模糊集中与目标模糊集最接近的模糊集,U/R知识空间下0.5-精确集是目标模糊集最接近的近似精确集;分析了均值模糊集、0.5-精确集分别与目标模糊集之间的相似度随知识粒度变化的变化规律.从新的视角提出了不确定性目标概念的近似表示和处理的方法,促进了不确定人工智能的发展.
基于Petri网的敏捷化生产调度建模方法

针对企业生产调度敏捷化程度不高、影响整个生产系统产能和效益最大化的问题,结合Petri网技术、面向对象方法和敏捷制造思想,提出了基于Petri网的敏捷化生产调度建模方法,开发了敏捷化生产调度建模的调度流程,研究得出了扩展的产能计算函数,建立了以产能瓶颈站点为调度核心,并向其他次产能瓶颈站点发散的敏捷化生产调度模型,直观、形象地反映了企业生产实时调度情况。通过实证研究,构建了产能函数,实现了对整个生产系统的全面调度,提升了瓶颈站点的产能,缩短了产品生产周期,提高了整个制造系统的效益。
北极航线通航环境评价

随着全球变暖,北极航线商业通航的可能性越来越大,北极航线受到越来越大的关注。通过北极航线的通航环境因素的分析,对北极航线通航环境进行评价,能够给未来北极航线的开发提供重要的借鉴作用。在总结北极航线现状及通航事故统计的基础上,构建了北极航线通航的评价指标体系,运用灰色模糊综合评价方法,对北极航线通航环境进行了初步评价。因为没有确切数据,指标值采用专家调查法来确定。经过分析,发现水文环境和助航设施及信息情报环境是影响北极通航的主要因素。其中,水文环境中最重要的是海冰密集度,助航设施及信息情报环境最主要的因素是破冰船和航行经验等。随着北极变暖,水文环境将逐渐转化,北极地区的助航设施及信息情报环境将逐渐成为北极通航环境的主要限制因素。研究结果能够为北极航线的利用和监控提供参考。
二维时空域连续小波变换在目标跟踪中的应用

连续小波变换在图像处理尤其是目标跟踪领域中的应用很广,目前在跟踪上运用较多的小波有Gabor小波、时空域Morlet小波等。本文重点说明二维连续小波变换目标跟踪的原理及实现过程,并将二维连续小波变换运用到微小目标以及红外目标跟踪中,取得很好的跟踪效果。
基于遗传算法的无线传感器网络巡航覆盖最小移动节点数研究

被监测环境的状态可以使用无线传感器网络的有效感知.本文使用无线传感器网络巡航覆盖模型实现了建筑能效监测过程.为降低基于无线传感器网络巡航覆盖模型的数据采集系统构造和维护成本并降低系统复杂度,采用MTSP问题对无线感器网络巡航覆盖最小移动节点数问题建模,提出了无线感器网络巡航覆盖最小移动节点数快速求解算法并使用遗传算法实现了快速求解算法.实验结果表明,本文提出的方法快速有效,而基于遗传算法的快速求解算法的实现可以快速确定无线感器网络巡航覆盖最小移动节点数上界.
ReliefF-SVM RFE组合式特征选择人脸识别

针对人脸识别中因特征个数较多对识别的实时性和准确性影响较大的问题,提出了ReliefF-SVM RFE组合式特征选择的人脸识别方法。利用离散余弦变换提取特征和ReliefF对人脸图像特征集做特征初选,降低特征维数空间,再用改进的SVM RFE(Support Vector Machine Recursive Feature Elimination)选择最优特征,解决了利用SVM RFE特征选择时因特征数多而算法需多次训练耗时长的问题。对训练得到的特征排序表采用交叉留一验证方法选取最优子集,再由SVM分类识别。在UMIST人脸库上实验证明,可以在特征数为52时,达到98.84%的识别率,识别时间仅需0.037s。
基于YARN集群的计算加速部件扩展支持

以GPU和Intel MIC为代表的计算加速部件已在科学计算、图形图像处理等领域得到了广泛的应用,其在基于云平台的高性能计算及大数据处理等方向也具有广泛的应用前景.YARN是新一代Hadoop分布式计算框架,其对计算资源的分配调度主要针对CPU,缺少对计算加速部件的支持.在YARN中添加计算加速部件需要解决多个难点,分别是计算加速部件资源如何调度以及异构节点间如何共享问题、多个任务同时调用计算加速部件而引起的资源争用问题和集群中对计算加速部件的状态监控与管理问题.为了解决这些问题,提出了动态节点捆绑策略、流水线式的计算加速部件任务调度等,实现了YARN对计算加速部件的支持,并通过实验验证了其有效性.
基于主题的个性化查询扩展模型

针对"多义词"和"词典问题",结合文本分析和用户行为分析,提出了一种基于主题的个性化查询扩展模型。分析文本时,结合关联规则和图排序算法构建TextRank模型,脱离了对人工词典的依赖,并用此模型提取多文本主题;在用户行为分析上,使用移动时间窗口法建立用户模型,有效地捕获了当前的查询主题。查询扩展时,匹配用户主题与文本主题,选择相应的关联规则进行扩展。对结合关联规则与图排序的主题提取进行了实验,并将基于主题的查询扩展模型与其它查询扩展模型进行了比较。
航天器发动机故障信号的有效检测仿真

研究航天器发动机故障信号有效检测。在航天器运行过程中,利用传统方法对航天器发动机故障信号检测时,航天器角度偏转会造成发动机故障信号受到干扰,容易出现检测精度低、耗时长等问题。针对上述问题,提出基于EEMD和Hilbert融合变换算法的航天器发动机故障信号检测方法。首先对采集到的航天器发动机振动加速度信号进行分解,抽取能量较大的前4个内禀模态函数(IFM)进行Hilbert变换,然后对变换后的解析信号进行谱分析,为能够准确的检测航天器发动机故障提供了有利依据。仿真结果证明,EEMD和Hilbert融合变换算法能够有效的检测航天器发动机故障信号,提高了工作的效率,保证飞行器安全飞行。
欢迎订阅2019年《计算机科学与探索》《计算机工程与应用》

[正文]《计算机科学与探索》为月刊,大16开,单价50元,全年12期总订价600元,邮发代号:82-560。邮局汇款地址:北京619信箱26分箱《计算机科学与探索》编辑部(收)邮编:100083《计算机工程与应用》为半月刊,大16开,每月1日、15日出版,单价45元,全年24期总订价1080元,邮发代号:82-605。
基于细粒度学习情感本体的学习效果评估方法——以算法设计与分析课程为例

教育目标包括认知领域目标、动作技能领域目标和情感领域目标。情感领域目标教育已受到越来越多教育者和众多领域学者的关注和研究。学习者的情感在传统教育和网络教育中都起着十分重要的作用,影响着学习者的学习主动性、积极性、创造性以及学习效果。基于多年承担本科生和硕士生的算法相关课程的教学实践,构建了细粒度学习情感本体,提出了基于细粒度学习情感本体的学习效果评估方法。细粒度学习情感本体的特点是引入了课程知识点之间的多种语义关系,构建了基于知识点的教师情感反馈行为分类。学习效果评估方法的特点是构建了基于细粒度学习情感本体中知识点关系路径的学习情感演化模型,并应用该模型来评估学习效果。
负载均衡感知的无线传感器网络容错分簇算法

好的分簇算法能够有效减少网络能耗和提高网络可靠性,但是簇间负载的不均衡性和通信的不可靠性会严重影响分簇算法的性能.针对这个问题,该文首先提出了一个负载均衡感知的无线传感器网络容错分簇算法.该方法引入了遗传算法的随机两点交叉算子和随机单点变异算子,从而设计了一种以种群粒子优劣为依据的自适应惯性权重调整策略,并提出了一种自适应的离散粒子群优化算法.算法设计同时考虑负载均衡和能量消耗两个优化目标,给出一种基于自适应离散粒子群优化的簇首选举机制;其次,为了保证网络上数据传输的可靠性,以最小生成树为基础,提出了一种用于保证簇首二连通性的簇间连通算法,通过消除网络中的割点,以保证网络的二连通性.仿真实验结果表明,该文提出算法在负载均衡和二连通性上有较好的性能,能有效减少了网络能耗,延长网络生命周期,并提高网络可靠性.
云平台上海洋服务流定制的可视化建模研究

利用已有的海洋信息处理模型及相关资源,开展基于云平台的海洋服务流架构设计,实现个性化的海洋服务流定制。通过可视化建模技术实现服务流定义,模型分析,服务流的交互式执行。用户只需要通过网络即可访问云平台中提供的各种模型服务。其中服务流页面作为定制服务流的唯一访问点,可视化地提供了云平台上的海洋数据模型资源和图形化的定制方法,将服务流描述提交给云平台,完成用户的个性化的服务定制执行。
一种基于残缺语言判断矩阵的群决策模型

研究了偏好信息为残缺语言判断矩阵的群决策问题。通过创建一个转换公式,将加性语言判断矩阵转化为互补判断矩阵,探讨了判断矩阵转换的一致性;应用转换公式将专家个体的加性残缺语言判断矩阵转化为残缺互补判断矩阵,并利用残缺互补判断矩阵排序向量的和行归一法,求出专家个体的排序向量;根据专家个体的排序向量,通过建立并求解一个非线性规划模型,得到专家群组的排序向量,从而实现备选方案的排序和择优。通过算例说明了方法的可行性与有效性.
一种基于k-核的社会网络影响最大化算法

社会网络中影响最大化问题是指在特定传播模型下,获取一个指定大小的节点集合,使得该集合在网络中的聚合影响力最大.针对贪心算法运用于大规模社会网络时存在效率低下且不可扩展的问题,文中提出基于核数层次特征和影响半径的启发式算法——核覆盖算法(Core Covering Algorithm,CCA).该算法首先引入k-核概念,基于k-核分解求出每个节点的核数,然后根据核数分布的层次性,引入节点的影响半径参数,最后综合核数和度数两个属性,找出影响力节点集合.文中在两个数据集和两种传播模型上进行了实验,结果表明:(1)在传播概率较大的独立级联模型(Independent Cascade Model,IC)下,CCA能取得比现有启发式算法更优的影响效果;(2)在三价(TRIVALENCY Model,TR)模型下,CCA的表现也同样优于其他启发式算法;(3)与其他启发式算法相比,CCA的运行时间更少.
频域宽带波束形成器设计

研究无线网络传感器,采用宽带信号波束技术,为了使宽带信号在整个频段内保持稳健的波束,以及克服快拍数有限对空间谱估计带来的不利影响,采用频域波束形成算法形成宽带波束,利用对角加载技术补偿所估计的空间谱,并通过矩阵求逆定理推导出对角加载值的取值范围。最后的仿真结果表明通过选择合适的对角加载值可以克服快拍数目不足带来的影响,从而实现具有较高阵列增益的稳健宽带波束,有效地完成对信号的空域处理,提高了传输性能。
天线辐射性能并行测试场研究

常规的解决多天线辐射性能批量测量问题采用的是一个天线测量暗室进行分时段测量或者使用多个暗室进行测量的方法。上述方法存在着测量效率低以及测量试验自动化程度低等问题,同时由于天线电磁解算难以通过解析表达,使得天线量化分析比较困难。为解决上述问题,提出对多发射源以及配套的天线测量机构进行空域组合的试验方案,难点在于如何建立精准的多天线辐射性能测试场电磁模型并且分析多发射源结构之间的互耦影响以及对被测天线在同时工作情况下指向发生变化时它们之间可能会出现的耦合影响等关键问题进行研究进而论证方案可行性。对所建立的天线测试场模型进行仿真计算。仿真结果表明,新建立的天线测试场模型中各发射源位置选择恰当,结构间耦合影响满足环境指标要求,解决了多天线批量远场测试问题,能够为多天线辐射性能并行测量提供参考。
基于节点能量和网络稳定性的节能路由协议

在Ad hoc网络中,AODV等路由协议在选择路由路径时没有考虑节点的能量,可能造成部分节点的能量过度使用从而导致网络分割等问题。以AODV为基础,提出了一种基于节点剩余能量和网络稳定性的路由算法ECAODV。该算法在路由发现过程中,不仅要综合考虑路径上的节点的剩余能量和路由跳数,而且考虑路径中间节点对网络稳定性的影响。通过仿真验证该算法有较好的性能。
X线平片的骨折识别

给出了一种识别人体X线平片中骨折现象的方法。根据X线平片的特点,提出了一种结合高阶统计矩校验分割结果的局部阈值化方法分割骨骼影像。对分割后的图像采用数学形态学分别提取目标的边界与掩盖骨折区域的骨架。通过叠加目标边界图与掩盖图中提取的骨架图,得出骨折区域的精确位置,从而识别出X线平片中的骨折现象。
一种通用的网格模型动态数据组织结构

数据结构的组织形式在算法的程序实现中占有重要地位。探讨了网格数据处理中的数据结构组织问题,提出了一种动态的、有较强适应性的通用流形网格数据组织结构,并以不同实例验证了所提出的数据结构在时间上的即时有效性、存储空间上的自适应性以及实现上的简单性和层次性。该网格数据组织结构可用于各类网格模型数据的处理和计算。
基于相对位置多次转发的车载自组织网路由模型

车载自组网路由技术是近年来无线网络以及智能交通领域的研究热点之一。针对目前相关路由协议存在链路存活时间短、端到端时延大、路由开销大等问题,提出了一种基于相对位置多次转发的路由模型。该模型将车辆间相对位置进行分类,采用十字路口车辆优先和位置区分多次转发的方式实现控制包的寻路,进而推导不同类位置条件下链路存活时间的分布。采用AODV、DSR协议进行性能仿真实验,结果表明,该模型在链路存活时间、路由开销和吞吐量方面优于传统模型,而端到端时延性能有所下降,可满足车载自组织网路由性能需求。
基于GPRS的核辐射环境监测系统设计

为了长时间监测特殊区域内的核辐射情况,利用GPRS传输技术设计了核辐射环境监测系统,系统采用C/S架构设计由监测管理中心和多个监测节点组成;监测节点采用单片机MSP430F149作为控制核心,利用G-M计数管J403γ作为探测器,通过Time-To-Count方法实时监测周围环境中的辐射情况,并通过GPRS通信模块EM310建立与监测中心的TCP/IP网络连接将数据发送至监测管理中心;监测管理中心通过对接收来的数据进行处理、显示、分析,最终存入Access2003数据库备份;该系统适用于放射性科研院所、医院放射科和核电站周边等场所,以便尽早发现危险的存在,采取有效的措施,确保辐射场所的辐射安全,避免事故的发生。
一类模糊限定线性方程及其结构元求解方法

提出了一种模糊限定线性方程,在区间分析的基础上研究了其解的形式,并基于模糊结构元方法给出了方程的解及其隶属函数的解析表示。同时给出了一个数值实例。
基于四元数傅里叶梅林变换的RST不变彩色图像水印算法

提出一种基于四元数傅里叶梅林变换(QFMT)的RST(旋转、缩放和平移)不变彩色图像水印算法,利用图像的不变质心生成具有平移稳定性的圆形特征区域,对这个圆形区域进行QFMT。利用QFMT幅度谱具有旋转和缩放不变性,在QFMT幅度谱中嵌入水印信息。该算法不仅可以抗RST攻击,大大提升水印的鲁棒性,而且可以把水印嵌入所带来的误差扩散到载体图像的各个颜色分量之中,扩大水印嵌入的容量。实验结果表明,该方法具有较好的抗压缩性,对RST等攻击有良好的鲁棒性。
改进听觉组织方法的单声道浊语音分离

为了提高高频区域时频单元标记和听觉分割的准确性,提出一种改进听觉组织的单声道浊语音分离算法.在组织阶段中,首先该算法利用不同的特征对高频和低频中的时频单元进行标记.增强包络自相关函数被用来标记高频区域的时频单元.然后,利用起始和截止分析得到听觉片段,起始和截止分析方法可以有效地将语音和噪声分割到不同的片段.根据已经分离的浊语音二值模将这些片段选择性地重组到目标流中.系统评估表明,该算法优于原来的系统.
多云环境下基于博弈论的用户行为分析模型

针对多云环境下用户的分布式拒绝服务攻击缺乏有效处理机制的现状,从云服务提供商收益角度出发,提出多云环境下基于博弈论的用户行为分析模型。模型首先基于博弈论构造收益矩阵,之后利用模糊隶属度函数判定用户的行为,并进一步评估非协作和协作场景下云服务提供商的资源消耗和收益。经仿真验证,协作模型能够在减少资源消耗的基础上,有效地降低云服务提供商遭受分布式拒绝服务攻击的风险,相对于非协作场景,可以将单位资源的收益提高3倍以上,具有很强的现实意义。