太湖蓝藻水华遥感监测信息系统设计及其关键技术

快速提取太湖蓝藻水华空间分布信息对于制定相关应急预案有重要意义,构建太湖蓝藻水华遥感监测信息系统可为之提供有力支持。从系统总体结构和系统流程角度介绍系统设计思路,并阐述研发本系统的关键技术。采用系统配置与单体软件模式技术实现菜单驱动的系统架构,并在影像数据自动化预处理基础上,运用蓝藻水华遥感监测模型,实现蓝藻水华空间分布信息自动化提取,使得本系统在太湖蓝藻水华遥感监测的业务化运行中取得明显效果。     

太湖蓝藻水华遥感监测信息系统设计及其关键技术

快速提取太湖蓝藻水华空间分布信息对于制定相关应急预案有重要意义,构建太湖蓝藻水华遥感监测信息系统可为之提供有力支持。从系统总体结构和系统流程角度介绍系统设计思路,并阐述研发本系统的关键技术。采用系统配置与单体软件模式技术实现菜单驱动的系统架构,并在影像数据自动化预处理基础上,运用蓝藻水华遥感监测模型,实现蓝藻水华空间分布信息自动化提取,使得本系统在太湖蓝藻水华遥感监测的业务化运行中取得明显效果。     

黄河下游河势遥感监测系统建设分析

为提高黄河下游河势遥感监测能力,提升河势遥感监测服务水平,深入探讨黄河下游河势遥感监测的现状和存在的问题,提出黄河下游河势遥感监测系统的建设目标及思路。通过充分整合卫星遥感、黄河水利对象等相关数据,最大程度地共享现有数据资料和软硬件资源,设计开发黄河下游河势遥感监测系统,包括卫星遥感数据传输通道建设、遥感数据处理软硬件和存储设施建设、河势信息解译和服务功能开发,以及河势信息数据库建设等。结果表明：黄河下游河势遥感监测系统的建设可强化黄河河势遥感监测的数据计算与存储服务能力,提升河势信息解译的自动化水平,实现河势遥感监测工作的数字化及河势信息服务的高效化,具有很好的推广应用前景。     

基于物联网技术的太湖蓝藻水华预警平台

针对以往藻类水华预测系统在数据源方面存在的不足,采用物联网技术,实现基于三层网络传输结构的监测体系,保证了数据的时间连续性;并对遥感水质参数定量反演方法、中程无线传感网络技术和藻类水华预测预警模型方面进行了改进。在此基础上,开发了太湖蓝藻预测预警平台,运行结果表明蓝藻水华未来3天的平均预测精度达到了80%以上。     

基于IDL语言的太湖蓝藻水华遥感监测信息系统设计

以MODIS L1B数据为数据源,采用IDL语言,运用系统配置与插件技术实现系统架构,设计中间件解决系统框架和IDLDrawWidget控件通信接口的衔接问题,设计模型对象管理器组织模型对象,设计IDL数据显示的组织结构实现图像显示及其与矢量数据的叠加显示,使用相对图像坐标系显示叠加的矢量数据,并运用影像匹配技术和仿射变换技术分别实现了MODIS L1B影像"双眼皮"消除及其几何校正,在此基础上运用蓝藻水华遥感监测模型,实现蓝藻水华空间分布信息自动化提取。     

基于卫星遥感数据的恶劣气象监测预警系统设计

针对传统恶劣气象监测预警系统的检测准确率低、预警时效性较差的问题,提出基于卫星遥感数据的恶劣气象监测预警系统。利用GDAL软件自带的读写功能,处理已读取的遥感影像基本信息,再根据辐射定标与亮温计算数值,完成卫星遥感影像的预处理模块设计。连接插件模块的逻辑结构,利用待集成的平台插件,控制下级遥感信息显示与预警模块,实现恶劣气象监测预警系统的设计与应用。按照系统多线程的同步与通信关系,完成遥感数据的云识别处理,实现卫星遥感程序与恶劣气象监测预警模块之间的实时交互。选取风向指标作为实验对象,分析对比实验数据可知,在不同风向条件下,卫星遥感型监测系统所检测出的风向指标均呈现显著性状态,能够及时响应系统主机的预警指令。     

区域生态环境空间信息服务系统的设计与实现

针对传统生态环境监测方法难以满足宏观区域生态环境变化监测需要的问题。基于空间信息服务理念,面向区域生态环境监测与评价的具体需求,应用遥感反演和GIS空间分析技术,在Microsoft.NET平台上,利用ArcEngine中间件实现了遥感影像数据和矢量数据的浏览、空间分析、专题图制作以及海量空间数据组织和管理功能;利用IDL(Interactive Data Language)开发的遥感反演模块,实现了生态环境关键参数的遥感提取,构建了面向区域生态环境监测与评价需求的运行系统。系统实现了海量空间数据的存储和管理,比较方便和准确地通过遥感手段反演关键生态环境参数,并根据需要生成相应的生态环境监测空间信息产品,从而为区域内生态环境保护和监测提供了技术支撑。     

生态环境遥感产品生产分系统架构设计与实现

为实现我国生态环境的动态监测与评估,生态环境卫星遥感专题产品和应用产品的业务化生产,研究设计并实现了生态环境遥感产品生产分系统。针对系统功能需求,着重论述了系统的功能设计和架构设计并以"叶面积指数"产品生产为例,对系统的产品生产流程进行了展示。系统通过处理环境卫星遥感数据以及其他相关数据,对我国生态环境和灾害进行监测和评价,为我国环境保护决策提供科学依据。     

基于无线传感器网络的水环境监测系统

基于传感器网络特性,采用嵌入式、无线传感器网络的搭建、面向对象的软件开发等技术,开发了面向水环境的传感器自动监测、预警、分析系统,该系统实现了对水质进行监测、对异常数据自动预警、对各年度数据进行对比,从而对未来做出预测的功能.实验表明:该系统有一定的推广价值.     

于桥水库蓝藻水华遥感长时序监测研究

针对水库富营养化给供水安全带来的严重威胁，利用2008~2017年Landsat时间序列卫星数据，基于归一化差值植被指数（NDVI）与实测水质参数的相关分析结果，运用阈值法动态提取了于桥水库的水华分布范围和程度。通过与自然和人为因子的协同分析，认为气温、降水和人类活动等共同驱动引发了水华爆发，其中人为干预的生态修复工程可抑制或减缓水华爆发，并有效改善水质状况。时间分辨率更高的气象因子数据和卫星遥感数据将更有助于对中小型饮用水水面蓝藻水华驱动力的分析，推动准实时遥感监测预警技术应用。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.