两种空间直角坐标系转换参数初值快速计算的方法

在已知不共线3点在两坐标系下坐标的条件下,提出了两种快速计算两坐标系间转换参数概略值的方法。其中一种是先通过三点构造在两坐标系下的一个新点,将两个坐标系平移到该新点,从而消除平移参数。利用此时的三点坐标可以方便地求得两坐标系间的旋转矩阵,由旋转矩阵可进一步求得旋转角和平移参数;另一种方法是先通过已知的三点构造出一个新的坐标系,通过该坐标系可计算出待求的两坐标系及其旋转参数,从而求得待求两坐标系间的旋转参数。最后,通过旋转参数可计算出平移参数的概略值,并试验验证了两种方法的正确性。     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

金属泡沫材料力学行为的研究概述

对金属泡沫材料力学行为的研究文献进行了简要综述,重点介绍了最近几年该领域研究工作的进展,其中也包括国内学者在该领域的一些工作.这些工作主要讨论了金属泡沫材料的拉伸、压缩、能量吸收、动态冲击、失效准则、本构关系、蠕变、疲劳和断裂等力学性能.最后,给出了对该领域工作的一些展望.      

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

含多处任意脱层层合梁屈曲的微分求积解法

基于铁木辛柯(Timoshenko)梁理论,建立了含任意脱层的复合梁模型,并利用微分求积DQ(Differential Quadrature)法,研究了含多处任意脱层层合梁的屈曲问题.该复合梁模型给出的含单脱层层合梁的临界屈曲载荷计算结果与相关文献结果一致.此外,以两端固支,含两个任意长度、任意深度贯穿脱层的层合梁为例,分析了脱层长度、深度以及相对位置对屈曲载荷的影响.为工程结构设计和分析提供了一种简单有效的方法,给出了一些有参考价值的结果.     

面向精密制造的微材料特性检测机构

微机电系统(MEMS,Micro Electromechanical Systems)在航空航天、汽车、生物医学、环境监控、军事等领域中有着广泛的应用前景.其材料力学性能的测试目前是其性能测试的薄弱环节,它涉及到微位移、精密定位和载荷/位移测量.采用传统"机械"制造技术,由于摩擦、间隙、爬行和多环节传动误差积累等原因而无法实现.为此,提出了一种冗余驱动全柔性并联机构和压电陶瓷驱动器所组成的新型测量平台.在推导4RRR冗余驱动并联机构运动学逆问题方程的基础上,经过最佳拓扑选择、运动学分析,并基于动力学优化,确定了微位移/精密定位运动平台主要结构尺寸.实验表明:采用该平台,可以满足MEMS材料力学性能测量所需的微位移和精确定位要求.     

一种适用于CMMB系统的信道估计方法

在对导频符号处信道冲击响应估计以最小二乘(LS)准则的前提下,通过对正交频分复用(OFDM)系统中各种信道插值算法的分析及其在中国移动多媒体广播(CMMB)系统中的性能仿真,提出了一种适用于CMMB系统的信道估计方法。该方法在频率域中采用低阶维纳插值滤波方法完成,时间域采用线性插值完成。该方案不仅能降低系统的实现复杂度,而且能在恶劣的环境下获得良好的系统性能。     

基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

时域有限差分法连接边界电磁泄漏

用时域有限差分法计算目标的雷达散射截面时,一般用连接边界来引入平面入射波.理想情况下,当总场区没有散射目标时,该区域仅有入射波,散射场区电磁波为0.但在实际计算过程中,散射场区的电磁波一般不会严格等于0,这是因为在连接边界引入入射波时产生了电磁泄漏.一维情形下,用散射场区电场的平方和来衡量电磁泄漏程度.二维情形下,用等效原理将散射场区的电磁场进行远场外推,得到雷达散射截面,以此衡量电磁泄漏的大小.研究表明:时间步长、入射角度都能影响电磁泄漏大小.为使电磁泄漏较小,时间步长应接近于稳定性要求的最小步长,入射方向应避免垂直于计算区域边界.     

基于高增益观测器的航迹角自适应反步控制

针对飞行控制系统中状态向量不完全可测量的问题,设计了一种高增益神经网络自适应观测器.在常规高增益观测器的基础上引入径向基(RBF, Radial Basis Function)网络自适应项,对建模误差和外界干扰进行在线估计.将高增益观测器与基于动态面的反步控制相结合,提出了一种神经网络自适应反步控制方法.引入一阶滤波器,避免了传统反步控制中的"计算膨胀"问题.基于Lyapunov稳定性理论,给出自适应输出反馈控制器和RBF网络权值向量的自适应律,并证明了闭环系统是半全局一致有界.从航迹角控制系统仿真结果可以看出,航迹角能够较好地跟踪指令信号,不受建模误差和外界干扰的影响,所设计的观测器具有良好的收敛性,控制系统具有较高的鲁棒性.