基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

Image restoration of the asymmetric point spread function of a high-resolution remote sensing satellite with time-delayed integration

The calibration and validation team of the Korea Aerospace Research Institute has calibrated and validated the image data of the KOMPSAT-2 since the launch of KOMPSAT-2 on July 28, 2006. The asymmetric phenomenon of the point spread function of the KOMPSAT-2 image data is evident in both the along and the across direction, most likely because KOMPSAT-2 has a 1 m ground sample distance high-resolution camera with time-delayed integration. Furthermore, because KOMPSAT-2 is in space, the KOMPSAT-2 image data has been corrected with good results by means of modulation transfer function compensation.     

Bursts in the HETE-2 catalogue

We have studied a set of GRBs detected by HETE-2 satellite with special focus on low-energy part of the spectrum. Results of data reduction procedures of different members of the HETE collaboration were combined with other publicly available information creating a concise catalogue. A more detailed analysis of lightcurves of the prompt emission was performed using data from FREGATE instrument.     

基于T-S模糊模型的模糊大系统的混合滤波

针对非线性大系统内部过程参数的检测估计,采用连续模糊大系统模型,利用lyapunov定理和分布式处理方法,给出了模糊大系统的H2/H∞混合滤波器设计方法。该方法在保证滤波误差系统全局稳定的同时,具备了H2/H∞性能。通过求解线性矩阵不等式,可以得到滤波器参数。最后,用一个数值例子验证了该方法的正确性和有效性。     

Ionospheric F2-Layer critical frequency retrieved from COSMIC radio occultation: A statistical comparison with measurements from a meridional ionosonde chain over Southeast Asia

In this paper, we compared the F2-Layer critical frequency (foF2) derived from FORMOSAT-3/COSMIC radio occultation (RO) and ionosondes at Chiang Mai, Chumphon and Kototabang during the years 2008–2015 to evaluate the performance of COSMIC RO over Southeast Asia region. The results show that the time development of foF2 values derived from COSMIC RO generally agrees well with those from ionosonde measurements. However, the differences between the foF2 derived from COSMIC RO and that derived from ionosonde observations display latitudinal dependence. COSMIC RO tends to underestimate foF2 at Chiang Mai and Kototabang, which is near to the north EIA crest and the south one, respectively, while a little overestimate foF2 at Chumphon, which is close to the geomagnetic equator. COSMIC RO agrees best with ionosonde at Chumphon and worst at Chiang Mai. At each ionosonde station, the quality of COSMIC RO data degrades with the increase of solar activity. In addition, at the station Chiang Mai and Kototabang, COSMIC RO performs better in summer than in equinox and winter. Furthermore, the differences in foF2 derived from COSMIC RO and that from ionosonde measurements vary with local time, i.e., the differences in foF2 are generally smaller at night and larger in noontime when equatorial ionization anomaly (EIA) is well developed.     

图形背景理论模式下英语强调结构的教学认知

在英语中,说话人要重点突出的部分叫做强调.强调结构一直是学生学习英语的重点和难点。传统的教学方法存在诸多弊端,学生不会综合运用,不懂融会贯通。从新的视角对英语强调结构的教学进行认知势在必行。认知语言学中图形-背景理论为重新感知和理解强调结构提供了理据,进行形象具体化教学,有效提高学习效果。     

40CrNi2Si2MoVA钢喷丸强化层微观结构

喷丸强化在金属材料表面形成强化层,可以有效提高构件的疲劳寿命,是金属构件表面完整性制造的重要方法.喷丸强化已有效应用于40CrNi2Si2MoVA钢制构件,为了探明喷丸强化对该钢种的强化机理,本工作采用高分辨电子显微电镜(HREM)对40CrNi2Si2MoVA钢喷丸强化层微观组织结构进行了系统分析研究.结果表明:喷丸强化使40CrNi2Si2 MoVA钢组织细化,呈明显的马氏体“有效晶粒”现象,“有效晶粒”尺寸为几个纳米到几十个纳米;“有效晶粒”界面呈明显的倾转现象,相邻“有效晶粒”间转动角度为几度到几十度,最大达到30°.     

Al/Ni含能多层膜在Al2O3陶瓷/不锈钢焊接中的应用

采用磁控溅射设备,生长AuSn合金做焊料层、Al/Ni含能多层膜做热量提供层,实现了不锈钢和Al_2O_3间的异质材料自蔓延高温扩散焊。利用SEM、XRD和DSC等测试手段表征AuSn合金和Al/Ni含能多层膜的微观形貌、相成分和放热量;用万能试验机测试焊接接头的力学性能。结果表明,AuSn合金的质量比基本达到80∶20,而多层膜的层状结构清晰,反应热达到1 239 J/g。焊接实验结果表明,仅使用AuSn焊料时,剪切强度仅为46 MPa,在增加Al/Ni含能多层膜后,其剪切强度可达90 MPa,强度提高了约一倍。焊接接头的界面显微形貌和相结构研究表明,剪切强度的增强主要是Al/Ni多层膜提供了额外能量使得界面处的反应剧烈,陶瓷金属化层与中间层的反应加剧,形成了新的反应生成物。     

外挂物投放问题的二维非结构动态网格技术研究

以动态网格守恒型方程为控制方程,在二维非结构网格基础上发展了弹簧式光顺法和局部网格重构法两种动态网格变形技术。结合运动轨迹计算方程,将动态网格法应用于飞机外挂物投放问题中,成功模拟了导弹自由投放的整个过程,获得了详细的包括弹体运动速度、运动轨迹和受力情况等在内的丰富的流场信息。成功的应用不仅验证了动态网格法的可行性;而且也表明,动态网格法的进一步完善与发展将成为解决外挂物投放问题的有力工具。     

TiO_2薄膜的制备及其光催化性能的研究

采用溶胶-凝胶法制备了TiO2薄膜,以10mg/L甲基橙为目标降解物,研究了焙烧温度、镀膜层数、紫外线光照时间对TiO2薄膜光催化性能的影响.实验结果表明,焙烧温度为500℃,镀膜层数为三层所制得TiO2薄膜光催化活性最好,并且具有稳定、持续的降解效果.