Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount impo...Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.展开更多
A new case representation is proposed. Design process is included in this case representation. The record of design process provides designers with rationale and assumptions behind design solutions. This kind of case ...A new case representation is proposed. Design process is included in this case representation. The record of design process provides designers with rationale and assumptions behind design solutions. This kind of case representation not only provides better understanding of design solutions among designers, but also helps designers create new solutions in case modification stage.展开更多
The current method of case-based design (CBD) can be well practiced forconfiguration design in which design experience knowledge is involved. However, since the designcase is confined to a certain application domain, ...The current method of case-based design (CBD) can be well practiced forconfiguration design in which design experience knowledge is involved. However, since the designcase is confined to a certain application domain, it is difficult for CBD to be applied toconceptual design process that develops concepts to meet design specifications. Firstly, a functionfactor description space is erected to provide an exhibition room for all functions of design cases.Next, the approach for identifying the space state of function factor in description space isproposed, including the determination of the similarities between function factors of design case.And then a general object-oriented representation for design case is presented by bringing the classof function and in-out flow into the current case representation. Finally, a living example forelectro-pet design that illustrates the implementation of the method for case-based conceptualdesign based on distributed design case repositories is described.展开更多
New generation thermo-mechanical control process（TMCP） based on ultra-fast cooling is being widely adopted in plate mill to product high-performance steel material at low cost. Ultra-fast cooling system is complex b...New generation thermo-mechanical control process（TMCP） based on ultra-fast cooling is being widely adopted in plate mill to product high-performance steel material at low cost. Ultra-fast cooling system is complex because of optimizing the temperature control error generated by heat transfer mathematical model and process parameters. In order to simplify the system and improve the temperature control precision in ultra-fast cooling process, several existing models of case-based reasoning（CBR） model are reviewed. Combining with ultra-fast cooling process, a developed R5 CBR model is proposed, which mainly improves the case representation, similarity relation and retrieval module. Certainty factor is defined in semantics memory unit of plate case which provides not only internal data reliability but also product performance reliability. Similarity relation is improved by defined power index similarity membership function. Retrieval process is simplified and retrieval efficiency is improved apparently by windmill retrieval algorithm. The proposed CBR model is used for predicting the case of cooling strategy and its capability is superior to traditional process model. In order to perform comprehensive investigations on ultra-fast cooling process, different steel plates are considered for the experiment. The validation experiment and industrial production of proposed CBR model are carried out, which demonstrated that finish cooling temperature（FCT） error is controlled within±25℃ and quality rate of product is more than 97%. The proposed CBR model can simplify ultra-fast cooling system and give quality performance for steel product.展开更多
Extracting and synthesizing information from existing and massive amounts of geology spatial data sets is of great scientific significance and has considerable value in its applications. To make mineral exploration le...Extracting and synthesizing information from existing and massive amounts of geology spatial data sets is of great scientific significance and has considerable value in its applications. To make mineral exploration less expensive, more efficient, and more accurate, it is important to move beyond traditional concepts and establish a rapid, efficient, and intelligent method of predicting the existence and location of minerals. This paper describes a case-based reasoning (CBR) method for mineral prospectivity mapping that takes spatial features of geology data into account and offers an intelligent approach. This method include a metallogenic case representation that combines spatial and attribute features, metallogenic case-based storage organization, and a metallogenic case similarity retrieval model. The experiments were performed in the eastern Kunlun Mountains, China using CBR and weights-of-evidence (WOE), respectively. The results show that the prediction accuracy of the CBR is higher than that of the WOE.展开更多
p.Tyr329fs is a cytochrome P450c17 mutation among Chinese individuals.However,data on 17-α-hydroxylase deficiency caused by cytochrome P450c17 p.Tyr329fs homozygous mutation are lacking.This paper is a case report of...p.Tyr329fs is a cytochrome P450c17 mutation among Chinese individuals.However,data on 17-α-hydroxylase deficiency caused by cytochrome P450c17 p.Tyr329fs homozygous mutation are lacking.This paper is a case report of three patients homozygous for p.Tyr329fs who were diagnosed with 17-α-hydroxylase deficiency between 2005 and 2019.CASE SUMMARY Case 1 presented with hypertension,hypokalemia,sexual infantilism and delayed bone age.The patient had a 46,XY karyotype,was homozygous for p.Tyr329fs and was recently treated with dexamethasone 0.375 mg qn.Case 2 presented with hypokalemia,sexual infantilism,osteoporosis and delayed bone age.The patient had a 46,XY karyotype,was homozygous for p.Tyr329fs and was treated with dexamethasone 0.75 mg qn at the last follow-up.Serum potassium and blood pressure could be maintained within normal range for cases 1 and 2.Case 3 presented with amenorrhea,sexual infantilism,osteopenia and delayed bone age.The patient had a 46,XX karyotype,was homozygous for p.Tyr329fs and was treated with dexamethasone 0.75 mg qn and progynova 1 mg qd.Outpatient follow-up revealed an adrenocorticotropic hormone(8 AM)of<5.00 pg/mL.CONCLUSION The homozygous p.Tyr329fs mutation usually manifests as a combined deficiency,and definitive diagnosis depends primarily on genetic testing.展开更多
Fixture is an important manufacturing activity. A fixture design system based on case-based reasoning (CBR) is proposed in this paper. A new method of case representation on the basis of fixture function is presented,...Fixture is an important manufacturing activity. A fixture design system based on case-based reasoning (CBR) is proposed in this paper. A new method of case representation on the basis of fixture function is presented, where the case representation is constituted of workpiece knowledge, processing feature knowledge, and fixture feature knowledge. Running the prototype system shows that the knowledge representation method, using cases, s a better way to transform and explain the design knowledge.展开更多
Background:miRNAs are closely related to bone metabolism.Studies have shown that Erxian decoction can improve bone metabolism,possibly achieving this regulatory effect through miRNA targets.Netinfer was used to predic...Background:miRNAs are closely related to bone metabolism.Studies have shown that Erxian decoction can improve bone metabolism,possibly achieving this regulatory effect through miRNA targets.Netinfer was used to predict the miRNA targets of Erxian decoction for the treatment of postmenopausal osteoporosis,and the results were validated by clinical trials.Methods:In this study,we identified possible targets of Erxian decoction in osteoporosis by means of network pharmacological analysis and bioinformatic prediction.Fifteen cases of postmenopausal osteoporosis with kidney Yin and Yang deficiency(In traditional Chinese medicine,kidney Yin nourishes and moistens the tissues of the internal organs of the body,while kidney Yang promotes and warms the tissues of the internal organs of the body.)were treated with Erxian decoction for four weeks,and serum bone metabolism indices(P1NP,osteocalcin,andβ-CTX)and miRNA-335-5p expression were measured before and after treatment.Results:The constructed miRNA postmenopausal osteoporosis related gene network of the effective compound of the Erxian decoction has 296 points and 981 edges.The 39 postmenopausal osteoporosis related genes regulated by miRNA-335-5p were enriched in ossification,while the signaling pathways were enriched in rheumatoid arthritis,the Toll signaling pathway,the HIF-1 signaling pathway,and the MAPK signaling pathway.After taking Erxian decoction,the expression of the serum bone formation index(P1NP,osteocalcin)and miRNA-335-5p gene expression levels increased significantly.The alterations in P1NP and osteocalcin were correlated with the changes in miRNA-335-5p.Conclusion:Circulating miRNA-335-5p may serve as an important target of Erxian decoction in the treatment of postmenopausal women.The effect of Erxian decoction on bone formation is significant,but the underlying mechanism requires further investigation.展开更多
BACKGROUND Prion diseases are a group of degenerative nerve diseases that are caused by infectious prion proteins or gene mutations.In humans,prion diseases result from mutations in the prion protein gene(PRNP).Only a...BACKGROUND Prion diseases are a group of degenerative nerve diseases that are caused by infectious prion proteins or gene mutations.In humans,prion diseases result from mutations in the prion protein gene(PRNP).Only a limited number of cases involving a specific PRNP mutation at codon 196(E196A)have been reported.The coexistence of Korsakoff syndrome in patients with Creutzfeldt-Jakob disease(CJD)caused by E196A mutation has not been documented in the existing literature.CASE SUMMARY A 61-year-old Chinese man initially presented with Korsakoff syndrome,followed by rapid-onset dementia,visual hallucinations,akinetic mutism,myoclonus,and hyperthermia.The patient had no significant personal or familial medical history.Magnetic resonance imaging of the brain revealed extensive hyperintense signals in the cortex,while positron emission tomography/computed tomography showed a diffuse reduction in cerebral cortex metabolism.Routine biochemical and microorganism testing of the cerebrospinal fluid(CSF)yielded normal results.Tests for thyroid function,human immunodeficiency virus,syphilis,vitamin B1 and B12 levels,and autoimmune rheumatic disorders were normal.Blood and CSF tests for autoimmune encephalitis and autoantibody-associated paraneoplastic syndrome yielded negative results.A test for 14-3-3 protein in the CSF yielded negative results.Whole-genome sequencing revealed a diseasecausing mutation in PRNP.The patient succumbed to the illness 11 months after the initial symptom onset.CONCLUSION Korsakoff syndrome,typically associated with alcohol intoxication,also manifests in CJD patients.Individuals with CJD along with PRNP E196A mutation may present with Korsakoff syndrome.展开更多
Directly calculating the topolo gi cal and geometric complexity from the STEP (standard for the exchange of product model data, ISO 10303) file is a huge task. So, a case-based reasoning approac h is presented, which...Directly calculating the topolo gi cal and geometric complexity from the STEP (standard for the exchange of product model data, ISO 10303) file is a huge task. So, a case-based reasoning approac h is presented, which is based on the similarity between the new component and t he old one, to calculate the topological and geometric complexity of new compone nts. In order to index, retrieve in historical component database, a new way of component representation is brought forth. And then an algorithm is given to ext ract topological graph from its STEP files. A mathematical model, which describe s how to compare the similarity, is discussed. Finally, an example is given to s how the result.展开更多
文摘Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.
文摘A new case representation is proposed. Design process is included in this case representation. The record of design process provides designers with rationale and assumptions behind design solutions. This kind of case representation not only provides better understanding of design solutions among designers, but also helps designers create new solutions in case modification stage.
基金This project is support by National Natural Science Foundation of China(No.59990470)National High Technology Research and Development Program of China (No.2001AA415330).
文摘The current method of case-based design (CBD) can be well practiced forconfiguration design in which design experience knowledge is involved. However, since the designcase is confined to a certain application domain, it is difficult for CBD to be applied toconceptual design process that develops concepts to meet design specifications. Firstly, a functionfactor description space is erected to provide an exhibition room for all functions of design cases.Next, the approach for identifying the space state of function factor in description space isproposed, including the determination of the similarities between function factors of design case.And then a general object-oriented representation for design case is presented by bringing the classof function and in-out flow into the current case representation. Finally, a living example forelectro-pet design that illustrates the implementation of the method for case-based conceptualdesign based on distributed design case repositories is described.
基金Supported by National Basic Research Program of China (973 Program,Grant No.2010CB630801)
文摘New generation thermo-mechanical control process（TMCP） based on ultra-fast cooling is being widely adopted in plate mill to product high-performance steel material at low cost. Ultra-fast cooling system is complex because of optimizing the temperature control error generated by heat transfer mathematical model and process parameters. In order to simplify the system and improve the temperature control precision in ultra-fast cooling process, several existing models of case-based reasoning（CBR） model are reviewed. Combining with ultra-fast cooling process, a developed R5 CBR model is proposed, which mainly improves the case representation, similarity relation and retrieval module. Certainty factor is defined in semantics memory unit of plate case which provides not only internal data reliability but also product performance reliability. Similarity relation is improved by defined power index similarity membership function. Retrieval process is simplified and retrieval efficiency is improved apparently by windmill retrieval algorithm. The proposed CBR model is used for predicting the case of cooling strategy and its capability is superior to traditional process model. In order to perform comprehensive investigations on ultra-fast cooling process, different steel plates are considered for the experiment. The validation experiment and industrial production of proposed CBR model are carried out, which demonstrated that finish cooling temperature（FCT） error is controlled within±25℃ and quality rate of product is more than 97%. The proposed CBR model can simplify ultra-fast cooling system and give quality performance for steel product.
文摘Extracting and synthesizing information from existing and massive amounts of geology spatial data sets is of great scientific significance and has considerable value in its applications. To make mineral exploration less expensive, more efficient, and more accurate, it is important to move beyond traditional concepts and establish a rapid, efficient, and intelligent method of predicting the existence and location of minerals. This paper describes a case-based reasoning (CBR) method for mineral prospectivity mapping that takes spatial features of geology data into account and offers an intelligent approach. This method include a metallogenic case representation that combines spatial and attribute features, metallogenic case-based storage organization, and a metallogenic case similarity retrieval model. The experiments were performed in the eastern Kunlun Mountains, China using CBR and weights-of-evidence (WOE), respectively. The results show that the prediction accuracy of the CBR is higher than that of the WOE.
基金Anhui Province Central Guided Local Science and Technology Development Funding Project,No.2017070802D147Anhui Province Key Clinical Specialist Construction Fund.
文摘p.Tyr329fs is a cytochrome P450c17 mutation among Chinese individuals.However,data on 17-α-hydroxylase deficiency caused by cytochrome P450c17 p.Tyr329fs homozygous mutation are lacking.This paper is a case report of three patients homozygous for p.Tyr329fs who were diagnosed with 17-α-hydroxylase deficiency between 2005 and 2019.CASE SUMMARY Case 1 presented with hypertension,hypokalemia,sexual infantilism and delayed bone age.The patient had a 46,XY karyotype,was homozygous for p.Tyr329fs and was recently treated with dexamethasone 0.375 mg qn.Case 2 presented with hypokalemia,sexual infantilism,osteoporosis and delayed bone age.The patient had a 46,XY karyotype,was homozygous for p.Tyr329fs and was treated with dexamethasone 0.75 mg qn at the last follow-up.Serum potassium and blood pressure could be maintained within normal range for cases 1 and 2.Case 3 presented with amenorrhea,sexual infantilism,osteopenia and delayed bone age.The patient had a 46,XX karyotype,was homozygous for p.Tyr329fs and was treated with dexamethasone 0.75 mg qn and progynova 1 mg qd.Outpatient follow-up revealed an adrenocorticotropic hormone(8 AM)of<5.00 pg/mL.CONCLUSION The homozygous p.Tyr329fs mutation usually manifests as a combined deficiency,and definitive diagnosis depends primarily on genetic testing.
文摘Fixture is an important manufacturing activity. A fixture design system based on case-based reasoning (CBR) is proposed in this paper. A new method of case representation on the basis of fixture function is presented, where the case representation is constituted of workpiece knowledge, processing feature knowledge, and fixture feature knowledge. Running the prototype system shows that the knowledge representation method, using cases, s a better way to transform and explain the design knowledge.
基金supported by Suzhou Special Project for Diagnosis and Treatment Technology of Clinical Key Diseases(No.LCZX202127)。
文摘Background:miRNAs are closely related to bone metabolism.Studies have shown that Erxian decoction can improve bone metabolism,possibly achieving this regulatory effect through miRNA targets.Netinfer was used to predict the miRNA targets of Erxian decoction for the treatment of postmenopausal osteoporosis,and the results were validated by clinical trials.Methods:In this study,we identified possible targets of Erxian decoction in osteoporosis by means of network pharmacological analysis and bioinformatic prediction.Fifteen cases of postmenopausal osteoporosis with kidney Yin and Yang deficiency(In traditional Chinese medicine,kidney Yin nourishes and moistens the tissues of the internal organs of the body,while kidney Yang promotes and warms the tissues of the internal organs of the body.)were treated with Erxian decoction for four weeks,and serum bone metabolism indices(P1NP,osteocalcin,andβ-CTX)and miRNA-335-5p expression were measured before and after treatment.Results:The constructed miRNA postmenopausal osteoporosis related gene network of the effective compound of the Erxian decoction has 296 points and 981 edges.The 39 postmenopausal osteoporosis related genes regulated by miRNA-335-5p were enriched in ossification,while the signaling pathways were enriched in rheumatoid arthritis,the Toll signaling pathway,the HIF-1 signaling pathway,and the MAPK signaling pathway.After taking Erxian decoction,the expression of the serum bone formation index(P1NP,osteocalcin)and miRNA-335-5p gene expression levels increased significantly.The alterations in P1NP and osteocalcin were correlated with the changes in miRNA-335-5p.Conclusion:Circulating miRNA-335-5p may serve as an important target of Erxian decoction in the treatment of postmenopausal women.The effect of Erxian decoction on bone formation is significant,but the underlying mechanism requires further investigation.
文摘BACKGROUND Prion diseases are a group of degenerative nerve diseases that are caused by infectious prion proteins or gene mutations.In humans,prion diseases result from mutations in the prion protein gene(PRNP).Only a limited number of cases involving a specific PRNP mutation at codon 196(E196A)have been reported.The coexistence of Korsakoff syndrome in patients with Creutzfeldt-Jakob disease(CJD)caused by E196A mutation has not been documented in the existing literature.CASE SUMMARY A 61-year-old Chinese man initially presented with Korsakoff syndrome,followed by rapid-onset dementia,visual hallucinations,akinetic mutism,myoclonus,and hyperthermia.The patient had no significant personal or familial medical history.Magnetic resonance imaging of the brain revealed extensive hyperintense signals in the cortex,while positron emission tomography/computed tomography showed a diffuse reduction in cerebral cortex metabolism.Routine biochemical and microorganism testing of the cerebrospinal fluid(CSF)yielded normal results.Tests for thyroid function,human immunodeficiency virus,syphilis,vitamin B1 and B12 levels,and autoimmune rheumatic disorders were normal.Blood and CSF tests for autoimmune encephalitis and autoantibody-associated paraneoplastic syndrome yielded negative results.A test for 14-3-3 protein in the CSF yielded negative results.Whole-genome sequencing revealed a diseasecausing mutation in PRNP.The patient succumbed to the illness 11 months after the initial symptom onset.CONCLUSION Korsakoff syndrome,typically associated with alcohol intoxication,also manifests in CJD patients.Individuals with CJD along with PRNP E196A mutation may present with Korsakoff syndrome.
文摘Directly calculating the topolo gi cal and geometric complexity from the STEP (standard for the exchange of product model data, ISO 10303) file is a huge task. So, a case-based reasoning approac h is presented, which is based on the similarity between the new component and t he old one, to calculate the topological and geometric complexity of new compone nts. In order to index, retrieve in historical component database, a new way of component representation is brought forth. And then an algorithm is given to ext ract topological graph from its STEP files. A mathematical model, which describe s how to compare the similarity, is discussed. Finally, an example is given to s how the result.
