In order to ensure the security of information systems, it's essential to make sure that system behaviors are trusted. By analyzing threats that exist in executing procedures, a trust model based on structured pro...In order to ensure the security of information systems, it's essential to make sure that system behaviors are trusted. By analyzing threats that exist in executing procedures, a trust model based on structured protection is proposed. We consider that functional components, system actions and message flows between components are three key factors of information systems. Structured protection requirements on components, connections and action parameters are also provided. Four trusted properties of the model are deducted through formal analysis, and trusted system behavior is defined based on these properties. Furthermore, decision theorem of trusted system behavior is proved. The developed prototype system indicates the model is practical. It is a general theory model built on logic deduction and independent on specific environment and the behaviors of the system designed and implemented following the model are trusted.展开更多
This study combines the analytical model to build a landside monitoring decision support system of the Web GIS. The landslide area of Lishan is a case study for the research. The analysis of the risk degree for the la...This study combines the analytical model to build a landside monitoring decision support system of the Web GIS. The landslide area of Lishan is a case study for the research. The analysis of the risk degree for the landslide area in Lishan is based on the three-layer architecture of Fuzzy Analytic Hierarchical Process （FAHP）. There are four fuzzy model structures used in monitoring devices： rainfall, groundwater level, Time Domain Reflectometry （TDR） monitored the subsurface deformation, and Global Positioning System （GPS） monitored ground displacement. These structures are relative to four membership functions that are used to classify four states, including safety, attention, warning, and danger. The risk degree of the landslide area can be obtained through the fuzzy rules by determining management criteria. Calculating the total scores of historical monitoring record of the rainfall, groundwater level, TDR, and GPS through the fuzzy theory can determine the analytical results of risk degrees in Lishan landslide area. In this whole area, management criterion is in the state of attention when the total score is larger than 72, in the state of warning when total score is larger than 95, and in the state of danger when total score is larger than 113. The system provides real-time monitoring data, and prewarning decision support in order to announce and prevent the disaster at the earliest time.展开更多
This paper considers global asymptotic properties for an age-structured model of heroin use based on the principles of mathematical epidemiology where the incidence rate depends on the age of susceptible individuals. ...This paper considers global asymptotic properties for an age-structured model of heroin use based on the principles of mathematical epidemiology where the incidence rate depends on the age of susceptible individuals. The basic reproduction number of the heroin spread is obtained. It completely determines the stability of equilibria. By using the direct Lyapunov method with Volterra type Lyapunov function, the authors show that the drug-free equilibrium is globally asymptotically stable if the basic reproduction number is less than one, and the unique drug spread equilibrium is globally asymptotically stable if the basic reproduction number is greater than one.展开更多
In this paper, we consider a stage-structured predator-prey model with modified Leslie- Gower and Holling-type II schemes. Using an iterative technique, we investigate the global stability of the positive equilibrium ...In this paper, we consider a stage-structured predator-prey model with modified Leslie- Gower and Holling-type II schemes. Using an iterative technique, we investigate the global stability of the positive equilibrium of the system. Finally, some examples are presented to verify our main result.展开更多
基金supported by National Science and Technology Major Project under Grant No.2012ZX03002003Funds of Key Lab of Fujian Province University Network Security and Cryptology under Grant No.2011009Open Research Project of State Key Laboratory of Information Security in Institute of Software,Chinese Academy of Sciences
文摘In order to ensure the security of information systems, it's essential to make sure that system behaviors are trusted. By analyzing threats that exist in executing procedures, a trust model based on structured protection is proposed. We consider that functional components, system actions and message flows between components are three key factors of information systems. Structured protection requirements on components, connections and action parameters are also provided. Four trusted properties of the model are deducted through formal analysis, and trusted system behavior is defined based on these properties. Furthermore, decision theorem of trusted system behavior is proved. The developed prototype system indicates the model is practical. It is a general theory model built on logic deduction and independent on specific environment and the behaviors of the system designed and implemented following the model are trusted.
文摘This study combines the analytical model to build a landside monitoring decision support system of the Web GIS. The landslide area of Lishan is a case study for the research. The analysis of the risk degree for the landslide area in Lishan is based on the three-layer architecture of Fuzzy Analytic Hierarchical Process （FAHP）. There are four fuzzy model structures used in monitoring devices： rainfall, groundwater level, Time Domain Reflectometry （TDR） monitored the subsurface deformation, and Global Positioning System （GPS） monitored ground displacement. These structures are relative to four membership functions that are used to classify four states, including safety, attention, warning, and danger. The risk degree of the landslide area can be obtained through the fuzzy rules by determining management criteria. Calculating the total scores of historical monitoring record of the rainfall, groundwater level, TDR, and GPS through the fuzzy theory can determine the analytical results of risk degrees in Lishan landslide area. In this whole area, management criterion is in the state of attention when the total score is larger than 72, in the state of warning when total score is larger than 95, and in the state of danger when total score is larger than 113. The system provides real-time monitoring data, and prewarning decision support in order to announce and prevent the disaster at the earliest time.
基金supported partially by the National Natural Science Foundation of China under Grant Nos.1127131411371305
文摘This paper considers global asymptotic properties for an age-structured model of heroin use based on the principles of mathematical epidemiology where the incidence rate depends on the age of susceptible individuals. The basic reproduction number of the heroin spread is obtained. It completely determines the stability of equilibria. By using the direct Lyapunov method with Volterra type Lyapunov function, the authors show that the drug-free equilibrium is globally asymptotically stable if the basic reproduction number is less than one, and the unique drug spread equilibrium is globally asymptotically stable if the basic reproduction number is greater than one.
文摘In this paper, we consider a stage-structured predator-prey model with modified Leslie- Gower and Holling-type II schemes. Using an iterative technique, we investigate the global stability of the positive equilibrium of the system. Finally, some examples are presented to verify our main result.
