Monitoring water quality in reservoirs with IRS-1A-LISS-I

An attempt has been made to quantify the relationship between the variation in IRS-IA-LISS-I (Indian Remote Sensing Satellite-1A Linear Imaging Self-Scanning System) radiance data and field measured change in secchi disc depth. Secchi disc depth was measured for 47 predetermined sampling locations on reservoir surface water. At extinction depth (secchi depth), water samples were collected from all the sampling locations. Suspended sediments of eight locations representing various reaches of the reservoir were selected for mineralogical, particle size and optical properties analysis. The LISS-I radiance value in band 1 (0.45–0.52µm) band 2 (0-52–0.59 µm) and band 3 (0.62–0.68 µm) were used in a regression analysis. The absorption infrared band 4 (0.77–0.86 µm) was not included in the analysis. In these, the dependable variable was secchi depth (SD) and the LISS-I-radiance data was the estimator variable. Forty-seven data sets of 20 October 1988 from Tawa reservoir surface water were used to obtain an estimator equation for SD. The verification of the estimator equation was tested by applying it to a data set of 21 measurements of 28 September 1988 for this reservoir. The coefficient of correlation between observed and estimated values for the 28 September 1988 data set wasr=0.92 for SD, indicating that the equation could accurately predict the water clarity (SD) for this reservoir on new occasions from IRS-IA-LISS-I spectral data. It is shown that mineral composition and optical properties of suspended sediments influence the reflected radiance of water quality. It is concluded that IRS-IA-LISS-I data provide a useful means of mapping water quality in reservoir.     

Improved wetland remote sensing in Yellowstone National Park using classification trees to combine TM imagery and ancillary environmental data

The U.S. Fish and Wildlife Service uses the term palustrine wetland to describe vegetated wetlands traditionally identified as marsh, bog, fen, swamp, or wet meadow. Landsat TM imagery was combined with image texture and ancillary environmental data to model probabilities of palustrine wetland occurrence in Yellowstone National Park using classification trees. Model training and test locations were identified from National Wetlands Inventory maps, and classification trees were built for seven years spanning a range of annual precipitation. At a coarse level, palustrine wetland was separated from upland. At a finer level, five palustrine wetland types were discriminated: aquatic bed (PAB), emergent (PEM), forested (PFO), scrub-shrub (PSS), and unconsolidated shore (PUS). TM-derived variables alone were relatively accurate at separating wetland from upland, but model error rates dropped incrementally as image texture, DEM-derived terrain variables, and other ancillary GIS layers were added. For classification trees making use of all available predictors, average overall test error rates were 7.8% for palustrine wetland/upland models and 17.0% for palustrine wetland type models, with consistent accuracies across years. However, models were prone to wetland over-prediction. While the predominant PEM class was classified with omission and commission error rates less than 14%, we had difficulty identifying the PAB and PSS classes. Ancillary vegetation information greatly improved PSS classification and moderately improved PFO discrimination. Association with geothermal areas distinguished PUS wetlands. Wetland over-prediction was exacerbated by class imbalance in likely combination with spatial and spectral limitations of the TM sensor. Wetland probability surfaces may be more informative than hard classification, and appear to respond to climate-driven wetland variability. The developed method is portable, relatively easy to implement, and should be applicable in other settings and over larger extents.     

A priori ordering protocols to support consensus-building in multiple stakeholder contexts

In a complex social, political, economic, technological, and/or environmental context, corporate, military, government, and other organizations are often faced with collective decision-making situations. The rationale for group decision exercises is that the judgment of many will usually prove superior to the judgment of one. However, it has been shown that collective decision exercises are often highly dependent on matters of perspective, values and opinion, all of which - being essentially subjective in nature - are beyond the reach of existing formal decision technology. Furthermore, it can be expected that many collective decision exercises - particularly those of strategic import - will not lend themselves to the quantitative analysis instruments that have long dominated the management and decision science repertoire. This does not, however, mean that they must remain entirely and forever outside the bounds of scientific rationality. The ordering protocols which are currently available do not have enough technical mechanics to be relied upon to bring us to any satisfying resolution of a priori disputation. Hence, we propose an a priori ordering reference model that might support consensus-building in a multiple stakeholders context. In order to detect whether the subjective arguments are products of proper reasons or merely instances of raw rhetoric and to suggest how any logical or syntactical flaws might best be repaired, we propose logical ordering facilities and protocols for integrating procedural and instrumental provisions for a group-decision process with two lines of technical innovation: the superimpositional ordering function and the logical ordering support facilities.     

Using linear models in optimizing parameters of time-triggered protocols

A mechanism of synchronization of components of distributed systems in which communications are based on a common time schedule for all system components is illustrated by examples of simple Time-Triggered Protocols. For parametric linear models of synchronization, the optimization problem is considered for a parameter that should exclude the overlapping of messages in communication channels. The results of using numeric methods for estimation of the optimal value of this parameter are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 24–32, May–June 2006.     

Comparison of interfaces in Ti composites reinforced with uncoated and TiB2/C-coated SiC fibres

Interfaces play an important role in determining the mechanical properties of composite materials. The interfaces established between a titanium-alloy matrix (Ti-6Al-4V) and uncoated and TiB₂/C-coated SiC fibres are analysed by scanning electron microscopy, transmission electron microscopy and X-ray techniques. Emphasis is placed upon the interfacial morphology and microstructure, identification of reaction products, and the stability of the coating layer. Complex multi-reaction layers are observed frequently in the interfacial zones. Previous, often contradictory, reports about the interlayers are reviewed. Experimental observation demonstrates that the type and distribution of interlayers vary in a given system, due to prolonged treatment of the samples at temperature. The formation and distribution of the interlayers are discussed further, with respect to these and previous findings. Methods of reducing interfacial reactivity are discussed.     

虚拟数据中心的数据映射与数据路由策略研究

数据中心基础数据积累通常使用三种手段:1)ETL技术;2)数据联邦技术;3)中间件技术.但三种技术侧重各有不同,不能同时满足数据集成的持久性与可用性.结合技术优势提出数据虚拟整合,为解决数据虚拟异构数据模型间的数据转换问题,通过对数据虚拟的分析,提出了一种基于元数据驱动的数据虚拟系统体系结构.构建了用于描述和存储映射策略的支撑元模型,并建立了相应数据路由策略.提出了对等主键思想,降低了处理阻抗.     

Petri网模型代码映射研究

为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。     

基于ARM处理器的现场总线协议转换网关的研究与开发

对Profibus-DP总线和CAN总线的协议帧结构以及数据传输方式进行了研究,提出现场总线协议转换的方法,并在此基础上进行协议转换网关的硬件和软件开发。为降低设计难度,提高系统性能,该网关采用基于ARM9内核的高性能处理器AT91RM9200作为主控芯片,并使用了专用的总线协议芯片SPC3与控制芯片SJA1000。实验结果表明,CAN总线设备可以成功接入到Profibus-DP总线中,各项性能指标都能达到设计要求,具有较高的实时性和可靠性。     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

6LoWPAN在物联网中的应用仿真

提出了一种基于6LoWPAN的物联网总体方案,同时对协议中的Mesh字段进行了改进,然后在网络模拟环境下对本协议平均传输成功率、平均延迟时间的性能进行了比较分析,并在仿真环境中进行了实验验证工作。实验数据表明,改进后的协议具有更好的性能。