In the present paper we introduce new heuristic methods for the state minimization of nondeterministic finite automata. These methods are based on the classical Kameda-Weiner algorithm joined with local search heurist...In the present paper we introduce new heuristic methods for the state minimization of nondeterministic finite automata. These methods are based on the classical Kameda-Weiner algorithm joined with local search heuristics, such as stochastic hill climbing and simulated annealing. The description of the proposed methods is given and the results of the numerical experiments are provided.展开更多
Early case detection and isolation of patients infected with highly infectious diseases through active case search (ACS) are important for early commencement of treatment and control of the disease within a population...Early case detection and isolation of patients infected with highly infectious diseases through active case search (ACS) are important for early commencement of treatment and control of the disease within a population. This study aimed to assess the ACS of COVID-19 in healthcare facilities during the third wave of the pandemic in Ekiti State, Nigeria. This cross-sectional study was conducted in all healthcare facilities in Ekiti State. All cadres of local government primary healthcare workers were trained to carry out the ACS using semi-structured interviewer-administered questionnaire uploaded on android phone software open data kit (ODK). ACS was conducted between June and September (epidemiological week 23 to 36), 2021 and the collected data were analyzed using IBM SPSS version 23.0. P-value < 0.05 was taken as significant. The number of ACS visits for COVID-19 increases with epidemiological week progression, but the highest was in week 32 (9.9%). Cases of suspected COVID-19 in the healthcare facilities in the last one week were reported in more than half (58%) of the visits and 57.8% of those reported, documented between 1 - 4 cases. Also, out of those that were reported, 42% of them missed (not line listed) at least one suspected case of COVID-19. The private health facilities missed more cases of COVID-19 (54.3%) than other categories of health facilities (p < 0.001). The health educators and local government immunization officers (LIO) than other cadre of healthcare workers found most missed cases (57.1% and 51.4% respectively) in their visits (p < 0.001). The health educator as well as the LIO detected the highest proportion of missed suspected cases which shows that disease surveillance officers alone may not be adequate for ACS, there is a need to involve other local government team member.展开更多
A searching-machining system of RL & SM (Rapid Location and State Memory) universal fixture is here introduced, and the concept of rapid searching technology and manufacturing information transformation is then de...A searching-machining system of RL & SM (Rapid Location and State Memory) universal fixture is here introduced, and the concept of rapid searching technology and manufacturing information transformation is then described, with the appropriate control methods and key techniques for its realization being proposed and also practically realized. Theoretical analysis and experimental results show that the proposed idea and methods are feasible to serve as in the practical application of the RL & SM system.展开更多
The density functional theory and its extension to ensembles of excited states can be formalized as thermodynamics. However, these theories are not unique because one of their key quantities, the kinetic energy densit...The density functional theory and its extension to ensembles of excited states can be formalized as thermodynamics. However, these theories are not unique because one of their key quantities, the kinetic energy density,can be defined in several ways. Usually, the everywhere positive gradient form is applied; however, other forms are also acceptable, provided they integrate to the true kinetic energy. Recently, a kinetic energy density of the ground-state theory maximizing the information entropy has been proposed. Here, ensemble kinetic energy density, leading to extremum information entropy, is derived via constrained search. The corresponding ensemble temperature is found to be constant.展开更多
This paper proposes a scheme for implementing the adiabatic quantum search algorithm of different marked items in an unsorted list of N items with atoms in a cavity driven by lasers. N identical three-level atoms are ...This paper proposes a scheme for implementing the adiabatic quantum search algorithm of different marked items in an unsorted list of N items with atoms in a cavity driven by lasers. N identical three-level atoms are trapped in a single-mode cavity. Each atom is driven by a set of three pulsed laser fields. In each atom, the same level represents a database entry. Two of the atoms are marked differently. The marked atom has an energy gap between its two ground states. The two different marked states can be sought out respectively starting from an initial entangled state by controlling the ratio of three pulse amplitudes. Moreover, the mechanism, based on adiabatic passage, constitutes a decoherence-free method in the sense that spontaneous emission and cavity damping are avoided since the dynamics follows the dark state. Furthermore, this paper extends the algorithm with m（m〉2） atoms marked in an ideal situation. Any different marked state can be sought out.展开更多
文摘In the present paper we introduce new heuristic methods for the state minimization of nondeterministic finite automata. These methods are based on the classical Kameda-Weiner algorithm joined with local search heuristics, such as stochastic hill climbing and simulated annealing. The description of the proposed methods is given and the results of the numerical experiments are provided.
文摘Early case detection and isolation of patients infected with highly infectious diseases through active case search (ACS) are important for early commencement of treatment and control of the disease within a population. This study aimed to assess the ACS of COVID-19 in healthcare facilities during the third wave of the pandemic in Ekiti State, Nigeria. This cross-sectional study was conducted in all healthcare facilities in Ekiti State. All cadres of local government primary healthcare workers were trained to carry out the ACS using semi-structured interviewer-administered questionnaire uploaded on android phone software open data kit (ODK). ACS was conducted between June and September (epidemiological week 23 to 36), 2021 and the collected data were analyzed using IBM SPSS version 23.0. P-value < 0.05 was taken as significant. The number of ACS visits for COVID-19 increases with epidemiological week progression, but the highest was in week 32 (9.9%). Cases of suspected COVID-19 in the healthcare facilities in the last one week were reported in more than half (58%) of the visits and 57.8% of those reported, documented between 1 - 4 cases. Also, out of those that were reported, 42% of them missed (not line listed) at least one suspected case of COVID-19. The private health facilities missed more cases of COVID-19 (54.3%) than other categories of health facilities (p < 0.001). The health educators and local government immunization officers (LIO) than other cadre of healthcare workers found most missed cases (57.1% and 51.4% respectively) in their visits (p < 0.001). The health educator as well as the LIO detected the highest proportion of missed suspected cases which shows that disease surveillance officers alone may not be adequate for ACS, there is a need to involve other local government team member.
文摘A searching-machining system of RL & SM (Rapid Location and State Memory) universal fixture is here introduced, and the concept of rapid searching technology and manufacturing information transformation is then described, with the appropriate control methods and key techniques for its realization being proposed and also practically realized. Theoretical analysis and experimental results show that the proposed idea and methods are feasible to serve as in the practical application of the RL & SM system.
文摘The density functional theory and its extension to ensembles of excited states can be formalized as thermodynamics. However, these theories are not unique because one of their key quantities, the kinetic energy density,can be defined in several ways. Usually, the everywhere positive gradient form is applied; however, other forms are also acceptable, provided they integrate to the true kinetic energy. Recently, a kinetic energy density of the ground-state theory maximizing the information entropy has been proposed. Here, ensemble kinetic energy density, leading to extremum information entropy, is derived via constrained search. The corresponding ensemble temperature is found to be constant.
基金Project supported by the National Natural Science Foundation of China (Grant Nos 10574022 and 10575022)the Funds of Educational Committee of Fujian Province,China (Grant No JB07043)
文摘This paper proposes a scheme for implementing the adiabatic quantum search algorithm of different marked items in an unsorted list of N items with atoms in a cavity driven by lasers. N identical three-level atoms are trapped in a single-mode cavity. Each atom is driven by a set of three pulsed laser fields. In each atom, the same level represents a database entry. Two of the atoms are marked differently. The marked atom has an energy gap between its two ground states. The two different marked states can be sought out respectively starting from an initial entangled state by controlling the ratio of three pulse amplitudes. Moreover, the mechanism, based on adiabatic passage, constitutes a decoherence-free method in the sense that spontaneous emission and cavity damping are avoided since the dynamics follows the dark state. Furthermore, this paper extends the algorithm with m（m〉2） atoms marked in an ideal situation. Any different marked state can be sought out.
