AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

基于激光反射层析法的换能器声场测量技术及仿真研究

换能器的辐射声场分布能够直接反映出换能器声学性能的好坏,若不能精确测量出换能器的辐射声场,则会对换能器的诊断和评估造成严重影响。从理论仿真的角度出发,推导了运用激光反射层析法重建换能器辐射声场的理论公式,着重利用推导出的理论公式对激光反射层析法进行了仿真计算。结果表明激光反射层析法能够精确地重建出换能器的辐射声场分布及声场中的声压量值,这为换能器的声场重建及声压测量提供了一种可行的方法。     

同时性问题研究(一)

本文对狭义相对论同时性的相对性观点进行了分析，并提出狭义相对论在同时性的相对性问题的分析上有逻辑上的错误。关于同时性问题，文中提出了一个不同于相对论的观点，并与相对论的观点进行了比较。自1887年沃依格特（Voigt）给出了洛伦兹变换式，该变换式在近代物理学上起着重要作用，相对论在数学上就是以该变换式为基础的。但是，100多年来还无人对它作出物理解释，本文对洛伦兹变换式作出了明确的物理解释，并得出了在同一惯性参考系内，与一个事件相联系的静止点与运动点之间以洛伦兹变换式相联系的重要结论。它与相对论将洛伦兹变换作为两个作相对运动的惯性坐标系间事件的坐标变换式有重大区别。     

基于标定及补偿提高串联机器人定位精度方法

在使用串联机器人进行定位操作前,首先需要对机器人基坐标系与测量坐标系进行位姿关系的标定,针对具有隐藏机器人基坐标系以及机器人法兰坐标系的串联机构,本文提出一种等价变换思想并结合应用激光跟踪仪测得机器人末端靶标点的坐标数据建立标定矩阵方程,应用罗德里格矩阵变换将标定方程转化为三元二次矩阵方程形式,采用最小二乘法和牛顿迭代法求出数值解进而完成机器人基坐标系与测量坐标系标定的方法。然后应用这种方法进行标定试验得到了20组标定结果,通过比较标定结果偏差进而验证了这种方法的正确性。最后,本文验证了应用这种标定方法的标定结果并结合一种新的位姿补偿算法后,能极大地提高机器人末端的定位精度。     

空间计量中长度单位和距离测量

长度单位定义是建立在光直线传播、光速在真空中为常数,以及光速各向同性的理论基础上,二维球面上的直线,在三维空间中是弯曲的测地线;三维空间的直线,在四维时空中也是弯曲的测地线。长度单位的定义是否适用四维时空呢？SI秒和SI米的定义适用于全域时空,但使用它们必需明确原时和坐标时的区别。爱因斯坦的狭义相对论以及光速不变原理只适用于惯性系,不适用于非惯性系。本文以转盘上的非惯性坐标系为例,利用广义相对论的坐标变换和时空度规运算,揭示了非惯性坐标系上的时空弯曲和光的非直线传播现象。计算了非惯性坐标系上Sagnac效应对卫星和地面站双向测距的影响,初步研究表明空间测量范围从局域推广到全域的话,诸如引力红移、相对速度效应、Sagnac效应等将会成为空间长度测量不确定度的影响因素,因此空间计量理论必须建立在广义相对论基础之上,用四维时空观念理解空间距离测量问题。     

高精度新型调制变送器设计与应用

从传感器测量物理量的原理出发,通过对传感器输出信号的特点分析,阐述了高精度新型调制变送器获取被测信号的设计思想与组成单元,详细分析了变送器关键电路设计原理。电容变送器在试车台液位远传系统中的成功应用表明,新型调制变送器具有精度高、通用性强、使用可靠等特点。     

基于多相结构的直接中频采样接收机设计及实现

直接中频采样的设计通常采用类似模拟接收机的结构,而基于多相结构的数字正交变换无需正交本振,结构上更适用于实时处理系统。本文对基于多相结构的数字正交变换原理进行了分析,并根据多抽样率信号处理理论,提出了一种内插时延滤波器、半带抽取滤波器实现方法。试验结果表明,使用该方法设计的系统切实可行。     

Microstructure and Martensitic Transformation Behaviors of Explosively Welded NiTi/NiTi Laminates

The study is a first attempt to prepare bulk NiTi/NiTi shape memory alloy (SMA) laminates with a macroscopic heterogeneous composition by explosive welding and investigate their microstructures and martensitic transformation behaviors. After explosive weld- ing, a perfect interfacial bonding between the two components and a reversible martensitic transformation are realized in the tandem. Results show achievement of a fine granular structure and the maximum value of microhardness near the welding interface because of the excessive cold plastic deformation and the high impact velocity during the explosive welding. Meanwhile, the effects of aging on the transformation of the welded tandem are investigated by differential scanning calorimeter (DSC) and subject to discussion. The trans- formation temperatures of NiTi/NiTi SMAs increase with the rise of the aging temperature. The experimental results indicate the shape memory properties of NiTi/NiTi SMA fabricated by explosive welding can be improved by optimizing the aging technology.     

Flight Flutter Modal Parameters Identification with Atmospheric Turbulence Excitation Based on Wavelet Transformation

针对基于大气紊流激励的飞机颤振试验数据具有信噪比低以及测量数据以加速度响应形式给出等特点,将小波变换与随机减量法相结合对飞机颤振模态参数进行识别,首先利用随机减量法获得结构在非零初始加速度条件下的自由衰减响应,然后对该自由衰减响应进行Morlet连续小波变换,为使变换简单,本文采用了Parseval定理和留数定理,利用Morlet的带通滤波特性,通过搜索小波变换系数在不同的尺度区域内的极大值,再根据小波变换系数的极大值、相角与固有振动频率及阻尼系数间的关系,即可识别出各模态参数。并对利用小波变换识别颤振模态参数时,实现模态解耦应满足的条件进行了分析研究。通过仿真和飞机颤振试验数据分析,验证了该识别方法不仅简单、有效和可行,而且具有较强的抗噪性。     

国产工业摄影测量相机精度测评CSCD

专业的工业摄影测量相机作为摄影测量的基础,其成像质量对测量精度有着直接的影响。目前,国内的专业摄影测量相机的发展比较缓慢,且质量参差不齐,研究合适的测试方法对国内专业测量相机的精度进行测评已刻不容缓。以CIM-1相机为例,从坐标重复性、标准长度等方面对国内工业摄影测量相机的精度进行了分析研究。通过与目前国际上比较认可的INCA相机进行了实验对比,并对实验结果进行了分析评价,得到一些比较理想的结论。为我国工业摄影测量系统检定规程的制定提供参考依据。