低成本MEMS陀螺实时滤波方法

为找到一种普遍适合低成本MEMS陀螺仪的随机误差实时处理方法,利用Allan方差分析法首先对MEMS陀螺仪进行分析,根据其误差特性进而设计了平均滤波算法以剔除粗大误差,然后使用最小二乘法,通过拟合前一段历史结果得到下一时刻输出的预测值,基于以上工作最终设计出Kalman滤波器对所输出进行滤波。由于将最小二乘法的推测作为预测过程,避免了系统状态模型难以准确建立的问题。该方法动态性能好,具有普适性。实验结果证明,该方法在静态和动态下均能有效工作,滤波后常值漂移被有效补偿,角度随机游走不再占误差的主要成分,均方差小于滤波前的十分之一。     

分块双向二维主成分分析与模糊分类的掌纹识别

掌纹识别是一门新兴的生物特征识别技术。提出基于分块双向二维主成分分析(M(2D)2PCA)和模糊分类的掌纹识别方法。该算法利用M(2D)2PCA提取掌纹的局部特征,并利用模糊分类策略。这种方法可以有效提取掌纹的局部特征,并且直接对子图像矩阵进行特征抽取,能够精确计算协方差矩阵的特征向量;分类阶段引入模糊理论,应用于掌纹识别问题。最后使用北京交通大学掌纹数据库进行识别实验,结果表明,该方法可得到更高的识别率和更少的识别时间。     

基于WebGIS的渤海渔业服务系统设计与开发

面对日益恶化的海洋环境和不断减少的海洋资源,科学、规范地管理各种海洋资源对于渔业资源的可持续发展十分重要。结合地理信息系统利用渔业空间数据建立渔业分析模型,可为合理开发海洋渔业资源提供基本依据。介绍了在ArcGIS Server平台发布渔业空间数据和渔业分析模型服务,实现渤海渔业管理系统设计和开发的方法与过程,系统采用B/S架构基于Flex环境开发。通过要素服务和地理处理服务在客户端实现渔业数据的在线编辑及调用渔业分析模型,同时采用BlazeDS开源库和JavaScript语言,在Tomcat服务器的支持下实现服务器与客户端的数据通信,最终实现高效的渔业数据查询、可视化以及鱼群分布的分析和模拟。     

基于LBP的红外弱小目标检测系统设计

分析了一种基于局部二元模式（LBP）算子的红外弱小目标检测方法,并根据实际应用背景设计实现了一种红外弱小目标检测系统。介绍了该系统的总体结构以及程序模块的设计方法。试验对比表明,该方法在保证LBP算法实时性的前提下可节约大量硬件资源。     

Adaptive finite‐time control for nonlinear teleoperation systems with asymmetric time‐varying delays

This paper addresses the adaptive finite‐time control problem of nonlinear teleoperation system in the presence of asymmetric time‐varying delays. To achieve the finite‐time position tracking, a novel adaptive finite‐time coordination algorithm based on subsystem decomposition is developed. By introducing a switching‐technique‐based error filtering into our design framework, the complete closed‐loop master (slave) teleoperation system is modeled as a special class of switched system, which is composed of two subsystems. To analyze such system, a finite‐time state‐independent input‐to‐output stability criterion is first developed for some normal switched nonlinear delayed systems. Then based on the classical Lyapunov–Krasovskii method, the stability of complete closed‐loop systems is obtained. It is shown that the proposed scheme can make the position errors converge into a deterministic domain in finite time when the robots continuously contact with human operator and/or the environment in the presence of asymmetric time‐varying delays. Finally, the simulation results are given to demonstrate the effectiveness. Copyright © 2015 John Wiley & Sons, Ltd.     

Finite frequency fault detection for T-S fuzzy singular multiple timedelay systems

