基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

民用飞机试验件制造检查项目的推荐及确定

在民用飞机适航取证过程中,申请人需通过制造符合性检查以保证生产制造各类型试验件及其生产过程符合经批准的型号设计资料。审查方通过申请人推荐制造符合性检查项目确定需要经过检查的试验件。从民用飞机制造符合性检查的流程着手,定义制造符合性检查项目、项目推荐原则以及推荐过程中项目的检查属性等,并从生产质量控制、构型控制两方面分析制造符合性检查项目推荐过程中需要关注的重点。     

软件升级安装的制造符合性检查

航空电子设备在现代民用飞机上得到越来越广泛的应用,与之相伴的是机载软件研发的快速发展。为了保证民用航空安全,各国适航当局都非常重视软件研发过程的控制,其中包括软件的制造符合性检查。软件的制造符合性检查分为软件制造过程的符合性检查和升级安装过程的符合性检查,下面就软件升级安装过程的符合性检查做一简要介绍。     

民用航空发动机型号合格审定的制造符合性检查计划研究

围绕CCAR-21、AP-21-AA-2022-11等适航规章,分析了民用航空发动机在型号合格审定阶段制造符合性检查计划的目的和意义,识别并解读了适航规章的制造符合性检查计划要求,探讨了申请人在与局方制定制造符合性检查计划过程中的关注要点,提出了参考的制造符合性检查计划文件内容。     

直升机使用吊放声纳检查反潜兵力需求模型

在分析直升机检查反潜概念、目的和基本特征的基础上,依据直升机使用吊放声纳检查反潜的基本过程和方法,建立了直升机吊放声纳检查反潜的兵力需求模型并进行应用验证.最后对影响直升机使用吊放声纳检查反潜兵力需求的主要因素进行了分析.     

运行质量监督检查工作的几点心得体会

<正>作为运行质量检查员,笔者多次参加了单位组织的运行质量监督检查活动,发现了许多问题,解决了很多隐患,也从中学到了其他部门在安全管理上的先进作法;同时经过思考,笔者对运行质量监督检查的内容和形式有了一些新的想法。借鉴祖国传统中医诊治疾病的"望、闻、问、切"理论,形成如下文字。1当前运行质量监督检查的状况目前的运行质量监督检查的主要内容是检查各项日志和记录。这种检查方式存在着一定的不足:主要是一种单向、静态的检查。也就是说,只能由检查员从文字记录     

民用飞机结构检查可达性分析研究

结构检查的可达性对于航空公司的定检维修相当重要,而针对民用飞机的结构可达性分析的研究相对较少。从适航条款的要求出发,结构可达性可分为目视检查(一般目视检查和详细目视检查)任务、无损检测任务和更换、调整任务,而检查类型任务才是可达性分析的重点。提出了一种结构检查可达性的分析方法,总结了目视检查任务和无损检测任务两种类型任务的检查要求,根据检查任务的检查要求,基于人体实体可达性、结构本体可达性、光照情况和维修资源使用情况四个角度,提出可达性检查等级,可达性检查等级结合检查任务实施的检查门槛值和检查重复间隔,给出可达性分析结论。通过某型飞机详细目视检查任务和无损检测任务的案例分析,可以看出此结构检查可达性分析方法易于操作,并可以给出明确的可达性结论,为可达性措施条款的符合提供了一种分析途径。     

检测技术的现状及未来发展

也许就在10年后,一名机械师只需绕着飞机走一圈就可以完成对飞机的检查.这种检查不是普通的目视检查,需要技术人员将手持无线超声波装置,通过-个小芯片不停发出寻呼信号,以便掌握飞机是否存在问题.     

民用飞机有限元模型质量检查探讨

介绍了民用飞机有限元模型质量检查内容,提出了网格质量检查项目及方法,给出了有限元单元几何检查建议值,介绍了刚度检查、静平衡检查、自由振动检查、热膨胀检查、"接地"检查等模型质量检查方法。     

型号检查核准书地面检查的研究

