The tree shrew(Tupaia belangeri)has long been proposed as a suitable alternative to non-human primates(NHPs)in biomedical and laboratory research due to its close evolutionary relationship with primates.In recent year...The tree shrew(Tupaia belangeri)has long been proposed as a suitable alternative to non-human primates(NHPs)in biomedical and laboratory research due to its close evolutionary relationship with primates.In recent years,significant advances have facilitated tree shrew studies,including the determination of the tree shrew genome,genetic manipulation using spermatogonial stem cells,viral vector-mediated gene delivery,and mapping of the tree shrew brain atlas.However,the limited availability of tree shrews globally remains a substantial challenge in the field.Additionally,determining the key questions best answered using tree shrews constitutes another difficulty.Tree shrew models have historically been used to study hepatitis B virus(HBV)and hepatitis C virus(HCV)infection,myopia,and psychosocial stress-induced depression,with more recent studies focusing on developing animal models for infectious and neurodegenerative diseases.Despite these efforts,the impact of tree shrew models has not yet matched that of rodent or NHP models in biomedical research.This review summarizes the prominent advancements in tree shrew research and reflects on the key biological questions addressed using this model.We emphasize that intensive dedication and robust international collaboration are essential for achieving breakthroughs in tree shrew studies.The use of tree shrews as a unique resource is expected to gain considerable attention with the application of advanced techniques and the development of viable animal models,meeting the increasing demands of life science and biomedical research.展开更多
Malware is an ever-present and dynamic threat to networks and computer systems in cybersecurity,and because of its complexity and evasiveness,it is challenging to identify using traditional signature-based detection a...Malware is an ever-present and dynamic threat to networks and computer systems in cybersecurity,and because of its complexity and evasiveness,it is challenging to identify using traditional signature-based detection approaches.The study article discusses the growing danger to cybersecurity that malware hidden in PDF files poses,highlighting the shortcomings of conventional detection techniques and the difficulties presented by adversarial methodologies.The article presents a new method that improves PDF virus detection by using document analysis and a Logistic Model Tree.Using a dataset from the Canadian Institute for Cybersecurity,a comparative analysis is carried out with well-known machine learning models,such as Credal Decision Tree,Naïve Bayes,Average One Dependency Estimator,Locally Weighted Learning,and Stochastic Gradient Descent.Beyond traditional structural and JavaScript-centric PDF analysis,the research makes a substantial contribution to the area by boosting precision and resilience in malware detection.The use of Logistic Model Tree,a thorough feature selection approach,and increased focus on PDF file attributes all contribute to the efficiency of PDF virus detection.The paper emphasizes Logistic Model Tree’s critical role in tackling increasing cybersecurity threats and proposes a viable answer to practical issues in the sector.The results reveal that the Logistic Model Tree is superior,with improved accuracy of 97.46%when compared to benchmark models,demonstrating its usefulness in addressing the ever-changing threat landscape.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
We estimate tree heights using polarimetric interferometric synthetic aperture radar(PolInSAR)data constructed by the dual-polarization(dual-pol)SAR data and random volume over the ground(RVoG)model.Considering the Se...We estimate tree heights using polarimetric interferometric synthetic aperture radar(PolInSAR)data constructed by the dual-polarization(dual-pol)SAR data and random volume over the ground(RVoG)model.Considering the Sentinel-1 SAR dual-pol(SVV,vertically transmitted and vertically received and SVH,vertically transmitted and horizontally received)configuration,one notes that S_(HH),the horizontally transmitted and horizontally received scattering element,is unavailable.The S_(HH)data were constructed using the SVH data,and polarimetric SAR(PolSAR)data were obtained.The proposed approach was first verified in simulation with satisfactory results.It was next applied to construct PolInSAR data by a pair of dual-pol Sentinel-1A data at Duke Forest,North Carolina,USA.According to local observations and forest descriptions,the range of estimated tree heights was overall reasonable.Comparing the heights with the ICESat-2 tree heights at 23 sampling locations,relative errors of 5 points were within±30%.Errors of 8 points ranged from 30%to 40%,but errors of the remaining 10 points were>40%.The results should be encouraged as error reduction is possible.For instance,the construction of PolSAR data should not be limited to using SVH,and a combination of SVH and SVV should be explored.Also,an ensemble of tree heights derived from multiple PolInSAR data can be considered since tree heights do not vary much with time frame in months or one season.展开更多
BACKGROUND Development of distant metastasis(DM)is a major concern during treatment of nasopharyngeal carcinoma(NPC).However,studies have demonstrated im-proved distant control and survival in patients with advanced N...BACKGROUND Development of distant metastasis(DM)is a major concern during treatment of nasopharyngeal carcinoma(NPC).However,studies have demonstrated im-proved distant control and survival in patients with advanced NPC with the addition of chemotherapy to concomitant chemoradiotherapy.Therefore,precise prediction of metastasis in patients with NPC is crucial.AIM To develop a predictive model for metastasis in NPC using detailed magnetic resonance imaging(MRI)reports.METHODS This retrospective study included 792 patients with non-distant metastatic NPC.A total of 469 imaging variables were obtained from detailed MRI reports.Data were stratified and randomly split into training(50%)and testing sets.Gradient boosting tree(GBT)models were built and used to select variables for predicting DM.A full model comprising all variables and a reduced model with the top-five variables were built.Model performance was assessed by area under the curve(AUC).RESULTS Among the 792 patients,94 developed DM during follow-up.The number of metastatic cervical nodes(30.9%),tumor invasion in the posterior half of the nasal cavity(9.7%),two sides of the pharyngeal recess(6.2%),tubal torus(3.3%),and single side of the parapharyngeal space(2.7%)were the top-five contributors for predicting DM,based on their relative importance in GBT models.The testing AUC of the full model was 0.75(95%confidence interval[CI]:0.69-0.82).The testing AUC of the reduced model was 0.75(95%CI:0.68-0.82).For the whole dataset,the full(AUC=0.76,95%CI:0.72-0.82)and reduced models(AUC=0.76,95%CI:0.71-0.81)outperformed the tumor node-staging system(AUC=0.67,95%CI:0.61-0.73).CONCLUSION The GBT model outperformed the tumor node-staging system in predicting metastasis in NPC.The number of metastatic cervical nodes was identified as the principal contributing variable.展开更多
The optimum models of harvesting yield and net profits of large diameter trees for broadleaved forest were developed, of which include matrix growth sub-model, harvesting cost and wood price sub-models, based on the d...The optimum models of harvesting yield and net profits of large diameter trees for broadleaved forest were developed, of which include matrix growth sub-model, harvesting cost and wood price sub-models, based on the data from Hongshi Forestry Bureau, in Changbai Mountain region, Jilin Province, China. The data were measured in 232 permanent sample plots. With the data of permanent sample plots, the parameters of transition probability and ingrowth models were estimated, and some models were compared and partly modified. During the simulation of stand structure, four factors such as largest diameter residual tree (LDT), the ratio of the number of trees in a given diameter class to those in the next larger diameter class (q), residual basal area (RBA) and selective cutting cycle (C) were considered. The simulation results showed that the optimum stand structure parameters for large diameter trees are as follows: q is 1.2, LDT is 46cm, RBA is larger than 26 m^2 and selective cutting cycle time (C) is between 10 and 20 years.展开更多
The tree shrew (Tupaia belangeri) is a promising laboratory animal that possesses a closer genetic relationship to primates than to rodents. In addition, advantages such as small size, easy breeding, and rapid repro...The tree shrew (Tupaia belangeri) is a promising laboratory animal that possesses a closer genetic relationship to primates than to rodents. In addition, advantages such as small size, easy breeding, and rapid reproduction make the tree shrew an ideal subject for the study of human disease. Numerous tree shrew disease models have been generated in biological and medical studies in recent years. Here we summarize current tree shrew disease models, including models of infectious diseases, cancers, depressive disorders, drug addiction, myopia, metabolic diseases, and immune-related diseases. With the success of tree shrew transgenic technology, this species will be increasingly used in biological and medical studies in the future.展开更多
The Chinese tree shrew (Tupaia belangeri chinensis) a squirrel-like and rat-sized mammal, has a wide distribution in Southeast Asia, South and Southwest China and has many unique characteristics that make it suitabl...The Chinese tree shrew (Tupaia belangeri chinensis) a squirrel-like and rat-sized mammal, has a wide distribution in Southeast Asia, South and Southwest China and has many unique characteristics that make it suitable for use as an experimental animal. There have been many studies using the tree shrew (Tupaia belangeri) aimed at increasing our understanding of fundamental biological mechanisms and for the modeling of human diseases and therapeutic responses. The recent release of a publicly available annotated genome sequence of the Chinese tree shrew and its genome database (www.treeshrewdb.org) has offered a solid base from which it is possible to elucidate the basic biological properties and create animal models using this species. The extensive characterization of key factors and signaling pathways in the immune and nervous systems has shown that tree shrews possess both conserved and unique features relative to primates. Hitherto, the tree shrew has been successfully used to create animal models for myopia, depression, breast cancer, alcohol-induced or non-alcoholic fatty liver diseases, herpes simplex virus type 1 (HSV-1) and hepatitis C virus (HCV) infections, to name a few. The recent successful genetic manipulation of the tree shrew has opened a new avenue for the wider usage of this animal in biomedical research. In this opinion paper, I attempt to summarize the recent research advances that have used the Chinese tree shrew, with a focus on the new knowledge obtained by using the biological properties identified using the tree shrew genome, a proposal for the genome-based approach for creating animal models, and the genetic manipulation of the tree shrew. With more studies using this species and the application of cutting-edge gene editing techniques, the tree shrew will continue to be under the spot light as a viable animal model for investigating the basis of many different human diseases.展开更多
Mathematical models have been widely employed for the simulation of growth dynamics of annual crops,thereby performing yield prediction,but not for fruit tree species such as jujube tree(Zizyphus jujuba).The objective...Mathematical models have been widely employed for the simulation of growth dynamics of annual crops,thereby performing yield prediction,but not for fruit tree species such as jujube tree(Zizyphus jujuba).The objectives of this study were to investigate the potential use of a modified WOFOST model for predicting jujube yield by introducing tree age as a key parameter.The model was established using data collected from dedicated field experiments performed in 2016-2018.Simulated growth dynamics of dry weights of leaves,stems,fruits,total biomass and leaf area index(LAI) agreed well with measured values,showing root mean square error(RMSE) values of 0.143,0.333,0.366,0.624 t ha^-1 and 0.19,and R2 values of 0.947,0.976,0.985,0.986 and 0.95,respectively.Simulated phenological development stages for emergence,anthesis and maturity were 2,3 and 3 days earlier than the observed values,respectively.In addition,in order to predict the yields of trees with different ages,the weight of new organs(initial buds and roots) in each growing season was introduced as the initial total dry weight(TDWI),which was calculated as averaged,fitted and optimized values of trees with the same age.The results showed the evolution of the simulated LAI and yields profiled in response to the changes in TDWI.The modelling performance was significantly improved when it considered TDWI integrated with tree age,showing good global(R2≥0.856,RMSE≤0.68 t ha^-1) and local accuracies(mean R2≥0.43,RMSE≤0.70 t ha^-1).Furthermore,the optimized TDWI exhibited the highest precision,with globally validated R2 of 0.891 and RMSE of 0.591 t ha^-1,and local mean R2 of 0.57 and RMSE of 0.66 t ha^-1,respectively.The proposed model was not only verified with the confidence to accurately predict yields of jujube,but it can also provide a fundamental strategy for simulating the growth of other fruit trees.展开更多
This work was to generate landslide susceptibility maps for the Three Gorges Reservoir(TGR) area, China by using different machine learning models. Three advanced machine learning methods, namely, gradient boosting de...This work was to generate landslide susceptibility maps for the Three Gorges Reservoir(TGR) area, China by using different machine learning models. Three advanced machine learning methods, namely, gradient boosting decision tree(GBDT), random forest(RF) and information value(InV) models, were used, and the performances were assessed and compared. In total, 202 landslides were mapped by using a series of field surveys, aerial photographs, and reviews of historical and bibliographical data. Nine causative factors were then considered in landslide susceptibility map generation by using the GBDT, RF and InV models. All of the maps of the causative factors were resampled to a resolution of 28.5 m. Of the 486289 pixels in the area,28526 pixels were landslide pixels, and 457763 pixels were non-landslide pixels. Finally, landslide susceptibility maps were generated by using the three machine learning models, and their performances were assessed through receiver operating characteristic(ROC) curves, the sensitivity, specificity,overall accuracy(OA), and kappa coefficient(KAPPA). The results showed that the GBDT, RF and In V models in overall produced reasonable accurate landslide susceptibility maps. Among these three methods, the GBDT method outperforms the other two machine learning methods, which can provide strong technical support for producing landslide susceptibility maps in TGR.展开更多
Height–diameter relationships are essential elements of forest assessment and modeling efforts.In this work,two linear and eighteen nonlinear height–diameter equations were evaluated to find a local model for Orient...Height–diameter relationships are essential elements of forest assessment and modeling efforts.In this work,two linear and eighteen nonlinear height–diameter equations were evaluated to find a local model for Oriental beech(Fagus orientalis Lipsky) in the Hyrcanian Forest in Iran.The predictive performance of these models was first assessed by different evaluation criteria: adjusted R^2(R^2_(adj)),root mean square error(RMSE),relative RMSE(%RMSE),bias,and relative bias(%bias) criteria.The best model was selected for use as the base mixed-effects model.Random parameters for test plots were estimated with different tree selection options.Results show that the Chapman–Richards model had better predictive ability in terms of adj R^2(0.81),RMSE(3.7 m),%RMSE(12.9),bias(0.8),%Bias(2.79) than the other models.Furthermore,the calibration response,based on a selection of four trees from the sample plots,resulted in a reduction percentage for bias and RMSE of about 1.6–2.7%.Our results indicate that the calibrated model produced the most accurate results.展开更多
The mortality of trees across diameter class model is a useful tool for predicting changes in stand structure.Mortality data commonly contain a large fraction of zeros and general discrete models thus show more errors...The mortality of trees across diameter class model is a useful tool for predicting changes in stand structure.Mortality data commonly contain a large fraction of zeros and general discrete models thus show more errors.Based on the traditional Poisson model and the negative binomial model,different forms of zero-inflated and hurdle models were applied to spruce-fir mixed forests data to simulate the number of dead trees.By comparing the residuals and Vuong test statistics,the zero-inflated negative binomial model performed best.A random effect was added to improve the model accuracy;however,the mixed-effects zero-inflated model did not show increased advantages.According to the model principle,the zeroinflated negative binomial model was the most suitable,indicating that the"0"events in this study,mainly from the sample"0",i.e.,the zero mortality data,are largely due to the limitations of the experimental design and sample selection.These results also show that the number of dead trees in the diameter class is positively correlated with the number of trees in that class and the mean stand diameter,and inversely related to class size,and slope and aspect of the site.展开更多
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
Liver transplantation (LT)is most effective and promising approach for end-stage liver disease.However,there remains room for further improvement and innovation,for example, to reduce ischemic reperfusion injury,trans...Liver transplantation (LT)is most effective and promising approach for end-stage liver disease.However,there remains room for further improvement and innovation,for example, to reduce ischemic reperfusion injury,transplant rejection and immune tolerance.A good animal model of LT is essential for such innovation in transplant research.Although rat LT model has been used since the last century,it has never been an ideal model because the results observed in rat may not be applied to human because these two species are genetically distinct from each other.In this study,we for the first time performed LT using the tree shrew (Tupaia belangeri),a species in the Order Scandentia which is closely related with primates,and evaluated the possibility to adopt this species as a new model of LT.We performed LT on 30 animals using the two-cuff technique, examining the success rate,the survival rate and the immunological reaction.The recipient operation time was 60 min averagely,and we limited the time of the anhepatic phase within 20 min.Twenty-seven (90%)of the animals survived for at least 3 days after the transplantation. Thirteen animals that did not receive any immunosuppressive drug died in 8 days mostly because of acute rejection effect (n=9),similar to the reaction in human but not in experimental rat.The rest 14 animals that were given rapamycin survived significantly longer (38 days)and half of them survived for 60 days until the end of the study.Our results suggest that performing LT in tree shrews can yield high success rate and high survival rate.More importantly,the tree shrews share similar immunological reaction with human.In addition,previous genomics study found that the tree shrews share more proteins with human.In sum,the tree shrews may outperform the experimental rats and could be used as a better and cost-effective animal model for LT.展开更多
The chemical element contents in tree rings are correlated with those in the soils near the tree roots. Theresults in the present study showed that the correlation between them could be described using the followinglo...The chemical element contents in tree rings are correlated with those in the soils near the tree roots. Theresults in the present study showed that the correlation between them could be described using the followinglogarithmic linear correlation model:lgC'(Z) = α(Z) + b(Z)lgC(Z).Therefore, by determining the chrono-sequence C(Z, t), where Z is the atomic number and t the year ofelemental contents in the annual growth rings of trees, we could get the chrono-sequence C'(Z, t) of elementalcontents in the soil, thus inferring the dynamic variations of relevant elemental contents in the soil.展开更多
As part of the global effort to plant billion trees,an afforestation project is launched in Pakistan in Khyber Pakhtunkhwa(KP)province to conserve existing forests and to increase area under forest cover.The present s...As part of the global effort to plant billion trees,an afforestation project is launched in Pakistan in Khyber Pakhtunkhwa(KP)province to conserve existing forests and to increase area under forest cover.The present study is designed to build a Systems'model by incorporating major activities of the Billion Tree Tsunami Afforestation Project(BTTAP)with special focus on afforestation activities to estimate the growth in forest area of KP.Availability of complete dataset was a challenge.To fix the model,the raw data taken from the project office has been utilized.Planning Commission Form 1-Phase I&II helped us with additional information.We relied on the data available for one and half period of the project as rest of the data is subject to the completion of the project.Our results show that the project target to enhance area under forest differs from the target to afforest area under the project.The system dynamics'model projection shows that the forest area of KP would be 23.59 million hectares at the end of the BTTA project,thus having an increase of 3.29%instead of 2%that has been initially proposed.However,the results show that the progress to meet the target in some afforestation classes is slow as compared to other categories.Farm forestry,plantation on communal lands and owners'plantation need special focus of the authority.Deforestation would affect 0.02 million hectares area of the project.The model under study may be used as a reference model that can be replicated to other areas where billion tree campaigns are going on.展开更多
The aboveground biomass(AGB)of shrubs and small trees is the main component for the productivity and carbon storage of understory vegetation in subtropical secondary forests.However,few allometric models exist to accu...The aboveground biomass(AGB)of shrubs and small trees is the main component for the productivity and carbon storage of understory vegetation in subtropical secondary forests.However,few allometric models exist to accurately evaluate understory biomass.To estimate the AGB of five common shrub(diameter at base<5 cm,<5 m high)and one small tree species(<8 m high,trees’s seedling),206 individuals were harvested and species-specific and multi-species allometric models developed based on four predictors,height(H),stem diameter(D),crown area(Ca),and wood density(ρ).As expected,the six species possessed greater biomass in their stems compared with branches,with the lowest biomass in the leaves.Species-specific allometric models that employed stem diameter and the combined variables of D~2H andρDH as predictors accurately estimated the components and total AGB,with R^(2) values from 0.602 and 0.971.A multi-species shrub allometric model revealed that wood density×diameter×height(ρDH)was the best predictor,with R^(2) values ranging from between 0.81 and 0.89 for the components and total AGB,respectively.These results indicated that height(H)and diameter(D)were effective predictors for the models to estimate the AGB of the six species,and the introduction of wood density(ρ)improved their accuracy.The optimal models selected in this study could be applied to estimate the biomass of shrubs and small trees in subtropical regions.展开更多
Based on the Nansha coral islets and reef's time-space attributes,and the intension and extension of the remote sensing information, the concept model and concept system of coral islets and reef are proposed.Then ...Based on the Nansha coral islets and reef's time-space attributes,and the intension and extension of the remote sensing information, the concept model and concept system of coral islets and reef are proposed.Then twin-tree remote sensing information model for different kinds of reef is constructed by using abstracted islets and reef's primitive, and the structure recognition system for coral islets and reef type is developed.展开更多
Identifying risk factors for road traffic injuries can be considered one of the main priorities of transportation agencies. More than 12,000 fatal work zone crashes were reported between 2000 and 2013. Despite recent ...Identifying risk factors for road traffic injuries can be considered one of the main priorities of transportation agencies. More than 12,000 fatal work zone crashes were reported between 2000 and 2013. Despite recent efforts to improve work zone safety, the frequency and severity of work zone crashes are still a big concern for transportation agencies. Although many studies have been conducted on different work zone safety-related issues, there is a lack of studies that investigate the effect of adverse weather conditions on work zone crash severity. This paper utilizes probit–classification tree, a relatively recent and promising combination of machine learning technique and conventional parametric model, to identify factors affecting work zone crash severity in adverse weather conditions using 8 years of work zone weatherrelated crashes (2006–2013) in Washington State. The key strength of this technique lies in its capability to alleviate the shortcomings of both parametric and nonparametric models. The results showed that both presence of traffic control device and lighting conditions are significant interacting variables in the developed complementary crash severity model for work zone weather-related crashes. Therefore, transportation agencies and contractors need to invest more in lighting equipment and better traffic control strategies at work zones, specifically during adverse weather conditions.展开更多
In forest growing at any one site, the growth rate of an individual tree is determined principally by its size, which reflects its metabolic capacity, and by competition from neighboring trees. Competitive effects of ...In forest growing at any one site, the growth rate of an individual tree is determined principally by its size, which reflects its metabolic capacity, and by competition from neighboring trees. Competitive effects of a tree may be proportional to its size;such competition is termed ‘sym-metric’ and generally involves competition below ground for nutrients and water from the soil. Competition may also be ‘asymmetric’, where its effects are disproportionate to the size of the tree;this generally involves competition above ground for sunlight, when larger trees shade smaller, but the reverse cannot occur. This work examines three model systems often seen as exemplars relating individual tree growth rates to tree size and both competitive processes. Data of tree stem basal area growth rates in plots of even- aged, monoculture forest of blackbutt (Eucalyptus pilularis Smith) growing in sub-tropical eastern Australia were used to test these systems. It was found that none could distin-guish between size and competitive effects at any time in any one stand and, thus, allow quantification of the contribution of each to explaining tree growth rates. They were prevented from doing so both by collinearity between the terms used to describe each of the effects and technical problems involved in the use of nonlinear least-squares regression to fit the models to any one data set. It is concluded that quite new approaches need to be devised if the effects on tree growth of tree size and competitive processes are to be quantified and modelled successfully.展开更多
基金supported by the STI2030-Major Projects(2021ZD0200900 to Y.G.Y.)"Light of West China" Program of the Chinese Academy of Sciences(xbzg-zdsys-202302 to Y.G.Y.)
文摘The tree shrew(Tupaia belangeri)has long been proposed as a suitable alternative to non-human primates(NHPs)in biomedical and laboratory research due to its close evolutionary relationship with primates.In recent years,significant advances have facilitated tree shrew studies,including the determination of the tree shrew genome,genetic manipulation using spermatogonial stem cells,viral vector-mediated gene delivery,and mapping of the tree shrew brain atlas.However,the limited availability of tree shrews globally remains a substantial challenge in the field.Additionally,determining the key questions best answered using tree shrews constitutes another difficulty.Tree shrew models have historically been used to study hepatitis B virus(HBV)and hepatitis C virus(HCV)infection,myopia,and psychosocial stress-induced depression,with more recent studies focusing on developing animal models for infectious and neurodegenerative diseases.Despite these efforts,the impact of tree shrew models has not yet matched that of rodent or NHP models in biomedical research.This review summarizes the prominent advancements in tree shrew research and reflects on the key biological questions addressed using this model.We emphasize that intensive dedication and robust international collaboration are essential for achieving breakthroughs in tree shrew studies.The use of tree shrews as a unique resource is expected to gain considerable attention with the application of advanced techniques and the development of viable animal models,meeting the increasing demands of life science and biomedical research.
基金This research work was funded by Institutional Fund Projects under Grant No.(IFPIP:211-611-1443).
文摘Malware is an ever-present and dynamic threat to networks and computer systems in cybersecurity,and because of its complexity and evasiveness,it is challenging to identify using traditional signature-based detection approaches.The study article discusses the growing danger to cybersecurity that malware hidden in PDF files poses,highlighting the shortcomings of conventional detection techniques and the difficulties presented by adversarial methodologies.The article presents a new method that improves PDF virus detection by using document analysis and a Logistic Model Tree.Using a dataset from the Canadian Institute for Cybersecurity,a comparative analysis is carried out with well-known machine learning models,such as Credal Decision Tree,Naïve Bayes,Average One Dependency Estimator,Locally Weighted Learning,and Stochastic Gradient Descent.Beyond traditional structural and JavaScript-centric PDF analysis,the research makes a substantial contribution to the area by boosting precision and resilience in malware detection.The use of Logistic Model Tree,a thorough feature selection approach,and increased focus on PDF file attributes all contribute to the efficiency of PDF virus detection.The paper emphasizes Logistic Model Tree’s critical role in tackling increasing cybersecurity threats and proposes a viable answer to practical issues in the sector.The results reveal that the Logistic Model Tree is superior,with improved accuracy of 97.46%when compared to benchmark models,demonstrating its usefulness in addressing the ever-changing threat landscape.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘We estimate tree heights using polarimetric interferometric synthetic aperture radar(PolInSAR)data constructed by the dual-polarization(dual-pol)SAR data and random volume over the ground(RVoG)model.Considering the Sentinel-1 SAR dual-pol(SVV,vertically transmitted and vertically received and SVH,vertically transmitted and horizontally received)configuration,one notes that S_(HH),the horizontally transmitted and horizontally received scattering element,is unavailable.The S_(HH)data were constructed using the SVH data,and polarimetric SAR(PolSAR)data were obtained.The proposed approach was first verified in simulation with satisfactory results.It was next applied to construct PolInSAR data by a pair of dual-pol Sentinel-1A data at Duke Forest,North Carolina,USA.According to local observations and forest descriptions,the range of estimated tree heights was overall reasonable.Comparing the heights with the ICESat-2 tree heights at 23 sampling locations,relative errors of 5 points were within±30%.Errors of 8 points ranged from 30%to 40%,but errors of the remaining 10 points were>40%.The results should be encouraged as error reduction is possible.For instance,the construction of PolSAR data should not be limited to using SVH,and a combination of SVH and SVV should be explored.Also,an ensemble of tree heights derived from multiple PolInSAR data can be considered since tree heights do not vary much with time frame in months or one season.
文摘BACKGROUND Development of distant metastasis(DM)is a major concern during treatment of nasopharyngeal carcinoma(NPC).However,studies have demonstrated im-proved distant control and survival in patients with advanced NPC with the addition of chemotherapy to concomitant chemoradiotherapy.Therefore,precise prediction of metastasis in patients with NPC is crucial.AIM To develop a predictive model for metastasis in NPC using detailed magnetic resonance imaging(MRI)reports.METHODS This retrospective study included 792 patients with non-distant metastatic NPC.A total of 469 imaging variables were obtained from detailed MRI reports.Data were stratified and randomly split into training(50%)and testing sets.Gradient boosting tree(GBT)models were built and used to select variables for predicting DM.A full model comprising all variables and a reduced model with the top-five variables were built.Model performance was assessed by area under the curve(AUC).RESULTS Among the 792 patients,94 developed DM during follow-up.The number of metastatic cervical nodes(30.9%),tumor invasion in the posterior half of the nasal cavity(9.7%),two sides of the pharyngeal recess(6.2%),tubal torus(3.3%),and single side of the parapharyngeal space(2.7%)were the top-five contributors for predicting DM,based on their relative importance in GBT models.The testing AUC of the full model was 0.75(95%confidence interval[CI]:0.69-0.82).The testing AUC of the reduced model was 0.75(95%CI:0.68-0.82).For the whole dataset,the full(AUC=0.76,95%CI:0.72-0.82)and reduced models(AUC=0.76,95%CI:0.71-0.81)outperformed the tumor node-staging system(AUC=0.67,95%CI:0.61-0.73).CONCLUSION The GBT model outperformed the tumor node-staging system in predicting metastasis in NPC.The number of metastatic cervical nodes was identified as the principal contributing variable.
基金This paper was supported by National Strategy Key Project, Research and Paradigm on Ecological Harvesting and Regeneration Tech-nique for Northeast Natural Forest (2001BA510B07-02)
文摘The optimum models of harvesting yield and net profits of large diameter trees for broadleaved forest were developed, of which include matrix growth sub-model, harvesting cost and wood price sub-models, based on the data from Hongshi Forestry Bureau, in Changbai Mountain region, Jilin Province, China. The data were measured in 232 permanent sample plots. With the data of permanent sample plots, the parameters of transition probability and ingrowth models were estimated, and some models were compared and partly modified. During the simulation of stand structure, four factors such as largest diameter residual tree (LDT), the ratio of the number of trees in a given diameter class to those in the next larger diameter class (q), residual basal area (RBA) and selective cutting cycle (C) were considered. The simulation results showed that the optimum stand structure parameters for large diameter trees are as follows: q is 1.2, LDT is 46cm, RBA is larger than 26 m^2 and selective cutting cycle time (C) is between 10 and 20 years.
基金supported by the National Nature Science Foundation of China(81325016,U1602221,81322038 and U1502222)
文摘The tree shrew (Tupaia belangeri) is a promising laboratory animal that possesses a closer genetic relationship to primates than to rodents. In addition, advantages such as small size, easy breeding, and rapid reproduction make the tree shrew an ideal subject for the study of human disease. Numerous tree shrew disease models have been generated in biological and medical studies in recent years. Here we summarize current tree shrew disease models, including models of infectious diseases, cancers, depressive disorders, drug addiction, myopia, metabolic diseases, and immune-related diseases. With the success of tree shrew transgenic technology, this species will be increasingly used in biological and medical studies in the future.
基金supported by the grant of the National Natural Science Foundation of China(NSFC U1402224)the Chinese Academy of Sciences(CAS zsys-02)
文摘The Chinese tree shrew (Tupaia belangeri chinensis) a squirrel-like and rat-sized mammal, has a wide distribution in Southeast Asia, South and Southwest China and has many unique characteristics that make it suitable for use as an experimental animal. There have been many studies using the tree shrew (Tupaia belangeri) aimed at increasing our understanding of fundamental biological mechanisms and for the modeling of human diseases and therapeutic responses. The recent release of a publicly available annotated genome sequence of the Chinese tree shrew and its genome database (www.treeshrewdb.org) has offered a solid base from which it is possible to elucidate the basic biological properties and create animal models using this species. The extensive characterization of key factors and signaling pathways in the immune and nervous systems has shown that tree shrews possess both conserved and unique features relative to primates. Hitherto, the tree shrew has been successfully used to create animal models for myopia, depression, breast cancer, alcohol-induced or non-alcoholic fatty liver diseases, herpes simplex virus type 1 (HSV-1) and hepatitis C virus (HCV) infections, to name a few. The recent successful genetic manipulation of the tree shrew has opened a new avenue for the wider usage of this animal in biomedical research. In this opinion paper, I attempt to summarize the recent research advances that have used the Chinese tree shrew, with a focus on the new knowledge obtained by using the biological properties identified using the tree shrew genome, a proposal for the genome-based approach for creating animal models, and the genetic manipulation of the tree shrew. With more studies using this species and the application of cutting-edge gene editing techniques, the tree shrew will continue to be under the spot light as a viable animal model for investigating the basis of many different human diseases.
基金supported by the National Natural Science Foundation of China(41561088 and 61501314)the Science&Technology Nova Program of Xinjiang Production and Construction Corps,China(2018CB020)
文摘Mathematical models have been widely employed for the simulation of growth dynamics of annual crops,thereby performing yield prediction,but not for fruit tree species such as jujube tree(Zizyphus jujuba).The objectives of this study were to investigate the potential use of a modified WOFOST model for predicting jujube yield by introducing tree age as a key parameter.The model was established using data collected from dedicated field experiments performed in 2016-2018.Simulated growth dynamics of dry weights of leaves,stems,fruits,total biomass and leaf area index(LAI) agreed well with measured values,showing root mean square error(RMSE) values of 0.143,0.333,0.366,0.624 t ha^-1 and 0.19,and R2 values of 0.947,0.976,0.985,0.986 and 0.95,respectively.Simulated phenological development stages for emergence,anthesis and maturity were 2,3 and 3 days earlier than the observed values,respectively.In addition,in order to predict the yields of trees with different ages,the weight of new organs(initial buds and roots) in each growing season was introduced as the initial total dry weight(TDWI),which was calculated as averaged,fitted and optimized values of trees with the same age.The results showed the evolution of the simulated LAI and yields profiled in response to the changes in TDWI.The modelling performance was significantly improved when it considered TDWI integrated with tree age,showing good global(R2≥0.856,RMSE≤0.68 t ha^-1) and local accuracies(mean R2≥0.43,RMSE≤0.70 t ha^-1).Furthermore,the optimized TDWI exhibited the highest precision,with globally validated R2 of 0.891 and RMSE of 0.591 t ha^-1,and local mean R2 of 0.57 and RMSE of 0.66 t ha^-1,respectively.The proposed model was not only verified with the confidence to accurately predict yields of jujube,but it can also provide a fundamental strategy for simulating the growth of other fruit trees.
基金This work was supported in part by the National Natural Science Foundation of China(61601418,41602362,61871259)in part by the Opening Foundation of Hunan Engineering and Research Center of Natural Resource Investigation and Monitoring(2020-5)+1 种基金in part by the Qilian Mountain National Park Research Center(Qinghai)(grant number:GKQ2019-01)in part by the Geomatics Technology and Application Key Laboratory of Qinghai Province,Grant No.QHDX-2019-01.
文摘This work was to generate landslide susceptibility maps for the Three Gorges Reservoir(TGR) area, China by using different machine learning models. Three advanced machine learning methods, namely, gradient boosting decision tree(GBDT), random forest(RF) and information value(InV) models, were used, and the performances were assessed and compared. In total, 202 landslides were mapped by using a series of field surveys, aerial photographs, and reviews of historical and bibliographical data. Nine causative factors were then considered in landslide susceptibility map generation by using the GBDT, RF and InV models. All of the maps of the causative factors were resampled to a resolution of 28.5 m. Of the 486289 pixels in the area,28526 pixels were landslide pixels, and 457763 pixels were non-landslide pixels. Finally, landslide susceptibility maps were generated by using the three machine learning models, and their performances were assessed through receiver operating characteristic(ROC) curves, the sensitivity, specificity,overall accuracy(OA), and kappa coefficient(KAPPA). The results showed that the GBDT, RF and In V models in overall produced reasonable accurate landslide susceptibility maps. Among these three methods, the GBDT method outperforms the other two machine learning methods, which can provide strong technical support for producing landslide susceptibility maps in TGR.
基金This research received no specific grant from any funding agency in the public,commercial,or not-for-profit sectors
文摘Height–diameter relationships are essential elements of forest assessment and modeling efforts.In this work,two linear and eighteen nonlinear height–diameter equations were evaluated to find a local model for Oriental beech(Fagus orientalis Lipsky) in the Hyrcanian Forest in Iran.The predictive performance of these models was first assessed by different evaluation criteria: adjusted R^2(R^2_(adj)),root mean square error(RMSE),relative RMSE(%RMSE),bias,and relative bias(%bias) criteria.The best model was selected for use as the base mixed-effects model.Random parameters for test plots were estimated with different tree selection options.Results show that the Chapman–Richards model had better predictive ability in terms of adj R^2(0.81),RMSE(3.7 m),%RMSE(12.9),bias(0.8),%Bias(2.79) than the other models.Furthermore,the calibration response,based on a selection of four trees from the sample plots,resulted in a reduction percentage for bias and RMSE of about 1.6–2.7%.Our results indicate that the calibrated model produced the most accurate results.
基金supported by the "948" Project of the State Forestry Administration of China(No.2013-4-66)
文摘The mortality of trees across diameter class model is a useful tool for predicting changes in stand structure.Mortality data commonly contain a large fraction of zeros and general discrete models thus show more errors.Based on the traditional Poisson model and the negative binomial model,different forms of zero-inflated and hurdle models were applied to spruce-fir mixed forests data to simulate the number of dead trees.By comparing the residuals and Vuong test statistics,the zero-inflated negative binomial model performed best.A random effect was added to improve the model accuracy;however,the mixed-effects zero-inflated model did not show increased advantages.According to the model principle,the zeroinflated negative binomial model was the most suitable,indicating that the"0"events in this study,mainly from the sample"0",i.e.,the zero mortality data,are largely due to the limitations of the experimental design and sample selection.These results also show that the number of dead trees in the diameter class is positively correlated with the number of trees in that class and the mean stand diameter,and inversely related to class size,and slope and aspect of the site.
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
基金the grants from National Natural Science Foundation of China(No.81660407)Applied Basic Research Project of Yunnan Provincial Science and Technology Department(No.2014FB053)Health Department of Yunnan Province Agency Project(No.2014NS063).
文摘Liver transplantation (LT)is most effective and promising approach for end-stage liver disease.However,there remains room for further improvement and innovation,for example, to reduce ischemic reperfusion injury,transplant rejection and immune tolerance.A good animal model of LT is essential for such innovation in transplant research.Although rat LT model has been used since the last century,it has never been an ideal model because the results observed in rat may not be applied to human because these two species are genetically distinct from each other.In this study,we for the first time performed LT using the tree shrew (Tupaia belangeri),a species in the Order Scandentia which is closely related with primates,and evaluated the possibility to adopt this species as a new model of LT.We performed LT on 30 animals using the two-cuff technique, examining the success rate,the survival rate and the immunological reaction.The recipient operation time was 60 min averagely,and we limited the time of the anhepatic phase within 20 min.Twenty-seven (90%)of the animals survived for at least 3 days after the transplantation. Thirteen animals that did not receive any immunosuppressive drug died in 8 days mostly because of acute rejection effect (n=9),similar to the reaction in human but not in experimental rat.The rest 14 animals that were given rapamycin survived significantly longer (38 days)and half of them survived for 60 days until the end of the study.Our results suggest that performing LT in tree shrews can yield high success rate and high survival rate.More importantly,the tree shrews share similar immunological reaction with human.In addition,previous genomics study found that the tree shrews share more proteins with human.In sum,the tree shrews may outperform the experimental rats and could be used as a better and cost-effective animal model for LT.
文摘The chemical element contents in tree rings are correlated with those in the soils near the tree roots. Theresults in the present study showed that the correlation between them could be described using the followinglogarithmic linear correlation model:lgC'(Z) = α(Z) + b(Z)lgC(Z).Therefore, by determining the chrono-sequence C(Z, t), where Z is the atomic number and t the year ofelemental contents in the annual growth rings of trees, we could get the chrono-sequence C'(Z, t) of elementalcontents in the soil, thus inferring the dynamic variations of relevant elemental contents in the soil.
文摘As part of the global effort to plant billion trees,an afforestation project is launched in Pakistan in Khyber Pakhtunkhwa(KP)province to conserve existing forests and to increase area under forest cover.The present study is designed to build a Systems'model by incorporating major activities of the Billion Tree Tsunami Afforestation Project(BTTAP)with special focus on afforestation activities to estimate the growth in forest area of KP.Availability of complete dataset was a challenge.To fix the model,the raw data taken from the project office has been utilized.Planning Commission Form 1-Phase I&II helped us with additional information.We relied on the data available for one and half period of the project as rest of the data is subject to the completion of the project.Our results show that the project target to enhance area under forest differs from the target to afforest area under the project.The system dynamics'model projection shows that the forest area of KP would be 23.59 million hectares at the end of the BTTA project,thus having an increase of 3.29%instead of 2%that has been initially proposed.However,the results show that the progress to meet the target in some afforestation classes is slow as compared to other categories.Farm forestry,plantation on communal lands and owners'plantation need special focus of the authority.Deforestation would affect 0.02 million hectares area of the project.The model under study may be used as a reference model that can be replicated to other areas where billion tree campaigns are going on.
基金supported by the Special Major Science and Technology Project of Anhui Province(S202103b06020066)the 2020 Annual Graduate Innovation Fund of Anhui Agricultural University(2020YSJ-21)。
文摘The aboveground biomass(AGB)of shrubs and small trees is the main component for the productivity and carbon storage of understory vegetation in subtropical secondary forests.However,few allometric models exist to accurately evaluate understory biomass.To estimate the AGB of five common shrub(diameter at base<5 cm,<5 m high)and one small tree species(<8 m high,trees’s seedling),206 individuals were harvested and species-specific and multi-species allometric models developed based on four predictors,height(H),stem diameter(D),crown area(Ca),and wood density(ρ).As expected,the six species possessed greater biomass in their stems compared with branches,with the lowest biomass in the leaves.Species-specific allometric models that employed stem diameter and the combined variables of D~2H andρDH as predictors accurately estimated the components and total AGB,with R^(2) values from 0.602 and 0.971.A multi-species shrub allometric model revealed that wood density×diameter×height(ρDH)was the best predictor,with R^(2) values ranging from between 0.81 and 0.89 for the components and total AGB,respectively.These results indicated that height(H)and diameter(D)were effective predictors for the models to estimate the AGB of the six species,and the introduction of wood density(ρ)improved their accuracy.The optimal models selected in this study could be applied to estimate the biomass of shrubs and small trees in subtropical regions.
文摘Based on the Nansha coral islets and reef's time-space attributes,and the intension and extension of the remote sensing information, the concept model and concept system of coral islets and reef are proposed.Then twin-tree remote sensing information model for different kinds of reef is constructed by using abstracted islets and reef's primitive, and the structure recognition system for coral islets and reef type is developed.
基金sponsored by the Federal Highway Administration(FHWA)in cooperation with the American Association of State Highway and Transportation Officials(AASHTO)
文摘Identifying risk factors for road traffic injuries can be considered one of the main priorities of transportation agencies. More than 12,000 fatal work zone crashes were reported between 2000 and 2013. Despite recent efforts to improve work zone safety, the frequency and severity of work zone crashes are still a big concern for transportation agencies. Although many studies have been conducted on different work zone safety-related issues, there is a lack of studies that investigate the effect of adverse weather conditions on work zone crash severity. This paper utilizes probit–classification tree, a relatively recent and promising combination of machine learning technique and conventional parametric model, to identify factors affecting work zone crash severity in adverse weather conditions using 8 years of work zone weatherrelated crashes (2006–2013) in Washington State. The key strength of this technique lies in its capability to alleviate the shortcomings of both parametric and nonparametric models. The results showed that both presence of traffic control device and lighting conditions are significant interacting variables in the developed complementary crash severity model for work zone weather-related crashes. Therefore, transportation agencies and contractors need to invest more in lighting equipment and better traffic control strategies at work zones, specifically during adverse weather conditions.
文摘In forest growing at any one site, the growth rate of an individual tree is determined principally by its size, which reflects its metabolic capacity, and by competition from neighboring trees. Competitive effects of a tree may be proportional to its size;such competition is termed ‘sym-metric’ and generally involves competition below ground for nutrients and water from the soil. Competition may also be ‘asymmetric’, where its effects are disproportionate to the size of the tree;this generally involves competition above ground for sunlight, when larger trees shade smaller, but the reverse cannot occur. This work examines three model systems often seen as exemplars relating individual tree growth rates to tree size and both competitive processes. Data of tree stem basal area growth rates in plots of even- aged, monoculture forest of blackbutt (Eucalyptus pilularis Smith) growing in sub-tropical eastern Australia were used to test these systems. It was found that none could distin-guish between size and competitive effects at any time in any one stand and, thus, allow quantification of the contribution of each to explaining tree growth rates. They were prevented from doing so both by collinearity between the terms used to describe each of the effects and technical problems involved in the use of nonlinear least-squares regression to fit the models to any one data set. It is concluded that quite new approaches need to be devised if the effects on tree growth of tree size and competitive processes are to be quantified and modelled successfully.