交换环上的可逆线性有限自动机的维数讨论

在域上GF(P)和线性自动机文献 [1][2 ]给出较全面的研究。文献 [3]进一步对一般有限交换环上线性自动机的可逆性作了研究 ,本文在此基础上对输入、输出维数作了进一步的讨论。得到了一般环上可逆自动机必有l≤m ,并且当A可逆时l=m 。     

装备维修任务模型研究

首先建立了确定装备维修保障维修任务量模型,在此基础上运用任务安排模型给出了任务数多于维修人员数和维修时间有限两种情况下的处理方法,能比较科学的根据确定的维修任务和维修人员的情况实现对维修任务的分配.     

基于有向元胞自动机的空中导航和冲突解脱算法

针对在ADS-B空域监视系统下,利用有向元胞自动机模型模拟空域,研究了飞机自主导航和飞行冲突解脱的问题。在考虑了飞机的飞行性能、最小安全间隔及飞行速度等限制条件下,建立了空域的网格模型。利用ADS-B技术,建立了有向元胞自动机运动规则,确定了有向元胞自动机的最佳运动方向,构建了飞机空中导航和空域冲突解决的算法。通过对避开空中限制区和3架飞机空中冲突解脱的仿真,给出了空中的导航路径。仿真结果表明,该算法是可行的。     

基于FSM的PBN飞行程序运行仿真分析

针对于性能的导航(PBN)飞行程序运行仿真过程中将面临飞行航段以及航空器的状态不断发生变化问题,提出采用有限状态自动机理论解决这一问题.仿真框架的水平剖面通过ARINC 424中定义的航段类型对具体的程序进行分段建模;垂直剖面通过BADA的性能模型以及提出逆向法计算下降顶点的位置,为水平剖面提供精确的性能及位置参数.获取的仿真航迹数据符合PBN的导航规范及精度要求,可用于进一步的PBN飞行程序的安全风险与噪声评估.     

基于随机文法的多功能雷达识别方法

 针对多功能雷达采用复杂体制而造成的辐射源不能正确识别问题,提出了一种基于随机文法(SG)的辐射源识别算法。该算法基于多功能雷达的句法模型,将威胁数据库中的多功能雷达文法分为随机正则文法(SRG)和随机上下文无关文法(SCFG)两种情况,并分别构造随机有限自动机(SFA)和随机下推自动机(SPDA)对测量辐射源进行识别。仿真实验表明,该方法不仅能识别出多功能雷达辐射源的型号及模式,而且能识别出雷达辐射源的功能状态,并进而推断出雷达辐射源的威胁等级。     

包过滤防火墙在仿真平台中的研究与实现

网络安全仿真是进行网络安全研究的重要手段,而防火墙的仿真是该手段的必要组成部分.本文重点研究防火墙仿真技术,对防火墙规则进行了形式化描述,并给出包过滤过程的自动机设计,基于此,在GTNetS仿真平台中实现了一个包过滤防火墙,并使用适当的测试用例验证了其正确性.     

用网状连接的细胞自动机探测亚象素弱目标

现代的细胞自动机,例如一个全配置的CM2(连接机2型)有65536个处理单元(PE),每秒可以进行0.2万亿次的1位加法。本文介绍的这种计算结构是一个每秒可操作2亿次的机器。但是一般的细胞自动机的内存有限,每个处理单元最多只有8K字节。因此,尽管其I/O速率达到每秒100M比特,但访问处理器外部存储器中1位的时间比访问内存的时间要长100倍。军用细胞自动机,如MilDAP和GAPP,内存更有限,每个PE分别只有128个和16个字节的内存量。但是利用新的、基于二进制排序滤波理论的信号处理方法,这种机器能有效地用于亚象素弱目标探测。利用二进制排序滤波器,MilDAP能以每秒钟10帧到40帧的速率,监视100万到400万条潜在的目标轨迹,在高斯白噪声条件下,可以提供6dB的处理增益。GAPP可以在216×384个探测器上,以每秒14000帧的速率监视370万条目标轨迹;用分时工作方式,在432×768个探测器上,可以每秒24帧的速率,监视1500万条目标轨迹。本文讨论了威胁目标的特殊情况,以及在多维坐标系中使用多维二进制排序滤波的几种细胞自动机结构。     

基于滚动窗的元胞自动机实时航迹规划方法研究

为满足载机实时航迹规划中威胁环境不确定性和规划算法实时性的要求,基于预测控制滚动优化的思想和元胞自动机理论,提出一种适合载机实时航迹规划的算法一滚动窗元胞自动机实时航迹规划方法.仿真结果表明,该方法能够在预先未知威胁的飞行环境中有效规划出动态航迹.     

一种通过积累教训来实现学习的随机自动机

