This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condit...This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.展开更多
Multi‐modal brain image registration has been widely applied to functional localisation,neurosurgery and computational anatomy.The existing registration methods based on the dense deformation fields involve too many ...Multi‐modal brain image registration has been widely applied to functional localisation,neurosurgery and computational anatomy.The existing registration methods based on the dense deformation fields involve too many parameters,which is not conducive to the exploration of correct spatial correspondence between the float and reference images.Meanwhile,the unidirectional registration may involve the deformation folding,which will result in the change of topology during registration.To address these issues,this work has presented an unsupervised image registration method using the free form deformation(FFD)and the symmetry constraint‐based generative adversarial networks(FSGAN).The FSGAN utilises the principle component analysis network‐based structural representations of the reference and float images as the inputs and uses the generator to learn the FFD model parameters,thereby producing two deformation fields.Meanwhile,the FSGAN uses two discriminators to decide whether the bilateral registration have been realised simultaneously.Besides,the symmetry constraint is utilised to construct the loss function,thereby avoiding the deformation folding.Experiments on BrainWeb,high grade gliomas,IXI and LPBA40 show that compared with state‐of‐the‐art methods,the FSGAN provides superior performance in terms of visual comparisons and such quantitative indexes as dice value,target registration error and computational efficiency.展开更多
Malaria is still a major public health concern in Cameroon as more than 20 million people are at risk of the disease. Despite the government’s effort to scale up the distribution of long lasting insecticide-treated b...Malaria is still a major public health concern in Cameroon as more than 20 million people are at risk of the disease. Despite the government’s effort to scale up the distribution of long lasting insecticide-treated bed nets (LLINs), full ownership and optimal use is still limited. In 2021, over a million LLINs were made available for distribution in the South West Region. However, the current situation of malaria has not yet been ascertained following the 2021 mass distribution campaign (MDC). Therefore, the aim of this study was to determine LLIN ownership, coverage, usage and the prevalence of malaria following the 2021 MDC in the Tiko Health District (THD), South West Region of Cameroon. A cross-sectional study was carried from May 1 to 27, 2022 in which a multi-stage sampling technique was used to enroll eligible participants. Data were collected from household heads using questionnaires and capillary blood samples collected from consented household members were used to test for malaria. Data were analyzed using SPSS version 25 at 0.05 significance level. From the 150 households surveyed, 96 (64.0%) owned a mosquito net before the recent MDC. There was an overall significant increase (p p = 0.644) in LLINs ownership between areas where door-to-door (79.5%) and fixed “Hit and Run” (75.8%) strategies were used in the distribution of LLINs in THD. The prevalence of malaria was 10.2%. The regular use of LLINs was significantly associated (p = 0.007) with low malaria prevalence. The 2021 MDC had an impact on malaria prevalence in those who properly used them.展开更多
Background: In lacustrine communities, whether in Benin or elsewhere, populations use impregnated mosquito nets (IMNs) as fishing nets. This depletes the lake of its fishery resources, which in turn are contaminated b...Background: In lacustrine communities, whether in Benin or elsewhere, populations use impregnated mosquito nets (IMNs) as fishing nets. This depletes the lake of its fishery resources, which in turn are contaminated by the pyrethroids impregnated in the nets. This study aims to determine the scale and factors associated with the use of pyrethroid-impregnated mosquito nets as fishing tools in the municipality of Sô-Ava in Benin. Methods: This is a cross-sectional and analytical study with two components. First, a quantitative component was made up of 280 volunteers who were interviewed in the seven districts of the city. Data collection was done in two phases: the first from September to October 2020, and the second in August 2022. Data were analyzed with Stata and logistic regression was used. Another qualitative component was made up of forty participants chosen by reasoned choice, of which 32 were split into four focus groups of eight members each, and the rest participated in semi-structured interviews. Triangulation of the different sources was used to analyze the data. Results: Around 67% of the population reported using impregnated mosquito nets as fishing tools and 33% exclusively for malaria. Seasonal fishermen (ORa = 2.03, CI = 1.35 - 4.97, P = 0.004) and years of professional experience (ORa = 1.53, CI = 1.00 - 2.05, P = 0.021) increase the risk of using these nets as fishing tools. The use of insecticide-treated mosquito nets against mosquitoes causes skin scratching and impairs breathing because of the impregnation products, as reported by respondents. Conclusion: A high prevalence of inappropriate use of impregnated mosquito nets in fishing practices is highlighted in this study. Interviews in the field revealed that nets are diverted for fishing purposes to increase the volume of catches. Consequently, it will be appropriate to assess the pyrethroid content in water and fishery products.展开更多
This work;It was made to determine the positive and negative usage information, attitudes and behaviors of social networking networks for users. Today, it is well known how the wide social effects of social networking...This work;It was made to determine the positive and negative usage information, attitudes and behaviors of social networking networks for users. Today, it is well known how the wide social effects of social networking sites are widespread and effective. As far as it can be followed from written and visual media, it causes significant damages for attitudes and behaviors for individuals. Looking at the results of the study, it seems impossible to limit the time and necessity of these networks for people, but it is understood that people force their limits and capacity. It was determined that the general acceptance and rejection areas are mixed and the dominant distinctive effects were weakened. Unable to prevent social dissolution and deterioration was realized by these social networks of networks. However, we cannot only talk about negative effects because their positive effects should be mentioned. Data were obtained in this direction. For example, some segments encourage the users of these sites to have more freedom, to develop democracy and human rights awareness. However, the real problem is when and where to stand. This study;Social networking networks use information, attitudes and behaviors;It was carried out for the purpose of evaluating the use of nicknames and networks for the use of networks. The data of the study were obtained by the application of a questionnaire and the data obtained were analyzed with appropriate statistical analysis methods. In the first part of the study, field study/operational concept scanning is performed and theoretical information is included. In the second part, the purpose of the study, the problem status, the importance of the study, limitations, assumptions, problem question, research method, research universe and sample are specified and informed. In the third section, the data obtained using appropriate statistical methods are analyzed. In the last section, some important suggestions and comments are made in the light of the data obtained.展开更多
This paper focuses on the intrusion classification of huge amounts of data in a network intrusion detection system. An intrusion detection model based on deep belief nets （DBN） is proposed to conduct intrusion detec...This paper focuses on the intrusion classification of huge amounts of data in a network intrusion detection system. An intrusion detection model based on deep belief nets （DBN） is proposed to conduct intrusion detection,and the principles regarding DBN are discussed.The DBN is composed of a multiple unsupervised restricted Boltzmann machine （RBM） and a supervised back propagation （BP）network.First,the DBN in the proposed model is pre-trained in a fast and greedy way,and each RBM is trained by the contrastive divergence algorithm.Secondly,the whole network is fine-tuned by the supervised BP algorithm,which is employed for classifying the low-dimensional features of the intrusion data generated by the last RBM layer simultaneously.The experimental results on the KDD CUP 1999 dataset demonstrate that the DBN using the RBM network with three or more layers outperforms the self-organizing maps （SOM）and neural network （NN）in intrusion classification.Therefore,the DBN is an efficient approach for intrusion detection in high-dimensional space.展开更多
Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and pl...Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and planning were collectively carried out to take full advantages of the flexibility of the FMS. Through the lens of system theory, two types of resources were distinguished: major role and auxiliary role, and the major role was used to construct the FMS' Petri net. The method simplified the Petri net's construction and gave a clear flow chart for scheduling. Hence, the auxiliary resource allocation could be easily carried out according to the schedule, which was proposed by heuristic search algorithm. At last, the efficacy of the Petri net model for online scheduling in a resource constrained environment was discussed.展开更多
Aim To present a quantitative method for structural complexity analysis and evaluation of information systems. Methods Based on Petri net modeling and analysis techniques and with the aid of mathematical tools in ge...Aim To present a quantitative method for structural complexity analysis and evaluation of information systems. Methods Based on Petri net modeling and analysis techniques and with the aid of mathematical tools in general net theory(GNT), a quantitative method for structure description and analysis of information systems was introduced. Results The structural complexity index and two related factors, i.e. element complexity factor and connection complexity factor were defined, and the relations between them and the parameters of the Petri net based model of the system were derived. Application example was presented. Conclusion The proposed method provides a theoretical basis for quantitative analysis and evaluation of the structural complexity and can be applied in the general planning and design processes of the information systems.展开更多
In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, ob...In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems,a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems.展开更多
基金the Project of Industrial Internet and Integration of Industrialization and Industrialization of Guangxi,China under Grant No.Guigong2021-37.
文摘This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.
基金supported in part by the National Key Research and Development Program of China under Grant 2018Y FE0206900in part by the National Natural Science Foundation of China under Grant 61871440in part by the CAAIHuawei MindSpore Open Fund.We gratefully acknowledge the support of MindSpore for this research.
文摘Multi‐modal brain image registration has been widely applied to functional localisation,neurosurgery and computational anatomy.The existing registration methods based on the dense deformation fields involve too many parameters,which is not conducive to the exploration of correct spatial correspondence between the float and reference images.Meanwhile,the unidirectional registration may involve the deformation folding,which will result in the change of topology during registration.To address these issues,this work has presented an unsupervised image registration method using the free form deformation(FFD)and the symmetry constraint‐based generative adversarial networks(FSGAN).The FSGAN utilises the principle component analysis network‐based structural representations of the reference and float images as the inputs and uses the generator to learn the FFD model parameters,thereby producing two deformation fields.Meanwhile,the FSGAN uses two discriminators to decide whether the bilateral registration have been realised simultaneously.Besides,the symmetry constraint is utilised to construct the loss function,thereby avoiding the deformation folding.Experiments on BrainWeb,high grade gliomas,IXI and LPBA40 show that compared with state‐of‐the‐art methods,the FSGAN provides superior performance in terms of visual comparisons and such quantitative indexes as dice value,target registration error and computational efficiency.
文摘Malaria is still a major public health concern in Cameroon as more than 20 million people are at risk of the disease. Despite the government’s effort to scale up the distribution of long lasting insecticide-treated bed nets (LLINs), full ownership and optimal use is still limited. In 2021, over a million LLINs were made available for distribution in the South West Region. However, the current situation of malaria has not yet been ascertained following the 2021 mass distribution campaign (MDC). Therefore, the aim of this study was to determine LLIN ownership, coverage, usage and the prevalence of malaria following the 2021 MDC in the Tiko Health District (THD), South West Region of Cameroon. A cross-sectional study was carried from May 1 to 27, 2022 in which a multi-stage sampling technique was used to enroll eligible participants. Data were collected from household heads using questionnaires and capillary blood samples collected from consented household members were used to test for malaria. Data were analyzed using SPSS version 25 at 0.05 significance level. From the 150 households surveyed, 96 (64.0%) owned a mosquito net before the recent MDC. There was an overall significant increase (p p = 0.644) in LLINs ownership between areas where door-to-door (79.5%) and fixed “Hit and Run” (75.8%) strategies were used in the distribution of LLINs in THD. The prevalence of malaria was 10.2%. The regular use of LLINs was significantly associated (p = 0.007) with low malaria prevalence. The 2021 MDC had an impact on malaria prevalence in those who properly used them.
文摘Background: In lacustrine communities, whether in Benin or elsewhere, populations use impregnated mosquito nets (IMNs) as fishing nets. This depletes the lake of its fishery resources, which in turn are contaminated by the pyrethroids impregnated in the nets. This study aims to determine the scale and factors associated with the use of pyrethroid-impregnated mosquito nets as fishing tools in the municipality of Sô-Ava in Benin. Methods: This is a cross-sectional and analytical study with two components. First, a quantitative component was made up of 280 volunteers who were interviewed in the seven districts of the city. Data collection was done in two phases: the first from September to October 2020, and the second in August 2022. Data were analyzed with Stata and logistic regression was used. Another qualitative component was made up of forty participants chosen by reasoned choice, of which 32 were split into four focus groups of eight members each, and the rest participated in semi-structured interviews. Triangulation of the different sources was used to analyze the data. Results: Around 67% of the population reported using impregnated mosquito nets as fishing tools and 33% exclusively for malaria. Seasonal fishermen (ORa = 2.03, CI = 1.35 - 4.97, P = 0.004) and years of professional experience (ORa = 1.53, CI = 1.00 - 2.05, P = 0.021) increase the risk of using these nets as fishing tools. The use of insecticide-treated mosquito nets against mosquitoes causes skin scratching and impairs breathing because of the impregnation products, as reported by respondents. Conclusion: A high prevalence of inappropriate use of impregnated mosquito nets in fishing practices is highlighted in this study. Interviews in the field revealed that nets are diverted for fishing purposes to increase the volume of catches. Consequently, it will be appropriate to assess the pyrethroid content in water and fishery products.
文摘This work;It was made to determine the positive and negative usage information, attitudes and behaviors of social networking networks for users. Today, it is well known how the wide social effects of social networking sites are widespread and effective. As far as it can be followed from written and visual media, it causes significant damages for attitudes and behaviors for individuals. Looking at the results of the study, it seems impossible to limit the time and necessity of these networks for people, but it is understood that people force their limits and capacity. It was determined that the general acceptance and rejection areas are mixed and the dominant distinctive effects were weakened. Unable to prevent social dissolution and deterioration was realized by these social networks of networks. However, we cannot only talk about negative effects because their positive effects should be mentioned. Data were obtained in this direction. For example, some segments encourage the users of these sites to have more freedom, to develop democracy and human rights awareness. However, the real problem is when and where to stand. This study;Social networking networks use information, attitudes and behaviors;It was carried out for the purpose of evaluating the use of nicknames and networks for the use of networks. The data of the study were obtained by the application of a questionnaire and the data obtained were analyzed with appropriate statistical analysis methods. In the first part of the study, field study/operational concept scanning is performed and theoretical information is included. In the second part, the purpose of the study, the problem status, the importance of the study, limitations, assumptions, problem question, research method, research universe and sample are specified and informed. In the third section, the data obtained using appropriate statistical methods are analyzed. In the last section, some important suggestions and comments are made in the light of the data obtained.
基金The National Key Technology R&D Program during the 12th Five-Year Plan Period(No.2013BAK01B02)the National Natural Science Foundation of China(No.61373176)the Scientific Research Projects of Shaanxi Educational Committee(No.14JK1693)
文摘This paper focuses on the intrusion classification of huge amounts of data in a network intrusion detection system. An intrusion detection model based on deep belief nets （DBN） is proposed to conduct intrusion detection,and the principles regarding DBN are discussed.The DBN is composed of a multiple unsupervised restricted Boltzmann machine （RBM） and a supervised back propagation （BP）network.First,the DBN in the proposed model is pre-trained in a fast and greedy way,and each RBM is trained by the contrastive divergence algorithm.Secondly,the whole network is fine-tuned by the supervised BP algorithm,which is employed for classifying the low-dimensional features of the intrusion data generated by the last RBM layer simultaneously.The experimental results on the KDD CUP 1999 dataset demonstrate that the DBN using the RBM network with three or more layers outperforms the self-organizing maps （SOM）and neural network （NN）in intrusion classification.Therefore,the DBN is an efficient approach for intrusion detection in high-dimensional space.
文摘Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and planning were collectively carried out to take full advantages of the flexibility of the FMS. Through the lens of system theory, two types of resources were distinguished: major role and auxiliary role, and the major role was used to construct the FMS' Petri net. The method simplified the Petri net's construction and gave a clear flow chart for scheduling. Hence, the auxiliary resource allocation could be easily carried out according to the schedule, which was proposed by heuristic search algorithm. At last, the efficacy of the Petri net model for online scheduling in a resource constrained environment was discussed.
文摘Aim To present a quantitative method for structural complexity analysis and evaluation of information systems. Methods Based on Petri net modeling and analysis techniques and with the aid of mathematical tools in general net theory(GNT), a quantitative method for structure description and analysis of information systems was introduced. Results The structural complexity index and two related factors, i.e. element complexity factor and connection complexity factor were defined, and the relations between them and the parameters of the Petri net based model of the system were derived. Application example was presented. Conclusion The proposed method provides a theoretical basis for quantitative analysis and evaluation of the structural complexity and can be applied in the general planning and design processes of the information systems.
基金The National Key Laboratory Program ( No.51458060104JW0316)the National High Technology Research and De-velopment Program of China (863 Program) (No.2003AA414120).
文摘In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems,a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems.
