To meet the bandwidth requirement for the multicasting data flow in ad hoc networks, a distributed on- demand bandwidth-constrained multicast routing (BCMR) protocol for wireless ad hoc networks is proposed. With th...To meet the bandwidth requirement for the multicasting data flow in ad hoc networks, a distributed on- demand bandwidth-constrained multicast routing (BCMR) protocol for wireless ad hoc networks is proposed. With this protocol, the resource reservation table of each node will record the bandwidth requirements of data flows, which access itself, its neighbor nodes and hidden nodes, and every node calculates the remaining available bandwidth by deducting the bandwidth reserved in the resource reservation table from the total available bandwidth of the node. Moreover, the BCMR searches in a distributed manner for the paths with the shortest delay conditioned by the bandwidth constraint. Simulation results demonstrate the good performance of BCMR in terms of packet delivery reliability and the delay. BCMR can meet the requirements of real time communication and can be used in the multicast applications with low mobility in wireless ad hoc networks.展开更多
As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.Th...As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding.展开更多
To determine the procedure-related factors that affect sedation satisfaction and to make a suggestion to improve it.METHODSWe prospectively enrolled a total of 456 patients who underwent outpatient endoscopy procedure...To determine the procedure-related factors that affect sedation satisfaction and to make a suggestion to improve it.METHODSWe prospectively enrolled a total of 456 patients who underwent outpatient endoscopy procedures with midazolam sedation between March 2014 and August 2014. All patients completed both pre- and post-endoscopy questionnaires about sedation expectations and satisfaction.RESULTSThe study cohort included 167 (36.6%) patients who underwent esophagogastroduodenoscopy (EGD), 167 (36.6%) who underwent colonoscopy, and 122 (26.8%) who underwent a combined procedure (EGD and colonoscopy). Over 80% of all patients were satisfied with sedation using midazolam. In univariate and multivariate analyses, total procedure time in the EGD group, younger age (≤ 50 years), and longer colonoscopy withdrawal time in the colonoscopy group were related to decreased satisfaction with sedation. However, in active monitoring and intervention group, there was no decrease in grade of satisfaction despite longer procedure time due to more procedures during colonoscopy. Younger age (≤ 50 years), longer inter-procedure time gap, and colonoscopy withdrawal time were related to decreased satisfaction in the combined EGD and colonoscopy group.CONCLUSIONMidazolam is still a safe and effective sedative for gastrointestinal endoscopy. Satisfaction with sedation depends on several factors including age (≤ 50 years) and procedure time duration. To improve patient satisfaction with sedation, active monitoring of sedation status by the endoscopist should be considered for patients who require long procedure time.展开更多
Objectives Gerontechnology has great potential in promoting older adults’well-being.With the accelerated aging process,gerontechnology has a promising market prospect.However,most technological developers and healthc...Objectives Gerontechnology has great potential in promoting older adults’well-being.With the accelerated aging process,gerontechnology has a promising market prospect.However,most technological developers and healthcare professionals attached importance to products’effectiveness,and ignored older adults’demands and user experience,which reduced older adults'adoption intention of gerontechnology use.The inclusion of older adults in the design process of technologies is essential to maximize the effect.This study explored older adults’demands for a self-developed intelligent medication administration system and proposed optimization schemes,thus providing reference to developing geriatric-friendly technologies and products.Methods A cross-sectional survey was conducted to explore older adults’technological demands for the self-developed intelligent medication administration system,and data were analyzed based on the Kano model.A self-made questionnaire was administered from July 2020 to October 2020 after participants used this system for two weeks.The study was registered with the Chinese Clinical Trial Registry(ChiCTR2000040644).Results A total of 354 older adults participated in the survey.Four items,namely larger font size,simpler operation process,scheduled medication reminders and reliable hardware,were classified as must-be attributes;three items,namely searching drug instructions through WeChat,more sensitive system and longer battery life,as attractive attributes;one item,viewing disease-related information through WeChat,as the one-dimensional attribute;and the rest were indifferent attributes,including simple and beautiful displays,blocking advertisements automatically,providing user privacy protection protocol,viewing personal medical information only by logged-in users,recording all the medications,ordering medications through WeChat.The satisfaction values were between 0.24 and 0.69,and dissatisfaction values were between 0.06 and 0.94.Conclusion This study suggested that older adults had personalized technology demands.Including their technological demands and desire may assist in decreasing the digital divide and promoting the satisfaction of e-health and/or m-health.Based on older adults’demands,our study proposed optimization schemes of the intelligent medication administration system,which may help developers design geriatric-friendly intelligent products and nurses to perform older adults-centered and efficient medication management.展开更多
To evaluate the psychometric properties of a newly developed questionnaire, known as the gastroesophageal reflux and dyspepsia therapeutic efficacy and satisfaction test (GERD-TEST), in patients with GERD.METHODSJapan...To evaluate the psychometric properties of a newly developed questionnaire, known as the gastroesophageal reflux and dyspepsia therapeutic efficacy and satisfaction test (GERD-TEST), in patients with GERD.METHODSJapanese patients with predominant GERD symptoms recruited according to the Montreal definition were treated for 4 wk using a standard dose of proton pump inhibitor (PPI). The GERD-TEST and the Medical Outcome Study Short Form-8 Health Survey (SF-8) were administered at baseline and after 4 wk of treatment. The GERD-TEST contains three domains: the severity of GERD and functional dyspepsia (FD) symptoms (5 items), the level of dissatisfaction with daily life (DS) (4 items), and the therapeutic efficacy as assessed by the patients and medication compliance (4 items).RESULTSA total of 290 patients were eligible at baseline; 198 of these patients completed 4 wk of PPI therapy. The internal consistency reliability as evaluated using the Cronbach’s α values for the GERD, FD and DS subscales ranged from 0.75 to 0.82. The scores for the GERD, FD and DS items/subscales were significantly correlated with the physical and mental component summary scores of the SF-8. After 4 wk of PPI treatment, the scores for the GERD items/subscales were greatly reduced, ranging in value from 1.51 to 1.87 and with a large effect size (P < 0.0001, Cohen’s d; 1.29-1.63). Statistically significant differences in the changes in the scores for the GERD items/subscales were observed between treatment responders and non-responders (P < 0.0001).CONCLUSIONThe GERD-TEST has a good reliability, a good convergent and concurrent validity, and is responsive to the effects of treatment. The GERD-TEST is a simple, easy to understand, and multifaceted PRO instrument applicable to both clinical trials and the primary care of GERD patients.展开更多
Abstract: Enhancing the efficiency of public services is essential to residents in mountainous areas. It is also important to promote sus- tainable development of these regions. Analysing residents' satisfaction wit...Abstract: Enhancing the efficiency of public services is essential to residents in mountainous areas. It is also important to promote sus- tainable development of these regions. Analysing residents' satisfaction with public services in mountainous areas can help in evaluating outcomes of fiscal investment and identifying potential coping approaches for improving public service efficiencies. The residents' satisfaction with public services and the factors that influence such satisfaction were examined in this study. A study of 12 towns located in the southwestern Sichuan Province was performed using an entropy-weighted analytic hierarchy process (EWAHP), the technique for order preference by similarity to ideal solution (TOPSIS) and Tobit regression methods. The results indicate that: 1) the spatial distribu- tion of satisfaction with public services is non-uniform, and the spatial distribution structure varies for different types of public services. 2) Residents' satisfaction with public services is influenced by both objective and subjective factors. Population density, economic dis- tance, social and cultural divisions and elevation are the major objective factors, whereas bounded rationality, the hierarchy of needs and service expectations are the main subjective factors. The most effective strategies for enhancing residents' satisfaction with public ser- vices are likely to be clustering the population, choosing supply centres with different public services, regulating the cultural division in ethnic minority towns, selecting supply priorities in accordance with residents' needs, implementing targeted intervention policies and establishing 'bottom-up' and 'top-down' integrated decision-making mechanisms. Keywords: mountainous areas; public services; residents' satisfaction; entropy-weighted analytic hierarchy process (EWAHP); technique for order preference by similarity to ideal solution (TOPSIS); Tobit regression; southwestern Sichuan Province展开更多
In this paper we present a classical parallel quantum algorithm for the satisfiability problem. We have exploited the classical parallelism of quantum algorithms developed in [G.L. Long and L. Xiao, Phys. Rev. A 69 (...In this paper we present a classical parallel quantum algorithm for the satisfiability problem. We have exploited the classical parallelism of quantum algorithms developed in [G.L. Long and L. Xiao, Phys. Rev. A 69 (2004) 052303], so that additional acceleration can be gained by using classical parallelism. The quantum algorithm first estimates the number of solutions using the quantum counting algorithm, and then by using the quantum searching algorithm, the explicit solutions are found.展开更多
Objectives:To describe the professional quality of life and explore its associated factors among nurses coming from other areas of China to assist with the anti-epidemic fight inWuhan and especially examine whether th...Objectives:To describe the professional quality of life and explore its associated factors among nurses coming from other areas of China to assist with the anti-epidemic fight inWuhan and especially examine whether the hospital ethical climate was independently associated with nurses’professional quality of life.Methods:A cross-sectional online survey was conducted from March 2020 to April 2020.The nurses working in Wuhan from the other parts of China were the target population.The Professional Quality of Life Scale version 5,the Hospital Ethical Climate Survey,and a basic information sheet were used to collect data.Descriptive statistics,t-test,ANOVA,Pearson correlation,and multiple linear regression analysis were used to analyze the data.Results:In total,236 nurses participated in this study,and 219 valid questionnaires were analyzed.The average age of the participants was 31.2±5.0 years.Most nurses were female(176/219;80.4%)and married(145/219;66.2%).In term of professional quality of life,nurses reported moderate(129/219;58.9%)to high(90/219;41.1%)levels of compassion satisfaction,low(119/219;54.3%)to moderate(100/219;45.7%)levels of burnout,and low(67/219;36.0%)to high(10/219;4.6%)levels of secondary traumatic stress.Regarding hospital ethical climate,nurses reported moderately high hospital ethical climates with an average score of 4.46.After controlling for socio-demographic characteristics,the multiple linear regression models showed that the hospital ethical climate subscale of“relationship with physicians”was independently associated with the compassion satisfaction(b=0.533,P<0.01)and burnout(b=0.237,P<0.05);the hospital ethical climate subscale of“relationship with peers”(b=0.191,P<0.01)was independently associated with the secondary traumatic stress.Conclusions:During the early stage of the pandemic,nurses demonstrated moderate to high level of compassion satisfaction,low to moderate level of burnout,and all nurses experienced secondary traumatic stress.Nurses perceived a high level of hospital ethical climate,and the perceived hospital ethical climate played an important role in promoting nurses’professional quality of life during a lifethreatening infectious disease pandemic.展开更多
Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that ex...Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for applications.However,little attention has been concentrated on extraction of minimum unsatisfiable core.In this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship.Finally,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
We develop a descriptive framework of the components of intellectual capital (IC) in annual reports and investigate the effects of disclosure of IC on market capitalization.We use content analysis to analyze the annua...We develop a descriptive framework of the components of intellectual capital (IC) in annual reports and investigate the effects of disclosure of IC on market capitalization.We use content analysis to analyze the annual reports of a sample of Fortune 100 listed companies in 2006 announced by Chinese Academy of Social Sciences.We select the 49 listed companies for content analysis of their 226 annual reports over the five-year period of 2001-2005.There is a highly significant and positive correlation between IC disclosure and market capitalization.In china,some high quality listed companies have existed IC information and increased year after year.More and more listed companies disclose their IC information spontaneity in structure capital,customer capital,and human capital,although Ministry of Finance only give the criterion on structure.There exists significant difference between industries when using ICR to analyze the competitive power.展开更多
In order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system, the traditional planners are unable to describe this kno...In order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system, the traditional planners are unable to describe this knowledge, so an object-oriented temporal knowledge representation method is proposed to model every activity as an object to describe the activity's duration, start-time, end-time and the temporal relations with other activities. The layered planning agent architecture is then designed for spacecraft autonomous operation, and the functions of every component are given. A planning algorithm based on the temporal constraint satisfaction is built in detail using this knowledge representation and system architecture. The prototype of Deep Space Mission Autonomous Planning System is implemented. The results show that with the object-oriented temporal knowledge description method, the space mission planning system can be used to describe simultaneous activities, resource and temporal constraints, and produce a complete plan for exploration mission quickly under complex constraints.展开更多
The conflict detection and resolution in collaborative design is a key issue to maintain multi disciplinary design consistency. This paper proposes a new method for conflict detection and resolution based on constrain...The conflict detection and resolution in collaborative design is a key issue to maintain multi disciplinary design consistency. This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique. The representation of design constraint, the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced. A constraint satisfaction based conflict detection and resolution tool CSCDR is then developed. It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved. A design case illustrates the effectiveness of CSCDR.展开更多
In order to facilitate solution, a complex problem is normally decomposed into many small sub-problems during product development process. Teams are formed to resolve each sub-problem. The original problem is resolved...In order to facilitate solution, a complex problem is normally decomposed into many small sub-problems during product development process. Teams are formed to resolve each sub-problem. The original problem is resolved from solutions of sub-problems. Ideally, sub-problems are not only mutually independent but also inherent parameters of original problem. Solution of original problem can be directly derived from the collection of solutions from simplified sub-problems. In practice, the degree of interdependency is indeed reduced, sub-problems are neither totally independent nor all inherent parameters of original problem. This paper discusses team coordination under this condition and design solution from each team, which not only satisfies total requirements but also is an optimal one. The suggested optimized constraint decomposition method will insure workable Pareto solution.展开更多
By modeling the decision-making process of garment coordination of fashion designers, a kind of computer-aid garment coordination using fuzzy neural network was propesed. The Takagi Sugeno Fuzzy Neural Network (TSFNN...By modeling the decision-making process of garment coordination of fashion designers, a kind of computer-aid garment coordination using fuzzy neural network was propesed. The Takagi Sugeno Fuzzy Neural Network (TSFNN) is used to learn the knowledge and rules of fashion designers on garment coordination and calculate the garment coordination satisfaction index (GCSI). The implementation of the computer-aid garment coordination tool is divided into two stages. The first stage is to acquire the knowledge of garment coordination. The second stage is to train and use the fuzzy neural network to conduct garment coordination. Three layers structure were also discussed for developing the system. By applying the computer-aid garment coordination tool into a real fushionretailing store, the experimental results show the system pexforms well with choosing a suitable value for screening out the satisfaction coordination pairs.展开更多
The aim of the present work is to introduce a pattern-based method for assisting the user during the temporal Requirement Specification (RS) phase. Indeed, since the user usually has to handle abstract notation as w...The aim of the present work is to introduce a pattern-based method for assisting the user during the temporal Requirement Specification (RS) phase. Indeed, since the user usually has to handle abstract notation as well as mathematical-based languages within this phase, RS is becoming more and more tedious and error-prone especially when dealing with complex systems. The authors' method begins by defining a new typology while taking into account all the common temporal requirements one may meet when specifying a system. Then, a literal word-based formal grammar able to express all the types of the identified requirements has been developed. Actually, the goal is to assist the user during the requirement identification with some means that are simple, intuitive, albeit rigorous. Finally, a generic set of observation patterns relative to the new time constraint taxonomy is defined. In practice, to check a given temporal constraint, its relative observation pattern is instantiated to obtain an observer that will stand for a watchdog for the associated requirement on the system.展开更多
基金The Natural Science Foundation of Zhejiang Province(No.Y1090232)
文摘To meet the bandwidth requirement for the multicasting data flow in ad hoc networks, a distributed on- demand bandwidth-constrained multicast routing (BCMR) protocol for wireless ad hoc networks is proposed. With this protocol, the resource reservation table of each node will record the bandwidth requirements of data flows, which access itself, its neighbor nodes and hidden nodes, and every node calculates the remaining available bandwidth by deducting the bandwidth reserved in the resource reservation table from the total available bandwidth of the node. Moreover, the BCMR searches in a distributed manner for the paths with the shortest delay conditioned by the bandwidth constraint. Simulation results demonstrate the good performance of BCMR in terms of packet delivery reliability and the delay. BCMR can meet the requirements of real time communication and can be used in the multicast applications with low mobility in wireless ad hoc networks.
基金The National Natural Science Foundation of China(No.60775029)the Science and Technology Program of Zhejiang Province(No.2007C33072)
文摘As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding.
文摘To determine the procedure-related factors that affect sedation satisfaction and to make a suggestion to improve it.METHODSWe prospectively enrolled a total of 456 patients who underwent outpatient endoscopy procedures with midazolam sedation between March 2014 and August 2014. All patients completed both pre- and post-endoscopy questionnaires about sedation expectations and satisfaction.RESULTSThe study cohort included 167 (36.6%) patients who underwent esophagogastroduodenoscopy (EGD), 167 (36.6%) who underwent colonoscopy, and 122 (26.8%) who underwent a combined procedure (EGD and colonoscopy). Over 80% of all patients were satisfied with sedation using midazolam. In univariate and multivariate analyses, total procedure time in the EGD group, younger age (≤ 50 years), and longer colonoscopy withdrawal time in the colonoscopy group were related to decreased satisfaction with sedation. However, in active monitoring and intervention group, there was no decrease in grade of satisfaction despite longer procedure time due to more procedures during colonoscopy. Younger age (≤ 50 years), longer inter-procedure time gap, and colonoscopy withdrawal time were related to decreased satisfaction in the combined EGD and colonoscopy group.CONCLUSIONMidazolam is still a safe and effective sedative for gastrointestinal endoscopy. Satisfaction with sedation depends on several factors including age (≤ 50 years) and procedure time duration. To improve patient satisfaction with sedation, active monitoring of sedation status by the endoscopist should be considered for patients who require long procedure time.
基金Funding was provided by Chongqing Health Commission,and Chongqing Science and Technology Bureau(grant number 2020MSXM077).
文摘Objectives Gerontechnology has great potential in promoting older adults’well-being.With the accelerated aging process,gerontechnology has a promising market prospect.However,most technological developers and healthcare professionals attached importance to products’effectiveness,and ignored older adults’demands and user experience,which reduced older adults'adoption intention of gerontechnology use.The inclusion of older adults in the design process of technologies is essential to maximize the effect.This study explored older adults’demands for a self-developed intelligent medication administration system and proposed optimization schemes,thus providing reference to developing geriatric-friendly technologies and products.Methods A cross-sectional survey was conducted to explore older adults’technological demands for the self-developed intelligent medication administration system,and data were analyzed based on the Kano model.A self-made questionnaire was administered from July 2020 to October 2020 after participants used this system for two weeks.The study was registered with the Chinese Clinical Trial Registry(ChiCTR2000040644).Results A total of 354 older adults participated in the survey.Four items,namely larger font size,simpler operation process,scheduled medication reminders and reliable hardware,were classified as must-be attributes;three items,namely searching drug instructions through WeChat,more sensitive system and longer battery life,as attractive attributes;one item,viewing disease-related information through WeChat,as the one-dimensional attribute;and the rest were indifferent attributes,including simple and beautiful displays,blocking advertisements automatically,providing user privacy protection protocol,viewing personal medical information only by logged-in users,recording all the medications,ordering medications through WeChat.The satisfaction values were between 0.24 and 0.69,and dissatisfaction values were between 0.06 and 0.94.Conclusion This study suggested that older adults had personalized technology demands.Including their technological demands and desire may assist in decreasing the digital divide and promoting the satisfaction of e-health and/or m-health.Based on older adults’demands,our study proposed optimization schemes of the intelligent medication administration system,which may help developers design geriatric-friendly intelligent products and nurses to perform older adults-centered and efficient medication management.
基金Supported by Financial support for this clinical study was provided by GERD Society(Osaka,Japan)
文摘To evaluate the psychometric properties of a newly developed questionnaire, known as the gastroesophageal reflux and dyspepsia therapeutic efficacy and satisfaction test (GERD-TEST), in patients with GERD.METHODSJapanese patients with predominant GERD symptoms recruited according to the Montreal definition were treated for 4 wk using a standard dose of proton pump inhibitor (PPI). The GERD-TEST and the Medical Outcome Study Short Form-8 Health Survey (SF-8) were administered at baseline and after 4 wk of treatment. The GERD-TEST contains three domains: the severity of GERD and functional dyspepsia (FD) symptoms (5 items), the level of dissatisfaction with daily life (DS) (4 items), and the therapeutic efficacy as assessed by the patients and medication compliance (4 items).RESULTSA total of 290 patients were eligible at baseline; 198 of these patients completed 4 wk of PPI therapy. The internal consistency reliability as evaluated using the Cronbach’s α values for the GERD, FD and DS subscales ranged from 0.75 to 0.82. The scores for the GERD, FD and DS items/subscales were significantly correlated with the physical and mental component summary scores of the SF-8. After 4 wk of PPI treatment, the scores for the GERD items/subscales were greatly reduced, ranging in value from 1.51 to 1.87 and with a large effect size (P < 0.0001, Cohen’s d; 1.29-1.63). Statistically significant differences in the changes in the scores for the GERD items/subscales were observed between treatment responders and non-responders (P < 0.0001).CONCLUSIONThe GERD-TEST has a good reliability, a good convergent and concurrent validity, and is responsive to the effects of treatment. The GERD-TEST is a simple, easy to understand, and multifaceted PRO instrument applicable to both clinical trials and the primary care of GERD patients.
基金Under the auspices of the National Natural Science Foundation of China(No.41601141,41471469)Humanities and Social Sciences Youth Foundation of Ministry of Education of the People’s Republic of China(No.14YJCZH130)+1 种基金Soft Science Research Projects of Science and Technology Office of Sichuan Province(No.2015ZR0115)Research Foundation of Chengdu University of Information Technology(No.KYTZ201628,J201617)
文摘Abstract: Enhancing the efficiency of public services is essential to residents in mountainous areas. It is also important to promote sus- tainable development of these regions. Analysing residents' satisfaction with public services in mountainous areas can help in evaluating outcomes of fiscal investment and identifying potential coping approaches for improving public service efficiencies. The residents' satisfaction with public services and the factors that influence such satisfaction were examined in this study. A study of 12 towns located in the southwestern Sichuan Province was performed using an entropy-weighted analytic hierarchy process (EWAHP), the technique for order preference by similarity to ideal solution (TOPSIS) and Tobit regression methods. The results indicate that: 1) the spatial distribu- tion of satisfaction with public services is non-uniform, and the spatial distribution structure varies for different types of public services. 2) Residents' satisfaction with public services is influenced by both objective and subjective factors. Population density, economic dis- tance, social and cultural divisions and elevation are the major objective factors, whereas bounded rationality, the hierarchy of needs and service expectations are the main subjective factors. The most effective strategies for enhancing residents' satisfaction with public ser- vices are likely to be clustering the population, choosing supply centres with different public services, regulating the cultural division in ethnic minority towns, selecting supply priorities in accordance with residents' needs, implementing targeted intervention policies and establishing 'bottom-up' and 'top-down' integrated decision-making mechanisms. Keywords: mountainous areas; public services; residents' satisfaction; entropy-weighted analytic hierarchy process (EWAHP); technique for order preference by similarity to ideal solution (TOPSIS); Tobit regression; southwestern Sichuan Province
基金supported by 973 Program under Grant No.2006CB921106National Natural Science Foundation of China under Grant No.60635040the Key Grant Project of the Ministry of Education under Grant No.306020
文摘In this paper we present a classical parallel quantum algorithm for the satisfiability problem. We have exploited the classical parallelism of quantum algorithms developed in [G.L. Long and L. Xiao, Phys. Rev. A 69 (2004) 052303], so that additional acceleration can be gained by using classical parallelism. The quantum algorithm first estimates the number of solutions using the quantum counting algorithm, and then by using the quantum searching algorithm, the explicit solutions are found.
文摘Objectives:To describe the professional quality of life and explore its associated factors among nurses coming from other areas of China to assist with the anti-epidemic fight inWuhan and especially examine whether the hospital ethical climate was independently associated with nurses’professional quality of life.Methods:A cross-sectional online survey was conducted from March 2020 to April 2020.The nurses working in Wuhan from the other parts of China were the target population.The Professional Quality of Life Scale version 5,the Hospital Ethical Climate Survey,and a basic information sheet were used to collect data.Descriptive statistics,t-test,ANOVA,Pearson correlation,and multiple linear regression analysis were used to analyze the data.Results:In total,236 nurses participated in this study,and 219 valid questionnaires were analyzed.The average age of the participants was 31.2±5.0 years.Most nurses were female(176/219;80.4%)and married(145/219;66.2%).In term of professional quality of life,nurses reported moderate(129/219;58.9%)to high(90/219;41.1%)levels of compassion satisfaction,low(119/219;54.3%)to moderate(100/219;45.7%)levels of burnout,and low(67/219;36.0%)to high(10/219;4.6%)levels of secondary traumatic stress.Regarding hospital ethical climate,nurses reported moderately high hospital ethical climates with an average score of 4.46.After controlling for socio-demographic characteristics,the multiple linear regression models showed that the hospital ethical climate subscale of“relationship with physicians”was independently associated with the compassion satisfaction(b=0.533,P<0.01)and burnout(b=0.237,P<0.05);the hospital ethical climate subscale of“relationship with peers”(b=0.191,P<0.01)was independently associated with the secondary traumatic stress.Conclusions:During the early stage of the pandemic,nurses demonstrated moderate to high level of compassion satisfaction,low to moderate level of burnout,and all nurses experienced secondary traumatic stress.Nurses perceived a high level of hospital ethical climate,and the perceived hospital ethical climate played an important role in promoting nurses’professional quality of life during a lifethreatening infectious disease pandemic.
基金the National Natural Science Foundation of China (No.60603088)
文摘Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for applications.However,little attention has been concentrated on extraction of minimum unsatisfiable core.In this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship.Finally,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
文摘We develop a descriptive framework of the components of intellectual capital (IC) in annual reports and investigate the effects of disclosure of IC on market capitalization.We use content analysis to analyze the annual reports of a sample of Fortune 100 listed companies in 2006 announced by Chinese Academy of Social Sciences.We select the 49 listed companies for content analysis of their 226 annual reports over the five-year period of 2001-2005.There is a highly significant and positive correlation between IC disclosure and market capitalization.In china,some high quality listed companies have existed IC information and increased year after year.More and more listed companies disclose their IC information spontaneity in structure capital,customer capital,and human capital,although Ministry of Finance only give the criterion on structure.There exists significant difference between industries when using ICR to analyze the competitive power.
文摘In order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system, the traditional planners are unable to describe this knowledge, so an object-oriented temporal knowledge representation method is proposed to model every activity as an object to describe the activity's duration, start-time, end-time and the temporal relations with other activities. The layered planning agent architecture is then designed for spacecraft autonomous operation, and the functions of every component are given. A planning algorithm based on the temporal constraint satisfaction is built in detail using this knowledge representation and system architecture. The prototype of Deep Space Mission Autonomous Planning System is implemented. The results show that with the object-oriented temporal knowledge description method, the space mission planning system can be used to describe simultaneous activities, resource and temporal constraints, and produce a complete plan for exploration mission quickly under complex constraints.
文摘The conflict detection and resolution in collaborative design is a key issue to maintain multi disciplinary design consistency. This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique. The representation of design constraint, the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced. A constraint satisfaction based conflict detection and resolution tool CSCDR is then developed. It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved. A design case illustrates the effectiveness of CSCDR.
基金Supportedby 86 3/CIMS (No .2 0 0 1AA4 1114 0 )andtheNationalNaturalScienceFoundationofChina (No .6 0 10 4 0 0 8)
文摘In order to facilitate solution, a complex problem is normally decomposed into many small sub-problems during product development process. Teams are formed to resolve each sub-problem. The original problem is resolved from solutions of sub-problems. Ideally, sub-problems are not only mutually independent but also inherent parameters of original problem. Solution of original problem can be directly derived from the collection of solutions from simplified sub-problems. In practice, the degree of interdependency is indeed reduced, sub-problems are neither totally independent nor all inherent parameters of original problem. This paper discusses team coordination under this condition and design solution from each team, which not only satisfies total requirements but also is an optimal one. The suggested optimized constraint decomposition method will insure workable Pareto solution.
基金National Natural Science Foundations of China (No.60975059, No.60775052)Specialized Research Fund for the Doctoral Program of Higher Education from Ministry of Education of China (No.20090075110002)Projects of Shanghai Committee of Science and Technology, China (No.09JC1400900, No.08JC1400100, No.10DZ0506500)
文摘By modeling the decision-making process of garment coordination of fashion designers, a kind of computer-aid garment coordination using fuzzy neural network was propesed. The Takagi Sugeno Fuzzy Neural Network (TSFNN) is used to learn the knowledge and rules of fashion designers on garment coordination and calculate the garment coordination satisfaction index (GCSI). The implementation of the computer-aid garment coordination tool is divided into two stages. The first stage is to acquire the knowledge of garment coordination. The second stage is to train and use the fuzzy neural network to conduct garment coordination. Three layers structure were also discussed for developing the system. By applying the computer-aid garment coordination tool into a real fushionretailing store, the experimental results show the system pexforms well with choosing a suitable value for screening out the satisfaction coordination pairs.
文摘The aim of the present work is to introduce a pattern-based method for assisting the user during the temporal Requirement Specification (RS) phase. Indeed, since the user usually has to handle abstract notation as well as mathematical-based languages within this phase, RS is becoming more and more tedious and error-prone especially when dealing with complex systems. The authors' method begins by defining a new typology while taking into account all the common temporal requirements one may meet when specifying a system. Then, a literal word-based formal grammar able to express all the types of the identified requirements has been developed. Actually, the goal is to assist the user during the requirement identification with some means that are simple, intuitive, albeit rigorous. Finally, a generic set of observation patterns relative to the new time constraint taxonomy is defined. In practice, to check a given temporal constraint, its relative observation pattern is instantiated to obtain an observer that will stand for a watchdog for the associated requirement on the system.