法律适用中的语言学研究

法律适用的过程是将法律规则内含的旨意表达出来并使相关人接受、使相关事务得到合理解决的过程,最终使人与人之间的关系归于有序。而人与人之间的关系协调最终是需要通过语言使双方的意图被彼此接受,而法律只是其中的一部分。因此,从语言的角度讨论法律的适用,实质是研究如何使法律更好地得到实施的方法或途径之一。通过研究法律语言的现状从修辞学角度探究法律适用。     

AFDX流量管制信用量设置的模型检查

航空电子全双工交换式以太网（AFDX）实时通信中,交换节点采用信用量令牌桶（creditedtoken bucket）进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性（bounded liveness）模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路（VL）的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。     

基于飞行品质的飞机控制增稳系统参数估计

提出了一种控制增稳系统参数的设计方法,即利用低阶等效系统和飞行品质边界,通过搜索算法确定满足对应飞行品质的参数集合,再利用多种飞行品质确定的参数集合的交集和数据的插值算法,确定控制增稳系统的控制律参数。通过纵向增稳系统设计仿真表明,所提方法简化了传统设计方法通过性能指标反复选择参数和验证系统飞行品质的过程,为控制增稳系统的设计提供一种简单有效的方法。     

航空制造中常用材料焊接的性能浅谈

在航空工业中,无论是飞机、发动机或机载设备的制造都广泛采用了各种焊接技术。航空产品的结构愈来愈复杂,对性能和可靠性的要求愈来愈高,对寿命的要求则愈来愈长,焊接正在从粗加工向精加工方向发展,各种焊接方法过程精细控制已成为必需。质量是航空产品的生命线,航空零件更高的焊接质量,一直是焊接科技人员的目标。     

一种弹目遭遇点预测方法

为充分利用舰空导弹中制导段所获信息并减小导弹中制导段的弹道曲率,给出一种弹目预测遭遇点的解算方法,并据此设计比例导引制导律。在初始发射坐标系中,假设目标由当前位置以当前速度大小沿当前速度方向匀速运动至遭遇点,导弹由当前位置以当前速度大小按照一定的导引规律匀速运动至遭遇点。在该假设条件下,导弹到达遭遇点的总航路大小一方面...     

无轨道动力学模型的增强型GPS实时星间相对定位方法

虽然基于卫星轨道动力学模型的增强型GPS实时星间相对定位可获得厘米级精度,但通常在一般条件下难以获取高精度轨道动力学模型.本文提出了一种无轨道动力学模型条件下的高精度实时相对定位方法,即利用GPS三差观测方程获得状态矢量的时间转移矩阵,采用自适应UKF(Unsented Kalman Filter,无迹卡尔曼滤波器)实时估计星间相对位置.仿真结果表明,相比传统的序贯点估计方法分米级的相对定位精度,新方法在星间距离小于5 km时,其相对定位精度可达厘米量级.     

Potential of salt-accumulating and salt-secreting halophytic plants for recycling sodium chloride in human urine in bioregenerative life support systems

This study addresses the possibility of growing different halophytic plants on mineralized human urine as a way to recycle NaCl from human wastes in a bioregenerative life support system (BLSS). Two halophytic plant species were studied: the salt-accumulating Salicornia europaea and the salt-secreting Limonium gmelinii. During the first two weeks, plants were grown on Knop’s solution, then an average daily amount of urine produced by one human, which had been preliminarily mineralized, was gradually added to the experimental solutions. Nutrient solutions simulating urine mineral composition were gradually added to control solutions. NaCl concentrations in the stock solutions added to the experimental and control solutions were 9 g/L in the first treatment and 20 g/L in the second treatment. The mineralized human urine showed some inhibitory effects on S. europaea and L. gmelinii. The biomass yield of experimental plants was lower than that of control ones. If calculated for the same time period (120 d) and area (1 m²), the amount of sodium chloride taken up by S. europaea plants would be 11.7 times larger than the amount taken up by L. gmelinii plants (486 g/m² vs. 41 g/m²). Thus, S. europaea is the better choice of halophyte for recycling sodium chloride from human wastes in BLSS.     

Variations of ionospheric total electron content before three strong earthquakes in the Qinghai-Tibet region

We investigate the ionospheric total electron content (TEC) anomalies occurred in the Qinghai-Tibet region before three large earthquakes (M > 7.0). The temporal and spatial TEC variations were used to detect the ionospheric possible precursors of these earthquakes. We identified two TEC enhancements in the afternoon local time 9 days and 2–3 days before each earthquake, between which a TEC decrement occurred 3–6 days before earthquakes. These anomalies happened in the area of about 30° in latitude and the maximum is localized equatorward from the epicenters. These TEC anomalies can be found in all three earthquakes regardless the geomagnetic conditions. The features of these anomalies have something in common and may have differences from those caused by geomagnetic storms. Our results suggest that these ionospheric TEC perturbations may be precursors of the large earthquakes.     

A feasibility study for the detection of the diurnal variation of tropospheric NO2 over Tokyo from a geostationary orbit

We have conducted a feasibility study for the geostationary monitoring of the diurnal variation of tropospheric NO₂ over Tokyo. Using NO₂ fields from a chemical transport model, synthetic spectra were created by a radiative transfer model, SCIATRAN, for summer and winter cases. We then performed a Differential Optical Absorption Spectroscopy (DOAS) analysis to retrieve NO₂ slant column densities (SCDs), and after converting SCDs into vertical column densities (VCDs), we estimated the precision of the retrieved VCDs. The simulation showed that signal-to-noise ratio (SNR) ? 500 is needed to detect the diurnal variation and that SNR ? 1000 is needed to observe the local minimum occurring in the early afternoon (LT13–14) in summer. In winter, the detection of the diurnal variation during LT08–15 needs SNR ? 500, and SNR ? 1000 is needed if early morning (LT07) and early evening (LT16) are included. The currently discussed sensor specification for the Japanese geostationary satellite project, GMAP-Asia, which has a horizontal resolution of 10 km and a temporal resolution of 1hr, has demonstrated the performance of a precision of several percent, which is approximately corresponding to SNR = 1000–2000 during daytime and SNR ? 500 in the morning and evening. We also discuss possible biases caused by the temperature dependence of the absorption cross section utilized in the DOAS retrieval, and the effect of uncertainties of surface albedo and clouds on the estimation of precisions.     

地面防空武器面临的威胁及信息化发展趋势

随着高信息技术在军事领域的广泛应用,防空作战面临着越来越严峻的挑战.主要探讨了信息化战争中地面防空武器面临的主要威胁,分析了防空作战新发展,并对地面防空武器信息化的发展趋势进行了阐述.