本文提出了一种新颖的学习自动机模型。其内部结构直接由它过去所受惩罚的积累信息来确定。研究结果表明，该算法是权宜的，且具有优于ＬＩＰ、相当于ＬＲＰ的学习性能。     

用非结构动网格技术计算确定再入飞行器配平攻角

提出了用数值计算直接确定飞行器配平攻角的自由振动法.该方法采用非结构动网格技术,使飞行器在气动力作用下绕通过质心的轴线自由振动,最终衰减到配平攻角.构造了一种MUSCL类型有限体积格式,求解考虑了动网格效应的三维非定常Euler方程,采用弹簧近似技术实现非结构网格的变形运动.作为例证,计算确定了载人飞船返回舱的配平攻角,计算结果与实验结果接近.该方法外形适应能力强,效率较高,具有较好的应用前景.     

面向装配的CAD结构设计技术

面向装配的设计(DFA-Design For Assembly)是并行工程(CE-Concurrent Engineering)的关键技术之一。对缩短产品开发周期、提高设计质量、降低装配成本具有显著作用。本文主要讨论了面向装配的设计的基本概念、基本原则,并利用CATIA软件进行直升机结构拆装的仿真CAD技术。     

Maritime border control computer simulation

This work describes a computer simulator for an integrated Command and Control (C2) multi-sensor system acting in a maritime border control scenario. The analyzed system is composed of two platforms of multiple sensors: a land-based platform, equipped with a Vessel Traffic System (VTS) radar, an Infrared camera (IR), and an Automatic Identification System (AIS); an airborne platform, carrying an Airborne Early Warning Radar (AEWR) and an III camera. The mission of the system is the detection, tracking, and identification of multiple naval targets inside a sea region, their threat level evaluation, and the selection of an intervention against possible threat targets, in order to inspect their nature. The Measures of Effectiveness (MoE) of the integrated system are evaluated, i.e., the system performance during the detection, the threat evaluation process, and the intervention.     

Hierarchical model updating strategy of complex assembled structures with uncorrelated dynamic modes

In structural simulation and design, an accurate computational model directly determines the effectiveness of performance evaluation. To establish a high-fidelity dynamic model of a complex assembled structure, a Hierarchical Model Updating Strategy(HMUS) is developed for Finite Element(FE) model updating with regard to uncorrelated modes. The principle of HMUS is first elaborated by integrating hierarchical modeling concept, model updating technology with proper uncorrelated mode treatment, and...     

An LS-TLS-based sequential identification algorithm: Application toan accelerometer

Total least squares (TLS) parameter estimation is an alternative to least squares (LS) estimation when there are errors in both data matrix and observation vector. Especially, when some of the columns, not all, of the data matrix A are free of error, we call it a mixed LS-TLS problem. Accordingly, a sequential algorithm for solving a mixed LS-TLS problem is proposed here. The proposed algorithm employs an efficient algorithm to locate the minimum eigenpair, instead of singular value decomposition (SVD) which is computationally exacting. The proposed algorithm is applied to an accelerometer model to identify error parameters which are very important in inertial navigation systems (INS)     

Detection of interference/jamming and spoofing in a DGPS-aidedinertial system

Previous research at the Air Force Institute of Technology (AFIT) has resulted in the design of a differential Global Positioning System (DGPS) aided INS-based (inertial navigation system) precision landing system (PLS) capable of meeting the FAA precision requirements for instrument landings. The susceptibility of DGPS transmissions to both intentional and nonintentional interference/jamming and spoofing must be addressed before DGPS may be safely used as a major component of such a critical navigational device. This research applies multiple model adaptive estimation (MMAE) techniques to the problem of detecting and identifying interference/jamming and spoofing in the DGPS signal. Such an MMAE is composed of a bank of parallel filters, each hypothesizing a different failure status, along with an evaluation of the current probability of each hypothesis being correct, to form a probability-weighted average state estimate as an output. For interference/jamming degradation represented as increased measurement noise variance, simulation results show that, because of the good failure detection and isolation (FDI) performance using MMAE, the blended navigation performance is essentially that of a single extended Kalman filter (EKF) artificially informed of the actual interference noise variance. However, a standard MMAE is completely unable to detect spoofing failures (modeled as a bias or ramp offset signal directly added to the measurement). This work describes a moving-bank pseudoresidual MMAE (PRMMAE) to detect and identify such spoofing. Using the PRMMAE algorithm, spoofing is very effectively detected and isolated; the resulting navigation performance is equivalent to that of an EKF operating in an environment without spoofing     

