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

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

Cyclic variations in the solar lower atmosphere

The Ca K line has been measured regularly nearly every month since 1974 at Kitt Peak. It is well known that the K₁ component of the Ca K line is formed in the temperature minimum region (TMR) of the solar atmosphere. Our study of the data of CaII K profiles over two solar cycles indicates that both in full disc integrated spectra and in center disc spectra, the distance between the red K₁ and the blue K₁ of the profiles and its average intensity show periodic variations. But the variation for the full disc integrated spectra fluctuates in the same way as the sunspot number does, while that for the center disc spectra has a time delay with respect to sunspot number. Non-LTE computations yield a cyclic temperature variation of about 17 K of the TMR in the quiet-Sun atmosphere and a cyclic variation of about 15–20 km in the height position of the TMR.     

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

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

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

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

An empirical model of the plasma environment around Mercury

Since the flyby observations by Mariner 10 in 1974 and 1975, Mercury has been one of the most interesting objects for space physics and planetary exploration. The MESSENGER and BepiColombo missions now plan to revisit this planet. In order to design plasma instruments for the BepiColombo mission, we have estimated electron and ion fluxes around Mercury with an empirical model, which has been developed for the Earth’s magnetotail. The solar wind data needed as input parameters are derived from Helios observations. The result shows that our predicted electron fluxes at aphelion agree well with the Mariner-10 data. It is also noted that ion instruments must cover a very wide dynamic range of proton fluxes. However, the applicability of the Earth’s magnetospheric model to Mercury is, in itself, an important issue for comparative magnetospheric studies.     

面向NXD的XML数据函数依赖

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

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

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

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

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

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

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

Ionospheric response of equatorial and low latitude F-region during the intense geomagnetic storm on 24–25 August 2005

In this investigation, we present and discuss the response of the ionospheric F-region in the South American and East Asian sectors during an intense geomagnetic storm in August 2005. The geomagnetic storm studied reached a minimum Dst of −216 nT at 12:00 UT on 24 August. In this work ionospheric sounding data obtained of 24, 25, and 26 August 2005 at Palmas (PAL; 10.2° S, 48.2° W; dip latitude 6.6° S), São José dos Campos (SJC, 23.2° S, 45.9° W; dip latitude 17.6° S), Brazil, Ho Chi Minh City, (HCM; 10.5° N, 106.3° E; dip latitude 2.9° N), Vietnam, Okinawa (OKI; 26.3° N, 127.8° E; dip latitude 21.2° N), Japan, are presented. Also, the GPS observations obtained at different stations in the equatorial and low-latitude regions in the Brazilian sector are presented. On the night of 24–25 August 2005, the h′F variations show traveling ionospheric disturbances associated with Joule heating in the auroral zone from SJC to PAL. The foF2 variations show a positive storm phase on the night of 24–25 August at PAL and SJC during the recovery phase. Also, the GPS-VTEC observations at several stations in the Brazilian sector show a fairly similar positive storm phase on 24 August. During the fast decrease of Dst (between 10:00 and 11:00 UT) on 24 August, there is a prompt penetration of electric field of magnetospheric origin that result in abrupt increase (∼12:00 UT) in foF2 at PAL, SJC (Brazil) and OKI (Japan) and in VTEC at IMPZ, BOMJ, PARA and SMAR (Brazil). OKI showed strong oscillations of the F-region on the night 24 August resulted to the propagation of traveling atmospheric disturbances (TADs) by Joule heating in the auroral region. These effects result a strong positive observed at OKI station. During the daytime on 25 August, in the recovery phase, the foF2 observations showed positive ionospheric storm at HCM station. Some differences in the latitudinal response of the F-region is also observed in the South American and East Asian sectors.