面向构件接口变异的模型检验技术研究

随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。     

USIM卡文件系统中动态存储管理的研究

为了对智能卡内部有限的存储空间进行有效的分配和管理以适应实际的需求,对USIM卡文件系统中动态存储管理的研究是至关重要的。文中针对NOR Flash具有擦写次数限制、先擦后写的特性和USIM卡中多应用存储空间的分配特点,运用动静结合的理论,设计一种混合存储方式组织数据存储,并给出了存储空间的动态管理方法和具体算法描述。测试结果证实该方法适合3G USIM卡多应用的需求,保证智能卡文件系统的可靠性,提高Flash的利用率,最大化地延长Flash的使用寿命,有效提高数据的检索速度。     

光纤束传感器测量轴系扭转振动的研究

介绍了一种运用光纤束传感器结合双条纹编码盘、测量轴系扭振的系统.论述了该测量系统的实现原理、系统构成、采样时间对扭振测量精度的影响,以及系统误差.将该系统在某型号航空设备上进行模拟实验,验证了该测量系统具备高精度、安装方便、抗干扰能力强等优点,对于回转机械的扭振检测和故障诊断具有很好的实用价值.     

一类标准矩形网络节点间最短路径的求解方法

针对常见的交通道路最短路径问题, 提出标准矩形网络的概念, 分析其节点间最短路径的性质, 并在此基础上给出一种新颖的最短路径求解算法. 该算法利用标准矩形网络的几何性质, 简化了搜索方向和步长的判断, 同时指出常见的交通道路网络一般均可以整体或部分化为标准矩形网络. 与常见的求取最短路径的Dijkstra、Floyd、ACO、A* 等算法进行仿真实验比较, 实验结果表明, 对于大规模标准矩形道路网络, 所提出算法具有更好的寻优精度、稳定性和寻优速度.

     

基于改进LDA和CNN的网络入侵聚类

提出了一种基于改进线性判别分析和近邻法的网络入侵聚类方法,运用改进的线性判别分析方法对网络入侵样本特征进行降维处理,使用近邻分类器对数据进行聚类。该算法降低了算法的聚类时间,还提高了算法的聚类能力。实验结果表明,相比其他模型,该算法有较高的检测率和较低的误警率。     

超声数据采集系统设计

本文涉及水下微地形超声探测仪的研发,主要探讨超声探测仪核心系统-超声数据采集系统的设计。首先确定该数据采集系统的基本结构,然后依据探测精度要求对数据采集卡进行选型,最后完成基于PCI-1714高速数据采集卡的超声数据采集软件系统设计,成功开发超声数据采集系统。     

球型支座应用于大型渡槽的隔震研究

结合实际大型渡槽工程,设计球型隔震支座NKQZ15000GD,该支座具有较高的竖向承载能力、较低的水平剪切刚度,并具有一定阻尼和复位能力;对该支座进行材料性能测试,拟合支座的力学性能参数;分别采用反应谱法和动力时程法,计算隔震渡槽在设计地震与超设计地震作用下的动力反应;分析球型隔震支座应用于大型渡槽的减震效果,根据定量分析的结果得到一些规律性的结论。     

基于语义的领域虚拟数据中心研究与实现

油井工程领域涉及的数据具有分布、异构和自治性强等特点,并且存在复杂的语义关联,无法为全局决策提供有效的数据支持。利用本体和虚拟视图集成技术,提出了油井工程虚拟数据中心解决方案,通过构造领域全局本体并利用本体抽取、本体映射和查询转换实现领域数据语义集成,提供了统一和基于语义的数据查询与共享服务。实际应用表明,虚拟数据中心能够为油井生产决策提供全面和实时的数据支持。     

30种制备型阴离子交换填料操作性能综合评估

通过对文献报导的 30种制备型离子交换填料的测试数据进行归纳及进一步的主成分分析 ,确定出 4个指标作为代表指标 ,各指标根据其重要性赋予相应权重。最后给出了填料的综合评分及排序。     

数字滤波技术在工程测试系统中的应用研究

本文在阐述信噪比及数字滤波常用算法的基础上,对IIR滤波器设计原理、指标性能及设计方法进行了分析,并结合一工程数据对其滤波效果进行了验证和处理,为数字滤波技术在工程测试系统中的应用提供了一定的看法.