业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

基于局部多元判决的稳健的分布式检测算法

为提高基于二元判决的N雷达分布式检测算法在各个雷达的信噪比未知且可能时变条件下的检测性能,提出了基于局部N门限量化的分布式检测算法和衡量不同检测算法性能的一般性方法。仿真结果表明:该算法性能优于各种基于"N选k"融合的检测算法,在特定情况下比基于OR融合的方案有2-2.5dB的信噪比改善,相对于极大似然准则下的集中式检测器的信噪比损失不到0.8dB。在各个传感器的信噪比差异明显时,和基于OR融合的方法有同样的稳健性,因而是一种稳健且高性能的检测算法。     

在机检测中STL格式自然二次曲面特征参数的提取

根据工件的几何特征及其参数进行测量轨迹规划是在机检测系统中重要的环节之一.为了从STL(stereo lithographic)文件中提取出其所描述的工件模型的几何特征及参数,给出了一种针对其数据文件格式特点的自然二次曲面特征参数提取新方法.该方法首先根据三角面片法向量在高斯球面的映射图像判定自然二次曲面几何特征,然后将快速聚类法和Gauss-Newton法相结合,对STL文件中坐标点进行几何特征参数的计算.计算实例表明,该算法能够稳定、准确地提取出自然二次曲面的几何特征参数.     

Snort下模式串匹配算法的研究与改进

在阐述入侵检测技术研究现状的基础上,通过对入侵检测系统snort下BM和Wu-Manber两个模式匹配算法的研究,然后对其分别改进,并进行实验验证,实验结果表明使用改进的算法提高了匹配效率,减少了存储需求,从而进一步提高了入侵检测系统的检测性能。     

基于功率谱对消的跳频信号检测算法

为有效解决跳频信号的检测问题,根据跳频信号功率谱随时间变化的差异性,提出一种基于功率谱对消的跳频信号检测算法.该算法可在无需已知先验知识的条件下,对较低信噪比的跳频信号进行盲检测.通过仿真分析表明,该算法在信噪比为10 dB的条件下,可获得功率对消比为-34 dB的检测效果;在较大接收信噪比、较多分段数和切比雪夫函数窗条件下,该算法具有较高的检测性能.此外,在跳频信号和定频信号发生频率碰撞时,该算法仍能实现对跳频信号的检测,更加适合于现代战场的复杂电磁环境.     

基于小波和神经网络的焊接缺陷识别方法

超声检测是钢结构焊缝质量检验的常用方法,本文针对超声检验中缺陷类型识别困难的问题,提出一种定性方法.首先利用小波包变换提取超声回波信号的能量作为特征向量,然后将得到的特征向量输入到BP神经网络中,应用于裂纹、气孔、未焊透三类缺陷,识别率达到了86.7%.结果表明:基于小波包变换和BP神经网络的钢结构焊缝缺陷定性方法是十分有效的.     

地震多属性在浊积扇河道砂体识别中的应用

浊积体中河道砂体单层厚度薄,横向变化快,受断层构造影响大,利用常规瞬时振幅沿层切片方法很难识别河道砂体展布,而用地层切片构建等时地层格架,利用谱分解技术将相干属性与地层切片结合起来,运用测井相、沉积相资料可对浊积扇的河道砂体进行综合预测.将此方法运用到渤海工区中取得了较好的实际效果,查明了河道砂体的展布规律,为后期的布井钻探提供了依据.     

基于视觉，CAD和CMM的自由曲面的逆向工程

讨论了基于视觉,CAD和CMM的自由曲面的逆向工程,重点强调了如何将,机器视觉与CAD和CMM进行系统集成的问题,以西安交通大学机械制造系统工程国家重点实验室的集成环境为背景,提出了系统结构,设计了工作流程,论证了其中的关键技术－－立体视觉,曲面造型和CMM检测,。这项研究将提高CMM的智能化和柔性,为逆向工程的研究开辟了一条新途径。     

孤立点检测算法与应用

孤立点检测问题是数据挖掘领域中的一个重要研究内容．首先对目前有代表性的孤立点检测算法进行综述,详细阐述了其实现的基本原理、实现的步骤和应用范围,进而对这些典型算法的优缺点进行了分析与比较,随后介绍了几种孤立点的典型应用,最后对孤立点检测算法的发展趋势从4个方面进行了展望．     

基于煤矿瓦斯浓度的窄带光源谐波检测技术研究

在对煤矿瓦斯气体浓度的检测中,由于噪声、气体的吸收峰很窄、光源波长随温度的漂移等原因将引起测量的不稳定,通过采用对激光器的中心波长和气体吸收峰中心波长对准,测量光经过气体时的损耗就可以检测气体的浓度,利用一次谐波作为误差信号,可将光源精确地锁定在气体吸收峰上,并给出了窄带光源谐波检测的理论依据.实验结果表明,该方法可应用于甲烷气体浓度的光谱测量,它具有高精度、强选择性、快速响应等特点.