In order to master the future operation and stability of power grid exactly, and gasp the weak point accurately, the requirement of power data quality become strict, and the data timeliness of power gird change into o...In order to master the future operation and stability of power grid exactly, and gasp the weak point accurately, the requirement of power data quality become strict, and the data timeliness of power gird change into outstandingly more and more, because of this, in this paper propose the SMS notifying method of intra-day scheduling data based on safely data principle. The principle is mainly complied with the data source existed or not, the data is coincident to the power grid model, the data is unbroken or not and it is reasonable with the physical reality, then it can obtain better convergence and reasonable intra-day check power data. In order to accelerate the information and network pace of the power grid, the SMS notifying can monitoring data quality without time delay. It dredge the vast path for the future power market into use with the wide range, then, can more effective to ensure the convergence and accuracy of safe check calculation, it provides an effective guarantee with the safe and stable operation of the power grid, in the same way, it is also an efficient method to provides effective guarantee for power grid safe operation from the data source.展开更多
Electronic check systems, as one of electronic payment systems, are more desirable than other electronic cash systems. In the system, only a single cheek is used to pay any price that is not more than the face value. ...Electronic check systems, as one of electronic payment systems, are more desirable than other electronic cash systems. In the system, only a single cheek is used to pay any price that is not more than the face value. The main problem in check systems is to design an efficient refund mechanism that makes refired cheeks undistinguished from initial checks during payment and deposit. The problem of anonymity control also called fairmess is also an important issue in check systelns. All check systems yet are unconditional anonymity that opens the door to misuse for crime such as laundering and blackmailing. In this paper, the notion of anonylnity revocation is introduced to electronic check system for the fitst thne, and a model of fair electronic check system is proposed. An effieient fair online electronic check system with reusable refund is presented. In the system, a passive trustee is elnployed to revoke the anonymity of unhonest users. Moreover, the system solves the reusability problem of refunds thanks to the RSA-based partially signature. The system is efficient and meets all basic security requirements.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
Check dams are widely constructed on China's Loess Plateau,which had a total number of 58,776 by the end of 2019.Great achievements in check dam construction have been gained regarding the economic and environment...Check dams are widely constructed on China's Loess Plateau,which had a total number of 58,776 by the end of 2019.Great achievements in check dam construction have been gained regarding the economic and environmental impacts.This study reviews the remarkable benefits of check dams on the land reclamation and environmental improvement on the Loess Plateau,and sediment reduction entering the Yellow River.However,the flood incidents on check dams have been frequently reported for the past decades,which has attracted more attention in the context of climate change and extreme rainfall events recently.Advances in the flood migration techniques achieved by the research group led by the first author have been highlighted to migrate the breach risk of check dams due to floods.The“family tree method”has been proposed to determine the survival status and critical rainfall threshold of each check dam in the complicated dam system.An updated dam breach flood evaluation framework and the corresponding numerical algorithm(i.e.,DB-IWHR)have been developed.Moreover,innovative types of water-release facilities for check dams,including geobag stepped spillway and prestressed concrete cylinder pipe in the underlying conduit,have been proposed and developed.Finally,the perspectives concerning the check dam construction on the Loess Plateau have been put forward.展开更多
The implementation of the cascade check dam system, which integrates beam and closed-type dams, has been extensively adopted as a pivotal engineering measure for mitigating debris flow in Southwest China. In the post-...The implementation of the cascade check dam system, which integrates beam and closed-type dams, has been extensively adopted as a pivotal engineering measure for mitigating debris flow in Southwest China. In the post-debris flow events, it is imperative to quantitatively assess the volume of sediment volume captured by the cascade check dams and to monitor their impact on sediment dynamics. This study investigates the cascade check dams in Guanmenzi Gully, Beichuan County, Sichuan Province in Southwest China, surveying the reservoir topography of the dams on two occasions over a fiveyear period. The #3 closed-type dam, located in the upper upstream, the #2 closed-type dam, located in the middle stream(which was manually cleaned), and the beam dam, located in the downstream were all surveyed. A simplified yet accurate method was developed to estimate sediment volume within check dam reservoirs under complex topographic conditions. A combination of terrestrial surveys and Unmanned Aerial Vehicle(UAV) based surveys was employed, resulting in the acquisition of two high-resolution Digital Elevation Models(DEMs) at different temporal intervals. The utilization of DEMs of Difference(DoD) facilitated the quantification of terrain variations and the sediment transport. The following conclusions were obtained: firstly, it was found that the volume of sediment trapped in the reservoirs of #2 closed-type dam and #1 beam dam were almost the same, with #3 closed-type dam being the smallest. The validation of the results in conjunction with the geometric method demonstrated that the percentage error was less than 7%, proving the reliability of the results. In addition, an analysis of changes in the detailed topography of the reservoirs revealed that the sediment deposit occurred in areas distant from the structures, while erosion exhibited concentration in specific areas close to the dams. The percentage volume of sediment deposit was found to be significantly higher than that of erosion(all higher than 85%). Furthermore, the excessive sediment deposition reduces the storage capacity of closed-type check dams, whereas in the case of beam dams, the maximum erosion amount in the reservoir is 35.8 m~3 and the percentage of the maximum erosion amount is 14.00%. This suggests that the self-cleaning of beam dam can effectively slow down the sediment deposition process. Finally, the current study proposes an expression for storage capacity composition and suggests that, in engineering practice, emphasis should be placed on maintenance programs that synergize manual cleaning and self-cleaning of open-type check dams. The conclusions may facilitate the refinement of maintenance strategies of cascade check dams, thereby effectively preventing and mitigating debris flows.展开更多
Reliability enhancement testing(RET) is an accelerated testing which hastens the performance degradation process to surface its inherent defects of design and manufacture. It is an important hypothesis that the degrad...Reliability enhancement testing(RET) is an accelerated testing which hastens the performance degradation process to surface its inherent defects of design and manufacture. It is an important hypothesis that the degradation mechanism of the RET is the same as the one of the normal stress condition. In order to check the consistency of two mechanisms, we conduct two enhancement tests with a missile servo system as an object of the study, and preprocess two sets of test data to establish the accelerated degradation models regarding the temperature change rate that is assumed to be the main applied stress of the servo system during the natural storage. Based on the accelerated degradation models and natural storage profile of the servo system, we provide and demonstrate a procedure to check the consistency of two mechanisms by checking the correlation and difference of two sets of degradation data. The results indicate that the two degradation mechanisms are significantly consistent with each other.展开更多
BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychologi...BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.展开更多
Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a ...Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development.But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements.In this paper,we present a new solution to verify graph transformation systems using the Bogor model checker.The attributed graph grammars(AGG)-like graph transformation systems are translated to Bandera intermediate representation(BIR),the input language of Bogor,and Bogor verifies the model against some interesting properties defined by combining linear temporal logic(LTL) and special-purpose graph rules.Experimental results are encouraging,showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.展开更多
A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agent...A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.展开更多
BACKGROUND Bone metastasis has various negative impacts.Activities of daily living(ADL)and quality of life(QOL)can be significantly decreased,survival may be impacted,and medical expenses may increase.It is estimated ...BACKGROUND Bone metastasis has various negative impacts.Activities of daily living(ADL)and quality of life(QOL)can be significantly decreased,survival may be impacted,and medical expenses may increase.It is estimated that at least 5%cancer patients might be suffering from bone metastases.In 2016,we published the Comprehensive Guidelines for the Diagnosis and Treatment of Bone Metastasis.Since then,the therapeutic outcomes for patients have gradually improved.As life expectancy is a major determinant of surgical intervention,the strategy should be modified if the prolongation of survival is to be achieved.AIM To monitor how bone metastasis treatment has changed before and after launch of our guidelines for bone metastasis.METHODS For advanced cancer patients with bone metastasis who visited the Department of Clinical Oncology at Akita University hospital between 2012 and 2023,parameters including the site and number of bone metastases,laboratory data,and survival time,were extracted from electronic medical records and the Katagiri score was calculated.The association with survival was determined for each factor.RESULTS Data from 136 patients were obtained.The 1-year survival rate for the poor prognosis group with a higher Katagiri score was 20.0%in this study,which was 6%and an apparent improvement from 2014 when the scoring system was developed.Other factors significantly affecting survival included five or more bone metastases than less(P=0.0080),and treatment with chemotherapy(P<0.001),bone modifying agents(P=0.0175)and immune checkpoint inhibitors(P=0.0128).In recent years,advances in various treatment methods have extended the survival period for patients with advanced cancer.It is necessary not only to simply extend survival time,but also to maintain ADL and improve QOL.CONCLUSION Various therapeutic interventions including surgical approach for bone metastasis,which is a disorder of locomotor organs,are increasingly required.Guidelines and scoring system for prognosis need to be revised promptly.展开更多
The ground application system of the FY-3 meteorological satellite,a new generation of polar-orbiting meteorological satellite designed and built independently by China has passed professional acceptance check in Beij...The ground application system of the FY-3 meteorological satellite,a new generation of polar-orbiting meteorological satellite designed and built independently by China has passed professional acceptance check in Beijing recently.The experts agreed unanimously that the ground application system of FY-3 meteorological satellite realized the timely acquisition of global data from morning and afternoon展开更多
In this paper, the interference checking of three-dimensional objects within a plant is discussed and accomplished, which offers an automated solution to the design problems inherent in multi-user, multi-model environ...In this paper, the interference checking of three-dimensional objects within a plant is discussed and accomplished, which offers an automated solution to the design problems inherent in multi-user, multi-model environments. Also, the collision detection among moving objects is presented and discussed, and some new ideas are proposed. These methods are successfully applied in our Plant Design System (PDS) and are proven to be very practical and efficient.展开更多
文摘In order to master the future operation and stability of power grid exactly, and gasp the weak point accurately, the requirement of power data quality become strict, and the data timeliness of power gird change into outstandingly more and more, because of this, in this paper propose the SMS notifying method of intra-day scheduling data based on safely data principle. The principle is mainly complied with the data source existed or not, the data is coincident to the power grid model, the data is unbroken or not and it is reasonable with the physical reality, then it can obtain better convergence and reasonable intra-day check power data. In order to accelerate the information and network pace of the power grid, the SMS notifying can monitoring data quality without time delay. It dredge the vast path for the future power market into use with the wide range, then, can more effective to ensure the convergence and accuracy of safe check calculation, it provides an effective guarantee with the safe and stable operation of the power grid, in the same way, it is also an efficient method to provides effective guarantee for power grid safe operation from the data source.
基金国家高技术研究发展计划(863计划)，the National Natural Science Foundation of China
文摘Electronic check systems, as one of electronic payment systems, are more desirable than other electronic cash systems. In the system, only a single cheek is used to pay any price that is not more than the face value. The main problem in check systems is to design an efficient refund mechanism that makes refired cheeks undistinguished from initial checks during payment and deposit. The problem of anonymity control also called fairmess is also an important issue in check systelns. All check systems yet are unconditional anonymity that opens the door to misuse for crime such as laundering and blackmailing. In this paper, the notion of anonylnity revocation is introduced to electronic check system for the fitst thne, and a model of fair electronic check system is proposed. An effieient fair online electronic check system with reusable refund is presented. In the system, a passive trustee is elnployed to revoke the anonymity of unhonest users. Moreover, the system solves the reusability problem of refunds thanks to the RSA-based partially signature. The system is efficient and meets all basic security requirements.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
基金National Natural Science Foundation of China,Grant/Award Number:42330719National Natural Science Foundation of China,Grant/Award Number:U2443228+1 种基金Power Construction Corporation of China,Grant/Award Number:DJ-ZDXM-2021-51China Institute of Water Resources and Hydropower Research,Grant/Award Number:GE121003A0042022。
文摘Check dams are widely constructed on China's Loess Plateau,which had a total number of 58,776 by the end of 2019.Great achievements in check dam construction have been gained regarding the economic and environmental impacts.This study reviews the remarkable benefits of check dams on the land reclamation and environmental improvement on the Loess Plateau,and sediment reduction entering the Yellow River.However,the flood incidents on check dams have been frequently reported for the past decades,which has attracted more attention in the context of climate change and extreme rainfall events recently.Advances in the flood migration techniques achieved by the research group led by the first author have been highlighted to migrate the breach risk of check dams due to floods.The“family tree method”has been proposed to determine the survival status and critical rainfall threshold of each check dam in the complicated dam system.An updated dam breach flood evaluation framework and the corresponding numerical algorithm(i.e.,DB-IWHR)have been developed.Moreover,innovative types of water-release facilities for check dams,including geobag stepped spillway and prestressed concrete cylinder pipe in the underlying conduit,have been proposed and developed.Finally,the perspectives concerning the check dam construction on the Loess Plateau have been put forward.
基金jointly funded by the National Key R&D Program of China (2024YFC3012705)the CAS Light of West China Program (Grant Recipient:Wanyu Zhao)+1 种基金the National Natural Science Foundation of China (Grant No.42201095)the Postdoctoral Research Project Special Funding of Sichuan (Grant No.TB2023028)。
文摘The implementation of the cascade check dam system, which integrates beam and closed-type dams, has been extensively adopted as a pivotal engineering measure for mitigating debris flow in Southwest China. In the post-debris flow events, it is imperative to quantitatively assess the volume of sediment volume captured by the cascade check dams and to monitor their impact on sediment dynamics. This study investigates the cascade check dams in Guanmenzi Gully, Beichuan County, Sichuan Province in Southwest China, surveying the reservoir topography of the dams on two occasions over a fiveyear period. The #3 closed-type dam, located in the upper upstream, the #2 closed-type dam, located in the middle stream(which was manually cleaned), and the beam dam, located in the downstream were all surveyed. A simplified yet accurate method was developed to estimate sediment volume within check dam reservoirs under complex topographic conditions. A combination of terrestrial surveys and Unmanned Aerial Vehicle(UAV) based surveys was employed, resulting in the acquisition of two high-resolution Digital Elevation Models(DEMs) at different temporal intervals. The utilization of DEMs of Difference(DoD) facilitated the quantification of terrain variations and the sediment transport. The following conclusions were obtained: firstly, it was found that the volume of sediment trapped in the reservoirs of #2 closed-type dam and #1 beam dam were almost the same, with #3 closed-type dam being the smallest. The validation of the results in conjunction with the geometric method demonstrated that the percentage error was less than 7%, proving the reliability of the results. In addition, an analysis of changes in the detailed topography of the reservoirs revealed that the sediment deposit occurred in areas distant from the structures, while erosion exhibited concentration in specific areas close to the dams. The percentage volume of sediment deposit was found to be significantly higher than that of erosion(all higher than 85%). Furthermore, the excessive sediment deposition reduces the storage capacity of closed-type check dams, whereas in the case of beam dams, the maximum erosion amount in the reservoir is 35.8 m~3 and the percentage of the maximum erosion amount is 14.00%. This suggests that the self-cleaning of beam dam can effectively slow down the sediment deposition process. Finally, the current study proposes an expression for storage capacity composition and suggests that, in engineering practice, emphasis should be placed on maintenance programs that synergize manual cleaning and self-cleaning of open-type check dams. The conclusions may facilitate the refinement of maintenance strategies of cascade check dams, thereby effectively preventing and mitigating debris flows.
基金supported by the Natural Science Foundation of Hunan Province(2018JJ2282)
文摘Reliability enhancement testing(RET) is an accelerated testing which hastens the performance degradation process to surface its inherent defects of design and manufacture. It is an important hypothesis that the degradation mechanism of the RET is the same as the one of the normal stress condition. In order to check the consistency of two mechanisms, we conduct two enhancement tests with a missile servo system as an object of the study, and preprocess two sets of test data to establish the accelerated degradation models regarding the temperature change rate that is assumed to be the main applied stress of the servo system during the natural storage. Based on the accelerated degradation models and natural storage profile of the servo system, we provide and demonstrate a procedure to check the consistency of two mechanisms by checking the correlation and difference of two sets of degradation data. The results indicate that the two degradation mechanisms are significantly consistent with each other.
文摘BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.
文摘Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development.But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements.In this paper,we present a new solution to verify graph transformation systems using the Bogor model checker.The attributed graph grammars(AGG)-like graph transformation systems are translated to Bandera intermediate representation(BIR),the input language of Bogor,and Bogor verifies the model against some interesting properties defined by combining linear temporal logic(LTL) and special-purpose graph rules.Experimental results are encouraging,showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.
文摘A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.
文摘BACKGROUND Bone metastasis has various negative impacts.Activities of daily living(ADL)and quality of life(QOL)can be significantly decreased,survival may be impacted,and medical expenses may increase.It is estimated that at least 5%cancer patients might be suffering from bone metastases.In 2016,we published the Comprehensive Guidelines for the Diagnosis and Treatment of Bone Metastasis.Since then,the therapeutic outcomes for patients have gradually improved.As life expectancy is a major determinant of surgical intervention,the strategy should be modified if the prolongation of survival is to be achieved.AIM To monitor how bone metastasis treatment has changed before and after launch of our guidelines for bone metastasis.METHODS For advanced cancer patients with bone metastasis who visited the Department of Clinical Oncology at Akita University hospital between 2012 and 2023,parameters including the site and number of bone metastases,laboratory data,and survival time,were extracted from electronic medical records and the Katagiri score was calculated.The association with survival was determined for each factor.RESULTS Data from 136 patients were obtained.The 1-year survival rate for the poor prognosis group with a higher Katagiri score was 20.0%in this study,which was 6%and an apparent improvement from 2014 when the scoring system was developed.Other factors significantly affecting survival included five or more bone metastases than less(P=0.0080),and treatment with chemotherapy(P<0.001),bone modifying agents(P=0.0175)and immune checkpoint inhibitors(P=0.0128).In recent years,advances in various treatment methods have extended the survival period for patients with advanced cancer.It is necessary not only to simply extend survival time,but also to maintain ADL and improve QOL.CONCLUSION Various therapeutic interventions including surgical approach for bone metastasis,which is a disorder of locomotor organs,are increasingly required.Guidelines and scoring system for prognosis need to be revised promptly.
文摘The ground application system of the FY-3 meteorological satellite,a new generation of polar-orbiting meteorological satellite designed and built independently by China has passed professional acceptance check in Beijing recently.The experts agreed unanimously that the ground application system of FY-3 meteorological satellite realized the timely acquisition of global data from morning and afternoon
文摘In this paper, the interference checking of three-dimensional objects within a plant is discussed and accomplished, which offers an automated solution to the design problems inherent in multi-user, multi-model environments. Also, the collision detection among moving objects is presented and discussed, and some new ideas are proposed. These methods are successfully applied in our Plant Design System (PDS) and are proven to be very practical and efficient.
