自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模...自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模式间转换时易出现模式混淆等问题,难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法,通过对安全关键系统进行形式化建模和验证,可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象,采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证,并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明,采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行,所研制的软件平台具有更完善的验证能力和更好的验证效率。展开更多
A carbon paste electrode modified with multi-walled carbon nanotubes (MWCNT) was prepared and the determination of ultra trace amount of zirconium based on the anodic adsorptive voltammetry of the zirconium-calcium-al...A carbon paste electrode modified with multi-walled carbon nanotubes (MWCNT) was prepared and the determination of ultra trace amount of zirconium based on the anodic adsorptive voltammetry of the zirconium-calcium-alizarin red S mix-polynuclear complex is described in this paper for the first time. The results showed that the sensitivity and the selectivity of the method are excellent. The second de-rivative linear scan voltammograms of the complex were recorded by polarographic analyzer from 200 to 1200 mV (vs. SCE) and it was found that the complex can be adsorbed on the surface of the electrode, yielding a peak at about 840 mV, corresponding to the oxidation of ARS in the complex. The peak cur-rent increases linearly with Zr (IV) concentration in the range of 6.0×10-12―6.0×10-11 mol·L-1 (accumu-lation time 120 s), 6.0×10-11―2.0×10-9 mol·L-1 (accumulation time 90 s) and 2.0×10-9―1.0×10-7 mol·L-1 (accumulation time 60 s) and the detection limit (S/N = 3) is 2.0×10-12 mol·L-1 (accumulation time 180 s). The procedure has been successfully applied to the determination of zirconium in the ore samples.展开更多
文摘自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模式间转换时易出现模式混淆等问题,难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法,通过对安全关键系统进行形式化建模和验证,可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象,采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证,并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明,采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行,所研制的软件平台具有更完善的验证能力和更好的验证效率。
基金the Project of Science and Technology Fund of Hengyang City (Grant No. 2007KJ001)the Project of Scientific Research of Hengyang Normal University (Grant No. 07A19)+1 种基金the Key Project of Chinese Ministry of Education (Grant No. 206104)the Multidiscipline Scientific Research Foundation of Xiangtan Univer-sity (Grant No. 05IND08)
文摘A carbon paste electrode modified with multi-walled carbon nanotubes (MWCNT) was prepared and the determination of ultra trace amount of zirconium based on the anodic adsorptive voltammetry of the zirconium-calcium-alizarin red S mix-polynuclear complex is described in this paper for the first time. The results showed that the sensitivity and the selectivity of the method are excellent. The second de-rivative linear scan voltammograms of the complex were recorded by polarographic analyzer from 200 to 1200 mV (vs. SCE) and it was found that the complex can be adsorbed on the surface of the electrode, yielding a peak at about 840 mV, corresponding to the oxidation of ARS in the complex. The peak cur-rent increases linearly with Zr (IV) concentration in the range of 6.0×10-12―6.0×10-11 mol·L-1 (accumu-lation time 120 s), 6.0×10-11―2.0×10-9 mol·L-1 (accumulation time 90 s) and 2.0×10-9―1.0×10-7 mol·L-1 (accumulation time 60 s) and the detection limit (S/N = 3) is 2.0×10-12 mol·L-1 (accumulation time 180 s). The procedure has been successfully applied to the determination of zirconium in the ore samples.
