增强型轻量级网络的红外小目标检测

当前红外小目标检测方法存在一定的缺陷,如检测精度低,易受外界环境干扰。为了实现高精度红外小目标检测,提出基于增强型轻量级网络的红外小目标智能检测方法。该方法采集红外小目标的红外图像,采用小波变换对红外图像进行预见处理,然后提取红外小目标检测特征,并采用增强型轻量级网络技术实现红外小目标智能检测。经测试分析证明：该方法的红外小目标采集数量正确比重为1左右,受外界环境干扰较小,频谱有效带宽信号频率集中在275 kHz附近;红外小目标检测边界相对误差均为1%左右,边界绝对误差低于1 mm,检测精度高于98.2%,检测时间低于5.9 ms,提高了检测效果。     

基于拉压与翘扭插值函数几何非线性刚度矩阵

提出了翘曲扭转稳定函数的概念和计算公式,首次推导了基于扭转翘曲稳定插值函数的双轴对称开口轻型薄壁梁柱单元的翘曲扭转切线刚度矩阵,同时提出了基于拉压与翘扭稳定插值函数的轻钢梁柱单元空间几何非线性切线刚度矩阵.     

基于CPTU的海相黏土固结状态和灵敏度估算方法

由于用传统的方法(室内试验和原位试验)确定海相黏土的固结状态及灵敏度有较大误差,基于CPTU孔压消散曲线的末端无限逼近原位初始孔压且末端实测孔压与时间的倒数近似呈线性关系的特点,采用时间倒数外推法计算原位初始孔压,通过比较原位初始孔压和静水压力的大小,对海相黏土的固结状态进行定量分析和评价。现场试验结果表明,采用时间倒数外推法可以快速判断海相黏土的固结状态。采用固结状态参数对该土的欠固结程度进行定量评价,固结状态参数越小,欠固结程度越高。利用CPTU的锥尖阻力和侧摩阻力(剔除由夹层产生的异常参数)对海相黏土的灵敏度进行估算,并与原位十字板剪切试验的结果进行对比。结果表明:原位十字板剪切试验易受夹层的影响,灵敏度偏低;CPTU试验确定的灵敏度能判断出夹层所在位置,计算结果更加灵敏,因此可用CPTU估算海相黏土的灵敏度。     

加强标准化工作，提高企业技术管理与市场竞争能力——访福建闽发铝业有限公司副总裁黄长远

福建闽发铝业有限公司创建于1993年5月,前身为福建省南安市闽发铝厂。公司现拥有二个控股子公司,公司总部占地面积13.2万平方米,建筑面积10万平方米,员工人数900多人,年综合生产能力5.5万吨。“闽发牌”铝合金建筑型材1996年被福建省人民政府评为“福建省名牌产品”,2003年首批     

基于事件记录的塞拉门故障诊断方法

提出了一种基于事件记录的塞拉门故障诊断方法,该方法在诊断知识数字化的基础上,结合知识检索技术实现了塞拉门故障诊断的计算机化,从而较好地解决了列车塞拉门系统检修工作中一直存在的故障部位查找困难和故障隐患难以排除的问题。应用该方法在塞拉门故障的现场诊断中获得了满意的效果。     

流非敏感的跨过程的别名分析

数据流分析算法可以分类成流敏感和流非敏感两类。为了提高效率,流非敏感的跨过程分析没有利用与每个过程相关的过程内的控制流信息。文中,提出了一种流非敏感的数据流分析算法来计算指针引起的跨过程的别名问题。通过如下方法来提高了分析的精度:利用某些特定类型的注销(kill)信息,这些信息可以提前计算;计算每个过程内产生的别名信息,而不是只计算每个过程的出口点产生的别名信息。     

流敏感的跨过程指针别名分析

对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架，通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法，算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。     

与继承相关的C＋＋程序错误模式

文中分析了C 程序中与继承相关的错误模式，这些错误会引起程序的数据流异常和行为异常。给出了几种常见错误模式的表现形式，结合实例详细分析了这些错误模式的产生原因及特点，重点讨论了容易产生数据流异常的基类与派生类之间的状态一致性问题，得到错误模式的分类。最终达到使用错误模式指导程序分析，检测面向对象程序中的潜在异常，维护系统的安全的目的。     

与继承相关的C++程序错误模式

分析了C++程序中与继承相关的错误模式,这些错误会引起程序的数据流异常和行为异常.给出了几种常见错误模式的表现形式,结合实例详细分析了这些错误模式的产生原因及特点,重点讨论了容易产生数据流异常的基类与派生类之间的状态一致性问题,得到错误模式的分类.最终达到使用错误模式指导程序分析,检测面向对象程序中的潜在异常,维护系统的安全的目的.     

基于广义随机Petri网的维护系统仿真与应用

针对企业设备维护工作的经济性优化问题提出了基于流程建模与仿真的维护系统优化方法。该方法以维护系统的广义随机Petri网工作流建模为基础,强调基于维护记录的模型变迁时延的假设与验证,并针对解析法的局限性将流程仿真技术引入维护系统的性能求解中,在选定的Artifex工具平台上实现了维护系统的长周期真实模拟。通过对不同资源条件下仿真结果的分析,明确维护资源配置与维护系统性能间的对应关系,为维护系统的改进提供指导。方法的正确性和可行性在企业的实际应用中得到了验证。