Objective:To apply and verify the application of intelligent audit rules for urine analysis by Cui et al.Method:A total of 1139 urine samples of hospitalized patients in Tai’an Central Hospital from September 2021 to...Objective:To apply and verify the application of intelligent audit rules for urine analysis by Cui et al.Method:A total of 1139 urine samples of hospitalized patients in Tai’an Central Hospital from September 2021 to November 2021 were randomly selected,and all samples were manually microscopic examined after the detection of the UN9000 urine analysis line.The intelligent audit rules(including the microscopic review rules and manual verification rules)were validated based on the manual microscopic examination and manual audit,and the rules were adjusted to apply to our laboratory.The laboratory turnaround time(TAT)before and after the application of intelligent audit rules was compared.Result:The microscopic review rate of intelligent rules was 25.63%(292/1139),the true positive rate,false positive rate,true negative rate,and false negative rate were 27.66%(315/1139),6.49%(74/1139),62.34%(710/1139)and 3.51%(40/1139),respectively.The approval consistency rate of manual verification rules was 84.92%(727/856),the approval inconsistency rate was 0%(0/856),the interception consistency rate was 12.61%(108/856),and the interception inconsistency rate was 0%(0/856).Conclusion:The intelligence audit rules for urine analysis by Cui et al.have good clinical applicability in our laboratory.展开更多
The mathematical topological rule was proposed to plot the predominance area diagram.Based on the phase rules,the components of In-S-O system were analyzed and the coexisting points of three condensed phases were dete...The mathematical topological rule was proposed to plot the predominance area diagram.Based on the phase rules,the components of In-S-O system were analyzed and the coexisting points of three condensed phases were determined.Combined with the topological rules and thermody namic calculation,four relation diagrams between the coexisting points of three condensed phases,which were denoted as α,β stable plane-topological diagram and unstable plane-topological diagram,were plotted for the In-S-O system.The results show that α stable plane topological diagram is in accordance with the predominance area diagram of In-S-O system plotted by traditional methods,which indicates that the new method is feasible to plot the predominance area diagram of In-S-O system.Meanwhile,β unstable plane-topological diagram can be used to elucidate the indium production with the bath smelting process.展开更多
Association rules are useful for determining correlations between items. Applying association rules to intrusion detection system (IDS) can improve the detection rate, but false positive rate is also increased. Weight...Association rules are useful for determining correlations between items. Applying association rules to intrusion detection system (IDS) can improve the detection rate, but false positive rate is also increased. Weighted association rules are used in this paper to mine intrustion models, which can increase the detection rate and decrease the false positive rate by some extent. Based on this, the structure of host-based IDS using weighted association rules is proposed.展开更多
The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.Using formal or digital methods,natural language traffic rules...The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.Using formal or digital methods,natural language traffic rules can be translated into machine language and used by autonomous vehicles.In this paper,a translation flow is designed.Beyond the translation,a deeper examination is required,because the semantics of natural languages are rich and complex,and frequently contain hidden assumptions.The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved.In response,we propose a method of formal verification that combines equivalence verification with model checking.Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method.In addition,we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations.The experimental findings indicate that our digital rules utilizing metric temporal logic(MTL)can be easily incorporated into simulation platforms and autonomous driving systems(ADS).展开更多
The objective principles of shiology are mainly reflected in three fields as food acquisition, eaters' health and shiance order. Most of the objective principles in the field of food acquisition have been revealed...The objective principles of shiology are mainly reflected in three fields as food acquisition, eaters' health and shiance order. Most of the objective principles in the field of food acquisition have been revealed by agronomy and foodstuff science. This research mainly focuses on 10 principles in the field of eaters' health and shiance order and in addition, there are also five lemmas that extend from the above principles. The 10 principles are the core theory of the shiology knowledge system, which play an important role in the objective principles revealed by human beings and constitute one of the basic principles of human civilization. Compared with the scientific principles of mathematics, physics, chemistry and economics, the principles of shiology have three characteristics as popularity, practicability and survivability. The principles of shiology in the field of eaters' health are all around us, and everyone can understand and master them. Using the principles of shiology can improve the healthy life span of 8 billion people. The principles of shiology in the field of shiance order is an important tool of social governance, which can reduce human social conflicts, reduce social involution, improve overall efficiency of social operation, and maintain the sustainable development of human beings.展开更多
[Objectives]This study was conducted to analyze the medication rules of clinical prescriptions of traditional Chinese medicine decoction pieces for the treatment of novel coronavirus pneumonia(COVID-19)during the epid...[Objectives]This study was conducted to analyze the medication rules of clinical prescriptions of traditional Chinese medicine decoction pieces for the treatment of novel coronavirus pneumonia(COVID-19)during the epidemic in multiple regions based on data mining technology,so as to provide a reference for the treatment of COVID-19 with traditional Chinese medicine.[Methods]The traditional Chinese medicine prescriptions used since the outbreak of COVID-19 in Hubei Province during the fight against the epidemic from February 25,2020 to February 14,2022,the traditional Chinese medicine prescriptions used by Guizhou traditional Chinese medicine expert team aiding Hubei Province,the traditional Chinese medicine prescriptions for rehabilitation and conditioning of patients in Ezhou of Hubei Province after discharge,the traditional Chinese medicine prescriptions for the prevention and treatment of COVID-19 in Guizhou Province,and the traditional Chinese medicine prescriptions for the treatment of COVID-19 collected from the end of 2019 to the present from the Chinese database of CNKI were collected as the data of this study.Excel was used to establish a database and enter it into the TCM inheritance calculation platform V3.5,and the association rules and k-means clustering algorithm were used to analyze the frequency of herbal medicines in prescriptions during the treatment of COVID-19,the frequency of four natures,five flavors,meridian distribution,and drug combinations.[Results]A total of 1859 COVID-19 patients treated with traditional Chinese medicine were included,and the proportion of males was higher than that of females,and middle-aged and elderly people were the most common group.A total of 2170 prescriptions of traditional Chinese medicine were included,involving a total of 383 traditional Chinese medicines.High-frequency medicines included poria,Radix Bupleuri,Radix Scutellariae,Herba Pogostemonis,Fructus Forsythiae,Flos Loniceraeetc.The four natures were mainly concentrated in cold,warm and neutral,and the five flavors were mainly concentrated in bitter,pungent and sweet.The herbal medicines were mainly attributed to the lungs and stomach meridians,and were mainly of heat-clearing,exterior syndrome-relieving and diuresis-promoting and damp-clearing types.A total of 24 high-frequency herbal combinations and 35 association rule were excavated,and 3 types of formulas were obtained by cluster analysis.[Conclusions]The analysis results and medicine combinations obtained in the formulas are consistent with the traditional Chinese medicine treatment theory of COVID-19 caused by wind-heat filth accompanied with damp and toxin.展开更多
Breast cancer remains a significant global health challenge, necessitating effective early detection and prognosis to enhance patient outcomes. Current diagnostic methods, including mammography and MRI, suffer from li...Breast cancer remains a significant global health challenge, necessitating effective early detection and prognosis to enhance patient outcomes. Current diagnostic methods, including mammography and MRI, suffer from limitations such as uncertainty and imprecise data, leading to late-stage diagnoses. To address this, various expert systems have been developed, but many rely on type-1 fuzzy logic and lack mobile-based applications for data collection and feedback to healthcare practitioners. This research investigates the development of an Enhanced Mobile-based Fuzzy Expert system (EMFES) for breast cancer pre-growth prognosis. The study explores the use of type-2 fuzzy logic to enhance accuracy and model uncertainty effectively. Additionally, it evaluates the advantages of employing the python programming language over java for implementation and considers specific risk factors for data collection. The research aims to dynamically generate fuzzy rules, adapting to evolving breast cancer research and patient data. Key research questions focus on the comparative effectiveness of type-2 fuzzy logic, the handling of uncertainty and imprecise data, the integration of mobile-based features, the choice of programming language, and the creation of dynamic fuzzy rules. Furthermore, the study examines the differences between the Mamdani Inference System and the Sugeno Fuzzy Inference method and explores challenges and opportunities in deploying the EMFES on mobile devices. The research identifies a critical gap in existing breast cancer diagnostic systems, emphasizing the need for a comprehensive, mobile-enabled, and adaptable solution by developing an EMFES that leverages Type-2 fuzzy logic, the Sugeno Inference Algorithm, Python Programming, and dynamic fuzzy rule generation. This study seeks to enhance early breast cancer detection and ultimately reduce breast cancer-related mortality.展开更多
The network arbitration cases arising from the network lending disputes are pouring into the courts in large numbers.It is reported that the network arbitration system of some arbitration institutions even“can accept...The network arbitration cases arising from the network lending disputes are pouring into the courts in large numbers.It is reported that the network arbitration system of some arbitration institutions even“can accept more than 10,000 cases every day,”while online lending is booming,it has also caused a lot of contradictions and disputes,and traditional dispute resolution methods have failed to effectively respond to the need for efficient and convenient resolution of online lending disputes.This paper tries to study the arbitral award of online loans and proposes the construction of implementation review rules.展开更多
The teaching quality evaluation system based on data mining technology can accurately and fairly identify the core driving factors to improve teaching quality.This method adopts the analysis of big data correlation ru...The teaching quality evaluation system based on data mining technology can accurately and fairly identify the core driving factors to improve teaching quality.This method adopts the analysis of big data correlation rules,including data collection and processing preparation steps,builds the data warehouse of association rules,and then generates an educational quality evaluation framework using the principle of data mining.Based on this,this paper analyzes the construction design and method of the teaching evaluation system under data mining,hoping to provide help for the improvement of the teaching evaluation system and the improvement of teaching quality.展开更多
The mathematical topological rule was applied to plot the predominance area diagram.Based on the analysis of the mutually conjugated,only two diagrams were the best topological embryonic graphs to build the predominan...The mathematical topological rule was applied to plot the predominance area diagram.Based on the analysis of the mutually conjugated,only two diagrams were the best topological embryonic graphs to build the predominance area diagram of Me-S-O system.Combined with topological rules and thermodynamic calculation,four relation-diagrams were denoted asαandβstable and unstable plane-topological diagrams,which were plotted for the Pb-S-O system and Zn-S-O system.The results show thatβstable plane-topological diagram of Pb-S-O system andαstable one of Zn-S-O system are in accordance with the traditional predominance area diagram,which indicates that it is feasible to plot the predominance area diagram based on mathematical topological rules.Meanwhile,αunstable plane-topological diagram of Pb-S-O system can elucidate the phenomenon that metallic lead exists in higher oxygen and sulfur pressure area in modern bath smelting furnace.The mathematical topological rules broaden the application scope of the predominance area diagram and enrich the practice of its plotting.展开更多
An information system is a type of knowledge representation,and attribute reduction is crucial in big data,machine learning,data mining,and intelligent systems.There are several ways for solving attribute reduction pr...An information system is a type of knowledge representation,and attribute reduction is crucial in big data,machine learning,data mining,and intelligent systems.There are several ways for solving attribute reduction problems,but they all require a common categorization.The selection of features in most scientific studies is a challenge for the researcher.When working with huge datasets,selecting all available attributes is not an option because it frequently complicates the study and decreases performance.On the other side,neglecting some attributes might jeopardize data accuracy.In this case,rough set theory provides a useful approach for identifying superfluous attributes that may be ignored without sacrificing any significant information;nonetheless,investigating all available combinations of attributes will result in some problems.Furthermore,because attribute reduction is primarily a mathematical issue,technical progress in reduction is dependent on the advancement of mathematical models.Because the focus of this study is on the mathematical side of attribute reduction,we propose some methods to make a reduction for information systems according to classical rough set theory,the strength of rules and similarity matrix,we applied our proposed methods to several examples and calculate the reduction for each case.These methods expand the options of attribute reductions for researchers.展开更多
In the mobile learning system,it is important to adapt to mobile devices.Most of mobile learning systems are not quickly suitable for mobile devices.In order to provide adaptive mobile services,the approach for adapta...In the mobile learning system,it is important to adapt to mobile devices.Most of mobile learning systems are not quickly suitable for mobile devices.In order to provide adaptive mobile services,the approach for adaptation is proposed in this paper.Firstly,context of mobile devices and its influence on mobile learning system are analized and business rules based on these analysis are presented.Then,using the approach,the mobile learning system is constructed.The example implies this approach can adapt the mobile service to the mobile devices flexibly.展开更多
Diabetes is a common clinical disease and has many complications,among which diabetic heart disease is the leading cause of death in diabetic patients.This article collected the prescriptions for the treatment of diab...Diabetes is a common clinical disease and has many complications,among which diabetic heart disease is the leading cause of death in diabetic patients.This article collected the prescriptions for the treatment of diabetic heart disease,and used the traditional Chinese medicine inheritance support system to explore the prescription formulation rules.Finally,we included 43 prescriptions for analysis.We found that the rules of formulas for treating diabetic heart disease are complex,but Chinese medicines in these formulas are mainly with the effects of nourishing Qi,nourishing Yin and activating blood circulation.At the same time,we obtained 3 new prescriptions and discussed the clinical rationality of the new prescriptions.The purpose of this article is to provide reference for clinical prescription in the treatment of diabetic heart disease and the development of related new drugs.展开更多
Background:On December 8,2019,Wuhan City,Hubei Province,a new type of coronavirus disease 2019(COVID-2019)was firstly discovered,and COVID-2019 spread rapidly in China.The number of confirmed cases in various province...Background:On December 8,2019,Wuhan City,Hubei Province,a new type of coronavirus disease 2019(COVID-2019)was firstly discovered,and COVID-2019 spread rapidly in China.The number of confirmed cases in various provinces and cities rose sharply in China.In clinical treatment,Chinese medicine treatment showed significant efficacy.Since the outbreak,the National Health Commission(NHS)of China has issued seven editions of the“Pneumonitis Diagnosis and Treatment Program for COVID-2019”,at the same time,most provincial health boards and the Chinese Medicine Administration had also released information on the prevention and control scheme of COVID-2019 by Chinese medicine.The purpose of this study is to explore the compatibility rules of the main drugs in the prescription and the potential mechanism on COVID-2019 pneumonia,in order to provide reference for clinical research and new drug development of COVID-2019.Methods:This article uses the TCM inheritance assistance system and network pharmacology BATMAN-TCM online analysis system to collect and summarize the national“Pneumonitis Diagnosis and Treatment Program for COVID-2019(trial version sixth)”and formulae for adult treatment from the TCM prevention program of 23 provinces and cities.Results:We found that the most formulae for the treatment of COVID-2019 were modified on the basis of Maxing Shigan decoction and the top 5 high-frequencyn drugs are Xingren(Armeniacae semen amarum),Mahuang(Ephedrae herba),Gancao(Glycyrrhizae radix et rhizoma),Shigao(Gypsum fibrosum),and Haungqin(Radix scutellariae).High frequency traditional Chinese medicines are mainly used for relieving the symptoms,clearing away heat,eliminating dampness,resolving phlegm,relieving cough and asthma,promoting water and dampness,and tonifying deficiency.Warm medicine and bitter medicine are the most frequently used drugs in four Qi attribute and five flavor attribute,respectively.Most of drugs are belong to lung,stomach and spleen channel.Mahuang(Ephedrae herba),Xingren(Armeniacae semen amarum),Gancao(Glycyrrhizae radix et rhizoma),Shigao(Gypsum fibrosum),Cangzhu(Atractylodis rhizama)and Huoxiang(Pogostemonis herba)are the core drugs for treating COVID-2019.The TTD disease enrichment,target and signal transduction pathways of the six drugs showed that pneumonia and asthma were most closely related to COVID-2019.And the inflammatory reaction-related pathways may be the main pathways through which these drugs function.Conclusions:The modified Maxing Shigan decoction is the main prescription for the treatment of COVID-2019.The Xingren(Armeniacae semen amarum),Gancao(Glycyrrhizae radix et rhizoma),Shigao(Gypsum fibrosum),Cangzhu(Atractylodis rhizama)and Huoxiang(Pogostemonis herba)have certain theoretical and experimental basis for the treatment of COVID-2019 through network pharmacology analysis,but further experiments are needed to verify the effects.展开更多
In China,traditional Chinese medicine is widely used in the treatment of ischemic stroke,but its prescription rules needs to be further studied.This paper uses the traditional Chinese medicine inheritance auxiliary sy...In China,traditional Chinese medicine is widely used in the treatment of ischemic stroke,but its prescription rules needs to be further studied.This paper uses the traditional Chinese medicine inheritance auxiliary system(a software)to analyze the composition rules of a large number of prescriptions for the treatment of ischemic stroke,and discusses the clinical rationality of the new prescriptions.We found that the prescriptions for the treatment of ischemic stroke are mainly composed by herbs for promoting blood circulation and removing blood stasis,dredging collaterals and tonifying deficiency,and some of the new prescriptions are also in line with this characteristic.This paper can provide reference for clinical prescription in the treatment of ischemic stroke and the development of related new drugs.展开更多
The proof system, based on resolution method, has become quite popular in automatic theorem proving, because this method is simple to implement. At present many kinds of extensions for resolution method are known: Re...The proof system, based on resolution method, has become quite popular in automatic theorem proving, because this method is simple to implement. At present many kinds of extensions for resolution method are known: Resolution with restricted number of variables in disjuncts, resolution over Linear Equations, Cutting planes, etc. For Classical, Intuitionistic and Minimal (Johansson's) propositional logics, the authors introduce the family of resolution systems with full substitution rule (SRC, SRI and SRM) and with e-restricted substitution rule (SeRC, SeRf and SeRM), where the number of substituted formula connectives is bounded by . The authors show that for each of mentioned logic the SR-type system (in tree form) is polynomially equivalent to Frege systems by size, but for every ~' 〉 0, Se+lR-type has exponential speed-up over the SeR-type (in tree form).展开更多
Various trading strategies are applied in intraday high-frequency market to provide investors with reference signals to be on the right side of market at the right time. In this paper, we apply a trading strategy base...Various trading strategies are applied in intraday high-frequency market to provide investors with reference signals to be on the right side of market at the right time. In this paper, we apply a trading strategy based on the combination of ACD rules and pivot points system, which is first proposed by Mark B. Fisher, into Chinese market. This strategy has been used by millions of traders to achieve substantial profits in the last two decades, however, discussions concerning on the methods of calculating specific entry point in this trading strategy are rare, which is crucial to this strategy. We suggest an improvement to this popular strategy, providing the calculating and optimizing methods in detail to verify its effectiveness in recent Chinese futures market. Because of the high liquidity and low commissions in stock index futures market, this trading strategy achieves substantial profits .However, given the less liquidity in commodity futures market, profits decrease and even be neutralized by the relatively high commissions.展开更多
The Red-Thai Binh River system is an important water resource to the Northern Delta, serving the development of agriculture, people’s livelihood and other economic sectors through its upstream reservoirs and a system...The Red-Thai Binh River system is an important water resource to the Northern Delta, serving the development of agriculture, people’s livelihood and other economic sectors through its upstream reservoirs and a system of water abstraction works along the rivers. However, due to the impact of climate change and pressure from socio-economic development, the operation of the reservoir system according to Decision No. 740/QD-TTg was issued on June 17, 2019 by the Prime Minister of Government promulgating the Red-Thai Binh River system inter-reservoir operation rules (Operation rules 740) has some shortcomings that need adjustments for higher water use efficiency, meeting downstream water demand and power generation benefits. Through the results of water balance calculation and analysis of economic benefits from water use scenarios, this research proposed adjustment to the inter-reservoir operation during dry season in the Red River system. The result showed that an average water level of 1.0 - 1.7 m should be maintained at Hanoi during the increased release period.展开更多
The competition among modem enterprises has been converted from products to capability. As the basis of competition, production system can't win the market unless it takes advantage of its capability in competition. ...The competition among modem enterprises has been converted from products to capability. As the basis of competition, production system can't win the market unless it takes advantage of its capability in competition. Here in this article, the evolutionary rules of production system contributing to the establishment, renovation, reform, invention and promotion of the production of modem enterprises are observed.展开更多
[Objective] This program aimed at providing basis for timely and effective control of Asian corn borer Ostrinia furnacalis in waxy corn fields through investigations and researching on occurrence and damage characteri...[Objective] This program aimed at providing basis for timely and effective control of Asian corn borer Ostrinia furnacalis in waxy corn fields through investigations and researching on occurrence and damage characteristics of Ostrinia furnacalis in the main producing area of waxy corn of Shanxi Province.[Method] Attraction and collection of the adults,fixed-points and random investigations on eggs and larvae were the main methods in this research.[Result] Ostrinia furnacalis appeared in two generations per year in the field of waxy corns,the generations were basically nonoverlapping with significant interval.The peak period of the overwintering generation adults in the field of waxy corn was early to middle of June,peak period of the first generation adults was from early August to late August;peak period of the first generation eggs was from the end of early June to the binning of late June,the peak period of the second generation eggs was from the middle of early August to late August.Egg-laying performances of Ostrinia furnacalis on waxy corns in different growth period suggested that the temptation of waxy corns to egg-laying of Ostrinia furnacalis had gradually increased with the continuation of growth stages before the heading of waxy corns;while after the heading of waxy corns,the temptation of waxy corns to egg-laying of Ostrinia furnacalis had gradually reduced with the continuation of growth stages.The amount of eggs on waxy corns was more than eggs on normal corns with the same growth period and growth conditions.The first generation of Ostrinia furnacalis caused more serious damages than the second generation.The first generation larvae caused more serious damages on waxy corns with early sowing period than with middle sowing period,while the late sowing fields basically uninjured.The early sowing and middle sowing corns were damaged but lightly,due to the slight occurrence of the first generation larvae.The second generation larvae caused more serious damages in late sowing waxy corn field than in middle sowing waxy corn field.As the early sowing waxy corns were harvested before the beginning of damage peak period of the second generation larvae,they were basically uninjured or slightly damaged by the second generation larvae in general years.Because the second generation larvae were in large-scale occurrence,they had caused serious damages to late and later middle sowing waxy corns.Incidence of ear rot disease on the female ears of waxy corns was closely related to the damages of Ostrinia furnacalis on ears,which was higher on the ears infested by Ostrinia furnacalis.[Conclusion] Comprehensive control on the second generation of Ostrinia furnacalis in the mid and late sowing field of waxy corn should be strengthened.展开更多
文摘Objective:To apply and verify the application of intelligent audit rules for urine analysis by Cui et al.Method:A total of 1139 urine samples of hospitalized patients in Tai’an Central Hospital from September 2021 to November 2021 were randomly selected,and all samples were manually microscopic examined after the detection of the UN9000 urine analysis line.The intelligent audit rules(including the microscopic review rules and manual verification rules)were validated based on the manual microscopic examination and manual audit,and the rules were adjusted to apply to our laboratory.The laboratory turnaround time(TAT)before and after the application of intelligent audit rules was compared.Result:The microscopic review rate of intelligent rules was 25.63%(292/1139),the true positive rate,false positive rate,true negative rate,and false negative rate were 27.66%(315/1139),6.49%(74/1139),62.34%(710/1139)and 3.51%(40/1139),respectively.The approval consistency rate of manual verification rules was 84.92%(727/856),the approval inconsistency rate was 0%(0/856),the interception consistency rate was 12.61%(108/856),and the interception inconsistency rate was 0%(0/856).Conclusion:The intelligence audit rules for urine analysis by Cui et al.have good clinical applicability in our laboratory.
基金Project(2011AA061003)supported by the High-tech Research and Development Program of China
文摘The mathematical topological rule was proposed to plot the predominance area diagram.Based on the phase rules,the components of In-S-O system were analyzed and the coexisting points of three condensed phases were determined.Combined with the topological rules and thermody namic calculation,four relation diagrams between the coexisting points of three condensed phases,which were denoted as α,β stable plane-topological diagram and unstable plane-topological diagram,were plotted for the In-S-O system.The results show that α stable plane topological diagram is in accordance with the predominance area diagram of In-S-O system plotted by traditional methods,which indicates that the new method is feasible to plot the predominance area diagram of In-S-O system.Meanwhile,β unstable plane-topological diagram can be used to elucidate the indium production with the bath smelting process.
文摘Association rules are useful for determining correlations between items. Applying association rules to intrusion detection system (IDS) can improve the detection rate, but false positive rate is also increased. Weighted association rules are used in this paper to mine intrustion models, which can increase the detection rate and decrease the false positive rate by some extent. Based on this, the structure of host-based IDS using weighted association rules is proposed.
文摘The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.Using formal or digital methods,natural language traffic rules can be translated into machine language and used by autonomous vehicles.In this paper,a translation flow is designed.Beyond the translation,a deeper examination is required,because the semantics of natural languages are rich and complex,and frequently contain hidden assumptions.The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved.In response,we propose a method of formal verification that combines equivalence verification with model checking.Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method.In addition,we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations.The experimental findings indicate that our digital rules utilizing metric temporal logic(MTL)can be easily incorporated into simulation platforms and autonomous driving systems(ADS).
文摘The objective principles of shiology are mainly reflected in three fields as food acquisition, eaters' health and shiance order. Most of the objective principles in the field of food acquisition have been revealed by agronomy and foodstuff science. This research mainly focuses on 10 principles in the field of eaters' health and shiance order and in addition, there are also five lemmas that extend from the above principles. The 10 principles are the core theory of the shiology knowledge system, which play an important role in the objective principles revealed by human beings and constitute one of the basic principles of human civilization. Compared with the scientific principles of mathematics, physics, chemistry and economics, the principles of shiology have three characteristics as popularity, practicability and survivability. The principles of shiology in the field of eaters' health are all around us, and everyone can understand and master them. Using the principles of shiology can improve the healthy life span of 8 billion people. The principles of shiology in the field of shiance order is an important tool of social governance, which can reduce human social conflicts, reduce social involution, improve overall efficiency of social operation, and maintain the sustainable development of human beings.
基金Supported by Public Health and Epidemic Prevention and Control Project of Guiyang Bureau of Science and Technology([2022]-4-4-5)Guizhou Provincial Key Discipline of Traditional Chinese Medicine and Ethnic Medicine:Clinical Traditional Chinese Medicine(QZYYZDXK(JS)-2023-04).
文摘[Objectives]This study was conducted to analyze the medication rules of clinical prescriptions of traditional Chinese medicine decoction pieces for the treatment of novel coronavirus pneumonia(COVID-19)during the epidemic in multiple regions based on data mining technology,so as to provide a reference for the treatment of COVID-19 with traditional Chinese medicine.[Methods]The traditional Chinese medicine prescriptions used since the outbreak of COVID-19 in Hubei Province during the fight against the epidemic from February 25,2020 to February 14,2022,the traditional Chinese medicine prescriptions used by Guizhou traditional Chinese medicine expert team aiding Hubei Province,the traditional Chinese medicine prescriptions for rehabilitation and conditioning of patients in Ezhou of Hubei Province after discharge,the traditional Chinese medicine prescriptions for the prevention and treatment of COVID-19 in Guizhou Province,and the traditional Chinese medicine prescriptions for the treatment of COVID-19 collected from the end of 2019 to the present from the Chinese database of CNKI were collected as the data of this study.Excel was used to establish a database and enter it into the TCM inheritance calculation platform V3.5,and the association rules and k-means clustering algorithm were used to analyze the frequency of herbal medicines in prescriptions during the treatment of COVID-19,the frequency of four natures,five flavors,meridian distribution,and drug combinations.[Results]A total of 1859 COVID-19 patients treated with traditional Chinese medicine were included,and the proportion of males was higher than that of females,and middle-aged and elderly people were the most common group.A total of 2170 prescriptions of traditional Chinese medicine were included,involving a total of 383 traditional Chinese medicines.High-frequency medicines included poria,Radix Bupleuri,Radix Scutellariae,Herba Pogostemonis,Fructus Forsythiae,Flos Loniceraeetc.The four natures were mainly concentrated in cold,warm and neutral,and the five flavors were mainly concentrated in bitter,pungent and sweet.The herbal medicines were mainly attributed to the lungs and stomach meridians,and were mainly of heat-clearing,exterior syndrome-relieving and diuresis-promoting and damp-clearing types.A total of 24 high-frequency herbal combinations and 35 association rule were excavated,and 3 types of formulas were obtained by cluster analysis.[Conclusions]The analysis results and medicine combinations obtained in the formulas are consistent with the traditional Chinese medicine treatment theory of COVID-19 caused by wind-heat filth accompanied with damp and toxin.
文摘Breast cancer remains a significant global health challenge, necessitating effective early detection and prognosis to enhance patient outcomes. Current diagnostic methods, including mammography and MRI, suffer from limitations such as uncertainty and imprecise data, leading to late-stage diagnoses. To address this, various expert systems have been developed, but many rely on type-1 fuzzy logic and lack mobile-based applications for data collection and feedback to healthcare practitioners. This research investigates the development of an Enhanced Mobile-based Fuzzy Expert system (EMFES) for breast cancer pre-growth prognosis. The study explores the use of type-2 fuzzy logic to enhance accuracy and model uncertainty effectively. Additionally, it evaluates the advantages of employing the python programming language over java for implementation and considers specific risk factors for data collection. The research aims to dynamically generate fuzzy rules, adapting to evolving breast cancer research and patient data. Key research questions focus on the comparative effectiveness of type-2 fuzzy logic, the handling of uncertainty and imprecise data, the integration of mobile-based features, the choice of programming language, and the creation of dynamic fuzzy rules. Furthermore, the study examines the differences between the Mamdani Inference System and the Sugeno Fuzzy Inference method and explores challenges and opportunities in deploying the EMFES on mobile devices. The research identifies a critical gap in existing breast cancer diagnostic systems, emphasizing the need for a comprehensive, mobile-enabled, and adaptable solution by developing an EMFES that leverages Type-2 fuzzy logic, the Sugeno Inference Algorithm, Python Programming, and dynamic fuzzy rule generation. This study seeks to enhance early breast cancer detection and ultimately reduce breast cancer-related mortality.
文摘The network arbitration cases arising from the network lending disputes are pouring into the courts in large numbers.It is reported that the network arbitration system of some arbitration institutions even“can accept more than 10,000 cases every day,”while online lending is booming,it has also caused a lot of contradictions and disputes,and traditional dispute resolution methods have failed to effectively respond to the need for efficient and convenient resolution of online lending disputes.This paper tries to study the arbitral award of online loans and proposes the construction of implementation review rules.
文摘The teaching quality evaluation system based on data mining technology can accurately and fairly identify the core driving factors to improve teaching quality.This method adopts the analysis of big data correlation rules,including data collection and processing preparation steps,builds the data warehouse of association rules,and then generates an educational quality evaluation framework using the principle of data mining.Based on this,this paper analyzes the construction design and method of the teaching evaluation system under data mining,hoping to provide help for the improvement of the teaching evaluation system and the improvement of teaching quality.
基金Project(2011AA061003) supported by the High-Tech Research and Development Program of China
文摘The mathematical topological rule was applied to plot the predominance area diagram.Based on the analysis of the mutually conjugated,only two diagrams were the best topological embryonic graphs to build the predominance area diagram of Me-S-O system.Combined with topological rules and thermodynamic calculation,four relation-diagrams were denoted asαandβstable and unstable plane-topological diagrams,which were plotted for the Pb-S-O system and Zn-S-O system.The results show thatβstable plane-topological diagram of Pb-S-O system andαstable one of Zn-S-O system are in accordance with the traditional predominance area diagram,which indicates that it is feasible to plot the predominance area diagram based on mathematical topological rules.Meanwhile,αunstable plane-topological diagram of Pb-S-O system can elucidate the phenomenon that metallic lead exists in higher oxygen and sulfur pressure area in modern bath smelting furnace.The mathematical topological rules broaden the application scope of the predominance area diagram and enrich the practice of its plotting.
文摘An information system is a type of knowledge representation,and attribute reduction is crucial in big data,machine learning,data mining,and intelligent systems.There are several ways for solving attribute reduction problems,but they all require a common categorization.The selection of features in most scientific studies is a challenge for the researcher.When working with huge datasets,selecting all available attributes is not an option because it frequently complicates the study and decreases performance.On the other side,neglecting some attributes might jeopardize data accuracy.In this case,rough set theory provides a useful approach for identifying superfluous attributes that may be ignored without sacrificing any significant information;nonetheless,investigating all available combinations of attributes will result in some problems.Furthermore,because attribute reduction is primarily a mathematical issue,technical progress in reduction is dependent on the advancement of mathematical models.Because the focus of this study is on the mathematical side of attribute reduction,we propose some methods to make a reduction for information systems according to classical rough set theory,the strength of rules and similarity matrix,we applied our proposed methods to several examples and calculate the reduction for each case.These methods expand the options of attribute reductions for researchers.
文摘In the mobile learning system,it is important to adapt to mobile devices.Most of mobile learning systems are not quickly suitable for mobile devices.In order to provide adaptive mobile services,the approach for adaptation is proposed in this paper.Firstly,context of mobile devices and its influence on mobile learning system are analized and business rules based on these analysis are presented.Then,using the approach,the mobile learning system is constructed.The example implies this approach can adapt the mobile service to the mobile devices flexibly.
文摘Diabetes is a common clinical disease and has many complications,among which diabetic heart disease is the leading cause of death in diabetic patients.This article collected the prescriptions for the treatment of diabetic heart disease,and used the traditional Chinese medicine inheritance support system to explore the prescription formulation rules.Finally,we included 43 prescriptions for analysis.We found that the rules of formulas for treating diabetic heart disease are complex,but Chinese medicines in these formulas are mainly with the effects of nourishing Qi,nourishing Yin and activating blood circulation.At the same time,we obtained 3 new prescriptions and discussed the clinical rationality of the new prescriptions.The purpose of this article is to provide reference for clinical prescription in the treatment of diabetic heart disease and the development of related new drugs.
文摘Background:On December 8,2019,Wuhan City,Hubei Province,a new type of coronavirus disease 2019(COVID-2019)was firstly discovered,and COVID-2019 spread rapidly in China.The number of confirmed cases in various provinces and cities rose sharply in China.In clinical treatment,Chinese medicine treatment showed significant efficacy.Since the outbreak,the National Health Commission(NHS)of China has issued seven editions of the“Pneumonitis Diagnosis and Treatment Program for COVID-2019”,at the same time,most provincial health boards and the Chinese Medicine Administration had also released information on the prevention and control scheme of COVID-2019 by Chinese medicine.The purpose of this study is to explore the compatibility rules of the main drugs in the prescription and the potential mechanism on COVID-2019 pneumonia,in order to provide reference for clinical research and new drug development of COVID-2019.Methods:This article uses the TCM inheritance assistance system and network pharmacology BATMAN-TCM online analysis system to collect and summarize the national“Pneumonitis Diagnosis and Treatment Program for COVID-2019(trial version sixth)”and formulae for adult treatment from the TCM prevention program of 23 provinces and cities.Results:We found that the most formulae for the treatment of COVID-2019 were modified on the basis of Maxing Shigan decoction and the top 5 high-frequencyn drugs are Xingren(Armeniacae semen amarum),Mahuang(Ephedrae herba),Gancao(Glycyrrhizae radix et rhizoma),Shigao(Gypsum fibrosum),and Haungqin(Radix scutellariae).High frequency traditional Chinese medicines are mainly used for relieving the symptoms,clearing away heat,eliminating dampness,resolving phlegm,relieving cough and asthma,promoting water and dampness,and tonifying deficiency.Warm medicine and bitter medicine are the most frequently used drugs in four Qi attribute and five flavor attribute,respectively.Most of drugs are belong to lung,stomach and spleen channel.Mahuang(Ephedrae herba),Xingren(Armeniacae semen amarum),Gancao(Glycyrrhizae radix et rhizoma),Shigao(Gypsum fibrosum),Cangzhu(Atractylodis rhizama)and Huoxiang(Pogostemonis herba)are the core drugs for treating COVID-2019.The TTD disease enrichment,target and signal transduction pathways of the six drugs showed that pneumonia and asthma were most closely related to COVID-2019.And the inflammatory reaction-related pathways may be the main pathways through which these drugs function.Conclusions:The modified Maxing Shigan decoction is the main prescription for the treatment of COVID-2019.The Xingren(Armeniacae semen amarum),Gancao(Glycyrrhizae radix et rhizoma),Shigao(Gypsum fibrosum),Cangzhu(Atractylodis rhizama)and Huoxiang(Pogostemonis herba)have certain theoretical and experimental basis for the treatment of COVID-2019 through network pharmacology analysis,but further experiments are needed to verify the effects.
文摘In China,traditional Chinese medicine is widely used in the treatment of ischemic stroke,but its prescription rules needs to be further studied.This paper uses the traditional Chinese medicine inheritance auxiliary system(a software)to analyze the composition rules of a large number of prescriptions for the treatment of ischemic stroke,and discusses the clinical rationality of the new prescriptions.We found that the prescriptions for the treatment of ischemic stroke are mainly composed by herbs for promoting blood circulation and removing blood stasis,dredging collaterals and tonifying deficiency,and some of the new prescriptions are also in line with this characteristic.This paper can provide reference for clinical prescription in the treatment of ischemic stroke and the development of related new drugs.
文摘The proof system, based on resolution method, has become quite popular in automatic theorem proving, because this method is simple to implement. At present many kinds of extensions for resolution method are known: Resolution with restricted number of variables in disjuncts, resolution over Linear Equations, Cutting planes, etc. For Classical, Intuitionistic and Minimal (Johansson's) propositional logics, the authors introduce the family of resolution systems with full substitution rule (SRC, SRI and SRM) and with e-restricted substitution rule (SeRC, SeRf and SeRM), where the number of substituted formula connectives is bounded by . The authors show that for each of mentioned logic the SR-type system (in tree form) is polynomially equivalent to Frege systems by size, but for every ~' 〉 0, Se+lR-type has exponential speed-up over the SeR-type (in tree form).
文摘Various trading strategies are applied in intraday high-frequency market to provide investors with reference signals to be on the right side of market at the right time. In this paper, we apply a trading strategy based on the combination of ACD rules and pivot points system, which is first proposed by Mark B. Fisher, into Chinese market. This strategy has been used by millions of traders to achieve substantial profits in the last two decades, however, discussions concerning on the methods of calculating specific entry point in this trading strategy are rare, which is crucial to this strategy. We suggest an improvement to this popular strategy, providing the calculating and optimizing methods in detail to verify its effectiveness in recent Chinese futures market. Because of the high liquidity and low commissions in stock index futures market, this trading strategy achieves substantial profits .However, given the less liquidity in commodity futures market, profits decrease and even be neutralized by the relatively high commissions.
文摘The Red-Thai Binh River system is an important water resource to the Northern Delta, serving the development of agriculture, people’s livelihood and other economic sectors through its upstream reservoirs and a system of water abstraction works along the rivers. However, due to the impact of climate change and pressure from socio-economic development, the operation of the reservoir system according to Decision No. 740/QD-TTg was issued on June 17, 2019 by the Prime Minister of Government promulgating the Red-Thai Binh River system inter-reservoir operation rules (Operation rules 740) has some shortcomings that need adjustments for higher water use efficiency, meeting downstream water demand and power generation benefits. Through the results of water balance calculation and analysis of economic benefits from water use scenarios, this research proposed adjustment to the inter-reservoir operation during dry season in the Red River system. The result showed that an average water level of 1.0 - 1.7 m should be maintained at Hanoi during the increased release period.
文摘The competition among modem enterprises has been converted from products to capability. As the basis of competition, production system can't win the market unless it takes advantage of its capability in competition. Here in this article, the evolutionary rules of production system contributing to the establishment, renovation, reform, invention and promotion of the production of modem enterprises are observed.
基金Supported by Key Program for Science and Technology Development of Shanxi Province"Research,Integration and Application Demonstration on Security Control Technology of Corn Borer in Waxy Corn for Fresh Food"(20080311002-6)~~
文摘[Objective] This program aimed at providing basis for timely and effective control of Asian corn borer Ostrinia furnacalis in waxy corn fields through investigations and researching on occurrence and damage characteristics of Ostrinia furnacalis in the main producing area of waxy corn of Shanxi Province.[Method] Attraction and collection of the adults,fixed-points and random investigations on eggs and larvae were the main methods in this research.[Result] Ostrinia furnacalis appeared in two generations per year in the field of waxy corns,the generations were basically nonoverlapping with significant interval.The peak period of the overwintering generation adults in the field of waxy corn was early to middle of June,peak period of the first generation adults was from early August to late August;peak period of the first generation eggs was from the end of early June to the binning of late June,the peak period of the second generation eggs was from the middle of early August to late August.Egg-laying performances of Ostrinia furnacalis on waxy corns in different growth period suggested that the temptation of waxy corns to egg-laying of Ostrinia furnacalis had gradually increased with the continuation of growth stages before the heading of waxy corns;while after the heading of waxy corns,the temptation of waxy corns to egg-laying of Ostrinia furnacalis had gradually reduced with the continuation of growth stages.The amount of eggs on waxy corns was more than eggs on normal corns with the same growth period and growth conditions.The first generation of Ostrinia furnacalis caused more serious damages than the second generation.The first generation larvae caused more serious damages on waxy corns with early sowing period than with middle sowing period,while the late sowing fields basically uninjured.The early sowing and middle sowing corns were damaged but lightly,due to the slight occurrence of the first generation larvae.The second generation larvae caused more serious damages in late sowing waxy corn field than in middle sowing waxy corn field.As the early sowing waxy corns were harvested before the beginning of damage peak period of the second generation larvae,they were basically uninjured or slightly damaged by the second generation larvae in general years.Because the second generation larvae were in large-scale occurrence,they had caused serious damages to late and later middle sowing waxy corns.Incidence of ear rot disease on the female ears of waxy corns was closely related to the damages of Ostrinia furnacalis on ears,which was higher on the ears infested by Ostrinia furnacalis.[Conclusion] Comprehensive control on the second generation of Ostrinia furnacalis in the mid and late sowing field of waxy corn should be strengthened.