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.展开更多
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.展开更多
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.展开更多
Aiming at Double-Star positioning system's shortcomings of delayed position information and easy exposition of the user as well as the error increase of the SINS with the accumulation of time, the integration of D...Aiming at Double-Star positioning system's shortcomings of delayed position information and easy exposition of the user as well as the error increase of the SINS with the accumulation of time, the integration of Double-Star positioning system and the SINS is one of the developing directions for an integrated navigation system. This paper puts forward an optimal predication method of Double-Star/SINS integrated system based on discrete integration, which can make use of the delayed position information of Double-Star positioning system to optimally predicate the integrated system, and then corrects the SINS. The experimental results show that this method can increase the user's concealment under the condition of assuring the system's accuracy.展开更多
Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef'mite arity. The atomic formulae are of the following sort: S1S2 ...Sm@P1P2...Pn, where re...Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef'mite arity. The atomic formulae are of the following sort: S1S2 ...Sm@P1P2...Pn, where re+n〉0. The standard syllogistic functors are here interpreted as follows: SAP=: S@P SeP=: SP@ SIP=: -SP@ SOP=: ~S@P Markin constructs a system of Fundamental Syllogistic (FS) with constant @ in an axiomatic way. Based on Markin's idea, we propose two constructions, which are formulations of the system of sequential predication built upon the quantifier-less calculus of names. The first one includes the FS system. The second one is enriched with individual variables and, among other things, allows including sequences of individual names in which one has to do with enumerative functors. The counterpart of Hao Wang's algorithm holds in the first system extended with negative terms.展开更多
In the conditions of low Signal-to-Noise Ratio(SNR) of seismic data and a small quality of log information,the consequences of seismic interpretation through the impedance inversion of seismic data could be more preci...In the conditions of low Signal-to-Noise Ratio(SNR) of seismic data and a small quality of log information,the consequences of seismic interpretation through the impedance inversion of seismic data could be more precise. Constrained sparse spike inversion(CSSI) has advantage in oil and gas reservoir predication because it does not rely on the original model. By analyzing the specific algorithm of CSSI,the accuracy of inversion is controlled. Oriente Basin in South America has the low amplitude in geological structure and complex lithologic trap. The well predication is obtained by the application of CSSI.展开更多
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.展开更多
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.展开更多
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.展开更多
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 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.展开更多
According to the characteristic of Beidou Double-star positing system (for short: Double-star position), the optimal predication model of Double-star position/SINS integrated system is put forward, which can make use ...According to the characteristic of Beidou Double-star positing system (for short: Double-star position), the optimal predication model of Double-star position/SINS integrated system is put forward, which can make use of the delayed position in-formation from Double-star positioning system to predicate optimally for the integrated system, and then to correct SINS, and af-fords integrated results of some navigation parameters. In order to validate the consistency of the filter, the criteria for consistency of a filter is also studied, and the tested statistics are given, the experiment based on practical measured data shows that the filtering method is consistent with the integrated system.展开更多
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-展开更多
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.展开更多
Plato's lifelong confrontation with Parmenides and his metaphysical mire of believing that nothing (το μη ǒν) does not actually exist, gradually in the Sophist comes into finish, insofar as the philosopher a...Plato's lifelong confrontation with Parmenides and his metaphysical mire of believing that nothing (το μη ǒν) does not actually exist, gradually in the Sophist comes into finish, insofar as the philosopher after facing the foe and having the last laugh simmers down. In this paper after giving an interpretation of what Parmenides says, I shall present an analysis of Plato's drastic answer to him (Sophist, 259 e4-6) to see how Plato opens the impasse way created by the Eleatic philosopher. Here the intercommunion of Forms is regarded as the final answer by which Plato devastates Parmenides infamous thesis. Since hitherto no in-depth analysis is given by the scholars who are puzzled with the subject, I have tried to analyze the intercommunion of Forms philosophically. Plato's Eleatic challenge has always been crucial in Plato himself and philosophical development after him. As while as Parmenides thesis (Sph., 238 a8-9) provides the sophists opportunity to reject the falsehood, Plato's theory of Forms in contrast in order to cross off the extremely sly sophists tries to make Parmenides come down. In my opinion, the intercommunion of Forms, as the last step of the theory of Forms, basically determines Plato's late ontology tightly knitted with logic. Vindicating this proposal depends on true understanding of the intercommunion of Forms. Since Plato's late ontology, in my opinion, is closed to Frege's ontology and discussion of language, we are armed to interpret the intercommunion of Forms with recent recent logico-philosophicus achievements, I think. In this respect, this is what I have done in my paper: analyzing sentence from Plato's logico-metaphysical point of view. Ultimately, I have tried to show how the aim of the intercommunion of Forms, which Plato himself states, is demonstrating the possibility of dialogue and discourse. This statement explicitly sets forward that the discussion is bound up with several logical approaches, according to which finally full bright light is shed on different implications of the subject such as universals.展开更多
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.展开更多
This paper analyzes errors in college students' oral English in class. There are three types of errors: interferences errors, intralingual errors and developmental errors. All the three kinds of errors can be foun...This paper analyzes errors in college students' oral English in class. There are three types of errors: interferences errors, intralingual errors and developmental errors. All the three kinds of errors can be found when students speak English. Then the paper introduces strategies for error correction from three aspects: before students' speech, during their speech and after their speech.展开更多
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.展开更多
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. 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.
基金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.
文摘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.
基金the National Defence Pre-research Foundation (Grant No.413090303)Special Fund for Author of Countrywide Excellent Doctor Disserta-tion (Grant No.2000036)
文摘Aiming at Double-Star positioning system's shortcomings of delayed position information and easy exposition of the user as well as the error increase of the SINS with the accumulation of time, the integration of Double-Star positioning system and the SINS is one of the developing directions for an integrated navigation system. This paper puts forward an optimal predication method of Double-Star/SINS integrated system based on discrete integration, which can make use of the delayed position information of Double-Star positioning system to optimally predicate the integrated system, and then corrects the SINS. The experimental results show that this method can increase the user's concealment under the condition of assuring the system's accuracy.
文摘Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef'mite arity. The atomic formulae are of the following sort: S1S2 ...Sm@P1P2...Pn, where re+n〉0. The standard syllogistic functors are here interpreted as follows: SAP=: S@P SeP=: SP@ SIP=: -SP@ SOP=: ~S@P Markin constructs a system of Fundamental Syllogistic (FS) with constant @ in an axiomatic way. Based on Markin's idea, we propose two constructions, which are formulations of the system of sequential predication built upon the quantifier-less calculus of names. The first one includes the FS system. The second one is enriched with individual variables and, among other things, allows including sequences of individual names in which one has to do with enumerative functors. The counterpart of Hao Wang's algorithm holds in the first system extended with negative terms.
基金Supported by the Fundamental Research Funds for the Central Universities(No.2011PY0186)
文摘In the conditions of low Signal-to-Noise Ratio(SNR) of seismic data and a small quality of log information,the consequences of seismic interpretation through the impedance inversion of seismic data could be more precise. Constrained sparse spike inversion(CSSI) has advantage in oil and gas reservoir predication because it does not rely on the original model. By analyzing the specific algorithm of CSSI,the accuracy of inversion is controlled. Oriente Basin in South America has the low amplitude in geological structure and complex lithologic trap. The well predication is obtained by the application of CSSI.
基金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.
基金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.
文摘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.
基金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 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.
文摘According to the characteristic of Beidou Double-star positing system (for short: Double-star position), the optimal predication model of Double-star position/SINS integrated system is put forward, which can make use of the delayed position in-formation from Double-star positioning system to predicate optimally for the integrated system, and then to correct SINS, and af-fords integrated results of some navigation parameters. In order to validate the consistency of the filter, the criteria for consistency of a filter is also studied, and the tested statistics are given, the experiment based on practical measured data shows that the filtering method is consistent with the integrated system.
文摘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-
文摘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.
文摘Plato's lifelong confrontation with Parmenides and his metaphysical mire of believing that nothing (το μη ǒν) does not actually exist, gradually in the Sophist comes into finish, insofar as the philosopher after facing the foe and having the last laugh simmers down. In this paper after giving an interpretation of what Parmenides says, I shall present an analysis of Plato's drastic answer to him (Sophist, 259 e4-6) to see how Plato opens the impasse way created by the Eleatic philosopher. Here the intercommunion of Forms is regarded as the final answer by which Plato devastates Parmenides infamous thesis. Since hitherto no in-depth analysis is given by the scholars who are puzzled with the subject, I have tried to analyze the intercommunion of Forms philosophically. Plato's Eleatic challenge has always been crucial in Plato himself and philosophical development after him. As while as Parmenides thesis (Sph., 238 a8-9) provides the sophists opportunity to reject the falsehood, Plato's theory of Forms in contrast in order to cross off the extremely sly sophists tries to make Parmenides come down. In my opinion, the intercommunion of Forms, as the last step of the theory of Forms, basically determines Plato's late ontology tightly knitted with logic. Vindicating this proposal depends on true understanding of the intercommunion of Forms. Since Plato's late ontology, in my opinion, is closed to Frege's ontology and discussion of language, we are armed to interpret the intercommunion of Forms with recent recent logico-philosophicus achievements, I think. In this respect, this is what I have done in my paper: analyzing sentence from Plato's logico-metaphysical point of view. Ultimately, I have tried to show how the aim of the intercommunion of Forms, which Plato himself states, is demonstrating the possibility of dialogue and discourse. This statement explicitly sets forward that the discussion is bound up with several logical approaches, according to which finally full bright light is shed on different implications of the subject such as universals.
文摘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.
文摘This paper analyzes errors in college students' oral English in class. There are three types of errors: interferences errors, intralingual errors and developmental errors. All the three kinds of errors can be found when students speak English. Then the paper introduces strategies for error correction from three aspects: before students' speech, during their speech and after their speech.
基金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.
基金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.