在民用飞机型号合格适航取证过程中,型号检查核准书(Type Inspection Authorization,简称TIA)的颁发是审定试飞的前提,TIA颁发后需进行正式地面检查,正式地面检查是局方制造代表或局方委任制造检查代表(简称DMIR)以型号检查报告(Type Inspection Report,简称TIR)的地面检查部分作为指导、相关规章作为基本依据、并遵循TIA的相关说明来进行的制造符合性检查,是审定飞行试验之前对完整的原型机的最后检查。首先介绍了TIA和TIR的定义,其次研究了TIA-18A和TIR第I部分——飞机地面检查要求,给出了TIA地面检查的流程;并以某型民用客机为例,对地面检查工作的安排、迎检材料的准备、自查工作的分工、迎检时的注意事项和检查后的总结整改做了梳理。为申请型号合格证的民机主制造商(简称主制造商)迎接制造代表或DMIR进行正式地面检查提供了迎检建议,为主制造商高效组织迎检提供了思路,为后续民用运输类飞机型号检查工作提供了参考和借鉴。     

复杂曲面宽行加工等参数线刀轨精确搭接方法

等参数线刀轨规划方法广泛应用在复杂曲面的加工中,然而,宽行加工中用传统方法计算刀轨行距不能保证准确性。为避免相邻刀轨之间出现欠切或行宽重叠过多,本文提出了一种行距的预测和调整算法。根据已有刀轨驱动线的位置预测后续刀轨驱动线的位置。构造了刀轨的有效搭接区间,选取能代表刀轨边界的几个特征刀位,通过调整刀轨驱动线的位置使其参数边界落在有效搭接区间内部。有效搭接区间为确定刀轨行距提供了依据,而特征刀位的先取大大减小了刀轨驱动线调整时的计算量。计算实例表明,本文提出的算法可以实现相邻刀轨的精确搭接。     

基于特征的蒙皮镜像铣加工残区刀轨优化方法

镜像铣加工装备及其加工工艺是蒙皮零件加工的有效手段,其特殊工艺对加工刀轨提出了等步距、无交叉、无抬刀且无残留等特殊要求。针对蒙皮零件加工特征的复杂形状,在满足等步距、无抬刀、无交叉的条件下对加工残留区域进行刀轨优化是一个难题。为解决以上难题,本文提出了一种基于特征的蒙皮镜像铣加工残区刀轨优化方法。该方法基于特征将蒙皮零件的工艺信息与几何信息相关联,自动提取加工特征的加工面及其对应的刀轨,将刀轨分割成若干段子刀轨,并构建子加工区域,再利用布尔并运算得到最终可加工区域。然后对加工面区域与最终可加工区域求布尔差识别出加工残留区域,并根据加工残区位置自适应生成满足蒙皮镜像铣特殊要求的优化刀轨。以典型复杂蒙皮零件验证本文提出的方法,结果表明,基于特征的蒙皮镜像铣加工残区刀轨优化方法可自动识别加工残区,并生成满足蒙皮镜像铣特殊要求的加工残区优化刀轨,为提高蒙皮零件数控编程效率提供技术支撑。     

A new error-controllable method for smoothing the G01 commands

In real machining, the tool paths are composed of a series of short line segments, which constitute groups of sharp corners correspondingly leading to geometry discontinuity in tangent. As a result, high acceleration with high fluctuation usually occurs. If these kinds of tool paths are directly used for machining, the feedrate and quality will be greatly reduced. Thus, generating continuous tool paths is strongly desired. This paper presents a new error-controllable method for generating continuous tool path. Different from the traditional method focusing on fitting the cutter locations, the proposed method realizes globally smoothing the tool path in an error-controllable way. Concretely, it does the smoothing by approaching the newly produced curve to the linear tool path by taking the tolerance requirement as a constraint. That is, the error between the desired tool path and the G01 commands are taken as a boundary condition to ensure the finally smoothed curve being within the given tolerance. Besides, to improve the smoothing ability in case of small corner angle, an improved local smoothing method is also proposed by symmetrically assigning the control points to the two adjacent linear segments with the constrains of tolerance and G3 continuity. Experiments on an open five-axis machine are developed to verify the advantages of the proposed methods.     

Dual Drive Curve Tool Path Planning Method for 5-axis NC Machining of Sculptured Surfaces

