共查询到20条相似文献，搜索用时 46 毫秒
1.
2.
曾琼 《成都信息工程学院学报》2006,21(4):484-487
等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法；并讨论了基于递归学习的组合电路等价性检验方法；算法利用直接蕴含和间接蕴含的方法，解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。 相似文献
3.
在分析P2DR2模型的基础上,阐述了发展网络安全动态防御体系的重要性,讨论了其功能需求,提出了改进的IDS分析响应系统模型,并以其为核心构建了网络安全动态防御体系,还讨论了实现的关键技术并给出了应用实例. 相似文献
4.
The protecting requirements and functional connectivity of species in isolated habitat patches are crucial factors of eco-network planning.This study aimed to improve the method of eco-network planning for species conservation.Ecoprofiling was used to group the species by similar behavior types,namely,choice of ecosystem,area requirement,and short distance dispersal abilities.A least-cost model was used to simulate the optimal corridor location to maintain functional connectivity.A combination of ecoprofile and least-cost model was hired to develop an eco-network that promoted species conservation.A case study was also conducted in Bei-jing,China.In addition to the required ecosystem,habitat area is an important parameter for habitat extraction.Habitat area can remove noise habitat patches because of lacking area.Short-distance dispersal can be used to identify corridor requirements and avoid unneces-sary building requirements.Species with various dispersal abilities exhibit significant differences in terms of corridor length and loca-tion requirement.Habitat isolation is the main threat for weakly mobile species,and habitat loss is the major risk of mobile species pro-tection.Different species groups also exhibit distinct landscape pattern demands for an eco-network,and the eco-network planning based on specific species can not protect other species.We proposed that a combination of ecoprofile and least-cost model improved the efficiency of species conservation by eco-network planning. 相似文献
5.
《山地科学学报》2016,(10)
Variations in leaf functional traits of Abies georgei var. smithii at 3700, 3900, 4100, 4300, and 4390 m altitude were investigated in 15 typical plots in the Southeastern Tibetan Plateau. In each plot, three seedlings were selected, of which functional leaves in current-year sunny branches were chosen for the measurement of morphological, photosynthetic, and physiological and biochemical characteristics, and their variations were analyzed. Results showed that significant variations existed among the leaf functional traits of A. georgei var. smithii along the altitudinal gradient, as well as their physiological adaption indicators. Leaf area decreased, while the mass per area and thickness of leaf increased at an altitude above 4,100 m. The maxima of pigment, total nitrogen concentration, net photosynthesis rate during light-saturated, and when water use efficiency appeared at 4100 m altitude. In addition, A. georgei var. smithii seedlings regulated the activities of superoxide dismutase and ascorbate peroxidase to resist abiotic stress under 4100 m altitude. Meanwhile, malondialdehyde concentration and the dark respiration rate rapidly increased, which indicates that A. georgei var. smithii seedlingssuffered from heavy abiotic stress from 4100 m to 4390 m altitude. Basing on variations in leaf functional traits along the altitude gradient, we inferred that 4100 m altitude was the suitable region for A. georgei var. smithii growth in the Sygera Mountain. Moreover, the harsh environment was the main limiting factor for A. georgei var. smithii population expansion to high altitude. 相似文献
6.
Estimation of ecological water requirements based on habitat response to water level in Huanghe River Delta, China 总被引：3，自引：0，他引：3
Baoshan Cui Yanyan Hua Chongfang Wang Xiaolin Liao Xuejie Tan Wendong Tao 《中国地理科学(英文版)》2010,20(4):318-329
In recent years,wetland ecological water requirements (EWRs) have been estimated by using hydrological and functional approaches,but those approaches have not yet been integrated for a whole ecosystem.This paper presents a new method for calculating wetland EWRs,which is based on the response of habitats to water level,and determines water level threshold through the functional integrity of habitats.Results show that in the Huanghe (Yellow) River Delta water levels between 5.0 m and 5.5 m are required to maintain the functional integrity of the wetland at a value higher than 0.7.One of the dominant plants in the delta,Phragmites australis,tolerates water level fluctuation of about ± 0.25 m without the change in wetland functional integrity.The minimum,optimum and maximum EWRs for the Huanghe River Delta are 9.42×106 m3,15.56×106 m3 and 24.12×106 m3 with water levels of 5.0 m,5.2 m and 5.5 m,corresponding to functional integrity indices of 0.70,0.84 and 0.72,respectively.A wetland restoration program has been performed,which aims to meet these EWRs in attempt to recover from losses of up to 98% in the delta's former wetland area. 相似文献
7.
大型自动气象站探测网络实时监控系统的设计和实施 总被引：2，自引：0，他引：2
介绍了使用VB6.0语言设计Windows版本监控软件，以及监控系统所需的以微处理器80C320为核心、C51编程语言设计智能多功能MODEM的设计方法，说明了系统基本构成和实施思路。利用X．25通信技术，实现了对大型自动气象站探测网络的实时监控。 相似文献
8.
一类食饵为Smith增长模型且基于比率的食饵-捕食模型的定性分析 总被引：2，自引：0，他引：2
研究一类食饵的增长为Smith模型且基于比率和具有第Ⅱ类功能性反映的捕食一食饵系统,对系统进行了稳定性分析,得到了奇点渐近稳定的条件和极限环存在的条件,并指出,系统的持续生存不仅与参数有关,还与其初值有关。 相似文献
9.
Variations in leaf functional traits of Abies georgei var. smithii at 3700, 3900, 4100, 4300, and 4390 m altitude were investigated in 15 typical plots in the Southeastern Tibetan Plateau. In each plot, three seedlings were selected, of which functional leaves in current-year sunny branches were chosen for the measurement of morphological, photosynthetic, and physiological and biochemical characteristics, and their variations were analyzed. Results showed that significant variations existed among the leaf functional traits of A. georgei var. smithii along the altitudinal gradient, as well as their physiological adaption indicators. Leaf area decreased, while the mass per area and thickness of leaf increased at an altitude above 4,100 m. The maxima of pigment, total nitrogen concentration, net photosynthesis rate during light-saturated, and when water use efficiency appeared at 4100 m altitude. In addition, A. georgei var. smithii seedlings regulated the activities of superoxide dismutase and ascorbate peroxidase to resist abiotic stress under 4100 m altitude. Meanwhile, malondialdehyde concentration and the dark respiration rate rapidly increased, which indicates that A. georgei var. smithii seedlings suffered from heavy abiotic stress from 4100 m to 4390 m altitude. Basing on variations in leaf functional traits along the altitude gradient, we inferred that 4100 m altitude was the suitable region for A. georgei var. smithii growth in the Sygera Mountain. Moreover, the harsh environment was the main limiting factor for A. georgei var. smithii population expansion to high altitude. 相似文献
10.
In this paper, function characteristics of dispersion of ocean wave in finite depth water were analyzed systematically. The functional form of the fitting function is reasonably proposed, in which the parameters are optimally determined by the least square method （LSM）. For infinitely deep and extremely shallow water,the fitting function fits strictly the dispersion to be fitted. A new technique is presented in application of LSM.An empirical formula with maximum error of less than 0.5% for computing wavelength in finite depth water is presented for practical applications. 相似文献
11.
Estimation of the maximum allowable loading amount of COD in Luoyuan Bay by a 3-D COD transport and transformation model 总被引：1，自引：0，他引：1
Jialin Wu Keqiang Li Xiaoyong Shi Shengkang Liang Xiurong Han Qimin Ma Xiulin Wang 《中国海洋大学学报(英文版)》2014,13(4):604-612
The rapid economic and social developments in the Luoyuan and Lianjiang counties of Fujian Province, China, raise certain environment and ecosystem issues. The unusual phytoplankton bloom and eutrophication, for example, have increased in severity in Luoyuan Bay(LB). The constant increase of nutrient loads has largely caused the environmental degradation in LB. Several countermeasures have been implemented to solve these environmental problems. The most effective of these strategies is the reduction of pollutant loadings into the sea in accordance with total pollutant load control(TPLC) plans. A combined three-dimensional hydrodynamic transport-transformation model was constructed to estimate the marine environmental capacity of chemical oxygen demand(COD). The allowed maximum loadings for each discharge unit in LB were calculated with applicable simulation results. The simulation results indicated that the environmental capacity of COD is approximately 11×104 t year-1 when the water quality complies with the marine functional zoning standards for LB. A pollutant reduction scheme to diminish the present levels of mariculture- and domestic-based COD loadings is based on the estimated marine COD environmental capacity. The obtained values imply that the LB waters could comply with the targeted water quality criteria. To meet the revised marine functional zoning standards, discharge loadings from discharge units 1 and 11 should be reduced to 996 and 3236 t year-1, respectively. 相似文献
12.
Biomass allocation patterns of alpine grassland species and functional groups along a precipitation gradient on the Northern Tibetan Plateau 总被引：1，自引：1，他引：0
Variations in the fractions of biomass allocated to functional components are widely considered as plant responses to resource availability for grassland plants. Observations indicated shoots isometrically relates to roots at the community level but allometrically at the species level in Tibetan alpine grasslands. These differences may result from the specific complementarity of functional groups between functional components, such as leaf, root, stem and reproductive organ. To test the component complementary responses to regional moisture variation, we conducted a multi-site transect survey to measure plant individual size and component biomass fractions of common species belonging to the functional groups： forbs, grasses, legumes and sedges on the Northern Tibetan Plateau in peak growing season in 2010. Along the mean annual precipitation （MAP） gradient, we sampled 7o species, in which 2o are in alpine meadows, 20 in alpine steppes, 15 in alpine desert-steppes and 15 in alpine deserts, respectively. Our results showed that the size of alpine plants is small with individual biomass mostly lower than 1.0 g. Plants keep relative conservative component individual responses moisture functional fractions across alpine grasslands at the level. However, the complementary between functional components to variations specifically differ among groups. These results indicate that functional group diversity may be an effective tool for scaling biomass allocation patterns from individual up to community level. Therefore, it is necessary andvaluable to perform intensive and systematic studies on identification and differentiation the influences of compositional changes in functional groups on ecosystem primary services and processes. 相似文献
13.
Ganzey S.S. 《地球信息科学学报》2007,9(1):26-34
在跨国边境地区的诊断分析中采用的对于环境问题进行分析的方法性的理论原则,在许多方面决定了战略行动计划实现的效率。但是我们认为这种跨国边境地区的诊断分析方法应该包括环境和地理制图,以及在陆地景观组织分析的基础上进行的功能性分区。边境地区可持续性自然管理的理论原则是用边界来保护自然资源的潜力或者甚至使之增长。因此景观功能分区会要求对边境区域内各种优先的、许可的和禁止的经济利用的分析。保护性政治制度的确立、把资源管理与维护生态平衡的措施结合和阻止自然与人类的负反馈这3项景观优化原则具体的实现就是跨国边境地区景观功能分区地图,这就是我们认为的边境地区诊断分析的主要目标。在分析陆地景观组织的基础上,本文主要介绍边界地区景观功能分区诊断分析的方法(用于景观规划)。该方法在在中俄边境的Pogranichny-taipailing自然地理区域,利用Landsat-TM图像进行试验和验证。本文的研究表明对边境地区景观结构特征进行诊断分析是必要的,分析包括它的现代经济利用方式、经济活动对景观的干扰、地理景观系统对人类活动压力的敏感性。研究结果通过绘制研究区景观分区地图得以体现,地图科学地证明了举措对于减轻包括边界地区在内的区域环境问题具有一定的价值。这样的方法提供了在保证国家环境安全的原则下,对边境地区自然环境可持续性的管理。 相似文献
14.
基于累计机会可达性的北京城市公共服务设施复合功能识别 总被引：3，自引：0，他引：3
城市时空大数据技术的快速发展和应用,为城市功能区识别提供了新的数据基础和技术手段,但专门关于城市公共服务设施复合功能的研究还相对较少。基于北京市9大类公共服务设施的空间点数据,综合考虑不同类型公共服务设施等级和品质特征,采用累计机会方法对1 km×1 km格网尺度的北京城市公共服务设施可达性进行了综合评价,在此基础上重点分析了北京城市公共服务设施复合功能特征与影响因素。研究表明：① 北京城市公共服务设施累计机会空间分布存在明显的中心集聚特征,但不同类型公共服务设施的空间分布模式和覆盖范围却有所区别;② 北京城市公共服务设施功能区可以划分为单一功能、单一化的复合功能、2种复合功能、3种复合功能和均衡化的复合功能等5大类型;③ 人口密度、距市中心距离、土地价格和经营性为主设施的累计机会可达性是影响北京城市公共服务设施复合功能的重要因素。研究结论对进一步细化城市功能区研究和促进北京城市公共服务设施空间结构优化具有科学启示作用。 相似文献
15.
Meng Su 《中国海洋大学学报(英文版)》2016,15(6):1059-1066
The Jimo coast encompasses an area of 2157 km~2, and the ecosystem is valuable both socially and economically with regional fisheries substantially contributing to the value. A mass-balanced trophic model consisting of 15 functional ecological groups was developed for the coastal ecosystem using the Ecopath model in Ecopath with Ecosim(Ew E) software(version 6.4.3). The results of the model simulations indicated that the trophic levels of the functional groups varied between 1.0 and 3.76, and the total production of the system was estimated to be 5112.733 t km~(-2) yr~(-1) with a total energy transfer efficiency of 17.6%. The proportion of the total flow originating from detritus was estimated to be 48%, whereas that from primary producers was 52%, indicating that the grazing food chain dominated the energy flow. The ratio of total primary productivity to total respiration in the system was 3.78, and the connectivity index was 0.4. The fin cycling index and the mean path length of the energy flow were 4.92% and 2.57%, respectively, which indicated that the ecosystem exhibits relatively low maturity and stability. The mixed trophic impact(MTI) procedure suggested that the ecological groups at lower trophic levels dominated the feeding dynamics in the Jimo coastal ecosystem. Overfishing is thought to be the primary reason for the degeneration of the Jimo coastal ecosystem, resulting in a decline in the abundance of pelagic and demersal fish species and a subsequent shift to the predominance of lower-trophic-level functional groups. Finally, we offered some recommendations for improving current fishery management practices. 相似文献
16.
针对使用传统的编程方式进行空间回归分析过于繁杂的问题,本文提出将Python函数式编程引入空间回归分析方法,分析和探讨脚本语言＋函数式编程方式在GIS数据分析中的推广应用前景。编程实践证明,采用Python函数式编程,结合既有的开源软件包,可以有效提高编程效率,减少代码量,将实践人员的注意力集中在问题本身。 相似文献
17.
【目的】探究功能基因在海洋弧菌物种鉴定中的作用,为海洋弧菌多样性研究以及致病性弧菌的监测和防控提供参考。【方法】根据已有的弧菌分类学研究成果,阐述16S rRNA基因、管家基因和毒力基因等相关功能基因在海洋弧菌鉴定与分类研究中的应用进展。【结果】16S rRNA基因和功能基因可用于海洋弧菌的分类学及其快速检测鉴定的研究,对致病性弧菌的诊治具有重要的意义。【结论】功能基因和16S rRNA基因在海洋弧菌菌种鉴定中的广泛应用,提高了海洋弧菌种间分类的准确性,对海洋弧菌的多样性研究以及水产养殖和人类健康的风险评估有重要价值。探索新型功能基因在海洋弧菌分类学研究和快速鉴定中的应用有现实意义。 相似文献
18.
19.
公共厕所作为最典型的公共设施,反映出城市的文明程度和管理服务水平,是打造城市文明形象的重要窗口。当前的研究主要集中在公共厕所的可达性和覆盖范围,把公共厕所当做空间上的点无差别对待,忽略了不同功能区公共厕所空间分布所异质性的问题。如何建立全面精准的公共厕所空间评价体系,分析不同区域公共厕所的综合服务能力在当前研究中明显不足,不利于公共厕所的配置规划和基本公共服务均等化的推进。多源数据的涌现为城市公共设施的研究提供了新视角,为此本文提出一个城市功能区视角下基于POI大数据的公共厕所空间布局合理性评价方法。利用词频-逆文本频率（Term Frequency-inverse Document Frequency,TF-IDF）信息加权技术,结合兴趣点（Point of Interest, POI）频率密度识别城市功能区,融合OpenStreetMap（OSM）路网密度数据和WorldPop人口数据设立人口出行活力指数,对城市功能区内的公共厕所服务进行评价;最后计算人口和空间覆盖率以及空间不平衡指数,判别街镇间的差别与街镇内公共厕所布局的合理性。该方法以多源数据为基础,定量分析不同功能区内公共厕所配置的合理性,并探讨公共厕所空间配置的差异化因素。以国内城市化程度最高之一的上海市为例进行计算,研究发现:① 不同的城市功能区内厕所的配置数量不同,商服功能区的规划数量最多,商服功能区中公共厕所配置的合格度也最高,此外,“工业-商服”、“绿地-商服”等商服相关的联合功能区的合格度也处于较高水平,这是由于大量商业服务机构均对外提供公共厕所服务,提升了该地区的公共厕所的服务能力;② 公共功能区内的合格度最低,仅有10.27%,与该类型附属公共厕所设施的开放程度相关;③ 上海市各街镇公共厕所的合格度整体较好,平均空间覆盖率达到67.31%,平均人口覆盖率达到70.72%;街镇内公共厕所服务和出行活力分布之间的不平衡指数从0~0.76不等,其中不平衡指数小于0.4的共有147个,占比69.34%,表明这些街镇内公共厕所空间配置比较合理。公共厕所配置合理性从上海市区向西南、东南、崇明岛有明显的递减,而向西北地区则没有明显的衰减,呈现出连片的较好的服务能力。结果表明,这种方法充分考虑了公共厕所所属功能区和人口出行活力异质性的问题,空间分析上更加精准,可以为城市公共设施规划提供参考建议。 相似文献
20.
罗德海 《成都信息工程学院学报》1993,(4)
本文在构造正压大气运动的浅水波模式的Hamilton守恒量和积分不变的Casimir泛函的基础上,建立了一个积分不变的Lyapunov函数,通过使用变分法,找出了正压旋转流体运动的非线性Lyapunov稳定性判据,并进一步讨论了Stern's Modons的稳定性。 相似文献