面向信息融合的煤矿监测监控系统传感器管理方法的研究

文章根据煤矿监测监控系统的特点,从信息融合的角度探讨了传感器管理的功能及管理方法,并在该基础上利用模糊Petri网对煤矿监测监控系统中的传感器管理模型进行了仿真分析。仿真结果验证了该方法的有效性。     

基于信息融合技术的煤矿主通风机故障参数检测系统

针对目前煤矿主通风机故障诊断功能不完善、保障性措施不力等问题,文章提出了一种基于信息融合技术的煤矿主通风机故障参数检测系统的设计方案,简要分析了主通风机常见故障及信息融合技术,确定了故障参数检测方法,详细介绍了系统硬件及软件设计。实际应用表明,该系统实现了各故障参数的实时、在线检测,为主通风机的可靠运行提供了技术保障。     

Addressing agent loss in vehicle formations and sensor networks

In this paper, we address the problem of agent loss in vehicle formations and sensor networks via two separate approaches: (1) perform a ‘self‐repair’ operation in the event of agent loss to recover desirable information architecture properties or (2) introduce robustness into the information architecture a priori such that agent loss does not destroy desirable properties. We model the information architecture as a graph G(V, E), where V is a set of vertices representing the agents and E is a set of edges representing information flow amongst the agents. We focus on two properties of the graph called rigidity and global rigidity, which are required for formation shape maintenance and sensor network self‐localization, respectively. For the self‐repair approach, we show that while previous results permit local repair involving only neighbours of the lost agent, the repair cannot always be implemented using only local information. We present new results that can be applied to make the local repair using only local information. We describe implementation and illustrate with algorithms and examples. For the robustness approach, we investigate the structure of graphs with the property that rigidity or global rigidity is preserved after removing any single vertex (we call the property as 2‐vertex‐rigidity or 2‐vertex‐global‐rigidity, respectively). Information architectures with such properties would allow formation shape maintenance or self‐localization to be performed even in the event of agent failure. We review a characterization of a class of 2‐vertex‐rigidity and develop a separate class, making significant strides towards a complete characterization. We also present a characterization of a class of 2‐vertex‐global‐rigidity. Copyright © 2008 John Wiley & Sons, Ltd.     

A piecewise analysis method to stability analysis of linear continuous/discrete systems with time‐varying delay

The delay‐dependent stability problem of linear continuous/discrete systems with time‐varying delay is investigated based on a piecewise analysis method (PAM). In the method, the variation interval of the time delay is firstly divided into several subintervals. By checking the variation of the Lyapunov functional in every subinterval, some new delay‐dependent stability criteria are derived. Several numerical examples show that our method can lead to much less conservative results than those in the existing references. Moreover, when the number of the divided subintervals increases, the corresponding criteria can provide an improvement on the results. Copyright © 2008 John Wiley & Sons, Ltd.     

Output feedback control for uncertain linear systems with faulty actuators based on a switching method

This paper investigates the problem of output feedback stabilization for a class of uncertain linear systems with faulty actuators via the synergy with a switching strategy. When actuators suffer a ‘destabilizing failure’ and the never‐faulty actuators cannot stabilize the given system, the closed‐loop exponential stability can still be achieved via the average dwell‐time scheme employing an arbitrary switching signal. The prerequisite condition found requires the ratio between the two lapse times, when the system is devoid of faulty actuators and when it is not so, to be less than a certain specified constant. Then the stabilizing output feedback controls are designed via the technique of linear matrix inequalities. The illustrative example and the respective simulation results demonstrate the feasibility and effectiveness of the proposed design synthesis. Copyright © 2008 John Wiley & Sons, Ltd.     

Delay‐dependent stability and stabilization of neutral time‐delay systems

This paper is concerned with the problem of stability and stabilization of neutral time‐delay systems. A new delay‐dependent stability condition is derived in terms of linear matrix inequality by constructing a new Lyapunov functional and using some integral inequalities without introducing any free‐weighting matrices. On the basis of the obtained stability condition, a stabilizing method is also proposed. Using an iterative algorithm, the state feedback controller can be obtained. Numerical examples illustrate that the proposed methods are effective and lead to less conservative results. Copyright © 2008 John Wiley & Sons, Ltd.     

Integrating scientific modeling and supporting dynamic hazard management with a GeoAgent-based representation of human–environment interactions: A drought example in Central Pennsylvania, USA

Recent natural disasters indicate that modern technologies for environmental monitoring, modeling, and forecasting are not well integrated with cross-level social responses in many hazard-management systems. This research addresses this problem through a Java-based multi-agent prototype system, GeoAgent-based Knowledge System (GeoAgentKS). This system allows: (1) computer representation of institutional regulations and behavioral rules used by multiple social institutions and individuals in cross-level human–environment interactions, (2) integration of this representation with scientific modeling of dynamic hazard development, and (3) application of automated reasoning that suggests to users the appropriate actions for supporting cooperative social responses. This paper demonstrates the software architecture of GeoAgentKS and presents such an integrated approach by modeling the drought management processes in Central Pennsylvania, USA. The results show that it is possible to use GeoAgentKS to represent multilevel human–environment interactions and to use those interactions as input to decision making in hazard management.     

Gossip-based aggregation of trust in decentralized reputation systems

Decentralized Reputation Systems have recently emerged as a prominent method of establishing trust among self-interested agents in online environments. A key issue is the efficient aggregation of data in the system; several approaches have been proposed, but they are plagued by major shortcomings. We put forward a novel, decentralized data management scheme grounded in gossip-based algorithms. Rumor mongering is known to possess algorithmic advantages, and indeed, our framework inherits many of their salient features: scalability, robustness, a global perspective, and simplicity. We demonstrate that our scheme motivates agents to maintain a very high reputation, by showing that the higher an agent’s reputation is above the threshold set by its peers, the more transactions it would be able to complete within a certain time unit. We analyze the relation between the amount by which an agent’s average reputation exceeds the threshold and the time required to close a deal. This analysis is carried out both theoretically, and empirically through a simulation system called GossipTrustSim. Finally, we show that our approach is inherently impervious to certain kinds of attacks. A preliminary version of this article appeared in the proceedings of IJCAI 2007.     

Geometric nonlinear effects on the planar dynamics of a pivoted flexible beam encountering a point-surface impact

Flexible-body modeling with geometric nonlinearities remains a hot topic of research by applications in multibody system dynamics undergoing large overall motions. However, the geometric nonlinear effects on the impact dynamics of flexible multibody systems have attracted significantly less attention. In this paper, a point-surface impact problem between a rigid ball and a pivoted flexible beam is investigated. The Hertzian contact law is used to describe the impact process, and the dynamic equations are formulated in the floating frame of reference using the assumed mode method. The two important geometric nonlinear effects of the flexible beam are taken into account, i.e., the longitudinal foreshortening effect due to the transverse deformation, and the stress stiffness effect due to the axial force. The simulation results show that good consistency can be obtained with the nonlinear finite element program ABAQUS/Explicit if proper geometric nonlinearities are included in the floating frame formulation. Specifically, only the foreshortening effect should be considered in a pure transverse impact for efficiency, while the stress stiffness effect should be further considered in an oblique case with much more computational effort. It also implies that the geometric nonlinear effects should be considered properly in the impact dynamic analysis of more general flexible multibody systems.     

Membrane computing and brain modelling

We briefly discuss variants of (extended) spiking neural P systems that combine features from the areas of membrane computing and spiking neurons. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008