基于组态王6.5的离心泵微机在线监控系统

离心输油泵是石油化工产品输送的主要设备,微机在线监控系统主要用于炼油厂、乙烯厂、油库、输油管道等油气输送领域离心输油泵运行状态的监测、控制以及检修的预报等。本设计采用操作指导控制系统以及工厂的分布式层次化结构思想,以离心输油泵输入输出轴的振动参数为主要测试参数,并辅以离心输油泵油温、轴瓦温度监测,同时采用ADAM4000智能模块和RS—485网络,通过监控控制仪转换成RS—232信号给计算机,实现所需参数的显示与控制和计算机对离心输油泵的快速启停控制。系统软件基于Windows XP平台,运用北京亚控组态王6.5版开发而成,具有实用、实时、可靠与友好等特点。     

煤矿综合监控系统在灾害防治方面的作用与发展

在简要介绍我国煤矿灾害的预防、救援现状的基础上,阐述了综合监控系统在提供准确信息、正确避险指示和减少灾害损失等方面的重要作用;结合实际案例就综合监控系统如何配合六大系统的要求,采用无线通信、信息融合、视频监控、物联网等智能预警新技术,健全系统配置、完善系统功能、提高避险能力等进行了分析与论述。最后,提出了借鉴采矿业发达国家的成熟技术与经验,充分发挥煤矿综合监控系统的作用,积极探索井下新型安全防护体系的建设,达到零死亡率的现代化矿井的发展方向。     

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

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

重点课程特色建设的研究与实践

文章以上海市重点课程建设项目"数据库原理及应用"的建设为背景,根据人才培养目标和课程的特点,探讨课程建设方案的定位、目标和特色,以及课程建设的重点和难点、研究课程实践教学和素质能力培养的方式方法等,提出通过课程建设激发学生学习的积极性、主动性和创造性,从而提高教学效果和应用型人才的综合素质能力。     

Stochastic differential equations driven by a Wiener process and fractional Brownian motion: Convergence in Besov space with respect to a parameter

A stochastic differential equation involving both a Wiener process and fractional Brownian motion, with nonhomogeneous coefficients and random initial condition, is considered. The coefficients and initial condition depend on a parameter. The assumptions on the coefficients and the initial condition supplying continuous dependence of the solution on a parameter, with respect to the Besov space norm, are established.     

无线光电定位网络的设计

为满足非接触化、小型化、集成化、数字化、智能化等现代检测技术的发展要求,从成本、工作原理、灵敏度等方面综合考虑,现采用以光电定位模块为核心的光电定位技术,以无线传感器网络作为数据传输与管理的技术手段,构建了无线光电定位网络,并进行了实验分析.可实现多点实时监测、异地显示测量数据、数据网络化管理等特殊需求;涵盖了多学科领...     

Methods for evaluating volunteers’ contributions in a deforestation detection citizen science project

Today, due to the availability of free remote sensing data, efficient algorithms for image classification and increased connectivity and computing power, together with international policy initiatives, such as the United Nations Programme on Reducing Emissions from Deforestation and Forest Degradation (UN-REDD), more and more countries are investing in their own national forest monitoring schemes. However, tropical forests remain under threat worldwide. Recently, a citizen science project that enables citizens around the globe to be involved in forest monitoring tasks has been proposed, called “ForestWatchers” (www.forestwatchers.net). Its main goal is to allow volunteers (many of them with no scientific training) around the globe, with their own smartphones, tablets and notebooks, review satellite images of forested regions and confirm whether automatic assignments of forested and deforested regions are correct. Inspected images are then sent to a central database where the results are integrated to generate up-to-date deforestation maps. This approach offers a low-cost way to both strengthen the scientific infrastructure and engage members of the public in science. Here, we describe the methods developed within the scope of the ForestWatchers project to assess the volunteers’ performance. These tools have been evaluated with data of two of the project’s preliminary tasks. The first, called “BestTile”, asks volunteers to select which of several images of the same area has the least cloud cover, while in the second, called “Deforestation”, volunteers draw polygons on satellite images delimiting areas they believe have been deforested. The results from more than 500 volunteers show that using simple statistical tests, it is possible to achieve a triple goal: to increase the overall efficiency of the data collecting tasks by reducing the required number of volunteers per task, to identify malicious behavior and outliers, and to motivate volunteers to continue their contributions.     

Reachability determination in acyclic Petri nets by cell enumeration approach

Reachability is one of the most important behavioral properties of Petri nets. We propose in this paper a novel approach for solving the fundamental equation in the reachability analysis of acyclic Petri nets, which has been known to be NP-complete. More specifically, by adopting a revised version of the cell enumeration method for an arrangement of hyperplanes in discrete geometry, we develop an efficient solution scheme to identify firing count vector solution(s) to the fundamental equation on a bounded integer set, with a complexity bound of O((nu)^n−m), where n is the number of transitions, m is the number of places and u is the upper bound of the number of firings for all individual transitions.     

Similarity-based image organization and browsing using multi-resolution self-organizing map

An algorithm is presented in this paper to facilitate the exploration of large image collections based on visual similarities. Starting with an unordered and unannotated set of images, the algorithm first extracts the salient details into feature vectors using both color and gradient information. The feature vectors are then used to train a self-organizing map which maps high-dimensional feature vectors onto a 2D canvas so that images with similar feature vectors are grouped together. When users browse the image collection, an image collage is generated that selects and displays the most pertinent set of images based on which portion of the 2D canvas is currently in view. Flowing from an overview to details is a seamless operation controlled simply by pan and zoom, with representative images selected in a consistent and predictable way. To make organizing larger image collections practical in interactive time, the organization algorithm is designed to run in parallel on graphics processing units. Overall this paper presents an end-to-end solution that facilitates the surfing of image collections in a fresh way.