Under the background of information technology in education,there is insufficient integration of technological knowledge,pedagogical knowledge,and subject content knowledge in the teaching of propositions in high scho...Under the background of information technology in education,there is insufficient integration of technological knowledge,pedagogical knowledge,and subject content knowledge in the teaching of propositions in high school mathematics.Teachers mostly equate information technology with multimedia presentations,and students often memorize formulas mechanically,which leads to difficulties in the application of complex propositions.In this study,we take“the cosine formula of the difference between two angles”as an example.Based on the TPACK framework,we use contextual teaching and geometric drawing board demonstration to integrate subject content,pedagogical knowledge,and technological knowledge in teaching design and practice.It is found that by dynamically displaying the derivation process of the formula and guiding students to explore independently,it can help them understand the logic of the formula and improve their application ability.This study provides a paradigm for teaching propositions in high school mathematics and suggests that the TPACK framework can facilitate knowledge integration and cultivate students’mathematical literacy such as problem posing and creative inquiry,which is of great significance for teaching practice.展开更多
In the State of Santa Catarina, Brazil, especially in the Itajai valley, there are records of accidents and disasters mainly associated to landslides and floods, which have caused significant damages and losses, inclu...In the State of Santa Catarina, Brazil, especially in the Itajai valley, there are records of accidents and disasters mainly associated to landslides and floods, which have caused significant damages and losses, including human lives. In order to make the coexistence with such natural disasters possible, most particularly with floods, a integration is required among the technical, political, environmental, and human knowledge. Measures that encompass integrated actions for the entire river basin, with the help from an updated technical cadastre and tools, such as the GIS, allow the development of planning tools that might effectively help the people to live with the water, or else to cope with floods in a more appropriate manner. This paper attempts to propose a methodology for urban flood control, based on the integration among the several public entities involved in the flood control, along with the CTM （Multipurpose Technical Cadastre） and GIS tool. In order to solve or minimize the problems, the model proposed here aims at promoting a balance between the agents involved, and enables to rank the degrees of importance assigned to the different needs, thus allowing to eliminate or to improve those areas and processes that are duplicated or superimposed.展开更多
In this paper,a formula is given. The formula gives the number of prime number solutions of the indefinite equation p 1+p 2=2n , and based on it, an equivalent proposition to the conjecture of Goldbach is obtained.
In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with sl...In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with slishtrestriction.展开更多
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.展开更多
Action model learning has become a hot topic in knowledge engineering for automated planning.A key problem for learning action models is to analyze state changes before and after action executions from observed"p...Action model learning has become a hot topic in knowledge engineering for automated planning.A key problem for learning action models is to analyze state changes before and after action executions from observed"plan traces".To support such an analysis,a new approach is proposed to partition propositions of plan traces into states.First,vector representations of propositions and actions are obtained by training a neural network called Skip-Gram borrowed from the area of natural language processing(NLP).Then,a type of semantic distance among propositions and actions is defined based on their similarity measures in the vector space.Finally,k-means and k-nearest neighbor(kNN)algorithms are exploited to map propositions to states.This approach is called state partition by word vector(SPWV),which is implemented on top of a recent action model learning framework by Rao et al.Experimental results on the benchmark domains show that SPWV leads to a lower error rate of the learnt action model,compared to the probability based approach for state partition that was developed by Rao et al.展开更多
文摘Under the background of information technology in education,there is insufficient integration of technological knowledge,pedagogical knowledge,and subject content knowledge in the teaching of propositions in high school mathematics.Teachers mostly equate information technology with multimedia presentations,and students often memorize formulas mechanically,which leads to difficulties in the application of complex propositions.In this study,we take“the cosine formula of the difference between two angles”as an example.Based on the TPACK framework,we use contextual teaching and geometric drawing board demonstration to integrate subject content,pedagogical knowledge,and technological knowledge in teaching design and practice.It is found that by dynamically displaying the derivation process of the formula and guiding students to explore independently,it can help them understand the logic of the formula and improve their application ability.This study provides a paradigm for teaching propositions in high school mathematics and suggests that the TPACK framework can facilitate knowledge integration and cultivate students’mathematical literacy such as problem posing and creative inquiry,which is of great significance for teaching practice.
文摘In the State of Santa Catarina, Brazil, especially in the Itajai valley, there are records of accidents and disasters mainly associated to landslides and floods, which have caused significant damages and losses, including human lives. In order to make the coexistence with such natural disasters possible, most particularly with floods, a integration is required among the technical, political, environmental, and human knowledge. Measures that encompass integrated actions for the entire river basin, with the help from an updated technical cadastre and tools, such as the GIS, allow the development of planning tools that might effectively help the people to live with the water, or else to cope with floods in a more appropriate manner. This paper attempts to propose a methodology for urban flood control, based on the integration among the several public entities involved in the flood control, along with the CTM （Multipurpose Technical Cadastre） and GIS tool. In order to solve or minimize the problems, the model proposed here aims at promoting a balance between the agents involved, and enables to rank the degrees of importance assigned to the different needs, thus allowing to eliminate or to improve those areas and processes that are duplicated or superimposed.
文摘In this paper,a formula is given. The formula gives the number of prime number solutions of the indefinite equation p 1+p 2=2n , and based on it, an equivalent proposition to the conjecture of Goldbach is obtained.
文摘In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with slishtrestriction.
文摘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.
基金Supported by the National Natural Science Foundation of China(61103136,61370156,61503074)Open Research Foundation of Science and Technology on Aerospace Flight Dynamics Laboratory(2014afdl002)
文摘Action model learning has become a hot topic in knowledge engineering for automated planning.A key problem for learning action models is to analyze state changes before and after action executions from observed"plan traces".To support such an analysis,a new approach is proposed to partition propositions of plan traces into states.First,vector representations of propositions and actions are obtained by training a neural network called Skip-Gram borrowed from the area of natural language processing(NLP).Then,a type of semantic distance among propositions and actions is defined based on their similarity measures in the vector space.Finally,k-means and k-nearest neighbor(kNN)algorithms are exploited to map propositions to states.This approach is called state partition by word vector(SPWV),which is implemented on top of a recent action model learning framework by Rao et al.Experimental results on the benchmark domains show that SPWV leads to a lower error rate of the learnt action model,compared to the probability based approach for state partition that was developed by Rao et al.