Environmental stress level evaluation approach based on physical model and interval grey association degree

 Associating environmental stresses (ESs) with built-in test (BIT) output is an important means to help diagnose intermittent faults (IFs). Aiming at low efficiency in association of traditional time stress measurement device (TSMD), an association model is built. Thereafter, a novel approach is given to evaluate the integrated environmental stress (IES) level. Firstly, the selection principle and approach of main environmental stresses (MESs) and key characteristic parameters (KCPs) are presented based on fault mode, mechanism, and ESs analysis (FMMEA). Secondly, reference stress events (RSEs) are constructed by dividing IES into three stress levels according to its impact on faults; and then the association model between integrated environmental stress event (IESE) and BIT output is built. Thirdly, an interval grey association approach to evaluate IES level is proposed due to the interval number of IES value. Consequently, the association output can be obtained as well. Finally, a case study is presented to demonstrate the proposed approach. Results show the proposed model and approach are effective and feasible. This approach can be used to guide ESs measure, record, and association. It is well suited for on-line assistant diagnosis of faults, especially IFs.     

运行模态分析的频域空间域分解法及其应用

提出了一种基于频域空间域分解(Frequency and Spatial Domain Decomposition, FSDD)的运行模态分析方法。该法将同时具有输入和输出的试验模态分析的经典方法——复模态指示因子(Complex Mode Indicator Function, CMIF)法拓展到了仅有输出响应的运行状态模态分析。FSDD法采用奇异值分解将信号空间和噪声空间分离开来,把奇异值曲线作为模态指示的依据,以奇异值向量作为加权函数得到每一阶模态的增强功率谱(Power Spectrum Density, PSD),进而在频域内对增强PSD曲线进行最小二乘拟合以得到准确的模态频率和阻尼参数。采用了一个二层楼仿真算例和在欧洲广为人知的瑞士Z24公路大桥实测算例来验证FSDD算法。     

Design and Development of a Real-Time DSP and FPGA-Based Integrated GPS-INS System for Compact and Low Power Applications

Emphasis of the present work is on an elegant real-time solution for GPS/INS integration. Micro-electro mechanical system (MEMS) based inertial sensors are light but not accurate enough for inertial navigation system (INS) applications. An integrated INS/GPS system provides better accuracy compared with either INS or GPS, used individually. This paper describes an improved design and fabrication of a loosely coupled INS-GPS integrated system. The systems currently available use commercial off-the-shelf (COTS) hardware and are, therefore, not optimized for compact, single supply, and low power requirements. In the proposed system, a digital signal processor (DSP) is used for inertial navigation solution and Kalman filter computations. A field programmable gate array (FPGA) is used for creating an efficient interface of the GPS with the DSP. Direct serial interface of the GPS involve tedious processing overhead on the navigation processor. Therefore, a universal asynchronous receiver transmitter (UART) and dual port random axis memory (DPRAM) are created on the FPGA itself. This also reduces the total chip count, resulting in a compact system. The system is designed to give real time processed navigation solutions with an update rate of 100 Hz. All the details of this work are presented.     

基于卷积稀疏表示的图像融合方法

图像融合是图像处理领域中比较重要的一门技术,传统的图像融合方法会降低图像融合质量。针对稀疏表示在图像融合中存在一定的缺陷,提出了一种基于卷积稀疏表示的图像融合方法。首先,对高频子带系数进行合理有效处理,利用相似度分析和视觉显著性进行融合。然后,将低频子带系数整体融合改进为使用Butworth低通滤波对低频子带进行分解,得到低频近似子带和强边缘子带。最后,再用改进的脉冲耦合神经网络(Pulse Coupled Neural Network,PCNN)对强边缘子带进行融合。实验结果表明,与其它传统的图像融合方法相比,信息熵(Information Entropy,IE)提高了将近3%,标准差(Standard Deviation,SD)提高了将近9%,空间频率(Space Frequency,SF)提升了将近30%,互信息(Mutual Information,MI)提升了将近25%。同时,时间效率也有了一定程度地提升。     

Effects of dry/wet ratio and pre-immersion on stress corrosion cracking of 7050-T7451 aluminum alloy under wet-dry cyclic conditions

The stress corrosion cracking (SCC) behavior and mechanism of 7050-T7451 aluminum alloy under wet-dry cyclic conditions were investigated. Slow strain rate tests (SSRTs) and electrochemical tests were used to study the effects of dry/wet ratio (DWR) and pre-immersion on SCC. Fracture and side surface characterizations were observed by scanning electron microscopy (SEM). The results demonstrate that SCC susceptibility decreases with an increase of the DWR. With an increase of the pre-immersion time, both continuous pre-immersion (CP) and wet-dry cyclic pre-immersion (WDP) samples are more sensitive to SCC, and the cracking mode in the SCC fracture region is intergranular. Furthermore, the effect of WDP on SCC is greater than that of CP when the total time immersed in solution before an SSRT is the same with each other. In fact, each single wet-dry cycle can be divided into three processes with respect to the change of solution on samples’ surface. Volatilization of water on the surface results in an increase in solute concentration, thus accelerating corrosion.