Gastrointestinal stromal tumors(GISTs),the most prevalent mesenchymal tumors,often have poor outcomes due to high recurrence rates.However,the specific risk factors for GISTs,particularly those concerning the innate i...Gastrointestinal stromal tumors(GISTs),the most prevalent mesenchymal tumors,often have poor outcomes due to high recurrence rates.However,the specific risk factors for GISTs,particularly those concerning the innate immune-inflammatory response,remain poorly understood.This editorial highlights key prognostic factors that impact GIST progression and prognosis,while discussing the findings of a recent study that investigated the prognostic value of systemic inflammatory markers:systemic immune-inflammation index,neutrophil/lym-phocyte ratio,platelet/lymphocyte ratio,and monocyte/lymphocyte ratio,on recurrence-free survival in GIST patients.This editorial examines strategies to enhance the clinical applicability of the nomogram developed in the study,ensuring its effectiveness for robust implementation.Future directions outlined in the editorial stress the importance of integrating molecular insights,including KIT and PDGFRA mutations,tumor staging,and mitotic rates to refine predictive models.The editorial also underscores the value of multi-center studies to enhance the generalizability and clinical relevance of these approaches.By bridging inflammatory biomarkers with genetic and clinicopathologic factors,a more comprehensive understanding of GIST pathophysiology can be developed,paving the way for improved management strategies and patient outcomes.This perspective serves as a call to action for continued research into the interplay between genetic mutations,inflammatory marker modulation,and GIST progression,aiming to expand the scope of personalized oncology through a deeper understanding of GIST progression.展开更多
This study constructs a function-private inner-product predicate encryption(FP-IPPE)and achieves standard enhanced function privacy.The enhanced function privacy guarantees that a predicate secret key skf reveals noth...This study constructs a function-private inner-product predicate encryption(FP-IPPE)and achieves standard enhanced function privacy.The enhanced function privacy guarantees that a predicate secret key skf reveals nothing about the predicate f,as long as f is drawn from an evasive distribution with sufficient entropy.The proposed scheme extends the group-based public-key function-private predicate encryption(FP-PE)for“small superset predicates”proposed by Bartusek et al.(Asiacrypt 19),to the setting of inner-product predicates.This is the first construction of public-key FP-PE with enhanced function privacy security beyond the equality predicates,which is previously proposed by Boneh et al.(CRYPTO 13).The proposed construction relies on bilinear groups,and the security is proved in the generic bilinear group model.展开更多
Networking,storage,and hardware are just a few of the virtual computing resources that the infrastruc-ture service model offers,depending on what the client needs.One essential aspect of cloud computing that improves ...Networking,storage,and hardware are just a few of the virtual computing resources that the infrastruc-ture service model offers,depending on what the client needs.One essential aspect of cloud computing that improves resource allocation techniques is host load prediction.This difficulty means that hardware resource allocation in cloud computing still results in hosting initialization issues,which add several minutes to response times.To solve this issue and accurately predict cloud capacity,cloud data centers use prediction algorithms.This permits dynamic cloud scalability while maintaining superior service quality.For host prediction,we therefore present a hybrid convolutional neural network long with short-term memory model in this work.First,the suggested hybrid model is input is subjected to the vector auto regression technique.The data in many variables that,prior to analysis,has been filtered to eliminate linear interdependencies.After that,the persisting data are processed and sent into the convolutional neural network layer,which gathers intricate details about the utilization of each virtual machine and central processing unit.The next step involves the use of extended short-term memory,which is suitable for representing the temporal information of irregular trends in time series components.The key to the entire process is that we used the most appropriate activation function for this type of model a scaled polynomial constant unit.Cloud systems require accurate prediction due to the increasing degrees of unpredictability in data centers.Because of this,two actual load traces were used in this study’s assessment of the performance.An example of the load trace is in the typical dispersed system.In comparison to CNN,VAR-GRU,VAR-MLP,ARIMA-LSTM,and other models,the experiment results demonstrate that our suggested approach offers state-of-the-art performance with higher accuracy in both datasets.展开更多
Code obfuscation is a crucial technique for protecting software against reverse engineering and security attacks.Among various obfuscation methods,opaque predicates,which are recognized as flexible and promising,are w...Code obfuscation is a crucial technique for protecting software against reverse engineering and security attacks.Among various obfuscation methods,opaque predicates,which are recognized as flexible and promising,are widely used to increase control-flow complexity.However,traditional opaque predicates are increasingly vulnerable to Dynamic Symbolic Execution(DSE)attacks,which can efficiently identify and eliminate them.To address this issue,this paper proposes a novel approach for anti-DSE opaque predicates that effectively resists symbolic execution-based deobfuscation.Our method introduces two key techniques:single-way function opaque predicates,which leverage hash functions and logarithmic transformations to prevent constraint solvers from generating feasible inputs,and path-explosion opaque predicates,which generate an excessive number of execution paths,overwhelming symbolic execution engines.To evaluate the effectiveness of our approach,we implemented a prototype obfuscation tool and tested it against prominent symbolic execution engines.Experimental results demonstrate that our approach signifi-cantly increases resilience against symbolic execution attacks while maintaining acceptable performance overhead.This paper provides a robust and scalable obfuscation technique,contributing to the enhancement of software protection strategies in adversarial environments.展开更多
SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate dat...SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).展开更多
The pozzolanic activity of coal gangue, which is calcining at 500 to 1 000 ℃, differs distinctly. The simplex-centroid design with upper and lower bounds of component proportion is adopted to study the compressive st...The pozzolanic activity of coal gangue, which is calcining at 500 to 1 000 ℃, differs distinctly. The simplex-centroid design with upper and lower bounds of component proportion is adopted to study the compressive strength of mortars made with ternary blends of cement, activated coal gangue and fly ash. Based on the results of a minimum of seven design points, three special cubic polynomial models are used to establish the strength predicating equations at different ages for mortars. Five experimental checkpoints were also designed to verify the precision of the equations. The most frequent errors of the predicted values are within 3%. A simple and practical way is provided for determining the optimal proportion of two admixtures when they are used in concrete.展开更多
Based on the deformation characteristic of regular polygonal box stamped parts and the superfluous triangle material wrinkle model,the criterion of regular polygonal box stamped parts without wrinkle was deduced and u...Based on the deformation characteristic of regular polygonal box stamped parts and the superfluous triangle material wrinkle model,the criterion of regular polygonal box stamped parts without wrinkle was deduced and used to predict and control the wrinkle limit.According to the fracture model,the criterion of regular polygonal box stamped parts without fracture was deduced and used to predict and control the fracture limit.Combining the criterion for stamping without wrinkle with that without fracture,the stamping criterion of regular polygonal box stamped parts was obtained to predict and control the stamping limit.Taken the stainless steel0Cr18Ni9(SUS304)sheet and the square box stamped part as examples,the limit diagram was given to predict and control the wrinkle,fracture and stamping limits.It is suitable for the deep drawing without flange,the deep drawing and stretching combined forming with flange and the rigid punch stretching of plane blank.The limit deep-drawing coefficient and the minimum deep-drawing coefficient can be determined,and the appropriate BHF(blank holder force)and the deep-drawing force can be chosen.These provide a reference for the technology planning,the die and mold design and the equipment determination,and a new criterion evaluating sheet stamping formability,which predicts and controls the stamping process,can be applied to the deep drawing under constant or variable BHF conditions.展开更多
Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the ...Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.展开更多
Ebis is the intelligent environmental biotechnological informatics software developed for judging the effectiveness of the microorganism strain in the industrial wastewater treatment system(IWTS) at the optimal status...Ebis is the intelligent environmental biotechnological informatics software developed for judging the effectiveness of the microorganism strain in the industrial wastewater treatment system(IWTS) at the optimal status. The parameter, as the objective function for the judgment, is the minimum reactor volume( V _ min ) calculated by Ebis for microorganism required in wastewater treatment. The rationality and the universality of Ebis were demonstrated in the domestic sewage treatment system(DSTS) with the data published in USA and China at first,then Fhhh strain's potential for treating the purified terephthalic acid(PTA) was proved. It suggests that Ebis would be useful and universal for predicating the technique effectiveness in both DSTS and IWTS.展开更多
It has been known that the productivity of artesian wells is strongly dependent on the rheological properties of crude oils. This work targets two deep artesian wells(>5000 m) that are producing heavy crude oil. Th...It has been known that the productivity of artesian wells is strongly dependent on the rheological properties of crude oils. This work targets two deep artesian wells(>5000 m) that are producing heavy crude oil. The impacts of well conditions including temperature, pressure and shear rate, on the crude oil rheology were comprehensively investigated and correlated using several empirical rheological models. The experimental data indicate that this heavy oil is very sensitive to temperature as result of microstructure change caused by hydrogen bonding. The rheological behavior of the heavy oil is also significantly impacted by the imposed pressure, i.e., the viscosity flow activation energy(Eμ) gently increases with the increasing pressure. The viscosity–shear rate data are well fitted to the power law model at low temperature. However, due to the transition of fluid feature at high temperature(Newtonian fluid), the measured viscosity was found to slightly deviate from the fitting data. Combining the evaluated correlations, the viscosity profile of the heavy crude oil in these two deep artesian wells as a function of well depth was predicted using the oilfield producing data.展开更多
Due to the nature of ultra-short-acting opioid remifentanil of high time-varying,complex compartment model and low-accuracy of plasma concentration prediction,the traditional estimation method of population pharmacoki...Due to the nature of ultra-short-acting opioid remifentanil of high time-varying,complex compartment model and low-accuracy of plasma concentration prediction,the traditional estimation method of population pharmacokinetics parameters,nonlinear mixed effects model(NONMEM),has the abuses of tedious work and plenty of man-made jamming factors.The Elman feedback neural network was built.The relationships between the patients’plasma concentration of remifentanil and time,patient’age,gender,lean body mass,height,body surface area,sampling time,total dose,and injection rate through network training were obtained to predict the plasma concentration of remifentanil,and after that,it was compared with the results of NONMEM algorithm.In conclusion,the average error of Elman network is 6.34%,while that of NONMEM is 18.99%.The absolute average error of Elman network is 27.07%,while that of NONMEM is 38.09%.The experimental results indicate that Elman neural network could predict the plasma concentration of remifentanil rapidly and stably,with high accuracy and low error.For the characteristics of simple principle and fast computing speed,this method is suitable to data analysis of short-acting anesthesia drug population pharmacokinetic and pharmacodynamics.展开更多
In the current biomedical data movement, numerous efforts have been made to convert and normalize a large number of traditional structured and unstructured data (e.g., EHRs, reports) to semi-structured data (e.g., RDF...In the current biomedical data movement, numerous efforts have been made to convert and normalize a large number of traditional structured and unstructured data (e.g., EHRs, reports) to semi-structured data (e.g., RDF, OWL). With the increasing number of semi-structured data coming into the biomedical community, data integration and knowledge discovery from heterogeneous domains become important research problem. In the application level, detection of related concepts among medical ontologies is an important goal of life science research. It is more crucial to figure out how different concepts are related within a single ontology or across multiple ontologies by analysing predicates in different knowledge bases. However, the world today is one of information explosion, and it is extremely difficult for biomedical researchers to find existing or potential predicates to perform linking among cross domain concepts without any support from schema pattern analysis. Therefore, there is a need for a mechanism to do predicate oriented pattern analysis to partition heterogeneous ontologies into closer small topics and do query generation to discover cross domain knowledge from each topic. In this paper, we present such a model that predicates oriented pattern analysis based on their close relationship and generates a similarity matrix. Based on this similarity matrix, we apply an innovated unsupervised learning algorithm to partition large data sets into smaller and closer topics and generate meaningful queries to fully discover knowledge over a set of interlinked data sources. We have implemented a prototype system named BmQGen and evaluate the proposed model with colorectal surgical cohort from the Mayo Clinic.展开更多
Several new treatment options for gastric cancer have been introduced but the prognosis of patients diagnosed with gastric cancer is still poor. Disease prognosis could be improved for high-risk individuals by impleme...Several new treatment options for gastric cancer have been introduced but the prognosis of patients diagnosed with gastric cancer is still poor. Disease prognosis could be improved for high-risk individuals by implementing earlier screenings. Because many patients are asymptomatic during the early stages of gastric cancer,the diagnosis is often delayed and patients present with unresectable locally advanced or metastatic disease. Cytotoxic treatment has been shown to prolong survival in general,but not all patients are responders. The application of targeted therapies and multimodal treatment has improved prognosis for those with advanced disease.However,these new therapeutic strategies do not uniformly benefit all patients.Predicting whether patients will respond to specific therapies would be of particular value and would allow for stratifying patients for personalized treatment strategies.Metabolic imaging by positron emission tomography was the first technique with the potential to predict the response of esophagogastric cancer to neoadjuvant therapy.Exploring and validating tissue-based biomarkers are ongoing processes.In this review,we discuss the status of several targeted therapies for gastric cancer,as well as proteomic and metabolic methods for investigating biomarkers for therapy response prediction in gastric cancer.展开更多
Respectively belonging to different language families,English and Chinese naturally have many differences in morphology and syntax.This paper intends to give a contrastive analysis of subject and predicate in English ...Respectively belonging to different language families,English and Chinese naturally have many differences in morphology and syntax.This paper intends to give a contrastive analysis of subject and predicate in English and Chinese,focusing on differences of subject and predicate usages in the two languages,and the problems they cause for Chinese students in English learning and translation.展开更多
By analyzing the metallogenic conditions and prospecting marks of F 8 fault belt in Shiujingtun Gold Mine, the geochemical samples were collected along F 8 fault belt and prospecting profile normal to the F 8 fault be...By analyzing the metallogenic conditions and prospecting marks of F 8 fault belt in Shiujingtun Gold Mine, the geochemical samples were collected along F 8 fault belt and prospecting profile normal to the F 8 fault belt. Gold and its indicator elements were tested with X ray fluorescence spectrometry and the content distribution diagram of Au, Ag, Hg and As along the F 8 fault belt was performed. The geochemical primary halo model and the Grey system model of F 8 fault belt are established. With these element distribution features and models, the blind ore bodies in the F 8 fault belt were predicted. Engineering prospect shows that the industrial orebodies have been discovered and the prediction results are dependable.展开更多
The vapor-liquid equilibrium of Dimethyl Carbonate-Methanol-Furfural under atmospheric pressure from DMC-CH 3OH,DMCC 5H 4O 2,CH 3OH-C 5H 4O 2 binary systematic VLE data is calculated,by using C ++(VC6.0) pr...The vapor-liquid equilibrium of Dimethyl Carbonate-Methanol-Furfural under atmospheric pressure from DMC-CH 3OH,DMCC 5H 4O 2,CH 3OH-C 5H 4O 2 binary systematic VLE data is calculated,by using C ++(VC6.0) programming language and Wilson equation.It provided important VLE data to set up mathematic models of extraction-rectifying separation of DMC and methanol by using furfural as extraction reagent.So the results can be used for chemical engineering calculation.展开更多
In this paper, with the theory of nonlinear dynamic systems, It is analyzed that the dynamic behavior and the predictability for the monthly mean variations of the sunspot relative number recorded from January 1891 to...In this paper, with the theory of nonlinear dynamic systems, It is analyzed that the dynamic behavior and the predictability for the monthly mean variations of the sunspot relative number recorded from January 1891 to December 1996. In the progress, the fractal dimension (D = 3.3 +/- 0.2) for the variation process rt as computed. This helped us to determine the embedded dimension [2 x D + 1] = 7. By computing the Lyapunov index (lambda(1) = 0.863), it was indicated that the variation process is a chaotic system. The Kolmogorov entropy (K = 0.0260) was also computed, which provides, theoretically, the predicable time scale. And at the end, according to the result of the analysis above, an experimental predication is made, whose data was a part cut from the sample data.展开更多
Considering the problems that should be solved in the synthetic earthquake prediction at present, a new model is proposed in the paper. It is called joint multivariate statistical model combined by principal component...Considering the problems that should be solved in the synthetic earthquake prediction at present, a new model is proposed in the paper. It is called joint multivariate statistical model combined by principal component analysis with discriminatory analysis. Principal component analysis and discriminatory analysis are very important theories in multivariate statistical analysis that has developed quickly in the late thirty years. By means of maximization information method, we choose several earthquake prediction factors whose cumulative proportions of total sam-ple variances are beyond 90% from numerous earthquake prediction factors. The paper applies regression analysis and Mahalanobis discrimination to extrapolating synthetic prediction. Furthermore, we use this model to charac-terize and predict earthquakes in North China (30~42N, 108~125E) and better prediction results are obtained.展开更多
文摘Gastrointestinal stromal tumors(GISTs),the most prevalent mesenchymal tumors,often have poor outcomes due to high recurrence rates.However,the specific risk factors for GISTs,particularly those concerning the innate immune-inflammatory response,remain poorly understood.This editorial highlights key prognostic factors that impact GIST progression and prognosis,while discussing the findings of a recent study that investigated the prognostic value of systemic inflammatory markers:systemic immune-inflammation index,neutrophil/lym-phocyte ratio,platelet/lymphocyte ratio,and monocyte/lymphocyte ratio,on recurrence-free survival in GIST patients.This editorial examines strategies to enhance the clinical applicability of the nomogram developed in the study,ensuring its effectiveness for robust implementation.Future directions outlined in the editorial stress the importance of integrating molecular insights,including KIT and PDGFRA mutations,tumor staging,and mitotic rates to refine predictive models.The editorial also underscores the value of multi-center studies to enhance the generalizability and clinical relevance of these approaches.By bridging inflammatory biomarkers with genetic and clinicopathologic factors,a more comprehensive understanding of GIST pathophysiology can be developed,paving the way for improved management strategies and patient outcomes.This perspective serves as a call to action for continued research into the interplay between genetic mutations,inflammatory marker modulation,and GIST progression,aiming to expand the scope of personalized oncology through a deeper understanding of GIST progression.
基金National Key Research and Development Program of China(2021YFB3101402)National Natural Science Foundation of China(62202294)。
文摘This study constructs a function-private inner-product predicate encryption(FP-IPPE)and achieves standard enhanced function privacy.The enhanced function privacy guarantees that a predicate secret key skf reveals nothing about the predicate f,as long as f is drawn from an evasive distribution with sufficient entropy.The proposed scheme extends the group-based public-key function-private predicate encryption(FP-PE)for“small superset predicates”proposed by Bartusek et al.(Asiacrypt 19),to the setting of inner-product predicates.This is the first construction of public-key FP-PE with enhanced function privacy security beyond the equality predicates,which is previously proposed by Boneh et al.(CRYPTO 13).The proposed construction relies on bilinear groups,and the security is proved in the generic bilinear group model.
基金funded by Multimedia University(Ref:MMU/RMC/PostDoc/NEW/2024/9804).
文摘Networking,storage,and hardware are just a few of the virtual computing resources that the infrastruc-ture service model offers,depending on what the client needs.One essential aspect of cloud computing that improves resource allocation techniques is host load prediction.This difficulty means that hardware resource allocation in cloud computing still results in hosting initialization issues,which add several minutes to response times.To solve this issue and accurately predict cloud capacity,cloud data centers use prediction algorithms.This permits dynamic cloud scalability while maintaining superior service quality.For host prediction,we therefore present a hybrid convolutional neural network long with short-term memory model in this work.First,the suggested hybrid model is input is subjected to the vector auto regression technique.The data in many variables that,prior to analysis,has been filtered to eliminate linear interdependencies.After that,the persisting data are processed and sent into the convolutional neural network layer,which gathers intricate details about the utilization of each virtual machine and central processing unit.The next step involves the use of extended short-term memory,which is suitable for representing the temporal information of irregular trends in time series components.The key to the entire process is that we used the most appropriate activation function for this type of model a scaled polynomial constant unit.Cloud systems require accurate prediction due to the increasing degrees of unpredictability in data centers.Because of this,two actual load traces were used in this study’s assessment of the performance.An example of the load trace is in the typical dispersed system.In comparison to CNN,VAR-GRU,VAR-MLP,ARIMA-LSTM,and other models,the experiment results demonstrate that our suggested approach offers state-of-the-art performance with higher accuracy in both datasets.
基金supported byOpen Foundation of Key Laboratory of Cyberspace Security,Ministry of Education of China(No.KLCS20240211)Henan Science and Technology Major Project No.241110210100.
文摘Code obfuscation is a crucial technique for protecting software against reverse engineering and security attacks.Among various obfuscation methods,opaque predicates,which are recognized as flexible and promising,are widely used to increase control-flow complexity.However,traditional opaque predicates are increasingly vulnerable to Dynamic Symbolic Execution(DSE)attacks,which can efficiently identify and eliminate them.To address this issue,this paper proposes a novel approach for anti-DSE opaque predicates that effectively resists symbolic execution-based deobfuscation.Our method introduces two key techniques:single-way function opaque predicates,which leverage hash functions and logarithmic transformations to prevent constraint solvers from generating feasible inputs,and path-explosion opaque predicates,which generate an excessive number of execution paths,overwhelming symbolic execution engines.To evaluate the effectiveness of our approach,we implemented a prototype obfuscation tool and tested it against prominent symbolic execution engines.Experimental results demonstrate that our approach signifi-cantly increases resilience against symbolic execution attacks while maintaining acceptable performance overhead.This paper provides a robust and scalable obfuscation technique,contributing to the enhancement of software protection strategies in adversarial environments.
文摘SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).
基金The National Basic Research Program of China (973Program)(No2000CB610703)
文摘The pozzolanic activity of coal gangue, which is calcining at 500 to 1 000 ℃, differs distinctly. The simplex-centroid design with upper and lower bounds of component proportion is adopted to study the compressive strength of mortars made with ternary blends of cement, activated coal gangue and fly ash. Based on the results of a minimum of seven design points, three special cubic polynomial models are used to establish the strength predicating equations at different ages for mortars. Five experimental checkpoints were also designed to verify the precision of the equations. The most frequent errors of the predicted values are within 3%. A simple and practical way is provided for determining the optimal proportion of two admixtures when they are used in concrete.
文摘Based on the deformation characteristic of regular polygonal box stamped parts and the superfluous triangle material wrinkle model,the criterion of regular polygonal box stamped parts without wrinkle was deduced and used to predict and control the wrinkle limit.According to the fracture model,the criterion of regular polygonal box stamped parts without fracture was deduced and used to predict and control the fracture limit.Combining the criterion for stamping without wrinkle with that without fracture,the stamping criterion of regular polygonal box stamped parts was obtained to predict and control the stamping limit.Taken the stainless steel0Cr18Ni9(SUS304)sheet and the square box stamped part as examples,the limit diagram was given to predict and control the wrinkle,fracture and stamping limits.It is suitable for the deep drawing without flange,the deep drawing and stretching combined forming with flange and the rigid punch stretching of plane blank.The limit deep-drawing coefficient and the minimum deep-drawing coefficient can be determined,and the appropriate BHF(blank holder force)and the deep-drawing force can be chosen.These provide a reference for the technology planning,the die and mold design and the equipment determination,and a new criterion evaluating sheet stamping formability,which predicts and controls the stamping process,can be applied to the deep drawing under constant or variable BHF conditions.
基金National Natural Science Foundation of China (No. 60875034)Spanish Ministry of Education and Science Fund,Spain (No.TIN-2009-0828)Spanish Regional Government (Junta de Andalucia) Fund,Spain (No. P08-TIC-3548)
文摘Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.
文摘Ebis is the intelligent environmental biotechnological informatics software developed for judging the effectiveness of the microorganism strain in the industrial wastewater treatment system(IWTS) at the optimal status. The parameter, as the objective function for the judgment, is the minimum reactor volume( V _ min ) calculated by Ebis for microorganism required in wastewater treatment. The rationality and the universality of Ebis were demonstrated in the domestic sewage treatment system(DSTS) with the data published in USA and China at first,then Fhhh strain's potential for treating the purified terephthalic acid(PTA) was proved. It suggests that Ebis would be useful and universal for predicating the technique effectiveness in both DSTS and IWTS.
基金Supported by the National Key Science&Technology Projects during 13th Five-Year Plan(2016ZX05053-003)Young Scholars Development fund of SWPU(201499010121)
文摘It has been known that the productivity of artesian wells is strongly dependent on the rheological properties of crude oils. This work targets two deep artesian wells(>5000 m) that are producing heavy crude oil. The impacts of well conditions including temperature, pressure and shear rate, on the crude oil rheology were comprehensively investigated and correlated using several empirical rheological models. The experimental data indicate that this heavy oil is very sensitive to temperature as result of microstructure change caused by hydrogen bonding. The rheological behavior of the heavy oil is also significantly impacted by the imposed pressure, i.e., the viscosity flow activation energy(Eμ) gently increases with the increasing pressure. The viscosity–shear rate data are well fitted to the power law model at low temperature. However, due to the transition of fluid feature at high temperature(Newtonian fluid), the measured viscosity was found to slightly deviate from the fitting data. Combining the evaluated correlations, the viscosity profile of the heavy crude oil in these two deep artesian wells as a function of well depth was predicted using the oilfield producing data.
基金Project(31200748)supported by the National Natural Science Foundation of China
文摘Due to the nature of ultra-short-acting opioid remifentanil of high time-varying,complex compartment model and low-accuracy of plasma concentration prediction,the traditional estimation method of population pharmacokinetics parameters,nonlinear mixed effects model(NONMEM),has the abuses of tedious work and plenty of man-made jamming factors.The Elman feedback neural network was built.The relationships between the patients’plasma concentration of remifentanil and time,patient’age,gender,lean body mass,height,body surface area,sampling time,total dose,and injection rate through network training were obtained to predict the plasma concentration of remifentanil,and after that,it was compared with the results of NONMEM algorithm.In conclusion,the average error of Elman network is 6.34%,while that of NONMEM is 18.99%.The absolute average error of Elman network is 27.07%,while that of NONMEM is 38.09%.The experimental results indicate that Elman neural network could predict the plasma concentration of remifentanil rapidly and stably,with high accuracy and low error.For the characteristics of simple principle and fast computing speed,this method is suitable to data analysis of short-acting anesthesia drug population pharmacokinetic and pharmacodynamics.
文摘In the current biomedical data movement, numerous efforts have been made to convert and normalize a large number of traditional structured and unstructured data (e.g., EHRs, reports) to semi-structured data (e.g., RDF, OWL). With the increasing number of semi-structured data coming into the biomedical community, data integration and knowledge discovery from heterogeneous domains become important research problem. In the application level, detection of related concepts among medical ontologies is an important goal of life science research. It is more crucial to figure out how different concepts are related within a single ontology or across multiple ontologies by analysing predicates in different knowledge bases. However, the world today is one of information explosion, and it is extremely difficult for biomedical researchers to find existing or potential predicates to perform linking among cross domain concepts without any support from schema pattern analysis. Therefore, there is a need for a mechanism to do predicate oriented pattern analysis to partition heterogeneous ontologies into closer small topics and do query generation to discover cross domain knowledge from each topic. In this paper, we present such a model that predicates oriented pattern analysis based on their close relationship and generates a similarity matrix. Based on this similarity matrix, we apply an innovated unsupervised learning algorithm to partition large data sets into smaller and closer topics and generate meaningful queries to fully discover knowledge over a set of interlinked data sources. We have implemented a prototype system named BmQGen and evaluate the proposed model with colorectal surgical cohort from the Mayo Clinic.
基金Supported by Ministry of Education and Research of the Federal Republic of Germany,Grant No.0315508A and No.01IB10004E(to AW),SYS-Stomach to BL,FL and AW)the Deutsche Forschungsgemeinschaft,Grant No.HO 1258/3-1,No.SFB 824 TP Z02 and No.WA 1656/3-1(to AW)
文摘Several new treatment options for gastric cancer have been introduced but the prognosis of patients diagnosed with gastric cancer is still poor. Disease prognosis could be improved for high-risk individuals by implementing earlier screenings. Because many patients are asymptomatic during the early stages of gastric cancer,the diagnosis is often delayed and patients present with unresectable locally advanced or metastatic disease. Cytotoxic treatment has been shown to prolong survival in general,but not all patients are responders. The application of targeted therapies and multimodal treatment has improved prognosis for those with advanced disease.However,these new therapeutic strategies do not uniformly benefit all patients.Predicting whether patients will respond to specific therapies would be of particular value and would allow for stratifying patients for personalized treatment strategies.Metabolic imaging by positron emission tomography was the first technique with the potential to predict the response of esophagogastric cancer to neoadjuvant therapy.Exploring and validating tissue-based biomarkers are ongoing processes.In this review,we discuss the status of several targeted therapies for gastric cancer,as well as proteomic and metabolic methods for investigating biomarkers for therapy response prediction in gastric cancer.
文摘Respectively belonging to different language families,English and Chinese naturally have many differences in morphology and syntax.This paper intends to give a contrastive analysis of subject and predicate in English and Chinese,focusing on differences of subject and predicate usages in the two languages,and the problems they cause for Chinese students in English learning and translation.
基金TheOutstandingYoungScientistsFoundation !(No496 2 5304)andtheKeyProgramofMinistryofScienceandTechnologyofChina !(No95 pre 3
文摘By analyzing the metallogenic conditions and prospecting marks of F 8 fault belt in Shiujingtun Gold Mine, the geochemical samples were collected along F 8 fault belt and prospecting profile normal to the F 8 fault belt. Gold and its indicator elements were tested with X ray fluorescence spectrometry and the content distribution diagram of Au, Ag, Hg and As along the F 8 fault belt was performed. The geochemical primary halo model and the Grey system model of F 8 fault belt are established. With these element distribution features and models, the blind ore bodies in the F 8 fault belt were predicted. Engineering prospect shows that the industrial orebodies have been discovered and the prediction results are dependable.
文摘The vapor-liquid equilibrium of Dimethyl Carbonate-Methanol-Furfural under atmospheric pressure from DMC-CH 3OH,DMCC 5H 4O 2,CH 3OH-C 5H 4O 2 binary systematic VLE data is calculated,by using C ++(VC6.0) programming language and Wilson equation.It provided important VLE data to set up mathematic models of extraction-rectifying separation of DMC and methanol by using furfural as extraction reagent.So the results can be used for chemical engineering calculation.
文摘In this paper, with the theory of nonlinear dynamic systems, It is analyzed that the dynamic behavior and the predictability for the monthly mean variations of the sunspot relative number recorded from January 1891 to December 1996. In the progress, the fractal dimension (D = 3.3 +/- 0.2) for the variation process rt as computed. This helped us to determine the embedded dimension [2 x D + 1] = 7. By computing the Lyapunov index (lambda(1) = 0.863), it was indicated that the variation process is a chaotic system. The Kolmogorov entropy (K = 0.0260) was also computed, which provides, theoretically, the predicable time scale. And at the end, according to the result of the analysis above, an experimental predication is made, whose data was a part cut from the sample data.
文摘Considering the problems that should be solved in the synthetic earthquake prediction at present, a new model is proposed in the paper. It is called joint multivariate statistical model combined by principal component analysis with discriminatory analysis. Principal component analysis and discriminatory analysis are very important theories in multivariate statistical analysis that has developed quickly in the late thirty years. By means of maximization information method, we choose several earthquake prediction factors whose cumulative proportions of total sam-ple variances are beyond 90% from numerous earthquake prediction factors. The paper applies regression analysis and Mahalanobis discrimination to extrapolating synthetic prediction. Furthermore, we use this model to charac-terize and predict earthquakes in North China (30~42N, 108~125E) and better prediction results are obtained.
