矿井主通风机自动监控系统的设计

为了保障主通风机安全、可靠、经济地运行,提出了一种基于S7-300 PLC的矿井主通风机自动监控系统的设计方案;给出了该系统的结构,详细介绍了该系统中PLC的硬件及软件结构、模拟量的检测实现及采用智能型PID调节器XMA5000对风机负压和流量进行自动调节的方法。实际应用表明,该系统能够实现通风机的就地、集中、远方3种控制方式,提高了主通风机的自动化程度和运行可靠性。     

Stability and synchronization for Markovian jump neural networks with partly unknown transition probabilities

This paper addresses the problems of stability and synchronization for a class of Markovian jump neural networks with partly unknown transition probabilities. We first study the stability analysis problem for a single neural network and present a sufficient condition guaranteeing the mean square asymptotic stability. Then based on the Lyapunov functional method and the Kronecker product technique, the chaos synchronization problem of an array of coupled networks is considered. Both the stability and the synchronization conditions are delay-dependent, which are expressed in terms of linear matrix inequalities. The effectiveness of the developed methods is shown by simulation examples.     

Multi-sensor calibration through iterative registration and fusion

In this paper, a new multi-sensor calibration approach, called iterative registration and fusion (IRF), is presented. The key idea of this approach is to use surfaces reconstructed from multiple point clouds to enhance the registration accuracy and robustness. It calibrates the relative position and orientation of the spatial coordinate systems among multiple sensors by iteratively registering the discrete 3D sensor data against an evolving reconstructed B-spline surface, which results from the Kalman filter-based multi-sensor data fusion. Upon each registration, the sensor data gets closer to the surface. Upon fusing the newly registered sensor data with the surface, the updated surface represents the sensor data more accurately. We prove that such an iterative registration and fusion process is guaranteed to converge. We further demonstrate in experiments that the IRF can result in more accurate and more stable calibration than many classical point cloud registration methods.     

Performance-First Control for Discrete-Time LQG Problems

Performance-first control for discrete-time LQG is considered in this paper to minimize the probability that the performance index exceeds a preselected threshold via constructing a closed-loop feedback control law. This problem can be converted into a mean-variance control problem which can be solved by developing a nested form of the variance and using polynomial optimization as a solution scheme.     

基于PIC16F877A的变频恒压供水控制器设计

分析了高层建筑供水控制系统的技术要求,介绍了基于PIC16F877A单片机的变频恒压供水控制器的工作原理,提出了该装置的软硬件设计方法.相比目前的变频恒压控制系统,该装置的精简硬件设计有效地克服了系统可靠性差的问题;同时,基于PSO-PID智能算法的软件设计解决了系统动态响应慢和压力调节不稳定的缺点.该装置成本低、智能化程度高,生产实际中能够确保设备的使用寿命、能源的有效利用和供水质量.因此,具有很高的推广、应用价值.     

选择重传ARQ结合自适应调制系统的跨层分析和设计

提出一种针对选择自动重传(SR-ARQ)技术结合自适应调制系统(AMS)的跨层分析和设计方法.该方法采用有限状态马尔可夫链(FSMC),同时对物理层和链路层进行建模,然后用更新报酬(renewal-reward)理论对系统的有效吞吐量进行精确分析,并根据分析结果设计系统中所使用的参数.计算机仿真结果验证了该跨层分析方法的精确性,并可以从中看出本方法对系统参数选取的指导意义.     

计算机辅助外科手术空间配准技术的研究

医学图像和实际手术空间的配准问题是计算机辅助外科手术技术的一个重要的研究热点,它能够帮助医生选择最佳手术路径和减小手术损伤,实现手术的方便快捷和微创,提高手术成功率。主要研究了一种基于ICP算法的计算机辅助外科手术中空间配准技术,通过获取实验模型的空间坐标信息,进行点集配准,找到最优旋转矩阵和最优平移向量。并通过仿真实验给出了模拟的配准结果,仿真试验结果表明,ICP算法配准精度高,适用于计算机辅助外科手术。     

信息系统开发的牛头模型

本文提出了信息系统开发的牛头模型,并对模型的内容进行了说明。