以作物与环境的关系为基础,运用系统分析方法和数学建模技术,构建了可适用于不同时空环境的玉米生育调控指标及栽培管理的动态知识模型。在此基础上,充分利用软构件的技术要点,在V isua l C++平台上设计并实现了数字化和组件化的基于知...以作物与环境的关系为基础,运用系统分析方法和数学建模技术,构建了可适用于不同时空环境的玉米生育调控指标及栽培管理的动态知识模型。在此基础上,充分利用软构件的技术要点,在V isua l C++平台上设计并实现了数字化和组件化的基于知识模型的玉米栽培决策支持系统,实现了产量目标的确定、播前技术方案设计、调控指标预测、产中实时调控、专家知识浏览和系统维护等功能。利用不同生态点、不同历史产量水平、不同水肥管理资料对所建系统的产量目标确定子模型进行了实例分析。结果表明,该系统具有普适性强、独立性好等特点,可为实现作物栽培管理的精确化和数字化提供了技术基础。展开更多
The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of K...The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of Kripke semantics called knowledge structure and, by this kind of Kripke semantics, analyzes communication protocols over hostile networks, especially on authentication protocols. Compared with BAN-like logics, the method is automatically implementable because it operates on the actual definitions of the protocols, not on some difficult-to-establish justifications of them. What is more, the corresponding tool called SPV (Security Protocol Verifier) has been developed. Another salient point of this approach is that it is justification-oriented instead of falsification-oriented, i.e. finding bugs in protocols.展开更多
Assuring the quality of land-cover data is one of the major challenges for large- area mapping projects. Although the use of geospatial knowledge and ancillary data in improving land-cover classification has been stud...Assuring the quality of land-cover data is one of the major challenges for large- area mapping projects. Although the use of geospatial knowledge and ancillary data in improving land-cover classification has been studied since the early 1980 s, mature methods and efficient supporting tools are still lacking. This paper presents a geospatial knowledge-based verification and improvement approach for global land cover(GLC) mapping at 30-m resolution. A set of verification rules is derived from three types of land cover and its change knowledge(natural, cultural and temporal constraints). A group of web-based supporting tools is developed to facilitate the integration of and access to large amounts of ancillary data and to support online data manipulation and analysis as well as collaborative verification workflows. With this approach, two 30-m GLC datasets(Globe Land-2000 and Globe Land-2010) were verified and modified. The results indicate that the data quality of Globe Land30 has been largely improved.展开更多
文摘以作物与环境的关系为基础,运用系统分析方法和数学建模技术,构建了可适用于不同时空环境的玉米生育调控指标及栽培管理的动态知识模型。在此基础上,充分利用软构件的技术要点,在V isua l C++平台上设计并实现了数字化和组件化的基于知识模型的玉米栽培决策支持系统,实现了产量目标的确定、播前技术方案设计、调控指标预测、产中实时调控、专家知识浏览和系统维护等功能。利用不同生态点、不同历史产量水平、不同水肥管理资料对所建系统的产量目标确定子模型进行了实例分析。结果表明,该系统具有普适性强、独立性好等特点,可为实现作物栽培管理的精确化和数字化提供了技术基础。
基金the reviewers.an d the trem endous kind help from the editors.This work was supported by the National Natural Science Foundation of China(Grant Nos.64096327,10410638 , 60473004)Germ an Research Foundation(Grant No.446 CHV1 13/240/0.1) Guangdong Provincial Natural Science Foundation(Grant No.04205407)
文摘The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of Kripke semantics called knowledge structure and, by this kind of Kripke semantics, analyzes communication protocols over hostile networks, especially on authentication protocols. Compared with BAN-like logics, the method is automatically implementable because it operates on the actual definitions of the protocols, not on some difficult-to-establish justifications of them. What is more, the corresponding tool called SPV (Security Protocol Verifier) has been developed. Another salient point of this approach is that it is justification-oriented instead of falsification-oriented, i.e. finding bugs in protocols.
基金funded by the National Natural Science Foundation of China (Grant No. 41231172)the Special Fund for Surveying, Mapping and Geoinformation Scientific Research in the Public Welfare (Grant No. 201512028)National High-Tech R&D Program of China (Grant No. 2013AA122802)
文摘Assuring the quality of land-cover data is one of the major challenges for large- area mapping projects. Although the use of geospatial knowledge and ancillary data in improving land-cover classification has been studied since the early 1980 s, mature methods and efficient supporting tools are still lacking. This paper presents a geospatial knowledge-based verification and improvement approach for global land cover(GLC) mapping at 30-m resolution. A set of verification rules is derived from three types of land cover and its change knowledge(natural, cultural and temporal constraints). A group of web-based supporting tools is developed to facilitate the integration of and access to large amounts of ancillary data and to support online data manipulation and analysis as well as collaborative verification workflows. With this approach, two 30-m GLC datasets(Globe Land-2000 and Globe Land-2010) were verified and modified. The results indicate that the data quality of Globe Land30 has been largely improved.