The problem of finished surface being not first-order continuous commonly exists in machining sculptured surfaces with a torus cutter and some other types of cutters. To solve this problem, a dual drive curve tool path planning method is proposed in this article. First, the maximum machining strip width of a whole tool path can be obtained through optimizing each tool position with multi-point machining (MPM) method. Second, two drive curves are then determined according to the obtained maximum machining strip width. Finally, the tool is positioned once more along the dual drive curve under the condition of tool path smoothness. A computer simulation and cutting experiments are carried out to testify the performance of the new method. The machined surface is measured with a coordinate measuring machine (CMM) to examine the machining quality. The results obtained show that this method can effectively eliminate sharp scallops between adjacent tool paths, keep tool paths smooth, and improve the surface machining quality as well as machining efficiency.     

基于数控编程的渐进成形模拟复杂刀路构建方法

复杂刀路的构建是金属板料渐进成形的数值模拟中的难点。针对此问题,提出了一种基于数控编程技术的刀路加载方法,可简单方便的在有限元模拟中实现复杂轨迹运动控制。根据该方法的基本思想,编写了渐进成形数值模拟中复杂刀路加载软件,并在ABAQUS软件中成功将该方法实现。     

整体叶盘通道电解加工电极多维运动轨迹优化

为了提高整体叶盘通道余量分布的均匀性,提出了电极运动轨迹优化方法.分析了电解加工间隙对电极运动轨迹的影响,优化了工具电极在叶顶及叶根圆柱面上的运动轨迹,并基于轨迹线上采样点作拟合垂线段中点的样条曲线获得新的轨迹线.为了验证优化后轨迹的合理性,进行了叶盘通道电解加工对比试验.试验表明,与优化前的轨迹相比,采用优化后的轨迹...     

一种新的五轴加工干涉处理算法

根据雕塑曲面的五轴加工特点 ,对干涉进行了分析研究 ,提出了一种新的干涉处理算法 :用均匀分布在刀具表面的直线与逼近加工曲面的一系列三角片求交 ,来检查及修正干涉。计算实例表明 ,这种算法稳定、可靠 ,在雕塑曲面五轴加工编程中 ,具有重要的实用价值     

一种基于点搜索的叶轮清根轨迹生成方法(英文)

清根区域的加工质量严重影响着叶轮的工作性能。为了快速地规划出清根加工刀位轨迹并获得较好的表面加工质量,提出了一种基于点搜索的叶轮清根轨迹生成方法。本文中的清根加工主要包括利用球头刀对自由曲面叶轮进行单刀清根和多刀清根。对于单刀清根,刀心位置通过判断其是否满足距离准则来确定。在确定了搜索方向和追踪方向后,借助于点搜索算法,得到所有切触点,刀位点以及清根边界,从而生成刀位轨迹。基于单刀清根的原理,提出了一种分层多刀清根的方法,清根刀具半径小于清根圆角设计半径。使用一系列中间虚拟刀具将清根区域分成若干层,给定最后一层的残留高度,然后计算出所有刀位轨迹。最后给出了仿真实例,结果证明了所提方法的可行性。     

Determining Ionospheric Parameters over Regions of Denied Access

Utilization of high frequencies for over-the-horizon surveillance necessitated a refined approach to the determination of actual ray paths. Various ray-tracing programs have been developed. The basic problem lies in accurately determining values of the appropriate ionospheric parameters. A possible means is by utilization of oblique sounding devices located at the path terminals to provide 1) relative propagation time difference (?t) between the modes, 2) maximum frequency propagated by any given mode (MUF), and 3) difference in MUF between the various modes (?MUF). The technique has not been fully verified; preliminary results are encouraging.     

Generic training for ATE technicians

It is argued that the job of an automatic test equipment (ATE) technician is evolving toward that of a computer operator. The technician has automatic tools (test programs) written for every replaceable unit in his test set. The technician selects which test is run. During the test the technician is presented results and given options if a test fails. If the option called out by the test program does not fix the problem, the technician must go back into his tool box (his library of test programs) and select the right tool to do the job. This is true for a technician working on any piece of ATE. It is contended that training for these technicians should be centered around troubleshooting skills with initially less emphasis on the hardware implementation details. These skills could be developed with a genetic trainer