Cognitive grammar,as a linguistic theory that attaches importance to the relationship between language and thinking,provides us with a more comprehensive way to understand the structure,semantics and cognitive process...Cognitive grammar,as a linguistic theory that attaches importance to the relationship between language and thinking,provides us with a more comprehensive way to understand the structure,semantics and cognitive processing of noun predicate sentences.Therefore,under the framework of cognitive grammar,this paper tries to analyze the semantic connection and cognitive process in noun predicate sentences from the semantic perspective and the method of example theory,and discusses the motivation of the formation of this construction,so as to provide references for in-depth analysis of the cognitive laws behind noun predicate sentences.展开更多
With this work, we introduce a novel method for the unsupervised learning of conceptual hierarchies, or concept maps as they are sometimes called, which is aimed specifically for use with literary texts, as such disti...With this work, we introduce a novel method for the unsupervised learning of conceptual hierarchies, or concept maps as they are sometimes called, which is aimed specifically for use with literary texts, as such distinguishing itself from the majority of research literature on the topic which is primarily focused on building ontologies from a vast array of different types of data sources, both structured and unstructured, to support various forms of AI, in particular, the Semantic Web as envisioned by Tim Berners-Lee. We first elaborate on mutually informing disciplines of philosophy and computer science, or more specifically the relationship between metaphysics, epistemology, ontology, computing and AI, followed by a technically in-depth discussion of DEBRA, our dependency tree based concept hierarchy constructor, which as its name alludes to, constructs a conceptual map in the form of a directed graph which illustrates the concepts, their respective relations, and the implied ontological structure of the concepts as encoded in the text, decoded with standard Python NLP libraries such as spaCy and NLTK. With this work we hope to both augment the Knowledge Representation literature with opportunities for intellectual advancement in AI with more intuitive, less analytical, and well-known forms of knowledge representation from the cognitive science community, as well as open up new areas of research between Computer Science and the Humanities with respect to the application of the latest in NLP tools and techniques upon literature of cultural significance, shedding light on existing methods of computation with respect to documents in semantic space that effectively allows for, at the very least, the comparison and evolution of texts through time, using vector space math.展开更多
English and Chinese belong to different language families,employing two distinct syntactic systems.English is subject-prominent,following the pattern of subject first,then predicate;while Chinese is topic-prominent,sh...English and Chinese belong to different language families,employing two distinct syntactic systems.English is subject-prominent,following the pattern of subject first,then predicate;while Chinese is topic-prominent,showing much flexibility in word arrangement as well as the necessity of subject and predicate.展开更多
The subjunctive mood is one of the most difficult English grammar items for most English learners. In this thesis,the author discusses the usage of the subjunctive mood in English,especially its usage in English subor...The subjunctive mood is one of the most difficult English grammar items for most English learners. In this thesis,the author discusses the usage of the subjunctive mood in English,especially its usage in English subordinate clauses. At the same time,the author provides a lot of examples. In the author's opinion,as long as the English learners find out the rules of it and practice it more,they will definitely grasp the subjunctive mood and use it correctly and skillfully.展开更多
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.展开更多
In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relation...In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relationship among these objects in a trusted system according to trusted computing specifications. Inference rules of trusted relation are given too. With the semantics proposed, some trusted computing models are formalized and verified, which shows that Predicate calculus logic provides a general and effective method for modeling and reasoning trusted computing systems.展开更多
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.展开更多
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.展开更多
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.展开更多
AIM:To evaluate whether granulocyte colony-stimulating factor receptor(G-CSFR)expression before preoperative irradiation can predict the radiosensitivity of rectal cancer.METHODS:The expression of G-CSFR was examined,...AIM:To evaluate whether granulocyte colony-stimulating factor receptor(G-CSFR)expression before preoperative irradiation can predict the radiosensitivity of rectal cancer.METHODS:The expression of G-CSFR was examined,using immunohistochemistry,in biopsy specimens from126 patients with locally advanced rectal adenocarcinoma before preoperative irradiation.Radiosensitivity was then evaluated according to the Rectal Cancer Regression Grading.Endoscopic inspection was used to detect the tumor area in each patient.General patient information,such as age,gender,lymph node status,tumor size and degree of differentiation was recorded.A statistical analysis was then performed to evaluate the correlation between clinical or pathological parameters and G-CSFR expression in tumors.RESULTS:According to endoscopic inspection,the tumor area ranged from 4 to 48 cm2(median,15 cm2).Positive G-CSFR immunoreactions(G-CSFR+)were observed in 85 specimens,and negative(G-CSFR-)in 41.No significant differences were found in age,gender,tumor invasion,lymph node status and tumor size between G-CSFR+and G-CSFR-patients.G-CSFR expression was positively correlated with poor radiotherapy response(58.8%vs 75.6%,P=0.014,r=0.219).The proportion of well-differentiated tumors in G-CSFR+and G-CSFR-patients was 24.7%and 36.6%,respectively.Sphincter preservation was observed in 57.6%of G-CSFR+patients and 78.5%of G-CSFR-patients.Significant correlations were found between G-CSFR expression and tumor differentiation(24.7%vs 36.6%,P=0.019,r=0.210),as well as sphincter preservation(57.6%vs78.5%,P=0.044,r=0.180).CONCLUSION:The expression of G-CSFR before preoperative irradiation may predict the radiosensitivity of rectal cancer.展开更多
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.展开更多
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).展开更多
In this paper,the authors point out and demonstrate the difference of theconcepts concerning co-satisfiable and co-valid between one first-order language andtwo first-order languages,and put forward the concepts about...In this paper,the authors point out and demonstrate the difference of theconcepts concerning co-satisfiable and co-valid between one first-order language andtwo first-order languages,and put forward the concepts about uniform co-identical truthand uniform co-satisfiability.Thus some theorems in the book“A Course inMathematical Logic”,written by J.L.Bell and M.Machover,are corrected.展开更多
The purified terephthalic acid (PTA) petrochemical wastewater molecular toxicity detected by use of Mouse Genome 430A 2.0 GeneChip was conducted in this research. The toxic dose to male mice was 0.03 g/(kg, d) of ...The purified terephthalic acid (PTA) petrochemical wastewater molecular toxicity detected by use of Mouse Genome 430A 2.0 GeneChip was conducted in this research. The toxic dose to male mice was 0.03 g/(kg, d) of PTA in the wastewater. The mice liver total RNA was isolated as the temple for synthesis of eDNA and then the cDNA as the temple for synthesis of cRNA. Hybridizing the cRNA with the target genes on the gene chip, there were 232 genes expression levels up-regulated and 74 genes down-regulated discovered obviously. The foremost 40 genes for both the highest and the lowest expression levels involved endogenetic steroid and hormone metabolism, immune system, the leukocyte activity and inflammation, detoxification in liver, reproduction and growth hormone, regulation immune factors of anti-tumor and anti-infection and cancer to the mice sampled. The data suggest the PTA wastewater contained over 5 aromatics and their toxicities integrated were much higher than the pure chemical PTA. And the pure chemical PTA toxicities data cannot be used to evaluate the toxicity of the PTA wastewater instead.展开更多
1.IntroductionThe research of metal forming theoryand technology always takes an importantplace in materials science and engineering.However,in a long period,the developmentof technology goes ahead of the theoreticals...1.IntroductionThe research of metal forming theoryand technology always takes an importantplace in materials science and engineering.However,in a long period,the developmentof technology goes ahead of the theoreticalstudy.Most design principles used in prac-展开更多
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.展开更多
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.展开更多
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.展开更多
文摘Cognitive grammar,as a linguistic theory that attaches importance to the relationship between language and thinking,provides us with a more comprehensive way to understand the structure,semantics and cognitive processing of noun predicate sentences.Therefore,under the framework of cognitive grammar,this paper tries to analyze the semantic connection and cognitive process in noun predicate sentences from the semantic perspective and the method of example theory,and discusses the motivation of the formation of this construction,so as to provide references for in-depth analysis of the cognitive laws behind noun predicate sentences.
文摘With this work, we introduce a novel method for the unsupervised learning of conceptual hierarchies, or concept maps as they are sometimes called, which is aimed specifically for use with literary texts, as such distinguishing itself from the majority of research literature on the topic which is primarily focused on building ontologies from a vast array of different types of data sources, both structured and unstructured, to support various forms of AI, in particular, the Semantic Web as envisioned by Tim Berners-Lee. We first elaborate on mutually informing disciplines of philosophy and computer science, or more specifically the relationship between metaphysics, epistemology, ontology, computing and AI, followed by a technically in-depth discussion of DEBRA, our dependency tree based concept hierarchy constructor, which as its name alludes to, constructs a conceptual map in the form of a directed graph which illustrates the concepts, their respective relations, and the implied ontological structure of the concepts as encoded in the text, decoded with standard Python NLP libraries such as spaCy and NLTK. With this work we hope to both augment the Knowledge Representation literature with opportunities for intellectual advancement in AI with more intuitive, less analytical, and well-known forms of knowledge representation from the cognitive science community, as well as open up new areas of research between Computer Science and the Humanities with respect to the application of the latest in NLP tools and techniques upon literature of cultural significance, shedding light on existing methods of computation with respect to documents in semantic space that effectively allows for, at the very least, the comparison and evolution of texts through time, using vector space math.
文摘English and Chinese belong to different language families,employing two distinct syntactic systems.English is subject-prominent,following the pattern of subject first,then predicate;while Chinese is topic-prominent,showing much flexibility in word arrangement as well as the necessity of subject and predicate.
文摘The subjunctive mood is one of the most difficult English grammar items for most English learners. In this thesis,the author discusses the usage of the subjunctive mood in English,especially its usage in English subordinate clauses. At the same time,the author provides a lot of examples. In the author's opinion,as long as the English learners find out the rules of it and practice it more,they will definitely grasp the subjunctive mood and use it correctly and skillfully.
基金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.
基金Supported by the National High-Technology Re-search and Development Program ( 863 Program)China(2004AA113020)
文摘In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relationship among these objects in a trusted system according to trusted computing specifications. Inference rules of trusted relation are given too. With the semantics proposed, some trusted computing models are formalized and verified, which shows that Predicate calculus logic provides a general and effective method for modeling and reasoning trusted computing systems.
文摘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.
文摘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.
文摘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.
文摘AIM:To evaluate whether granulocyte colony-stimulating factor receptor(G-CSFR)expression before preoperative irradiation can predict the radiosensitivity of rectal cancer.METHODS:The expression of G-CSFR was examined,using immunohistochemistry,in biopsy specimens from126 patients with locally advanced rectal adenocarcinoma before preoperative irradiation.Radiosensitivity was then evaluated according to the Rectal Cancer Regression Grading.Endoscopic inspection was used to detect the tumor area in each patient.General patient information,such as age,gender,lymph node status,tumor size and degree of differentiation was recorded.A statistical analysis was then performed to evaluate the correlation between clinical or pathological parameters and G-CSFR expression in tumors.RESULTS:According to endoscopic inspection,the tumor area ranged from 4 to 48 cm2(median,15 cm2).Positive G-CSFR immunoreactions(G-CSFR+)were observed in 85 specimens,and negative(G-CSFR-)in 41.No significant differences were found in age,gender,tumor invasion,lymph node status and tumor size between G-CSFR+and G-CSFR-patients.G-CSFR expression was positively correlated with poor radiotherapy response(58.8%vs 75.6%,P=0.014,r=0.219).The proportion of well-differentiated tumors in G-CSFR+and G-CSFR-patients was 24.7%and 36.6%,respectively.Sphincter preservation was observed in 57.6%of G-CSFR+patients and 78.5%of G-CSFR-patients.Significant correlations were found between G-CSFR expression and tumor differentiation(24.7%vs 36.6%,P=0.019,r=0.210),as well as sphincter preservation(57.6%vs78.5%,P=0.044,r=0.180).CONCLUSION:The expression of G-CSFR before preoperative irradiation may predict the radiosensitivity of rectal cancer.
文摘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.
文摘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).
文摘In this paper,the authors point out and demonstrate the difference of theconcepts concerning co-satisfiable and co-valid between one first-order language andtwo first-order languages,and put forward the concepts about uniform co-identical truthand uniform co-satisfiability.Thus some theorems in the book“A Course inMathematical Logic”,written by J.L.Bell and M.Machover,are corrected.
基金The Ph. D Fund of the National Education Ministry of China (No. 20030284038) and the Hi-Tech Research and DevelopmentProgram(863) of China(No. 2001AA214191)
文摘The purified terephthalic acid (PTA) petrochemical wastewater molecular toxicity detected by use of Mouse Genome 430A 2.0 GeneChip was conducted in this research. The toxic dose to male mice was 0.03 g/(kg, d) of PTA in the wastewater. The mice liver total RNA was isolated as the temple for synthesis of eDNA and then the cDNA as the temple for synthesis of cRNA. Hybridizing the cRNA with the target genes on the gene chip, there were 232 genes expression levels up-regulated and 74 genes down-regulated discovered obviously. The foremost 40 genes for both the highest and the lowest expression levels involved endogenetic steroid and hormone metabolism, immune system, the leukocyte activity and inflammation, detoxification in liver, reproduction and growth hormone, regulation immune factors of anti-tumor and anti-infection and cancer to the mice sampled. The data suggest the PTA wastewater contained over 5 aromatics and their toxicities integrated were much higher than the pure chemical PTA. And the pure chemical PTA toxicities data cannot be used to evaluate the toxicity of the PTA wastewater instead.
文摘1.IntroductionThe research of metal forming theoryand technology always takes an importantplace in materials science and engineering.However,in a long period,the developmentof technology goes ahead of the theoreticalstudy.Most design principles used in prac-
文摘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.
基金the National Natural Science Foundation of China (60663005, 60563005)the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
文摘Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.
文摘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.