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.展开更多
A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a ...A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant.展开更多
This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XM...This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.展开更多
The formal modeling and verification of aircraft takeoff is a challenge because it is a complex safety-critical operation.The task of aircraft takeoff is distributed amongst various computer-based controllers,however,...The formal modeling and verification of aircraft takeoff is a challenge because it is a complex safety-critical operation.The task of aircraft takeoff is distributed amongst various computer-based controllers,however,with the growing malicious threats a secure communication between aircraft and controllers becomes highly important.This research serves as a starting point for integration of BB84 quantum protocol with petri nets for secure modeling and verification of takeoff procedure.The integrated model combines the BB84 quantum cryptographic protocol with powerful verification tool support offered by petri nets.To model certain important properties of BB84,a new variant of petri nets coined as Quantum Nets are proposed by defining their mathematical foundations and overall system dynamics,furthermore,some important system properties are also abstractly defined.The proposed QuantumNets are then applied for modeling of aircraft takeoff process by defining three quantum nets:namely aircraft,runway controller and gate controller.For authentication between quantum nets,the use of external places and transitions is demonstrated to describe the encryptiondecryption process of qubits stream.Finally,the developed takeoff quantum network is verified through simulation offered by colored petri-net(CPN)Tools.Moreover,reachability tree(RT)analysis is also performed to have greater confidence in feasibility and correctness of the proposed aircraft takeoff model through the Quantum Nets.展开更多
基金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.
文摘A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant.
基金Supported by the Beijing Natural Science Foundation(9133020)the National Natural Science Foundation of China(70972007)+1 种基金National Sciences Foundation Committee and General Administration of Civil Aviation of China(60672180)Beijing Municipal Natural Science Foundation(9102015)
文摘This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.
文摘The formal modeling and verification of aircraft takeoff is a challenge because it is a complex safety-critical operation.The task of aircraft takeoff is distributed amongst various computer-based controllers,however,with the growing malicious threats a secure communication between aircraft and controllers becomes highly important.This research serves as a starting point for integration of BB84 quantum protocol with petri nets for secure modeling and verification of takeoff procedure.The integrated model combines the BB84 quantum cryptographic protocol with powerful verification tool support offered by petri nets.To model certain important properties of BB84,a new variant of petri nets coined as Quantum Nets are proposed by defining their mathematical foundations and overall system dynamics,furthermore,some important system properties are also abstractly defined.The proposed QuantumNets are then applied for modeling of aircraft takeoff process by defining three quantum nets:namely aircraft,runway controller and gate controller.For authentication between quantum nets,the use of external places and transitions is demonstrated to describe the encryptiondecryption process of qubits stream.Finally,the developed takeoff quantum network is verified through simulation offered by colored petri-net(CPN)Tools.Moreover,reachability tree(RT)analysis is also performed to have greater confidence in feasibility and correctness of the proposed aircraft takeoff model through the Quantum Nets.