To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductiv...To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductive approaches,and indicates that grammar teaching by either approach alone has disadvantages,should adopt a combination technique.展开更多
In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, na...In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, namely, （positive） implicative strong deductive systems, respectively. Moreover we give equivalent characterizations of them.展开更多
In the preliminary design stage of the full form ships, in order to obtain a hull form with low resistance and maximum propulsion efficiency, an optimization design program for a full form ship with the minimum thrust...In the preliminary design stage of the full form ships, in order to obtain a hull form with low resistance and maximum propulsion efficiency, an optimization design program for a full form ship with the minimum thrust deduction factor has been developed, which combined the potential flow theory and boundary layer theory with the optimization technique. In the optimization process, the Sequential Unconstrained Minimization Technique（SUMT） interior point method of Nonlinear Programming（NLP） was proposed with the minimum thrust deduction factor as the objective function. An appropriate displacement is a basic constraint condition, and the boundary layer separation is an additional one. The parameters of the hull form modification function are used as design variables. At last, the numerical optimization example for lines of after-body of 50000 DWT product oil tanker was provided, which indicated that the propulsion efficiency was improved distinctly by this optimal design method.展开更多
When transnationalized electricity trade is conducted in the context of Global Energy Interconnection(GEI),the transaction settlement usually has a long cycle and high cost and is influenced by the volatility of the e...When transnationalized electricity trade is conducted in the context of Global Energy Interconnection(GEI),the transaction settlement usually has a long cycle and high cost and is influenced by the volatility of the exchange rate.It is thus necessary to overcome the problems associated with the transaction settlement,change in the trading model data,and trading strategy in the transnational transaction deduction.To overcome the problem of trade settlement,this paper proposes the use of a digital currency(energy currency)for the cross-border electricity trading settlement based on the special drawing rights of the International Monetary Fund,which is controlled by the Global Energy Interconnection Development and Cooperation Organization(GEIDCO),to enable the proposed currency to become a stable digital currency.The traders can use the energy coins as a unit of currency for quotes,combined with the data pertaining to the changes in the energy information obtained from the GEI framework and data regarding the optimally extrapolated reference trading indicators.To realize the implementation of the multi-trader concurrent transaction deduction using a microservice architecture,this paper proposes a method of computing the microservice and synchronous interaction among the traders,based on the database table data,because the large amount of computation is required to be accomplished asynchronously with a single process.The key technology behind these cross-national electricity trading simulations can not only enable the GEI transnational traders to performed daily real-time trading,but it also demonstrates the advantages of the rapid settlement of the energy currency and the realization of a stable payment in the global energy interconnection cross-border electricity trading.展开更多
In the test-field calibration,multi-azimuth stereo image pairs areproduced of the outdoor large control-field by the stereo-vision system under cali-bration.While in the analytical processing,the relationship between ...In the test-field calibration,multi-azimuth stereo image pairs areproduced of the outdoor large control-field by the stereo-vision system under cali-bration.While in the analytical processing,the relationship between image pairsis adopted as a constraint condition,which ensures the stability and quality of thecalibration results.This paper introduces the deduction process of the constraintconditions.展开更多
In this paper, we consider the optimal risk sharing problem between two parties in the insurance business: the insurer and the insured. The risk is allocated between the insurer and the insured by setting a deductible...In this paper, we consider the optimal risk sharing problem between two parties in the insurance business: the insurer and the insured. The risk is allocated between the insurer and the insured by setting a deductible and coverage in the insurance contract. We obtain the optimal deductible and coverage by considering the expected product of the two parties' utilities of terminal wealth according to stochastic optimal control theory. An equilibrium policy is also derived for when there are both a deductible and coverage;this is done by modelling the problem as a stochastic game in a continuous-time framework. A numerical example is provided to illustrate the results of the paper.展开更多
In the analysis of the system of anchoring bar and wall rock in small strain and longitudinal vibration dynamic response, the influence of the cement grouting as well as the rock layer on the anchor bar can be evaluat...In the analysis of the system of anchoring bar and wall rock in small strain and longitudinal vibration dynamic response, the influence of the cement grouting as well as the rock layer on the anchor bar can be evaluated as the two kinds of parameters: the dynamic stiffness and the damp, which are the vital reference of the anchorage quality. Based on the analytic solution to the dynamic equation of the integrated anchor bar, the new approach which combines genetic algorithm and the toolbox of Matlab is applied to solve the problem of multi-parameters reverse deduction for integrated anchorage system in dynamic testing. Using the traits of the self-organizing, self-adapting and the fast convergence speed of the genetic algorithm, the optimum of all possible solutions to dynamic parameters is obtained by calculating the project instances. Examples show that the method presented in this paper is effective and reliable.展开更多
Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the d...Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.展开更多
The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some prop...The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some properties is discussed. Formulas of the extended calculus can be expressed in the extension multi-layer perceptron. Naturally, semantic deduction of prop ositional knowledge base can be implement by the extension multi-layer perceptr on, and by learning, an unknown formula set can be found.展开更多
Tool wear is frequently considered in the modern CNC (computer numerical control) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing ci...Tool wear is frequently considered in the modern CNC (computer numerical control) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing circumstances, or achieved through numerous equipment operations. Therefore, a general deduction optimization scheme proposed is deemed to be necessary for the industry. In this paper, four parameters (cutting depth, feed rate, speed, tool nose runoff) with three levels (low, medium, high) are considered to optimize the tool wear for finish turning based on orthogonal array. Additionally, nine fuzzy control rules using triangle membership function with respective to five linguistic grades for tool wear are constructed. Considering four input and twenty output intervals, the defuzzification using center of gravity is then completed and introduced as the S/N (signal-to-noise) ratio. Thus, the optimum general deduction parameters can then be received. The confirmation experiment for optimum general deduction parameters is furthermore performed on an ECOCA-3807 CNC lathe. It is shown that the tool wear ratio from the fuzzy deduction optimization parameters is significantly advanced comparing to those from benchmark. This paper not only proposes a general deduction optimization scheme using orthogonal array, but also contributes the satisfactory fuzzy linguistic approach to tool wear in CNC turning with profound insight.展开更多
This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching ...This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching approach, as a general grammar pedagogy, would improve the efficiency of students＇ acquisition of certain grammar points. This study results from comparison and contrast between one same class on the acquisition of subjunctive mood to 70 students in total, employing three different teaching methods： inductive approach with multimedia assistance （method 1）, deductive approach with multimedia assistance （method 2）, and both inductive approach and deductive approach with multimedia assistance （method 3）, based on self-reported reflection on the experiment, observation of students＇ learning process, students＇ pre-test and after-class evaluation test results, and surveys. Two identical experiments were conducted to two groups of students of different levels of language proficiency to increase the generalizability of the results. Findings revealed that the evaluation test score of the grammatical points taught with method 3 is much higher than those taught with the other two methods, and most students felt positive about method 3. Students nevertheless encounter obvious difficulties in inductive approach, indicating certain lack of self-learning skills in Chinese students展开更多
Emotion represents the feeling of an individual in a given situation. There are various ways to express the emotions of an individual. It can be categorized into verbal expressions, written expressions, facial express...Emotion represents the feeling of an individual in a given situation. There are various ways to express the emotions of an individual. It can be categorized into verbal expressions, written expressions, facial expressions and gestures. Among these various ways of expressing the emotion, the written method is a challenging task to extract the emotions, as the data is in the form of textual dat. Finding the different kinds of emotions is also a tedious task as it requires a lot of pre preparations of the textual data taken for the research. This research work is carried out to analyse and extract the emotions hidden in text data. The text data taken for the analysis is from the social media dataset. Using the raw text data directly from the social media will not serve the purpose. Therefore, the text data has to be pre-processed and then utilised for further processing. Pre-processing makes the text data more efficient and would infer valuable insights of the emotions hidden in it. The preprocessing steps also help to manage the text data for identifying the emotions conveyed in the text. This work proposes to deduct the emotions taken from the social media text data by applying the machine learning algorithm. Finally, the usefulness of the emotions is suggested for various stake holders, to find the attitude of individuals at that moment, the data is produced. .展开更多
The function of Gastrointestinal tract including intestine is to a large degree mechanical.The mechanical properties of the intestinal wall,and the tonic (sustained) and/or phasic(short-
A unified linear expression of plastic work rate per unit volume is deduced from the unified linear yield criterion and the associated flow rule. The expression is suitable for various linear yield loci in the error t...A unified linear expression of plastic work rate per unit volume is deduced from the unified linear yield criterion and the associated flow rule. The expression is suitable for various linear yield loci in the error triangle between Tresca’s and twin shear stress yield loci on the π-plane. It exhibits generalization in which the different value of criterion parameter b corresponds to a specific linear formula of plastic work rate per unit volume. Finally, with the unified linear expression of plastic work rate and upper-bound parallel velocity field the strip forging without bulge is successfully analyzed and an analytical result is also obtained. The comparison with traditional solutions shows that when b=1/(1+ 3 ) the result is the same as the upper bound result by Mises’ yield criterion, and it also is identical to that by slab method with m=1, σ0=0.展开更多
Gamma-ray spectrometer(GRS) is used to detect the elemental abundances and distributions on the lunar surface.To derive the elemental abundances,it is vital to acquire background gamma rays except lunar gamma rays.So ...Gamma-ray spectrometer(GRS) is used to detect the elemental abundances and distributions on the lunar surface.To derive the elemental abundances,it is vital to acquire background gamma rays except lunar gamma rays.So GRS would observe background spectra in the course of earth-moon transfer on schedule.But in fact,GRS was not switched on in the course of flying toward the moon.After the CE-1 probe finished one-year mission,GRS car-ried out a test on background data on November 21?22,2008.The authors did conduct research on the methods of background deduction using 2105 hours of usable gamma-ray spectra acquired at the 200-km orbital height by the GRS and more than 5 hours of gamma-ray spectra acquired in the GRS background test.The final research results showed that the method of deducting the background using the minimum counts in the CE-1 GRS pixels is optimal for the elements,U,K and Th.The method applies to such a case that the elemental abundances in the pixel with the minimum counting rate are 0 μg/g and the continuum background counts are constant over the Moon.Based on the method of background deduction,the full energy peak counts of U,K,and Th are calculated.展开更多
ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars...ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-展开更多
文摘To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductive approaches,and indicates that grammar teaching by either approach alone has disadvantages,should adopt a combination technique.
基金Supported by the National Natural Science Foundation of China(Grant No.11571281)Independent Innovation Project of Graduate Students in Northwestern University(Grant No.YZZ15069)Scientific Research Project of Xi'an Peihua University(Grant No.PHKT16075)
文摘In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, namely, （positive） implicative strong deductive systems, respectively. Moreover we give equivalent characterizations of them.
基金financially supported by the National Natural Science Foundation of China(Grant No.51009087)
文摘In the preliminary design stage of the full form ships, in order to obtain a hull form with low resistance and maximum propulsion efficiency, an optimization design program for a full form ship with the minimum thrust deduction factor has been developed, which combined the potential flow theory and boundary layer theory with the optimization technique. In the optimization process, the Sequential Unconstrained Minimization Technique（SUMT） interior point method of Nonlinear Programming（NLP） was proposed with the minimum thrust deduction factor as the objective function. An appropriate displacement is a basic constraint condition, and the boundary layer separation is an additional one. The parameters of the hull form modification function are used as design variables. At last, the numerical optimization example for lines of after-body of 50000 DWT product oil tanker was provided, which indicated that the propulsion efficiency was improved distinctly by this optimal design method.
基金supported by the State Grid Science and Technology Project (Research on Transnational Energy Interaction Simulation and Deduction Technologies of the Global Energy Interconnection, JS71-17-004)
文摘When transnationalized electricity trade is conducted in the context of Global Energy Interconnection(GEI),the transaction settlement usually has a long cycle and high cost and is influenced by the volatility of the exchange rate.It is thus necessary to overcome the problems associated with the transaction settlement,change in the trading model data,and trading strategy in the transnational transaction deduction.To overcome the problem of trade settlement,this paper proposes the use of a digital currency(energy currency)for the cross-border electricity trading settlement based on the special drawing rights of the International Monetary Fund,which is controlled by the Global Energy Interconnection Development and Cooperation Organization(GEIDCO),to enable the proposed currency to become a stable digital currency.The traders can use the energy coins as a unit of currency for quotes,combined with the data pertaining to the changes in the energy information obtained from the GEI framework and data regarding the optimally extrapolated reference trading indicators.To realize the implementation of the multi-trader concurrent transaction deduction using a microservice architecture,this paper proposes a method of computing the microservice and synchronous interaction among the traders,based on the database table data,because the large amount of computation is required to be accomplished asynchronously with a single process.The key technology behind these cross-national electricity trading simulations can not only enable the GEI transnational traders to performed daily real-time trading,but it also demonstrates the advantages of the rapid settlement of the energy currency and the realization of a stable payment in the global energy interconnection cross-border electricity trading.
文摘In the test-field calibration,multi-azimuth stereo image pairs areproduced of the outdoor large control-field by the stereo-vision system under cali-bration.While in the analytical processing,the relationship between image pairsis adopted as a constraint condition,which ensures the stability and quality of thecalibration results.This paper introduces the deduction process of the constraintconditions.
基金supported by the NSF of China(11931018, 12271274)the Tianjin Natural Science Foundation (19JCYBJC30400)。
文摘In this paper, we consider the optimal risk sharing problem between two parties in the insurance business: the insurer and the insured. The risk is allocated between the insurer and the insured by setting a deductible and coverage in the insurance contract. We obtain the optimal deductible and coverage by considering the expected product of the two parties' utilities of terminal wealth according to stochastic optimal control theory. An equilibrium policy is also derived for when there are both a deductible and coverage;this is done by modelling the problem as a stochastic game in a continuous-time framework. A numerical example is provided to illustrate the results of the paper.
基金Funded by the Natural Science Foundation of China (50378096) and Key Technology Item of Education Ministry (03138).
文摘In the analysis of the system of anchoring bar and wall rock in small strain and longitudinal vibration dynamic response, the influence of the cement grouting as well as the rock layer on the anchor bar can be evaluated as the two kinds of parameters: the dynamic stiffness and the damp, which are the vital reference of the anchorage quality. Based on the analytic solution to the dynamic equation of the integrated anchor bar, the new approach which combines genetic algorithm and the toolbox of Matlab is applied to solve the problem of multi-parameters reverse deduction for integrated anchorage system in dynamic testing. Using the traits of the self-organizing, self-adapting and the fast convergence speed of the genetic algorithm, the optimum of all possible solutions to dynamic parameters is obtained by calculating the project instances. Examples show that the method presented in this paper is effective and reliable.
文摘Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.
文摘The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some properties is discussed. Formulas of the extended calculus can be expressed in the extension multi-layer perceptron. Naturally, semantic deduction of prop ositional knowledge base can be implement by the extension multi-layer perceptr on, and by learning, an unknown formula set can be found.
文摘Tool wear is frequently considered in the modern CNC (computer numerical control) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing circumstances, or achieved through numerous equipment operations. Therefore, a general deduction optimization scheme proposed is deemed to be necessary for the industry. In this paper, four parameters (cutting depth, feed rate, speed, tool nose runoff) with three levels (low, medium, high) are considered to optimize the tool wear for finish turning based on orthogonal array. Additionally, nine fuzzy control rules using triangle membership function with respective to five linguistic grades for tool wear are constructed. Considering four input and twenty output intervals, the defuzzification using center of gravity is then completed and introduced as the S/N (signal-to-noise) ratio. Thus, the optimum general deduction parameters can then be received. The confirmation experiment for optimum general deduction parameters is furthermore performed on an ECOCA-3807 CNC lathe. It is shown that the tool wear ratio from the fuzzy deduction optimization parameters is significantly advanced comparing to those from benchmark. This paper not only proposes a general deduction optimization scheme using orthogonal array, but also contributes the satisfactory fuzzy linguistic approach to tool wear in CNC turning with profound insight.
文摘This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching approach, as a general grammar pedagogy, would improve the efficiency of students＇ acquisition of certain grammar points. This study results from comparison and contrast between one same class on the acquisition of subjunctive mood to 70 students in total, employing three different teaching methods： inductive approach with multimedia assistance （method 1）, deductive approach with multimedia assistance （method 2）, and both inductive approach and deductive approach with multimedia assistance （method 3）, based on self-reported reflection on the experiment, observation of students＇ learning process, students＇ pre-test and after-class evaluation test results, and surveys. Two identical experiments were conducted to two groups of students of different levels of language proficiency to increase the generalizability of the results. Findings revealed that the evaluation test score of the grammatical points taught with method 3 is much higher than those taught with the other two methods, and most students felt positive about method 3. Students nevertheless encounter obvious difficulties in inductive approach, indicating certain lack of self-learning skills in Chinese students
文摘Emotion represents the feeling of an individual in a given situation. There are various ways to express the emotions of an individual. It can be categorized into verbal expressions, written expressions, facial expressions and gestures. Among these various ways of expressing the emotion, the written method is a challenging task to extract the emotions, as the data is in the form of textual dat. Finding the different kinds of emotions is also a tedious task as it requires a lot of pre preparations of the textual data taken for the research. This research work is carried out to analyse and extract the emotions hidden in text data. The text data taken for the analysis is from the social media dataset. Using the raw text data directly from the social media will not serve the purpose. Therefore, the text data has to be pre-processed and then utilised for further processing. Pre-processing makes the text data more efficient and would infer valuable insights of the emotions hidden in it. The preprocessing steps also help to manage the text data for identifying the emotions conveyed in the text. This work proposes to deduct the emotions taken from the social media text data by applying the machine learning algorithm. Finally, the usefulness of the emotions is suggested for various stake holders, to find the attitude of individuals at that moment, the data is produced. .
文摘The function of Gastrointestinal tract including intestine is to a large degree mechanical.The mechanical properties of the intestinal wall,and the tonic (sustained) and/or phasic(short-
基金Project(50474015) supported by the National Natural Science Foundation of ChinaProject(RAL–SD-2008-2) supported by RAL Self-determination Science Foundation
文摘A unified linear expression of plastic work rate per unit volume is deduced from the unified linear yield criterion and the associated flow rule. The expression is suitable for various linear yield loci in the error triangle between Tresca’s and twin shear stress yield loci on the π-plane. It exhibits generalization in which the different value of criterion parameter b corresponds to a specific linear formula of plastic work rate per unit volume. Finally, with the unified linear expression of plastic work rate and upper-bound parallel velocity field the strip forging without bulge is successfully analyzed and an analytical result is also obtained. The comparison with traditional solutions shows that when b=1/(1+ 3 ) the result is the same as the upper bound result by Mises’ yield criterion, and it also is identical to that by slab method with m=1, σ0=0.
基金supported by the Na-tional High Technology Research and Development Program of China (Nos. 2008AA12A212,2010AA122201 and 2010AA122202)the National Natural Science Foundation of China (Nos.41040031 and 40904024)
文摘Gamma-ray spectrometer(GRS) is used to detect the elemental abundances and distributions on the lunar surface.To derive the elemental abundances,it is vital to acquire background gamma rays except lunar gamma rays.So GRS would observe background spectra in the course of earth-moon transfer on schedule.But in fact,GRS was not switched on in the course of flying toward the moon.After the CE-1 probe finished one-year mission,GRS car-ried out a test on background data on November 21?22,2008.The authors did conduct research on the methods of background deduction using 2105 hours of usable gamma-ray spectra acquired at the 200-km orbital height by the GRS and more than 5 hours of gamma-ray spectra acquired in the GRS background test.The final research results showed that the method of deducting the background using the minimum counts in the CE-1 GRS pixels is optimal for the elements,U,K and Th.The method applies to such a case that the elemental abundances in the pixel with the minimum counting rate are 0 μg/g and the continuum background counts are constant over the Moon.Based on the method of background deduction,the full energy peak counts of U,K,and Th are calculated.
文摘ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-
