In English teaching, it is necessary to pay attention to students' psychology and cognition in order to make them harmonious and effective. Therefore, English teacher would change their teaching opinions, realizing t...In English teaching, it is necessary to pay attention to students' psychology and cognition in order to make them harmonious and effective. Therefore, English teacher would change their teaching opinions, realizing teaching object, guiding student's minds and ideas to study by some measures, such as accordant teaching and study, making students as a base in study, and students' self-study. In other words, making student study actively rather than passively is much better for their English abilities.展开更多
Stress relaxation ageing behavior of pre-deformed AA2219 is studied through stress relaxation age experiments and finite element(FE) simulation. The results show that the stress can promote the process of ageing preci...Stress relaxation ageing behavior of pre-deformed AA2219 is studied through stress relaxation age experiments and finite element(FE) simulation. The results show that the stress can promote the process of ageing precipitation, and shorten the time to reach the peak strength. Meanwhile,the residual stress and yield strength increase along with the increase in the initial stress. Based on microstructure evolution and ageing strengthening theory,a unified constitutive model is established and incorporated into the FE simulation model through a user subroutine. It is found that the relative error of the radius is 3.6% compared with the experimental result and the springback is 16.8%. This indicates that the proposed stress relaxation ageing constitutive model provides a good prediction on the springback of such stiffened panel during its ageing process.展开更多
The globalization of economy calls for a closer cooperation between countries with diversified political and economic systems. The success of any international transaction depends on whether the involved parties are f...The globalization of economy calls for a closer cooperation between countries with diversified political and economic systems. The success of any international transaction depends on whether the involved parties are familiar with each other or not. A good knowledge of the economic rules used worldwide is the key factor in finding one’s way into the international market. As one of the most promising Third World countires ,China, with her pending entry into WTO,is in urgent need of human resources familiar with the international economic rules. Besides, China’s West Development Project brings China’s vast interior closer to overseas enterprises and as a result versatile local talents well versed in these rules are in great demand. As Incoterms 1990 is a convenient guide to the international economic rules, it is an ideal coursebook for the training of these people. This paper highlights the merits of Incoterms 1990 and thus acquaints readers with these rules.展开更多
A revolution in Shakespeare studies over the past three decades asks that we take earlier quarto versions of his plays as fully independent texts. In no case can such a change in our outlook yield more illuminating re...A revolution in Shakespeare studies over the past three decades asks that we take earlier quarto versions of his plays as fully independent texts. In no case can such a change in our outlook yield more illuminating results than a serious look at the 1608 Quarto version of Shakespeare's King Lear. The 1623 Folio version and the "conflated" modem editions, which combine the "best" readings of the Quarto and Folio versions, both anoint his godson Edgar, the Earl of Gloucester, as the new king at the end. However, the 1608 Quarto version elevates, not Edgar, but Lear's son-in-law, the Duke of Albany, to the kingship at the end. Shakespeare may be telling the same story in texts that seem strikingly similar, but the difference in the endings shifts the center of gravity in both plays, requiring an interpretation that makes sense out this difference. The title page of the 1608 Quarto version of King Lear describes it as a "history"; yet this "same" King Lear is listed as a "tragedy" in the 1623 Folio. The difference between those two words is the key to why Shakespeare's two versions could have startlingly different outcomes.展开更多
The mode characteristics for twin coupled microdisks are investigated by finite-difference time-domain technique. In the coupled microdisks,the same order whispering-gallery(WG) modes can form coupled modes with split...The mode characteristics for twin coupled microdisks are investigated by finite-difference time-domain technique. In the coupled microdisks,the same order whispering-gallery(WG) modes can form coupled modes with split mode wavelengths. We find that the coupled fundamental and first order WG modes can have anticrossing mode coupling as their wavelengths approach the same value in some case,which prevents the cross of the coupled mode wavelengths. The anticrossing mode coupling greatly reduces the coupled mode Q-factor,because the coupled mode field distribution transfers between the fundamental and the first order WG modes.展开更多
The minimal unsatisfiability-preserving sub-TBoxes(MUPS)of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal...The minimal unsatisfiability-preserving sub-TBoxes(MUPS)of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.Discrimination rules classify all MUPS into three types based on the transitivity of unsatisfiability,fully dependent on C(MUPSf),transitively dependent on C(MUPSt)and uncertainly dependent on C(MUPSu).The results show that the number of MUPSt is frequently a large fraction of the total number of all MUPS,but only MUPSf catches the root error of C.Modelers and domain experts conduct iterative repair work effectively,considering only MUPSf in each iteration.The classification shows the significance for the evaluation of the quality of ontologies from the perspective of maintenance and for repair work.展开更多
China's "Belt and Road" initiative is emerging as the Western-dominated world order is declining. Capitalism has intensified the rich-poor divide and power politics have led to great upheavals. Western values have ...China's "Belt and Road" initiative is emerging as the Western-dominated world order is declining. Capitalism has intensified the rich-poor divide and power politics have led to great upheavals. Western values have caused a "value dislocation" for non-Western countries. The world is calling for new development concepts. The "Belt and Road" initiative has emerged as an answer. It embodies China's ideas on global development. First, it works for the "common prosperity" of every country, which will ease contradictions between the South and the North. Second, it emphasizes geo-economie integration that will heal the fragmentation of Eurasia. Third, it advocates linkages between people and inclusiveness to create a new kind of civilization. However, many difficulties and challenges lie ahead for the implementation of the "Belt and Road" initiative.展开更多
The performance evaluation of automatic carrier landing system(ACLS)is an important part in the field of carrier aircraft landing control.Combining grey analytic hierarchy theory and data normalization theory,an impro...The performance evaluation of automatic carrier landing system(ACLS)is an important part in the field of carrier aircraft landing control.Combining grey analytic hierarchy theory and data normalization theory,an improved grey analytic hierarchy method is introduced to evaluate the performance of ACLS.A complete performance evaluation indicators system of ACLS is established,and the definition and calculation formula of each indicator are provided.The grey analytic hierarchy model is modified to improve the real-time performance of the algorithm,where traditional expert scoring sampling matrix is substituted by an indicator normalized sample matrix.Taking a certain ACLS as an example,the experimental simulation is carried out,and the simulation results verify the reliability and the accuracy of the improved grey analytic hierarchy method.展开更多
This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inco...This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inconsistency in naive set theory are certain "self contradictory" predicate functions in extensional set descriptions containing the matrix "-(x∈y)" (or "-(x∈x)") rather than "size," vicious circularity, or self-reference. A reformed set comprehension system is proposed that excludes extensional set descriptions that conform to the formula, (Vx) (Зy) (x∈y →P (x)) (3u) (u∈y→(u∈y)), from comprehension and otherwise preserves the ontology of na'fve set theory. This reform avoids the paradoxes by scrutiny of a set's description without recourse to type or other constructivist limitations on self-membership and has the most liberal rules for set formation conceivable including self-membership. The intuitive appeal for such an approach is compelling because as a revision of na'fve set theory, it allows all possible set descriptions that do not lead to inconsistency.展开更多
Under the direction of the principle of interaction between plastic volumetric and shear strains, the general expression of constitutive relation for geotechnical materials has been derived within the framework of irr...Under the direction of the principle of interaction between plastic volumetric and shear strains, the general expression of constitutive relation for geotechnical materials has been derived within the framework of irreversible thermo- dynamics. The constitutive modeling, in fact, is an inverse problem that belongs to the medium inverse problems of model identification, which is expressed as a reversion of coefficient of differential equation. Thus the constitutive modeling of geotechnical materials will become the reversion of coefficient functions of the general expression of constitutive relation, which is carried out in the stress field (p,q) by means Of numerical techniques, so that is called numerical modeling. Applying the numerical modeling, a number of plasticity-based models for clay and sand have been obtained, which are able to characterize the fundamental features of deformation for geotechnieal materials. In addition, the approach of numerical modeling also can be applied to the situation of unsaturated soils by means of the Bishop's effective stress formula and Khalili's expression of effective stress parameter.展开更多
This study analyzes the economic and environmental impacts of a climate change measure in Japan using a single-country dynamic computable general equilibrium model with technological change as an endogenous variable. ...This study analyzes the economic and environmental impacts of a climate change measure in Japan using a single-country dynamic computable general equilibrium model with technological change as an endogenous variable. In this way, a comprehensive analysis of the relationships between climate change and its measures, technology, and economy has been done. The model uses technological change as the accumulation of knowledge capital that is derived from research and development investment. The study investigates the impacts of a climate change measure considering the use of emission permit revenue and technological change induced by the policy implementation in the Japanese economy. Simulation results show that there is compatibility between CO2 emission reduction and positive effects on GDP that depends on the ways of the revenue use and technological change induced by emission reduction. However, it is not possible to find the ways to realize positive effects on both GDP and welfare simultaneously in the study. The sensitivity analysis for the elasticity of substitution between knowledge capital and other inputs also confirms the obtained results.展开更多
Based on the good localization characteristic of the wavelet transform both in time and frequency domain, a de-noising method based on wavelet transform is presented, which can make the extraction of visual evoked pot...Based on the good localization characteristic of the wavelet transform both in time and frequency domain, a de-noising method based on wavelet transform is presented, which can make the extraction of visual evoked potentials in single training sample from the EEG background noise in favor of studying the changes between the single sample response happen. The information is probably related with the different function, appearance and pathologies of the brain. At the same time this method can also be used to remove those signal’s artifacts that do not appear with EP within the same scope of time or frequency. The traditional Fourier filter can hardly attain the similar result. This method is different from other wavelet de-noising methods in which different criteria are employed in choosing wavelet coefficient. It has a biggest virtue of noting the differences among the single training sample and making use of the characteristics of high time frequency resolution to reduce the effect of interference factors to a maximum extent within the time scope that EP appear. The experiment result proves that this method is not restricted by the signal-to-noise ratio of evoked potential and electroencephalograph (EEG) and even can recognize instantaneous event under the condition of lower signal-to-noise ratio, as well as recognize the samples which evoked evident response more easily. Therefore, more evident average evoked response could be achieved by de-nosing the signals obtained through averaging out the samples that can evoke evident responses than de-nosing the average of original signals. In addition, averaging methodology can dramatically reduce the number of record samples needed, thus avoiding the effect of behavior change during the recording process. This methodology pays attention to the differences among single training sample and also accomplishes the extraction of visual evoked potentials from single trainings sample. As a result, system speed and accuracy could be improved to a great extent if this methodology is applied to brain-computer interface system based on evoked responses.展开更多
To revise stratified web ontology language(OWL)ontologies,the kernel revision operator is extended by defining novel conflict stratification and the incision function based on integer linear programming(ILP).The ILP-b...To revise stratified web ontology language(OWL)ontologies,the kernel revision operator is extended by defining novel conflict stratification and the incision function based on integer linear programming(ILP).The ILP-based model considers an optimization problem of minimizing a linear objective function which is suitable for selecting the minimal number of axioms to remove when revising ontologies.Based on the incision function,a revision algorithm is proposed to apply ILP to all minimal incoherence-preserving subsets(MIPS).Although this algorithm can often find a minimal number of axioms to remove,it is very time-consuming to compute MIPS.Thus,an adapted revision algorithm to deal with unsatisfiable concepts individually is also given.Experimental results reveal that the proposed ILP-based revision algorithm is much more efficient than the commonly used algorithm based on the hitting set tree.In addition,the adapted algorithm can achieve higher efficiency,while it may delete more axioms.展开更多
Artemisia capillaris is a herbaceous aromatic and therapeutic plant. The genetic variability among individuals of Artemisia capillaris from state of Terengganu, Malaysia was examined by using the random amplified poly...Artemisia capillaris is a herbaceous aromatic and therapeutic plant. The genetic variability among individuals of Artemisia capillaris from state of Terengganu, Malaysia was examined by using the random amplified polymorphic DNA (RAPD) technique to assess the polymorphism at the species level, The samples from differences regional in Terengganu State. The genomic DNA was extracted from the samples leaves using Sarkosyl method. The results produced by the machine showed clear RAPD banding pattern. Fifty-seven oligonucleotide primers were screened and five primers were selected (OPA 04, OPA 09, OPA 16, OPA 17 and OPA 18) to amplify DNA from five samples of Artemisia capillaris from State of Terengganu, Malaysia. A total of 135 RAPD fragments (RAPDs) with all polymorphic fragments (100%) with size ranging from 250--3000 bp were scored from the population. Genetic distance for samples ranges from 0.0000 to 0.320000. For similarity index samples ranges from 0.0000 to 0.7547.展开更多
At the Institute of Electrical Machines of the Rheinisch Westfalilische Technische Hochschule Aachen University, there is a project financed by student fees for the realization of a magnetically levitated train in the...At the Institute of Electrical Machines of the Rheinisch Westfalilische Technische Hochschule Aachen University, there is a project financed by student fees for the realization of a magnetically levitated train in the scale of 1:50. Undergraduate students are supposed to get the possibility to design and build up a real train which serves as demonstrator for a mechatronic system. This project strengthens the motivation of students, since a practical demonstration of electromagnetic forces is given in addition to theoretical courses. This paper introduces the major project steps and explains the learning targets for the students. It focuses on analytical magnetic circuit design, numerical field simulation, modeling and control of a multi degree of freedom system, electronic circuit design, measurement setups and a first prototype test bench.展开更多
The first stage project of Jiuquan wind energy base with 5.5-GW installed capacity is about to be completed. However, there exist several technical issues such as power transfer capability, electricity accommodation, ...The first stage project of Jiuquan wind energy base with 5.5-GW installed capacity is about to be completed. However, there exist several technical issues such as power transfer capability, electricity accommodation, frequency control and peak load regulation as well as system stability. In addition, the high capital cost and operation cost of the supporting transmission project invested and constructed by the Gansu Provincial Power Company will definitely have significant impacts on the management and economic profit of the Company. Through analysis of the construction and operation cost changes resulting from the wind power collection and delivery project, the author carried out research into the effects of developing large-scale wind power base on the management and economic benefits of power grid enterprises and proposed corresponding suggestions to make the related policies perfect.展开更多
With the concept of super-atom, first principles calculations propose a new type of super stable cage clusters AlnH3n that are much more energetic stable than the well established clusters, AlnHn+2. In the new cluste...With the concept of super-atom, first principles calculations propose a new type of super stable cage clusters AlnH3n that are much more energetic stable than the well established clusters, AlnHn+2. In the new clusters, the aluminum core-frame acts as a super-atom with n vertexes and 2n A1-A1 edges, which allow to adsorb n hydrogen atoms at the top-site and 2n at the bridge-site. Using Al12H36 as the basic unit, stable chain structures, (Al12H36)m, have been constructed following the same connection mechanism as for (A1H3)n linear polymeric structures. Apart from high hydrogen percentage per molecule, calculations have shown that these new clusters possess large heat of formation values and their combustion heat is about 4.8 times of the methane, making them a promising high energy density material.展开更多
文摘In English teaching, it is necessary to pay attention to students' psychology and cognition in order to make them harmonious and effective. Therefore, English teacher would change their teaching opinions, realizing teaching object, guiding student's minds and ideas to study by some measures, such as accordant teaching and study, making students as a base in study, and students' self-study. In other words, making student study actively rather than passively is much better for their English abilities.
基金Project(2017YFB0306300)supported by the National Key Research and Development Program of ChinaProject(2014CB046602)supported by the National Basic Research Program of China+1 种基金Project(20120162110003)supported by Specialized Research Fund for the Doctoral Program of Higher Education of ChinaProject(51235010)supported by the National Natural Science Foundation of China
文摘Stress relaxation ageing behavior of pre-deformed AA2219 is studied through stress relaxation age experiments and finite element(FE) simulation. The results show that the stress can promote the process of ageing precipitation, and shorten the time to reach the peak strength. Meanwhile,the residual stress and yield strength increase along with the increase in the initial stress. Based on microstructure evolution and ageing strengthening theory,a unified constitutive model is established and incorporated into the FE simulation model through a user subroutine. It is found that the relative error of the radius is 3.6% compared with the experimental result and the springback is 16.8%. This indicates that the proposed stress relaxation ageing constitutive model provides a good prediction on the springback of such stiffened panel during its ageing process.
文摘The globalization of economy calls for a closer cooperation between countries with diversified political and economic systems. The success of any international transaction depends on whether the involved parties are familiar with each other or not. A good knowledge of the economic rules used worldwide is the key factor in finding one’s way into the international market. As one of the most promising Third World countires ,China, with her pending entry into WTO,is in urgent need of human resources familiar with the international economic rules. Besides, China’s West Development Project brings China’s vast interior closer to overseas enterprises and as a result versatile local talents well versed in these rules are in great demand. As Incoterms 1990 is a convenient guide to the international economic rules, it is an ideal coursebook for the training of these people. This paper highlights the merits of Incoterms 1990 and thus acquaints readers with these rules.
文摘A revolution in Shakespeare studies over the past three decades asks that we take earlier quarto versions of his plays as fully independent texts. In no case can such a change in our outlook yield more illuminating results than a serious look at the 1608 Quarto version of Shakespeare's King Lear. The 1623 Folio version and the "conflated" modem editions, which combine the "best" readings of the Quarto and Folio versions, both anoint his godson Edgar, the Earl of Gloucester, as the new king at the end. However, the 1608 Quarto version elevates, not Edgar, but Lear's son-in-law, the Duke of Albany, to the kingship at the end. Shakespeare may be telling the same story in texts that seem strikingly similar, but the difference in the endings shifts the center of gravity in both plays, requiring an interpretation that makes sense out this difference. The title page of the 1608 Quarto version of King Lear describes it as a "history"; yet this "same" King Lear is listed as a "tragedy" in the 1623 Folio. The difference between those two words is the key to why Shakespeare's two versions could have startlingly different outcomes.
文摘The mode characteristics for twin coupled microdisks are investigated by finite-difference time-domain technique. In the coupled microdisks,the same order whispering-gallery(WG) modes can form coupled modes with split mode wavelengths. We find that the coupled fundamental and first order WG modes can have anticrossing mode coupling as their wavelengths approach the same value in some case,which prevents the cross of the coupled mode wavelengths. The anticrossing mode coupling greatly reduces the coupled mode Q-factor,because the coupled mode field distribution transfers between the fundamental and the first order WG modes.
基金The Science and Technology Development Program of Tianjin(No.06YFGZGX05900)
文摘The minimal unsatisfiability-preserving sub-TBoxes(MUPS)of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.Discrimination rules classify all MUPS into three types based on the transitivity of unsatisfiability,fully dependent on C(MUPSf),transitively dependent on C(MUPSt)and uncertainly dependent on C(MUPSu).The results show that the number of MUPSt is frequently a large fraction of the total number of all MUPS,but only MUPSf catches the root error of C.Modelers and domain experts conduct iterative repair work effectively,considering only MUPSf in each iteration.The classification shows the significance for the evaluation of the quality of ontologies from the perspective of maintenance and for repair work.
文摘China's "Belt and Road" initiative is emerging as the Western-dominated world order is declining. Capitalism has intensified the rich-poor divide and power politics have led to great upheavals. Western values have caused a "value dislocation" for non-Western countries. The world is calling for new development concepts. The "Belt and Road" initiative has emerged as an answer. It embodies China's ideas on global development. First, it works for the "common prosperity" of every country, which will ease contradictions between the South and the North. Second, it emphasizes geo-economie integration that will heal the fragmentation of Eurasia. Third, it advocates linkages between people and inclusiveness to create a new kind of civilization. However, many difficulties and challenges lie ahead for the implementation of the "Belt and Road" initiative.
文摘The performance evaluation of automatic carrier landing system(ACLS)is an important part in the field of carrier aircraft landing control.Combining grey analytic hierarchy theory and data normalization theory,an improved grey analytic hierarchy method is introduced to evaluate the performance of ACLS.A complete performance evaluation indicators system of ACLS is established,and the definition and calculation formula of each indicator are provided.The grey analytic hierarchy model is modified to improve the real-time performance of the algorithm,where traditional expert scoring sampling matrix is substituted by an indicator normalized sample matrix.Taking a certain ACLS as an example,the experimental simulation is carried out,and the simulation results verify the reliability and the accuracy of the improved grey analytic hierarchy method.
文摘This paper seeks to identify the minimal restrictions that need to be placed on the naive comprehension principle to avoid inconsistency in set theory. Analysis of the logical antinomies shows that at the root of inconsistency in naive set theory are certain "self contradictory" predicate functions in extensional set descriptions containing the matrix "-(x∈y)" (or "-(x∈x)") rather than "size," vicious circularity, or self-reference. A reformed set comprehension system is proposed that excludes extensional set descriptions that conform to the formula, (Vx) (Зy) (x∈y →P (x)) (3u) (u∈y→(u∈y)), from comprehension and otherwise preserves the ontology of na'fve set theory. This reform avoids the paradoxes by scrutiny of a set's description without recourse to type or other constructivist limitations on self-membership and has the most liberal rules for set formation conceivable including self-membership. The intuitive appeal for such an approach is compelling because as a revision of na'fve set theory, it allows all possible set descriptions that do not lead to inconsistency.
文摘Under the direction of the principle of interaction between plastic volumetric and shear strains, the general expression of constitutive relation for geotechnical materials has been derived within the framework of irreversible thermo- dynamics. The constitutive modeling, in fact, is an inverse problem that belongs to the medium inverse problems of model identification, which is expressed as a reversion of coefficient of differential equation. Thus the constitutive modeling of geotechnical materials will become the reversion of coefficient functions of the general expression of constitutive relation, which is carried out in the stress field (p,q) by means Of numerical techniques, so that is called numerical modeling. Applying the numerical modeling, a number of plasticity-based models for clay and sand have been obtained, which are able to characterize the fundamental features of deformation for geotechnieal materials. In addition, the approach of numerical modeling also can be applied to the situation of unsaturated soils by means of the Bishop's effective stress formula and Khalili's expression of effective stress parameter.
文摘This study analyzes the economic and environmental impacts of a climate change measure in Japan using a single-country dynamic computable general equilibrium model with technological change as an endogenous variable. In this way, a comprehensive analysis of the relationships between climate change and its measures, technology, and economy has been done. The model uses technological change as the accumulation of knowledge capital that is derived from research and development investment. The study investigates the impacts of a climate change measure considering the use of emission permit revenue and technological change induced by the policy implementation in the Japanese economy. Simulation results show that there is compatibility between CO2 emission reduction and positive effects on GDP that depends on the ways of the revenue use and technological change induced by emission reduction. However, it is not possible to find the ways to realize positive effects on both GDP and welfare simultaneously in the study. The sensitivity analysis for the elasticity of substitution between knowledge capital and other inputs also confirms the obtained results.
文摘Based on the good localization characteristic of the wavelet transform both in time and frequency domain, a de-noising method based on wavelet transform is presented, which can make the extraction of visual evoked potentials in single training sample from the EEG background noise in favor of studying the changes between the single sample response happen. The information is probably related with the different function, appearance and pathologies of the brain. At the same time this method can also be used to remove those signal’s artifacts that do not appear with EP within the same scope of time or frequency. The traditional Fourier filter can hardly attain the similar result. This method is different from other wavelet de-noising methods in which different criteria are employed in choosing wavelet coefficient. It has a biggest virtue of noting the differences among the single training sample and making use of the characteristics of high time frequency resolution to reduce the effect of interference factors to a maximum extent within the time scope that EP appear. The experiment result proves that this method is not restricted by the signal-to-noise ratio of evoked potential and electroencephalograph (EEG) and even can recognize instantaneous event under the condition of lower signal-to-noise ratio, as well as recognize the samples which evoked evident response more easily. Therefore, more evident average evoked response could be achieved by de-nosing the signals obtained through averaging out the samples that can evoke evident responses than de-nosing the average of original signals. In addition, averaging methodology can dramatically reduce the number of record samples needed, thus avoiding the effect of behavior change during the recording process. This methodology pays attention to the differences among single training sample and also accomplishes the extraction of visual evoked potentials from single trainings sample. As a result, system speed and accuracy could be improved to a great extent if this methodology is applied to brain-computer interface system based on evoked responses.
基金The National Natural Science Foundation of China(No.61602259,U1736204)Research Foundation for Advanced Talents of Nanjing University of Posts and Telecommunications(No.NY216022)the National Key Research and Development Program of China(No.2018YFC0830200).
文摘To revise stratified web ontology language(OWL)ontologies,the kernel revision operator is extended by defining novel conflict stratification and the incision function based on integer linear programming(ILP).The ILP-based model considers an optimization problem of minimizing a linear objective function which is suitable for selecting the minimal number of axioms to remove when revising ontologies.Based on the incision function,a revision algorithm is proposed to apply ILP to all minimal incoherence-preserving subsets(MIPS).Although this algorithm can often find a minimal number of axioms to remove,it is very time-consuming to compute MIPS.Thus,an adapted revision algorithm to deal with unsatisfiable concepts individually is also given.Experimental results reveal that the proposed ILP-based revision algorithm is much more efficient than the commonly used algorithm based on the hitting set tree.In addition,the adapted algorithm can achieve higher efficiency,while it may delete more axioms.
文摘Artemisia capillaris is a herbaceous aromatic and therapeutic plant. The genetic variability among individuals of Artemisia capillaris from state of Terengganu, Malaysia was examined by using the random amplified polymorphic DNA (RAPD) technique to assess the polymorphism at the species level, The samples from differences regional in Terengganu State. The genomic DNA was extracted from the samples leaves using Sarkosyl method. The results produced by the machine showed clear RAPD banding pattern. Fifty-seven oligonucleotide primers were screened and five primers were selected (OPA 04, OPA 09, OPA 16, OPA 17 and OPA 18) to amplify DNA from five samples of Artemisia capillaris from State of Terengganu, Malaysia. A total of 135 RAPD fragments (RAPDs) with all polymorphic fragments (100%) with size ranging from 250--3000 bp were scored from the population. Genetic distance for samples ranges from 0.0000 to 0.320000. For similarity index samples ranges from 0.0000 to 0.7547.
文摘At the Institute of Electrical Machines of the Rheinisch Westfalilische Technische Hochschule Aachen University, there is a project financed by student fees for the realization of a magnetically levitated train in the scale of 1:50. Undergraduate students are supposed to get the possibility to design and build up a real train which serves as demonstrator for a mechatronic system. This project strengthens the motivation of students, since a practical demonstration of electromagnetic forces is given in addition to theoretical courses. This paper introduces the major project steps and explains the learning targets for the students. It focuses on analytical magnetic circuit design, numerical field simulation, modeling and control of a multi degree of freedom system, electronic circuit design, measurement setups and a first prototype test bench.
文摘The first stage project of Jiuquan wind energy base with 5.5-GW installed capacity is about to be completed. However, there exist several technical issues such as power transfer capability, electricity accommodation, frequency control and peak load regulation as well as system stability. In addition, the high capital cost and operation cost of the supporting transmission project invested and constructed by the Gansu Provincial Power Company will definitely have significant impacts on the management and economic profit of the Company. Through analysis of the construction and operation cost changes resulting from the wind power collection and delivery project, the author carried out research into the effects of developing large-scale wind power base on the management and economic benefits of power grid enterprises and proposed corresponding suggestions to make the related policies perfect.
基金This work was supported by the Swedish Research Council, Swedish National Infrastructure for Computing, the National Natural Science Foundation of China (No.10534010 and No.20925311), the Funda-mental Research Funds for the Central Universities (No.201103255), and the China Scholarship Council.
文摘With the concept of super-atom, first principles calculations propose a new type of super stable cage clusters AlnH3n that are much more energetic stable than the well established clusters, AlnHn+2. In the new clusters, the aluminum core-frame acts as a super-atom with n vertexes and 2n A1-A1 edges, which allow to adsorb n hydrogen atoms at the top-site and 2n at the bridge-site. Using Al12H36 as the basic unit, stable chain structures, (Al12H36)m, have been constructed following the same connection mechanism as for (A1H3)n linear polymeric structures. Apart from high hydrogen percentage per molecule, calculations have shown that these new clusters possess large heat of formation values and their combustion heat is about 4.8 times of the methane, making them a promising high energy density material.