The authors consider the limiting behavior of various branches in a uniform recursive tree with size growing to infinity. The limiting distribution of ξn,m, the number of branches with size m in a uniform recursive t...The authors consider the limiting behavior of various branches in a uniform recursive tree with size growing to infinity. The limiting distribution of ξn,m, the number of branches with size m in a uniform recursive tree of order n, converges weakly to a Poisson distribution with parameter 1/m with convergence of all moments. The size of any large branch tends to infinity almost surely.展开更多
针对传统发电调度模式难以满足目前调度需求而出现的各种弊端,调度过程中工作票人工审核存在效率低、风险高等问题。本文基于双向长短期记忆网络(Bi-directional Long Short-Term Memory,BiLSTM)-条件随机场(Conditional Random Fields,...针对传统发电调度模式难以满足目前调度需求而出现的各种弊端,调度过程中工作票人工审核存在效率低、风险高等问题。本文基于双向长短期记忆网络(Bi-directional Long Short-Term Memory,BiLSTM)-条件随机场(Conditional Random Fields,CRF)的实体识别与行为树(Behavior Tree,BT)防误的智能防误算法的研究,提出一种智能防误调控一体化平台设计方案,给出平台功能框架,并在乌江实现了成功应用。通过对基于多种不同算法的实体识别模型的测试,验证结果表明:基于BiLSTM-CRF算法的实体识别模型的优越性;基于该智能防误调控一体化平台的研究,在乌江水电开发了乌江调控一体化平台并通过了测试,验证了本设计方案和智能防误功能的可行性和有效性。展开更多
While remote trust attestation is a useful concept to detect unauthorized changes to software, the current mechanism only ensures authenticity at the start of the operating system and cannot ensure the action of runni...While remote trust attestation is a useful concept to detect unauthorized changes to software, the current mechanism only ensures authenticity at the start of the operating system and cannot ensure the action of running software. Our approach is to use a behavior-based monitoring agent to make remote attestation more flexible, dynamic, and trustworthy. This approach was mostly made possible by extensive use of process information which is readily available in Unix. We also made use of a behavior tree to effectively record predictable behaviors of each process. In this paper, we primarily focus on building a prototype implementation of such framework, presenting one example built on it, successfully find potential security risks in the run time of a ftp program and then evaluate the performance of this model.展开更多
Spodoptera frugiperda,the pest fall armyworm(FAW),is widespread in more than 100 countries.To date,planting insectresistant transgenic crops is one of the main control methods in its native countries.In this study we ...Spodoptera frugiperda,the pest fall armyworm(FAW),is widespread in more than 100 countries.To date,planting insectresistant transgenic crops is one of the main control methods in its native countries.In this study we evaluated Bt-transgenic maize(Bt maize)and non-transgenic(conventional)maize and six other host plants in greenhouse pot experiments and field trials for oviposition preference by the Chinese populations of FAW.In laboratory trials,female moths preferred to oviposit on maize with no significant preference between conventional and Bt maize.However,after conventional and transgenic maize were exposed to FAW larvae and damaged,oviposition was significantly higher on transgenic maize than on the conventional one.Field trials showed that for plants less damaged at an early stage(seedling stage),oviposition of FAW on transgenic and conventional maize was significantly higher than that on wheat,sorghum,foxtail millet,peanut and soybean while showing no significant difference between transgenic or conventional maize.FAW adults mainly laid eggs on Bt maize,while the larval density and leaf damage rating or percentage of damaged plants were significantly lower than on conventional maize.Larval density and its damage on conventional maize were significantly higher than that on Bt maize and the other five hosts.Thus,maize is a highly preferred and suitable host for S.frugiperda feeding and ovipositing,and Bt maize can be used as trap crop to protect other crops.展开更多
Delineating life circles is an essential prerequisite for urban community life circle planning. Recent studies combined the environmental contexts with residents’ global positioning system(GPS) data to delineate the ...Delineating life circles is an essential prerequisite for urban community life circle planning. Recent studies combined the environmental contexts with residents’ global positioning system(GPS) data to delineate the life circles. This method, however, is constrained by GPS data, and it can only be applied in the GPS surveyed communities. To address this limitation, this study developed a generalizable delineation method without the constraint of behavioral data. According to previous research, the community life circle consists of the walking-accessible range and internal structure. The core task to develop the generalizable method was to estimate the spatiotemporal behavioral demand for each plot of land to acquire the internal structure of the life circle, as the range can be delineated primarily based on environmental data. Therefore, behavioral demand estimation models were established through logistic regression and machine learning techniques, including decision trees and ensemble learning. The model with the lowest error rate was chosen as the final estimation model for each type of land. Finally, we used a community without GPS data as an example to demonstrate the effectiveness of the estimation models and delineation method. This article extends the existing literature by introducing spatiotemporal behavioral demand estimation models, which learn the relationships between environmental contexts, population composition and the existing delineated results based on GPS data to delineate the internal structure of the community life circle without employing behavioral data. Furthermore, the proposed method and delineation results also contributes to facilities adjustments and location selections in life circle planning, people-oriented transformation in urban planning, and activity space estimation of the population in evaluating and improving the urban policies.展开更多
基金This work was supported by the National Natural Science Foundation of China(10671188)and Special Foundation of USTC.
文摘The authors consider the limiting behavior of various branches in a uniform recursive tree with size growing to infinity. The limiting distribution of ξn,m, the number of branches with size m in a uniform recursive tree of order n, converges weakly to a Poisson distribution with parameter 1/m with convergence of all moments. The size of any large branch tends to infinity almost surely.
文摘针对传统发电调度模式难以满足目前调度需求而出现的各种弊端,调度过程中工作票人工审核存在效率低、风险高等问题。本文基于双向长短期记忆网络(Bi-directional Long Short-Term Memory,BiLSTM)-条件随机场(Conditional Random Fields,CRF)的实体识别与行为树(Behavior Tree,BT)防误的智能防误算法的研究,提出一种智能防误调控一体化平台设计方案,给出平台功能框架,并在乌江实现了成功应用。通过对基于多种不同算法的实体识别模型的测试,验证结果表明:基于BiLSTM-CRF算法的实体识别模型的优越性;基于该智能防误调控一体化平台的研究,在乌江水电开发了乌江调控一体化平台并通过了测试,验证了本设计方案和智能防误功能的可行性和有效性。
基金Supported by the National Natural Science Foun-dation of China (90104005 ,60373087 ,60473023)
文摘While remote trust attestation is a useful concept to detect unauthorized changes to software, the current mechanism only ensures authenticity at the start of the operating system and cannot ensure the action of running software. Our approach is to use a behavior-based monitoring agent to make remote attestation more flexible, dynamic, and trustworthy. This approach was mostly made possible by extensive use of process information which is readily available in Unix. We also made use of a behavior tree to effectively record predictable behaviors of each process. In this paper, we primarily focus on building a prototype implementation of such framework, presenting one example built on it, successfully find potential security risks in the run time of a ftp program and then evaluate the performance of this model.
基金supported by the Key Project for Breeding Genetically Modified Organisms,China(2019ZX08012004)the National Key Research and Development Program of China(2019YFD0300102)。
文摘Spodoptera frugiperda,the pest fall armyworm(FAW),is widespread in more than 100 countries.To date,planting insectresistant transgenic crops is one of the main control methods in its native countries.In this study we evaluated Bt-transgenic maize(Bt maize)and non-transgenic(conventional)maize and six other host plants in greenhouse pot experiments and field trials for oviposition preference by the Chinese populations of FAW.In laboratory trials,female moths preferred to oviposit on maize with no significant preference between conventional and Bt maize.However,after conventional and transgenic maize were exposed to FAW larvae and damaged,oviposition was significantly higher on transgenic maize than on the conventional one.Field trials showed that for plants less damaged at an early stage(seedling stage),oviposition of FAW on transgenic and conventional maize was significantly higher than that on wheat,sorghum,foxtail millet,peanut and soybean while showing no significant difference between transgenic or conventional maize.FAW adults mainly laid eggs on Bt maize,while the larval density and leaf damage rating or percentage of damaged plants were significantly lower than on conventional maize.Larval density and its damage on conventional maize were significantly higher than that on Bt maize and the other five hosts.Thus,maize is a highly preferred and suitable host for S.frugiperda feeding and ovipositing,and Bt maize can be used as trap crop to protect other crops.
基金Under the auspices of the National Natural Science Foundation of China(No.41571144)。
文摘Delineating life circles is an essential prerequisite for urban community life circle planning. Recent studies combined the environmental contexts with residents’ global positioning system(GPS) data to delineate the life circles. This method, however, is constrained by GPS data, and it can only be applied in the GPS surveyed communities. To address this limitation, this study developed a generalizable delineation method without the constraint of behavioral data. According to previous research, the community life circle consists of the walking-accessible range and internal structure. The core task to develop the generalizable method was to estimate the spatiotemporal behavioral demand for each plot of land to acquire the internal structure of the life circle, as the range can be delineated primarily based on environmental data. Therefore, behavioral demand estimation models were established through logistic regression and machine learning techniques, including decision trees and ensemble learning. The model with the lowest error rate was chosen as the final estimation model for each type of land. Finally, we used a community without GPS data as an example to demonstrate the effectiveness of the estimation models and delineation method. This article extends the existing literature by introducing spatiotemporal behavioral demand estimation models, which learn the relationships between environmental contexts, population composition and the existing delineated results based on GPS data to delineate the internal structure of the community life circle without employing behavioral data. Furthermore, the proposed method and delineation results also contributes to facilities adjustments and location selections in life circle planning, people-oriented transformation in urban planning, and activity space estimation of the population in evaluating and improving the urban policies.
