期刊文献+
共找到1,109篇文章
< 1 2 56 >
每页显示 20 50 100
Information for authors
1
《Chinese Chemical Letters》 2025年第1期I0004-I0005,共2页
Chinese Chemical Letters(CCL)(ISSN 1001-8417) was founded in July 1990. The journal publishes preliminary accounts in the whole field of chemistry, including inorganic chemistry, organic chemistry, analytical chemistr... Chinese Chemical Letters(CCL)(ISSN 1001-8417) was founded in July 1990. The journal publishes preliminary accounts in the whole field of chemistry, including inorganic chemistry, organic chemistry, analytical chemistry, physical chemistry, polymer chemistry, applied chemistry, etc., satisfying a real and urgent need for the dissemination of research results, especially hot topics. The journal does not accept articles previously published or scheduled to be published. To verify originality, your article may be checked by the originality detection service CrossCheck. 展开更多
关键词 JOURNAL checked satisfying
原文传递
Quantitative analysis of peripheral retinal defocus checked by multispectral refraction topography in myopia among youth 被引量:7
2
作者 Qing Zhao Xueli Du +5 位作者 Ye Yang Yali Zhou Xinxin Zhao Xuebing Shan Yuxuan Meng Meng Zhang 《Chinese Medical Journal》 SCIE CAS CSCD 2023年第4期476-478,共3页
To the Editor:Myopia is the most common refractive error and a major reason for visual impairment.The prevalence of myopia is increasing worldwide and is particularly high in Asian countries.It affects 80%to 90%of you... To the Editor:Myopia is the most common refractive error and a major reason for visual impairment.The prevalence of myopia is increasing worldwide and is particularly high in Asian countries.It affects 80%to 90%of young people in some parts of East and Southeast Asia.[1]High myopia,which is more than-6.00 D,increases the possibility of visual impairment due to ocular complications caused by extended axial length(AL),which include posterior uveioma,retinal detachment,choroidal new vascularization,and so on.Thus,the prevention and control of myopia is a difficult and important public health issue that has attracted great attention from the World Health Organization and the Chinese government. 展开更多
关键词 visual checked TOPOGRAPHY
原文传递
Check韧带悬吊术治疗重度先天性上睑下垂 被引量:2
3
作者 仓正强 郝冬月 +2 位作者 孙黎明 宋保强 刘超华 《组织工程与重建外科》 2025年第5期436-440,共5页
目的探讨Check韧带悬吊术治疗重度先天性上睑下垂的手术效果。方法采用单中心回顾性研究,纳入2022年6月至2023年12月期间接受Check韧带悬吊术治疗的重度先天性上睑下垂患者。收集的术前数据包括年龄、性别、上睑缘角膜映光距离(MRD1)、... 目的探讨Check韧带悬吊术治疗重度先天性上睑下垂的手术效果。方法采用单中心回顾性研究,纳入2022年6月至2023年12月期间接受Check韧带悬吊术治疗的重度先天性上睑下垂患者。收集的术前数据包括年龄、性别、上睑缘角膜映光距离(MRD1)、提肌功能和眼睑闭合不全情况。在最后一次随访时进行术后评估,包括矫正效果和眼睑闭合功能。结果本研究共纳入86例患者(125眼),术后MRD1较术前显著改善(P<0.001),115只眼成功矫正。术后平均眼睑闭合不全缝隙为(0.58±0.57)mm,119只眼睑闭合功能极好或良好。结论Check韧带悬吊术治疗重度先天性上睑下垂能够获得良好的矫正效果,且矫正不足、残余睑裂闭合不全和结膜脱垂等并发症较少。 展开更多
关键词 Check韧带 重度先天性上睑下垂 争议 并发症
暂未订购
An acoustic analysis of vowels in checked syllables in Chinese 被引量:1
4
作者 WU Bo 《Chinese Journal of Acoustics》 CSCD 2018年第4期491-502,共12页
Vowels in checked syllables are almost short and abrupt in Chinese Mandarin dialects. This paper proposed a parametric statistical modeling for the analysis of these vowels.The parameters were described empirically wi... Vowels in checked syllables are almost short and abrupt in Chinese Mandarin dialects. This paper proposed a parametric statistical modeling for the analysis of these vowels.The parameters were described empirically with the method of probability distribution. The effects of the multiparameter classifications were estimated by the binary and multinomial logistic models, and the method of support vector machine was adopted to carry out the pattern recognition of the classifications. The results show that the parameters of duration, DCT_(1-3)are significant to the external classification, and the parameters of DCT_(0-3) have significant main effects on the internal classification. The automatic testing shows that the hit rate of the external pattern recognition is only 43.6% but the rate is 96.1% of the internal. It indicates that the abrupt feature should be additive rather than distinctive. 展开更多
关键词 An acoustic analysis of vowels in checked syllables in Chinese
原文传递
Accreditation of Crime Scene Investigation under ISO17020:2012 Standard in Hong Kong,china
5
作者 Duen-yee Luk Terence Hok-man Cheung +4 位作者 Wai-nang Cheng Wai-kit Sze Man-hung Lo Joseph Sze-wai Wong Chi-keung Li 《刑事技术》 2025年第3期314-318,共5页
Crime scene investigation(CSI)is an important link in the criminal justice system as it serves as a bridge between establishing the happenings during an incident and possibly identifying the accountable persons,provid... Crime scene investigation(CSI)is an important link in the criminal justice system as it serves as a bridge between establishing the happenings during an incident and possibly identifying the accountable persons,providing light in the dark.The International Organization for Standardization(ISO)and the International Electrotechnical Commission(IEC)collaborated to develop the ISO/IEC 17020:2012 standard to govern the quality of CSI,a branch of inspection activity.These protocols include the impartiality and competence of the crime scene investigators involved,contemporary recording of scene observations and data obtained,the correct use of resources during scene processing,forensic evidence collection and handling procedures,and the confidentiality and integrity of any scene information obtained from other parties etc.The preparatory work,the accreditation processes involved and the implementation of new quality measures to the existing quality management system in order to achieve the ISO/IE 17020:2012 accreditation at the Forensic Science Division of the Government Laboratory in Hong Kong are discussed in this paper. 展开更多
关键词 ISO/IEC 17020 crime scene investigation on-site monitoring critical findings check independent check scene of crime officer SOCO
在线阅读 下载PDF
Dynamically redactable blockchain based on decentralized Chameleon hash
6
作者 Xinzhe Huang Yujue Wang +3 位作者 Yong Ding Qianhong Wu Changsong Yang Hai Liang 《Digital Communications and Networks》 2025年第3期757-767,共11页
The immutability is a crucial property for blockchain applications,however,it also leads to problems such as the inability to revise illegal data on the blockchain and delete private data.Although redactable blockchai... The immutability is a crucial property for blockchain applications,however,it also leads to problems such as the inability to revise illegal data on the blockchain and delete private data.Although redactable blockchains enable on-chain modification,they suffer from inefficiency and excessive centralization,the majority of redactable blockchain schemes ignore the difficult problems of traceability and consistency check.In this paper,we present a Dynamically Redactable Blockchain based on decentralized Chameleon hash(DRBC).Specifically,we propose an Identity-Based Decentralized Chameleon Hash(IDCH)and a Version-Based Transaction structure(VT)to realize the traceability of transaction modifications in a decentralized environment.Then,we propose an efficient block consistency check protocol based on the Bloom filter tree,which can realize the consistency check of transactions with extremely low time and space cost.Security analysis and experiment results demonstrate the reliability of DRBC and its significant advantages in a decentralized environment. 展开更多
关键词 Privacy protection Redactable blockchain Chameleon hash Consistency check SCALABILITY
在线阅读 下载PDF
Check dams on China's Loess Plateau:An overview
7
作者 Zuyu Chen Shujing Chen +2 位作者 Penghai Yin Shu Yu Naichang Zhang 《River》 2025年第1期1-20,共20页
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. 展开更多
关键词 check dams China's Loess Plateau DB-IWHR “family tree method” geobag stepped spillway
在线阅读 下载PDF
Measurement-based entanglement purification for hybrid entangled state
8
作者 Cheng-Chen Luo Shi-Pu Gu +2 位作者 Xing-Fu Wang Lan Zhou Yu-Bo Sheng 《Chinese Physics B》 2025年第3期104-114,共11页
Hybrid entangled states(HESs),which involve different particles with various degrees of freedom,have garnered significant attention and been applied in a wide range of quantum technologies.However,similar to other cat... Hybrid entangled states(HESs),which involve different particles with various degrees of freedom,have garnered significant attention and been applied in a wide range of quantum technologies.However,similar to other categories of entanglement,maximally HESs inevitably degrade to mixed states due to the environmental noise and operational imperfections.To address the degradation problem,measurement-based entanglement purification offers a feasible and robust solution alternative to conventional gate-based purification methods.In this paper,we propose a measurement-based hybrid entanglement purification protocol(MB-HEPP)for a certain kind of HES which consists of polarization photons and coherent states.We extend our methodology to several conditions,such as the multi-copy and multi-party scenarios,and the photon-loss condition.Compared with previous HEPPs,this protocol has several advantages.First,it does not depend on post-selection and the purified HESs can be retained for further application.Second,it does not require the Bell state measurement,but only uses the parity check with conventional linear optical elements,which makes it have the higher success probability and more feasible.Our MB-HEPP has potential applications in future heterogeneous quantum networks. 展开更多
关键词 hybrid entanglement measurement-based entanglement purification parity check
原文传递
Enhancing adherence for total body skin examination in post-surgical veterans: an interventional study at an urban Veterans Affairs center
9
作者 Vignesh Ramachandran Efe Kakpovbia +8 位作者 Michelle C.Juarez Neil Jairath Andjela Nemcevic Christine C.Akoh Ian M.Ahearn Ian W.Tattersall Nayoung Lee Jo-Ann M.Latkowski John G.Zampella 《Military Medical Research》 2025年第6期978-980,共3页
Dear Editor,The Veterans Health Administration(VHA)plays a crucial role in the U.S.healthcare system,particularly for a population with a high prevalence of skin cancer[1].Timely total body skin examination(TBSE)is vi... Dear Editor,The Veterans Health Administration(VHA)plays a crucial role in the U.S.healthcare system,particularly for a population with a high prevalence of skin cancer[1].Timely total body skin examination(TBSE)is vital for managing cutaneous malignancies[2].Despite National Comprehensive Cancer Network(NCCN)guidelines advocating regular TBSE post-diagnosis[3]. 展开更多
关键词 Skin cancer screening Quality improvement Total body skin check Veteran population
原文传递
Anti-Crack Analysis and Reinforcement Design of Transverse Diaphragm Based on Layered Modeling Analysis Method
10
作者 Yuanyin Song Wenwei Wang 《Structural Durability & Health Monitoring》 2025年第3期549-574,共26页
To meticulously dissect the cracking issue in the transverse diaphragm concrete,situated at the anchor point of a colossal large-span,single cable plane cable-stayed bridge,this research paper adopts an innovative lay... To meticulously dissect the cracking issue in the transverse diaphragm concrete,situated at the anchor point of a colossal large-span,single cable plane cable-stayed bridge,this research paper adopts an innovative layered modeling analysis methodology for numerical simulations.The approach is structured into three distinct layers,each tailored to address specific aspects of the cracking phenomenon.The foundational first layer model operates under the assumption of linear elasticity,adhering to the Saint Venant principle.It narrows its focus to the crucial zone between the Bp20 transverse diaphragm and the central axis of pier 4’s support,encompassing the critically cracked diaphragm beneath the N1 cable anchor.This layer provides a preliminary estimate of potential cracking zones within the concrete,serving as a baseline for further analysis.The second layer model builds upon this foundation by incorporating material plasticity into its considerations.It pinpoints its investigation to the immediate vicinity of the cracked transverse diaphragm associated with the N1 cable,aiming to capture the intricate material behavior under stress.This layer’s predictions of crack locations and patterns exhibit a remarkable alignment with actual detection results,confirming its precision and reliability.The third and most intricate layer delves deep into the heart of the matter,examining the cracked transverse diaphragm precisely where the cable force attains its maximum intensity.By leveraging advanced extended finite element technology,this layer offers an unprecedented level of detail in tracing the progression of concrete cracks.Its findings reveal a close correlation between predicted and observed crack widths,validating the model’s proficiency in simulating real-world cracking dynamics.Crucially,the boundary conditions for each layer are meticulously aligned with those of the overarching model,ensuring consistency and integrity throughout the analysis.These results not only enrich our understanding of the cracking mechanisms but also underscore the efficacy of reinforcing cracked concrete sections with external steel plates.In conclusion,this study represents a significant contribution to the field of bridge engineering,offering both theoretical insights and practical solutions for addressing similar challenges. 展开更多
关键词 Single-cable plane cable-stayed bridge anti-crack checking analysis cracked transverse diaphragm steel plate strengthening reinforcement design
在线阅读 下载PDF
Mini-review on insulin resistance assessment:Advances in surrogate indices and clinical applications
11
作者 Kengo Moriyama 《World Journal of Clinical Cases》 2025年第29期39-52,共14页
Insulin resistance(IR)is widely recognized as a key contributor to metabolic disorders,and various surrogate indices have been developed to estimate IR in clinical and research settings.The hyperinsulinemic-euglycemic... Insulin resistance(IR)is widely recognized as a key contributor to metabolic disorders,and various surrogate indices have been developed to estimate IR in clinical and research settings.The hyperinsulinemic-euglycemic clamp is considered the gold standard method for assessing insulin resistance due to its precision;however,its complexity limits its widespread clinical application.Consequently,surrogate indices derived from fasting and post-load glucose and insulin levels have been developed to estimate IR,facilitating early detection and risk stratification in metabolic disorders.This mini-review discusses the clinical utility,strengths,and limitations of key IR indices,including the homeostasis model assessment of IR,quantitative insulin sensitivity check index,Matsuda index,and triglyceride-glucose index.Overall,the evidence presented to date suggests that these indices provide valuable estimates of IR in various popula-tions.Yet,their applicability varies depending on ethnic background,disease status,and clinical setting.Integrating these indices into routine clinical practice and research could improve metabolic risk assessment and guide preventive interventions.Further investigations are necessary to refine their accuracy and determine optimal cut-off values for various populations. 展开更多
关键词 Insulin resistance Homeostasis model assessment of insulin resistance Quantitative insulin sensitivity check index Matsuda index Triglyceride-glucose index Surrogate markers Metabolic disorders Diabetes Cardiovascular disease Risk assessment
暂未订购
Information for authors
12
《Chinese Chemical Letters》 SCIE CAS CSCD 2024年第1期I0003-I0004,共2页
Chinese Chemical Letters(CCL)(ISSN 1001-8417)was founded in July 1990.The journal publishes preliminary accounts in the whole field of chemistry,including inorganic chemistry,organic chemistry,analytical chemistry,phy... Chinese Chemical Letters(CCL)(ISSN 1001-8417)was founded in July 1990.The journal publishes preliminary accounts in the whole field of chemistry,including inorganic chemistry,organic chemistry,analytical chemistry,physical chemistry,polymer chemistry,applied chemistry,etc.,satisfying a real and urgent need for the dissemination of research results,especially hot topics.The journal does not accept articles previously published or scheduled to be published.To verify originality,your article may be checked by the originality detection service CrossCheck. 展开更多
关键词 JOURNAL checked satisfying
原文传递
Informationfor authors
13
《Chinese Chemical Letters》 SCIE CAS CSCD 2024年第12期I0004-I0005,共2页
Chinese Chemical Letters(CCL)(ISSN 1001-8417)was founded in July 1990.The journal publishes preliminary accounts in the whole field of chemistry,including inorganic chemistry,organic chemistry,analytical chemistry,phy... Chinese Chemical Letters(CCL)(ISSN 1001-8417)was founded in July 1990.The journal publishes preliminary accounts in the whole field of chemistry,including inorganic chemistry,organic chemistry,analytical chemistry,physical chemistry,polymer chemistry,applied chemistry,etc.,satisfying a real and urgent need for the dissemination of research results,especially hot topics.The journal does not accept articles previously published or scheduled to be published.To verify originality,your article may be checked by the originality detection service CrossCheck. 展开更多
关键词 JOURNAL checked satisfying
原文传递
Stop H5N1 influenza in US cattle now
14
作者 Nicola Lewis 《四川生理科学杂志》 2024年第7期1639-1639,共1页
The relentless march of a highly pathogenic avian influenza virus(HPAIV)strain,known as H5N1,to become an unprecedented panzootic continues unchecked.The leap of H5N1 clade 2.3.4.4b from Eurasia and Africa to North Am... The relentless march of a highly pathogenic avian influenza virus(HPAIV)strain,known as H5N1,to become an unprecedented panzootic continues unchecked.The leap of H5N1 clade 2.3.4.4b from Eurasia and Africa to North America in 2021 and its further spread to South America and the Antarctic have exposed new avian and mammalian populations to the virus and led to outbreaks on an unrivaled scale.The virus has infected wild birds across vast geographic regions and caused wildlife deaths in some of the world's most biodiverse ecosystems. 展开更多
关键词 H5N1 checked INFLUENZA
暂未订购
An Improved Machine Learning Model for Pure Component Property Estimation 被引量:2
15
作者 Xinyu Cao Ming Gong +3 位作者 Anjan Tula Xi Chen Rafiqul Gani Venkat Venkatasubramanian 《Engineering》 SCIE EI CAS CSCD 2024年第8期61-73,共13页
Information on the physicochemical properties of chemical species is an important prerequisite when performing tasks such as process design and product design.However,the lack of extensive data and high experimental c... Information on the physicochemical properties of chemical species is an important prerequisite when performing tasks such as process design and product design.However,the lack of extensive data and high experimental costs hinder the development of prediction techniques for these properties.Moreover,accuracy and predictive capabilities still limit the scope and applicability of most property estimation methods.This paper proposes a new Gaussian process-based modeling framework that aims to manage a discrete and high-dimensional input space related to molecular structure representation with the group-contribution approach.A warping function is used to map discrete input into a continuous domain in order to adjust the correlation between different compounds.Prior selection techniques,including prior elicitation and prior predictive checking,are also applied during the building procedure to provide the model with more information from previous research findings.The framework is assessed using datasets of varying sizes for 20 pure component properties.For 18 out of the 20 pure component properties,the new models are found to give improved accuracy and predictive power in comparison with other published models,with and without machine learning. 展开更多
关键词 Group contribution Gaussian process Warping function Prior predictive checking
在线阅读 下载PDF
Influence of initial check, information exchange, final accuracy check, reaction information nursing on the psychology of elderly with lung cancer 被引量:2
16
作者 Cui Jiang Jing Ma +1 位作者 Wen He Hai-Ying Zhang 《World Journal of Clinical Cases》 SCIE 2024年第4期737-745,共9页
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. 展开更多
关键词 Initial check information exchange final accuracy check reaction information care model Lung cancer Mental health
暂未订购
A Survey on Sensor-and Communication-Based Issues of Autonomous UAVs
17
作者 Pavlo Mykytyn Marcin Brzozowski +1 位作者 Zoya Dyka Peter Langendoerfer 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第2期1019-1050,共32页
The application field for Unmanned Aerial Vehicle (UAV) technology and its adoption rate have been increasingsteadily in the past years. Decreasing cost of commercial drones has enabled their use at a scale broader th... The application field for Unmanned Aerial Vehicle (UAV) technology and its adoption rate have been increasingsteadily in the past years. Decreasing cost of commercial drones has enabled their use at a scale broader thanever before. However, increasing the complexity of UAVs and decreasing the cost, both contribute to a lack ofimplemented securitymeasures and raise new security and safety concerns. For instance, the issue of implausible ortampered UAV sensor measurements is barely addressed in the current research literature and thus, requires moreattention from the research community. The goal of this survey is to extensively review state-of-the-art literatureregarding common sensor- and communication-based vulnerabilities, existing threats, and active or passive cyberattacksagainst UAVs, as well as shed light on the research gaps in the literature. In this work, we describe theUnmanned Aerial System (UAS) architecture to point out the origination sources for security and safety issues.Weevaluate the coverage and completeness of each related research work in a comprehensive comparison table as wellas classify the threats, vulnerabilities and cyber-attacks into sensor-based and communication-based categories.Additionally, for each individual cyber-attack, we describe existing countermeasures or detectionmechanisms andprovide a list of requirements to ensureUAV’s security and safety.We also address the problem of implausible sensormeasurements and introduce the idea of a plausibility check for sensor data. By doing so, we discover additionalmeasures to improve security and safety and report on a research niche that is not well represented in the currentresearch literature. 展开更多
关键词 Unmanned aerial vehicle unmanned aerial system cyber security and privacy drone swarm security vulnerabilities cyber-threats cyber-attacks plausibility check
在线阅读 下载PDF
Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
18
作者 Xia Li Zhanyou Ma +3 位作者 Zhibao Mian Ziyuan Liu Ruiqi Huang Nana He 《Computers, Materials & Continua》 SCIE EI 2024年第3期4129-4152,共24页
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. 展开更多
关键词 Model checking multi-agent systems fuzzy epistemic interpreted systems fuzzy computation tree logic transformation algorithm
在线阅读 下载PDF
Recent trends in bone metastasis treatments:A historical comparison using the new Katagiri score system
19
作者 Kenji Matsuda Kazuhiro Shimazu +5 位作者 Hanae Shinozaki Koji Fukuda Taichi Yoshida Daiki Taguchi Kyoko Nomura Hiroyuki Shibata 《World Journal of Clinical Cases》 SCIE 2024年第15期2499-2505,共7页
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. 展开更多
关键词 Bone metastasis New Katagiri scoring system Prognosis Immune check point inhibitors SURVIVAL
暂未订购
基于PDCA的船舶设计质量管理 被引量:1
20
作者 战研 陈云 叶步永 《船舶标准化工程师》 2024年第4期55-59,共5页
为提高船舶设计质量管理水平,以某满足《协调共同结构规范》(Harmonized Common Structure Rule,HCSR)的巴拿马型散货船为研究对象,利用计划、执行、检查、处理(Plan,Do,Check,Act,PDCA)循环法基本原则对设计质量进行管控,并建立同一船... 为提高船舶设计质量管理水平,以某满足《协调共同结构规范》(Harmonized Common Structure Rule,HCSR)的巴拿马型散货船为研究对象,利用计划、执行、检查、处理(Plan,Do,Check,Act,PDCA)循环法基本原则对设计质量进行管控,并建立同一船型设计质量管理体系。此外,对船舶能效指数(Energy Efficiency Design Index,EEDI)提升和结构轻量化设计的研讨方法进行分析。研究成果可为船舶设计质量管理提供一定参考。 展开更多
关键词 协调共同规范(Harmonized Common Structure Rule HCSR) 计划、执行、检查、处理(Plan Do Check Act PDCA) 设计优化 管理体系
在线阅读 下载PDF
上一页 1 2 56 下一页 到第
使用帮助 返回顶部