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.展开更多
BACKGROUND Computer-aided diagnosis(CAD)may assist endoscopists in identifying and classifying polyps during colonoscopy for detecting colorectal cancer.AIM To build a system using CAD to detect and classify polyps ba...BACKGROUND Computer-aided diagnosis(CAD)may assist endoscopists in identifying and classifying polyps during colonoscopy for detecting colorectal cancer.AIM To build a system using CAD to detect and classify polyps based on the Yamada classification.METHODS A total of 24045 polyp and 72367 nonpolyp images were obtained.We established a computer-aided detection and Yamada classification model based on the YOLOv7 neural network algorithm.Frame-based and image-based evaluation metrics were employed to assess the performance.RESULTS Computer-aided detection and Yamada classification screened polyps with a precision of 96.7%,a recall of 95.8%,and an F1-score of 96.2%,outperforming those of all groups of endoscopists.In regard to the Yamada classification of polyps,the CAD system displayed a precision of 82.3%,a recall of 78.5%,and an F1-score of 80.2%,outper-forming all levels of endoscopists.In addition,according to the image-based method,the CAD had an accuracy of 99.2%,a specificity of 99.5%,a sensitivity of 98.5%,a positive predictive value of 99.0%,a negative predictive value of 99.2%for polyp detection and an accuracy of 97.2%,a specificity of 98.4%,a sensitivity of 79.2%,a positive predictive value of 83.0%,and a negative predictive value of 98.4%for poly Yamada classification.CONCLUSION We developed a novel CAD system based on a deep neural network for polyp detection,and the Yamada classi-fication outperformed that of nonexpert endoscopists.This CAD system could help community-based hospitals enhance their effectiveness in polyp detection and classification.展开更多
Trehalose is a widely used and safe natural disaccharide.Maltooligosyl trehalose hydrolase(MTHase)is one of the key enzymes for trehalose preparation by double enzyme method using starch or dextrin as substrate.In ind...Trehalose is a widely used and safe natural disaccharide.Maltooligosyl trehalose hydrolase(MTHase)is one of the key enzymes for trehalose preparation by double enzyme method using starch or dextrin as substrate.In industrial production,the thermalstability of MTHase is of great significance.We first heterogeneously expressed MTHase from Arthrobacter in E.coli strains BL21(DE3).Based on the overall stability of the protein after virtual saturation mutation predicted by FoldX and the evolutionary information from PSSM,15 mutations were selected and combined.Finally,the combinatorial mutant G589P/A57P was obtained.At 60℃,the t_(1/2)of G589P/A57P and wild type are 37 min and 19 min,respectively,which is 1.9 times higher than that of wild type.The enzyme kinetic parameters of G589P/A57P were analyzed.The K_(M)and k_(cat)are 4.82 mM and 1136 s^(−1),respectively,and the results were close to the wild type,indicating that the mutation did not reduce the catalytic efficiency of the enzyme.The molecular dynamics simulation results show that the rigidity and thermal stability of G589P/A57P protein increase in the range of residues 50-100 and 400-500,which may be due to the proline effect caused by the introduction of proline.展开更多
Jaundice,common condition in newborns,is characterized by yellowing of the skin and eyes due to elevated levels of bilirubin in the blood.Timely detection and management of jaundice are crucial to prevent potential co...Jaundice,common condition in newborns,is characterized by yellowing of the skin and eyes due to elevated levels of bilirubin in the blood.Timely detection and management of jaundice are crucial to prevent potential complications.Traditional jaundice assessment methods rely on visual inspection or invasive blood tests that are subjective and painful for infants,respectively.Although several automated methods for jaundice detection have been developed during the past few years,a limited number of reviews consolidating these developments have been presented till date,making it essential to systematically evaluate and present the existing advancements.This paper fills this gap by providing a thorough survey of automated methods for jaundice detection in neonates.The primary focus of the survey is to review the existing methodologies,techniques,and technologies used for neonatal jaundice detection.The key findings from the review indicate that image-based bilirubinometers and transcutaneous bilirubinometers are promising non-invasive alternatives,and provide a good trade-off between accuracy and ease of use.However,their effectiveness varies with factors like skin pigmentation,gestational age,and measurement site.Spectroscopic and biosensor-based techniques show high sensitivity but need further clinical validation.Despite advancements,several challenges including device calibration,large-scale validation,and regulatory barriers still haunt the researchers.Standardization,regulatory compliances,and seamless integration into healthcare workflows are the key hurdles to be addressed.By consolidating the current knowledge and discussing the challenges and opportunities in this field,this survey aims to contribute to the advancement of automatic jaundice detection and ultimately improve neonatal care.展开更多
With the development of artificial intelligence technology,AI computer-aided diagnosis has found certain applications in the field of dermatology.However,due to the vast variety and complex manifestations of skin dise...With the development of artificial intelligence technology,AI computer-aided diagnosis has found certain applications in the field of dermatology.However,due to the vast variety and complex manifestations of skin diseases,the specific mechanisms underlying AI computer-aided diagnosis in this context still require further exploration.Therefore,this paper,based on the imaging characteristics of skin diseases,elucidates the technical principles of AI computer-aided diagnosis and analyzes the practical application effects of AI in the diagnostic process of skin diseases.This provides new data support and methodological foundations for clinical teaching and research on skin diseases.展开更多
BACKGROUND Early detection of precancerous lesions is of vital importance for reducing the incidence and mortality of upper gastrointestinal(UGI)tract cancer.However,traditional endoscopy has certain limitations in de...BACKGROUND Early detection of precancerous lesions is of vital importance for reducing the incidence and mortality of upper gastrointestinal(UGI)tract cancer.However,traditional endoscopy has certain limitations in detecting precancerous lesions.In contrast,real-time computer-aided detection(CAD)systems enhanced by artificial intelligence(AI)systems,although they may increase unnecessary medical procedures,can provide immediate feedback during examination,thereby improving the accuracy of lesion detection.This article aims to conduct a meta-analysis of the diagnostic performance of CAD systems in identifying precancerous lesions of UGI tract cancer during esophagogastroduodenoscopy(EGD),evaluate their potential clinical application value,and determine the direction for further research.AIM To investigate the improvement of the efficiency of EGD examination by the realtime AI-enabled real-time CAD system(AI-CAD)system.METHODS PubMed,EMBASE,Web of Science and Cochrane Library databases were searched by two independent reviewers to retrieve literature with per-patient analysis with a deadline up until April 2025.A meta-analysis was performed with R Studio software(R4.5.0).A random-effects model was used and subgroup analysis was carried out to identify possible sources of heterogeneity.RESULTS The initial search identified 802 articles.According to the inclusion criteria,2113 patients from 10 studies were included in this meta-analysis.The pooled accuracy difference,logarithmic difference of diagnostic odds ratios,sensitivity,specificity and the area under the summary receiver operating characteristic curve(area under the curve)of both AI group and endoscopist group for detecting precancerous lesion were 0.16(95%CI:0.12-0.20),-0.19(95%CI:-0.75-0.37),0.89(95%CI:0.85-0.92,AI group),0.67(95%CI:0.63-0.71,endoscopist group),0.89(95%CI:0.84-0.93,AI group),0.77(95%CI:0.70-0.83,endoscopist group),0.928(95%CI:0.841-0.948,AI group),0.722(95%CI:0.677-0.821,endoscopist group),respectively.CONCLUSION The present studies further provide evidence that the AI-CAD is a reliable endoscopic diagnostic tool that can be used to assist endoscopists in detection of precancerous lesions in the UGI tract.It may be introduced on a large scale for clinical application to enhance the accuracy of detecting precancerous lesions in the UGI tract.展开更多
You can use the word“check”in many ways.When you check into something,you find out more about it.When you check something out,you look at that thing carefully.To check out a place,you may actually go there.When you ...You can use the word“check”in many ways.When you check into something,you find out more about it.When you check something out,you look at that thing carefully.To check out a place,you may actually go there.When you check in on someone,you go to their place.You may ask,“How are you doing?”展开更多
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image ar...The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image are taken as research objects. On the base of the traditional checking methods of printing quality,combining the method and theory of digital image processing with printing theory in the new domain of image quality checking,it constitute the checking system of printing quality by image processing,and expound the theory design and the model of this system. This is an application of machine vision. It uses the high resolution industrial CCD(Charge Coupled Device) colorful camera. It can display the real-time photographs on the monitor,and input the video signal to the image gathering card,and then the image data transmits through the computer PCI bus to the memory. At the same time,the system carries on processing and data analysis. This method is proved by experiments. The experiments are mainly about the data conversion of image and ink limit show of printing.展开更多
With the development of computer technology, Computer-Aided Translation(CAT) is widely used in the translation process, thus increasing the efficiency of the entire translation work. The purpose of this article is to ...With the development of computer technology, Computer-Aided Translation(CAT) is widely used in the translation process, thus increasing the efficiency of the entire translation work. The purpose of this article is to analyze the importance of introducing CAT technology into translation teaching and explore some ways of integrating CAT technology with translation teaching, so as to improve the quality of the translators and the translation work.展开更多
In time series modeling, the residuals are often checked for white noise and normality. In practice, the useful tests are Ljung Box test. Mcleod Li test and Lin Mudholkar test. In this paper, we present a nonparame...In time series modeling, the residuals are often checked for white noise and normality. In practice, the useful tests are Ljung Box test. Mcleod Li test and Lin Mudholkar test. In this paper, we present a nonparametric approach for checking the residuals of time series models. This approach is based on the maximal correlation coefficient ρ 2 * between the residuals and time t . The basic idea is to use the bootstrap to form the null distribution of the statistic ρ 2 * under the null hypothesis H 0:ρ 2 * =0. For calculating ρ 2 * , we proposes a ρ algorithm, analogous to ACE procedure. Power study shows this approach is more powerful than Ljung Box test. Meanwhile, some numerical results and two examples are reported in this paper.展开更多
This article begins with a brief analysis of the significance of translation technology in different spheres of modern life,followed by a distinction between machine translation(MT)and computer-aided translation(CAT)....This article begins with a brief analysis of the significance of translation technology in different spheres of modern life,followed by a distinction between machine translation(MT)and computer-aided translation(CAT).It then describes some translation resources and tools and examines the negative and positive aspects of computer-aided translations.Finally it comes to a conclusion that it would be greatly efficient and productive for the translators to acquire the new skills in the translation workplace.展开更多
Due to the practical problems of the high costs and the long development cycle of China’s cabinet production,a computer-aided design method of the cabinet based on style imagery is proposed.According to the principle...Due to the practical problems of the high costs and the long development cycle of China’s cabinet production,a computer-aided design method of the cabinet based on style imagery is proposed.According to the principle of the conjoint analysis method, the rough set theory and the weight coefficient of different components of the cabinet,a multi-dimensional model of style imagery to evaluate the cabinet is built. Then the related constants of style imagery are calculated and the cabinet components library is also built by the three-dimensional modeling.Finally,with recombinant technology and the mapping model between cabinet style and external characteristics,the prototype system based on Visual Studio is proposed.This system actualizes the bidirectional reasoning between product style imagery and the shape features,which can assist designers to produce more creative designs,greatly improve the efficiency of cabinet development and increase the profits of companies.展开更多
Federal Aviation Administration(FAA) and NASA technical reports indicate that the misunderstanding in radiotelephony communications is a primary causal factor associated with operation errors, and a sizable proportion...Federal Aviation Administration(FAA) and NASA technical reports indicate that the misunderstanding in radiotelephony communications is a primary causal factor associated with operation errors, and a sizable proportion of operation errors lead to read-back errors. We introduce deep learning method to solve this problem and propose a new semantic checking model based on Long Short-Time Memory network(LSTM) for intelligent read-back error checking. A meanpooling layer is added to the traditional LSTM, so as to utilize the information obtained by all the hidden activation vectors, and also to improve the robustness of the semantic vector extracted by LSTM. A MultiLayer Perceptron(MLP) layer, which can maintain the information of different regions in the concatenated vectors obtained by the mean-pooling layer, is applied instead of traditional similarity function in the new model to express the semantic similarity of the read-back pairs quantitatively. The K-Nearest Neighbor(KNN) classifier is used to verify whether the read-back pairs are consistent in semantics according to the output of MLP layer. Extensive experiments are conducted and the results show that the proposed model is more effective and more robust than the traditional checking model to verify the semantic consistency of read-backs automatically.展开更多
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is ...Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives in detecting these complex attack patterns.To solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks.On this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic.Compared with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct attacks.The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.展开更多
Segmenting the lesion regions from the ultrasound （US） images is an important step in the intra-operative planning of some computer-aided therapies. High-Intensity Focused Ultrasound （HIFU）, as a popular computer-...Segmenting the lesion regions from the ultrasound （US） images is an important step in the intra-operative planning of some computer-aided therapies. High-Intensity Focused Ultrasound （HIFU）, as a popular computer-aided therapy, has been widely used in the treatment of uterine fibroids. However, such segmentation in HIFU remains challenge for two reasons： （1） the blurry or missing boundaries of lesion regions in the HIFU images and （2） the deformation of uterine fibroids caused by the patient＇s breathing or an external force during the US imaging process, which can lead to complex shapes of lesion regions. These factors have prevented classical active contour-based segmentation methods from yielding desired results for uterine fibroids in US images. In this paper, a novel active contour-based segmentation method is proposed, which utilizes the correlation information of target shapes among a sequence of images as prior knowledge to aid the existing active contour method. This prior knowledge can be interpreted as a unsupervised clustering of shapes prior modeling. Meanwhile, it is also proved that the shapes correlation has the low-rank property in a linear space, and the theory of matrix recovery is used as an effective tool to impose the proposed prior on an existing active contour model. Finally, an accurate method is developed to solve the proposed model by using the Augmented Lagrange Multiplier （ALM）. Experimental results from both synthetic and clinical uterine fibroids US image sequences demonstrate that the proposed method can consistently improve the performance of active contour models and increase the robustness against missing or misleading boundaries, and can greatly improve the efficiency of HIFU therapy.展开更多
The finite element analysis and the optimum design of aluminum profile extrusion mould were investigated using the ANSYS software and its parameterized modeling method. The optimum dimensions of the mould were obtaine...The finite element analysis and the optimum design of aluminum profile extrusion mould were investigated using the ANSYS software and its parameterized modeling method. The optimum dimensions of the mould were obtained. It is found that the stress distribution is very uneven, and the stress convergence is rather severe in the bridge of the aluminum profile extrusion mould. The optimum height of the mould is 70.527 mm, and the optimum radius of dividing holes are 70.182 mm and 80.663 mm. Increasing the height of the mould in the range of 61.282 mm to 70.422 mm can prolong its longevity, but when the height is over 70.422 mm, its longevity reduces.展开更多
A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagra...A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.展开更多
文摘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.
基金Supported by Science and Technology Projects in Guangzhou,No.2023A04J2282。
文摘BACKGROUND Computer-aided diagnosis(CAD)may assist endoscopists in identifying and classifying polyps during colonoscopy for detecting colorectal cancer.AIM To build a system using CAD to detect and classify polyps based on the Yamada classification.METHODS A total of 24045 polyp and 72367 nonpolyp images were obtained.We established a computer-aided detection and Yamada classification model based on the YOLOv7 neural network algorithm.Frame-based and image-based evaluation metrics were employed to assess the performance.RESULTS Computer-aided detection and Yamada classification screened polyps with a precision of 96.7%,a recall of 95.8%,and an F1-score of 96.2%,outperforming those of all groups of endoscopists.In regard to the Yamada classification of polyps,the CAD system displayed a precision of 82.3%,a recall of 78.5%,and an F1-score of 80.2%,outper-forming all levels of endoscopists.In addition,according to the image-based method,the CAD had an accuracy of 99.2%,a specificity of 99.5%,a sensitivity of 98.5%,a positive predictive value of 99.0%,a negative predictive value of 99.2%for polyp detection and an accuracy of 97.2%,a specificity of 98.4%,a sensitivity of 79.2%,a positive predictive value of 83.0%,and a negative predictive value of 98.4%for poly Yamada classification.CONCLUSION We developed a novel CAD system based on a deep neural network for polyp detection,and the Yamada classi-fication outperformed that of nonexpert endoscopists.This CAD system could help community-based hospitals enhance their effectiveness in polyp detection and classification.
基金supported by the National Natural Science Foundation of China(No.32171471)Key Research and Development Project of Shandong Province,China(2019JZZY020605)the Project Funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions,Top-notch Academic Programs Project of Jiangsu Higher Education Institutions.
文摘Trehalose is a widely used and safe natural disaccharide.Maltooligosyl trehalose hydrolase(MTHase)is one of the key enzymes for trehalose preparation by double enzyme method using starch or dextrin as substrate.In industrial production,the thermalstability of MTHase is of great significance.We first heterogeneously expressed MTHase from Arthrobacter in E.coli strains BL21(DE3).Based on the overall stability of the protein after virtual saturation mutation predicted by FoldX and the evolutionary information from PSSM,15 mutations were selected and combined.Finally,the combinatorial mutant G589P/A57P was obtained.At 60℃,the t_(1/2)of G589P/A57P and wild type are 37 min and 19 min,respectively,which is 1.9 times higher than that of wild type.The enzyme kinetic parameters of G589P/A57P were analyzed.The K_(M)and k_(cat)are 4.82 mM and 1136 s^(−1),respectively,and the results were close to the wild type,indicating that the mutation did not reduce the catalytic efficiency of the enzyme.The molecular dynamics simulation results show that the rigidity and thermal stability of G589P/A57P protein increase in the range of residues 50-100 and 400-500,which may be due to the proline effect caused by the introduction of proline.
基金funded by the Indian Council of Medical Research(ICMR),New Delhi,Government of India under Grant No.EM/SG/Dev.Res/124/0812-2023.
文摘Jaundice,common condition in newborns,is characterized by yellowing of the skin and eyes due to elevated levels of bilirubin in the blood.Timely detection and management of jaundice are crucial to prevent potential complications.Traditional jaundice assessment methods rely on visual inspection or invasive blood tests that are subjective and painful for infants,respectively.Although several automated methods for jaundice detection have been developed during the past few years,a limited number of reviews consolidating these developments have been presented till date,making it essential to systematically evaluate and present the existing advancements.This paper fills this gap by providing a thorough survey of automated methods for jaundice detection in neonates.The primary focus of the survey is to review the existing methodologies,techniques,and technologies used for neonatal jaundice detection.The key findings from the review indicate that image-based bilirubinometers and transcutaneous bilirubinometers are promising non-invasive alternatives,and provide a good trade-off between accuracy and ease of use.However,their effectiveness varies with factors like skin pigmentation,gestational age,and measurement site.Spectroscopic and biosensor-based techniques show high sensitivity but need further clinical validation.Despite advancements,several challenges including device calibration,large-scale validation,and regulatory barriers still haunt the researchers.Standardization,regulatory compliances,and seamless integration into healthcare workflows are the key hurdles to be addressed.By consolidating the current knowledge and discussing the challenges and opportunities in this field,this survey aims to contribute to the advancement of automatic jaundice detection and ultimately improve neonatal care.
文摘With the development of artificial intelligence technology,AI computer-aided diagnosis has found certain applications in the field of dermatology.However,due to the vast variety and complex manifestations of skin diseases,the specific mechanisms underlying AI computer-aided diagnosis in this context still require further exploration.Therefore,this paper,based on the imaging characteristics of skin diseases,elucidates the technical principles of AI computer-aided diagnosis and analyzes the practical application effects of AI in the diagnostic process of skin diseases.This provides new data support and methodological foundations for clinical teaching and research on skin diseases.
文摘BACKGROUND Early detection of precancerous lesions is of vital importance for reducing the incidence and mortality of upper gastrointestinal(UGI)tract cancer.However,traditional endoscopy has certain limitations in detecting precancerous lesions.In contrast,real-time computer-aided detection(CAD)systems enhanced by artificial intelligence(AI)systems,although they may increase unnecessary medical procedures,can provide immediate feedback during examination,thereby improving the accuracy of lesion detection.This article aims to conduct a meta-analysis of the diagnostic performance of CAD systems in identifying precancerous lesions of UGI tract cancer during esophagogastroduodenoscopy(EGD),evaluate their potential clinical application value,and determine the direction for further research.AIM To investigate the improvement of the efficiency of EGD examination by the realtime AI-enabled real-time CAD system(AI-CAD)system.METHODS PubMed,EMBASE,Web of Science and Cochrane Library databases were searched by two independent reviewers to retrieve literature with per-patient analysis with a deadline up until April 2025.A meta-analysis was performed with R Studio software(R4.5.0).A random-effects model was used and subgroup analysis was carried out to identify possible sources of heterogeneity.RESULTS The initial search identified 802 articles.According to the inclusion criteria,2113 patients from 10 studies were included in this meta-analysis.The pooled accuracy difference,logarithmic difference of diagnostic odds ratios,sensitivity,specificity and the area under the summary receiver operating characteristic curve(area under the curve)of both AI group and endoscopist group for detecting precancerous lesion were 0.16(95%CI:0.12-0.20),-0.19(95%CI:-0.75-0.37),0.89(95%CI:0.85-0.92,AI group),0.67(95%CI:0.63-0.71,endoscopist group),0.89(95%CI:0.84-0.93,AI group),0.77(95%CI:0.70-0.83,endoscopist group),0.928(95%CI:0.841-0.948,AI group),0.722(95%CI:0.677-0.821,endoscopist group),respectively.CONCLUSION The present studies further provide evidence that the AI-CAD is a reliable endoscopic diagnostic tool that can be used to assist endoscopists in detection of precancerous lesions in the UGI tract.It may be introduced on a large scale for clinical application to enhance the accuracy of detecting precancerous lesions in the UGI tract.
文摘You can use the word“check”in many ways.When you check into something,you find out more about it.When you check something out,you look at that thing carefully.To check out a place,you may actually go there.When you check in on someone,you go to their place.You may ask,“How are you doing?”
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
文摘The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image are taken as research objects. On the base of the traditional checking methods of printing quality,combining the method and theory of digital image processing with printing theory in the new domain of image quality checking,it constitute the checking system of printing quality by image processing,and expound the theory design and the model of this system. This is an application of machine vision. It uses the high resolution industrial CCD(Charge Coupled Device) colorful camera. It can display the real-time photographs on the monitor,and input the video signal to the image gathering card,and then the image data transmits through the computer PCI bus to the memory. At the same time,the system carries on processing and data analysis. This method is proved by experiments. The experiments are mainly about the data conversion of image and ink limit show of printing.
文摘With the development of computer technology, Computer-Aided Translation(CAT) is widely used in the translation process, thus increasing the efficiency of the entire translation work. The purpose of this article is to analyze the importance of introducing CAT technology into translation teaching and explore some ways of integrating CAT technology with translation teaching, so as to improve the quality of the translators and the translation work.
文摘In time series modeling, the residuals are often checked for white noise and normality. In practice, the useful tests are Ljung Box test. Mcleod Li test and Lin Mudholkar test. In this paper, we present a nonparametric approach for checking the residuals of time series models. This approach is based on the maximal correlation coefficient ρ 2 * between the residuals and time t . The basic idea is to use the bootstrap to form the null distribution of the statistic ρ 2 * under the null hypothesis H 0:ρ 2 * =0. For calculating ρ 2 * , we proposes a ρ algorithm, analogous to ACE procedure. Power study shows this approach is more powerful than Ljung Box test. Meanwhile, some numerical results and two examples are reported in this paper.
文摘This article begins with a brief analysis of the significance of translation technology in different spheres of modern life,followed by a distinction between machine translation(MT)and computer-aided translation(CAT).It then describes some translation resources and tools and examines the negative and positive aspects of computer-aided translations.Finally it comes to a conclusion that it would be greatly efficient and productive for the translators to acquire the new skills in the translation workplace.
基金The National Natural Science Foundation of China(No.71271053)the Scientific Innovation Research of College Graduates in Jiangsu Province(No.CXLX13_082)
文摘Due to the practical problems of the high costs and the long development cycle of China’s cabinet production,a computer-aided design method of the cabinet based on style imagery is proposed.According to the principle of the conjoint analysis method, the rough set theory and the weight coefficient of different components of the cabinet,a multi-dimensional model of style imagery to evaluate the cabinet is built. Then the related constants of style imagery are calculated and the cabinet components library is also built by the three-dimensional modeling.Finally,with recombinant technology and the mapping model between cabinet style and external characteristics,the prototype system based on Visual Studio is proposed.This system actualizes the bidirectional reasoning between product style imagery and the shape features,which can assist designers to produce more creative designs,greatly improve the efficiency of cabinet development and increase the profits of companies.
基金supported by the National Natural Science Foundation of China(Nos.61502498,U1433120 and 61806208)the Fundamental Research Funds for the Central Universities,China(No.3122017001)
文摘Federal Aviation Administration(FAA) and NASA technical reports indicate that the misunderstanding in radiotelephony communications is a primary causal factor associated with operation errors, and a sizable proportion of operation errors lead to read-back errors. We introduce deep learning method to solve this problem and propose a new semantic checking model based on Long Short-Time Memory network(LSTM) for intelligent read-back error checking. A meanpooling layer is added to the traditional LSTM, so as to utilize the information obtained by all the hidden activation vectors, and also to improve the robustness of the semantic vector extracted by LSTM. A MultiLayer Perceptron(MLP) layer, which can maintain the information of different regions in the concatenated vectors obtained by the mean-pooling layer, is applied instead of traditional similarity function in the new model to express the semantic similarity of the read-back pairs quantitatively. The K-Nearest Neighbor(KNN) classifier is used to verify whether the read-back pairs are consistent in semantics according to the output of MLP layer. Extensive experiments are conducted and the results show that the proposed model is more effective and more robust than the traditional checking model to verify the semantic consistency of read-backs automatically.
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
基金supported by National Natural Science Foundation of China under Grant No. 61003079
文摘Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives in detecting these complex attack patterns.To solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks.On this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic.Compared with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct attacks.The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.
基金Supported by the National Basic Research Program of China(2011CB707904)the Natural Science Foundation of China(61472289)Hubei Province Natural Science Foundation of China(2015CFB254)
文摘Segmenting the lesion regions from the ultrasound （US） images is an important step in the intra-operative planning of some computer-aided therapies. High-Intensity Focused Ultrasound （HIFU）, as a popular computer-aided therapy, has been widely used in the treatment of uterine fibroids. However, such segmentation in HIFU remains challenge for two reasons： （1） the blurry or missing boundaries of lesion regions in the HIFU images and （2） the deformation of uterine fibroids caused by the patient＇s breathing or an external force during the US imaging process, which can lead to complex shapes of lesion regions. These factors have prevented classical active contour-based segmentation methods from yielding desired results for uterine fibroids in US images. In this paper, a novel active contour-based segmentation method is proposed, which utilizes the correlation information of target shapes among a sequence of images as prior knowledge to aid the existing active contour method. This prior knowledge can be interpreted as a unsupervised clustering of shapes prior modeling. Meanwhile, it is also proved that the shapes correlation has the low-rank property in a linear space, and the theory of matrix recovery is used as an effective tool to impose the proposed prior on an existing active contour model. Finally, an accurate method is developed to solve the proposed model by using the Augmented Lagrange Multiplier （ALM）. Experimental results from both synthetic and clinical uterine fibroids US image sequences demonstrate that the proposed method can consistently improve the performance of active contour models and increase the robustness against missing or misleading boundaries, and can greatly improve the efficiency of HIFU therapy.
文摘The finite element analysis and the optimum design of aluminum profile extrusion mould were investigated using the ANSYS software and its parameterized modeling method. The optimum dimensions of the mould were obtained. It is found that the stress distribution is very uneven, and the stress convergence is rather severe in the bridge of the aluminum profile extrusion mould. The optimum height of the mould is 70.527 mm, and the optimum radius of dividing holes are 70.182 mm and 80.663 mm. Increasing the height of the mould in the range of 61.282 mm to 70.422 mm can prolong its longevity, but when the height is over 70.422 mm, its longevity reduces.
基金Supported by the National Natural Science Foundation of China (60673115)the National Basic Research Program of China (973 Program) (2002CB312001)the Open Foundation of State Key Laboratory of Soft-ware Engineering (SKLSE05-13)
文摘A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.
