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

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

基于支持向量机的炒作微博识别方法

微博是舆论传播的中心和渠道,同时参与舆论的形成、发展与引导过程,其自媒体发布、意见领袖参与等因素在一定程度上造成了微博谣言、虚假炒作、社会动员等现象。针对炒作微博的传播特点,分析其群体的隐蔽策划现象,挖掘出普通微博和炒作微博在传播网络结构、转发增量统计等方面的差异。通过社交网站的应用程序接口对目标微博的所有评论、转发和点赞用户进行信息获取,构建该微博的传播网络,利用社团模块度、平均最短路径和网络直径这3个属性度量该网络的紧密程度,基于支持向量机对所抽取的微博进行分类,进而识别出炒作微博。实验结果表明,该方法对微博传播用户的属性信息依赖小以及传播网络结构特征敏感,并且具有较高的炒作微博识别准确率。     

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

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

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.     

Nonparametric approach for uncertainty-based multidisciplinary design optimization considering limited data

Uncertainty-based multidisciplinary design optimization (UMDO) has been widely acknowledged as an advanced methodology to address competing objectives and reliable constraints of complex systems by coupling relationship of disciplines involved in the system. UMDO process consists of three parts. Two parts are to define the system with uncertainty and to formulate the design optimization problem. The third part is to quantitatively analyze the uncertainty of the system output considering the uncertainty propagation in the multidiscipline analysis. One of the major issues in the UMDO research is that the uncertainty propagation makes uncertainty analysis difficult in the complex system. The conventional methods are based on the parametric approach could possibly cause the error when the parametric approach has ill-estimated distribution because data is often insufficient or limited. Therefore, it is required to develop a nonparametric approach to directly use data. In this work, the nonparametric approach for uncertainty-based multidisciplinary design optimization considering limited data is proposed. To handle limited data, three processes are also adopted. To verify the performance of the proposed method, mathematical and engineering examples are illustrated.     

基于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.