防爆区气体检测仪的使用

介绍了腈纶聚合装置在防爆区现场安装的气体检测仪器。对于检测仪的软件部分,包括操作指南,只有正确使用才能发挥其作用。     

污染底泥资源化选择软件的开发及其应用

利用计算机研制了一个简易的污染底泥资源化选择软件系统,该软件采用多种污染底泥资源化方式对比结构和模块化程序设计方法,并根据最佳用户体验制造出简易和良好的运行环境和用户界面。将该软件系统用于温州市三垟湿地污泥、广州海珠湿地公园水体污泥、珠江三角洲湿地污泥的资源化选择,结果表明除温州市三垟湿地污泥适合填埋之外,其余2个地区的污泥可以作为农用施肥。     

Utility assessment of a map-based online geo-collaboration tool

Spatial group decision-making processes often include both informal and analytical components. Discussions among stakeholders or planning experts are an example of an informal component. When participants discuss spatial planning projects they typically express concerns and comments by pointing to places on a map. The Argumentation Map model provides a conceptual basis for collaborative tools that enable explicit linkages of arguments to the places to which they refer. These tools allow for the input of explicitly geo-referenced arguments as well as the visual access to arguments through a map interface. In this paper, we will review previous utility studies in geo-collaboration and evaluate a case study of a Web-based Argumentation Map application. The case study was conducted in the summer of 2005 when student participants discussed planning issues on the University of Toronto St. George campus. During a one-week unmoderated discussion phase, 11 participants wrote 60 comments on issues such as safety, facilities, parking, and building aesthetics. By measuring the participants' use of geographic references, we draw conclusions on how well the software tool supported the potential of the underlying concept. This research aims to contribute to a scientific approach to geo-collaboration in which the engineering of novel spatial decision support methods is complemented by a critical assessment of their utility in controlled, realistic experiments.     

基于Web-GIS的饮用水水源地水质安全监控系统研究

基于Web-GIS的饮用水水质监控系统利用Intemet/Intranet技术、GIS技术、数据库技术和环境保护技术,建立了完善的水污染监测与管理网络体系,实现了水源地污染空间信息、属性信息的综合管理.首先介绍了此系统的需求目标,在此基础上阐述了系统的体系结构、数据库设计和主要功能.     

浑河流域水环境风险预警平台的软件架构设计

在分析了浑河流域水环境监测、监控与管理等方面信息化现状的基础上,提出了构建浑河流域水环境风险评估及预警平台的总体软件架构,并介绍了架构中各部分的构成和具体功能,最后讨论了平台构建的关键技术。     

有机污染物环境逸度模型构建及软件化

目前研究人员已经可以通过建立模型来评估有机物的环境风险并研究其在多介质环境中的迁移与转化。针对多介质逸度模型中的参数繁多,不利于研究人员模拟有机污染物的归趋状况的问题,现基于Ⅲ级多介质环境逸度模型,采用Python编程语言进行软件设计,完成有机物在环境各介质中的分布模拟功能,并在此基础上集成参数灵敏度和模型不确定度分析功能,且对用户提供了友好的图形界面。以北京地区地表水环境中的药物和个人护理品（PPCPs）为例,研究结果表明该软件得到的模拟值与实测值有较好的吻合度,可为有机物的区域环境污染和风险评估提供参考。     

Simulating discrete event systems with UML and JAVA

Summary  The main readership are students in the field of informatics. In most parts, other interested scientists from environmental disciplines get some insights in the field of environmental modelling and software. The book can be recommended broadly. With the last chapter ‘Simulation in Practice’, this work may also be useful for commercial application. With chapter 14, the authors contribute to the increasingly important topic of E-Learning.     

我国环保系统计算机2000年问题及解决对策

介绍了我国环保系统计算机２０００年问题的现状及危害，提出了各级领导部门和环境信息部门对此问题所应采取的态度和解决对策，并概述了解决该问题的几条主要技术原则。     

Evaluation of sampling methods for the estimation of structural indices in forest stands

The paper is about the accurate (i.e. unbiased and precise) and efficient estimation of structural indices in forest stands. We present SIAFOR, a computer programme for the calculation of four nearest-neighbour indices, which describe the spatial arrangement of tree positions, the distribution pattern of species, and the size differentiation between trees. The study uses SIAFOR as a sampling simulator in eight completely stem-mapped forest stands of varying area and structural complexity. We statistically evaluate two sample types (distance and plot sampling), comparing sampling error, bias and minimum sample size for index estimation. We introduce the concepts of measurement expansion factor (MEF) and design expansion factor (DEF) for the technical evaluation of sample type efficiency (optimal sample type). Results indicate that sampling error can reach high levels and that minimum sample sizes for index estimation often amply exceed the limit of 20% of tree density or 20 trees per species per hectare, that we set as the highest feasible sample size in normal situations. We found clear feasibility limits (in terms of minimal tree densities and reachable accuracy levels) for the estimation of all investigated indices. Generally, equal or higher sample sizes are needed for plot sampling than for distance sampling to reach equal accuracy levels. Nevertheless, plot sampling resulted more efficient for the estimation of tree size differentiation at low to medium accuracy levels. For all other investigated indices distance sampling resulted more efficient than plot sampling. Minimum sample size increases with accuracy and is negatively correlated with tree density. At a given accuracy level minimum sample size is highest for the estimation of relative mingling and lowest for tree size differentiation; furthermore it is generally lower in large stands than in small ones. Because of the consistency of our conclusions in all of the investigated stands, we think they apply in most stands of similar area (between 1 and 10 ha) and species diversity (not more than four species).     

Assessing the practical benefits of formal methods for software development

We describe a case study where one software module of an existing physical access control system was re-developed using formal software development methods. Because of increased software quality and comparable development efforts, we are considering the use of formal methods for the future development of critical modules. Further results of this work include the identification of a critical property of the given requirements, as well as insights into overall requirements quality.