This paper focuses on the problem of fault detection (FD) for a class of nonlinear systems described by the T-S fuzzy singular model with multiple time delays and actuator faults. Two finite-frequency performance indices are introduced to measure fault sensitivity and disturbance robustness. To reduce the conservatism of the existing results, a finite frequency domain approach to fuzzy singular multiple time-delay systems is proposed. Then based on the approach, filter design conditions for the solvability of this problem are presented in terms of linear matrix inequalities (LMIs). Finally, simulation studies are provided to demonstrate the application of the proposed method.     

基于SSH框架的高校餐费管理系统设计与实现

为提高高校餐费管理的效率,实现智能化管理,提出一种基于SSH框架的餐费管理解决方案.介绍了系统的总体框架、业务流程和主要功能模块的设计,对系统开发中的关键技术SSH框架进行了研究,并实现了软件的研制.实践证明,采用SSH框架设计模式,可以将系统进行很好的分工,使系统层次结构更加清晰,降低模块之间耦合性,简化编程,提高软件开发效率,同时提高系统的性能和可维护性.     

Stochastic stability and stabilization of discrete‐time singular Markovian jump systems with partially unknown transition probabilities

This paper considers the stochastic stability and stabilization of discrete‐time singular Markovian jump systems with partially unknown transition probabilities. Firstly, a set of necessary and sufficient conditions for the stochastic stability is proposed in terms of LMIs, then a set of sufficient conditions is proposed for the design of a state feedback controller to guarantee that the corresponding closed‐loop systems are regular, causal, and stochastically stable by employing the LMI technique. Finally, some examples are provided to demonstrate the effectiveness of the proposed approaches. Copyright © 2014 John Wiley & Sons, Ltd.     

Characterizing and optimizing TPC-C workloads on large-scale systems using SSD arrays在大规模系统上优化 TPC-C 评测程序

Transaction processing performance council benchmark C (TPC-C) is the de facto standard for evaluating the performance of high-end computers running on-line transaction processing applications. Differing from other standard benchmarks, the transaction processing performance council only defines specifications for the TPC-C benchmark, but does not provide any standard implementation for end-users. Due to the complexity of the TPC-C workload, it is a challenging task to obtain optimal performance for TPC-C evaluation on a large-scale high-end computer. In this paper, we designed and implemented a large-scale TPC-C evaluation system based on the latest TPC-C specification using solid-state drive (SSD) storage devices. By analyzing the characteristics of the TPC-C workload, we propose a series of system-level optimization methods to improve the TPC-C performance. First, we propose an approach based on SmallFile table space to organize the test data in a round-robin method on all of the disk array partitions; this can make full use of the underlying disk arrays. Second, we propose using a NOOP-based disk scheduling algorithm to reduce the utilization rate of processors and improve the average input/output service time. Third, to improve the system translation lookaside buffer hit rate and reduce the processor overhead, we take advantage of the huge page technique to manage a large amount of memory resources. Lastly, we propose a locality-aware interrupt mapping strategy based on the asymmetry characteristic of non-uniform memory access systems to improve the system performance. Using these optimization methods, we performed the TPC-C test on two large-scale high-end computers using SSD arrays. The experimental results show that our methods can effectively improve the TPC-C performance. For example, the performance of the TPC-C test on an Intel Westmere server reached 1.018 million transactions per minute.     

Parametric Stabilization of Quantized Interconnected Systems with Application to Coupled Inverted Pendulums

This paper studies the analysis of parametric stability and decentralized state feedback control of a kind of quantized interconnected systems. The output of each controller is quantized logarithmically before it is input to the subsystem, and the quantized density would affect the stability of the systems. First, a decentralized state feedback controller is designed for interconnected systems without quantization and the corresponding stable region is obtained. Second, for a given controller, the lower bound of the quantization density is evaluated from parameters of local controllers. Finally, the proposed method is applied to coupled inverted pendulums systems which can be viewed as quantized interconnected systems. The simulation results show that by using the proposed quantized controllers, the interconnected inverted pendulum systems are parametrically stabilized.