摘要:
Taxonomy merging is an important work to provide a uniform schema for several heterogeneous taxonomies. Previous studies primarily focus on merging two taxonomies in a specific domain, while the merging of multiple taxonomies has been neglected. This article proposes a taxonomy merging approach to automatically merge multiple source taxonomies into a target taxonomy in an asymmetric manner. The approach adopts a strategy of breaking up the whole into parts to decrease the complexity of merging multiple taxonomies and employs a block-based method to reduce the scale of measuring semantic relations between concept pairs. In addition, for the problem of multiple inheritance, a method of topical coverage is proposed. Experiments conducted on synthetic and real-world scenarios indicate that the proposed merging approach is feasible and effective to merge multiple taxonomies. In particular, the proposed approach works well in the aspects of limiting the semantic redundancy and establishing high-quality hierarchical relations between concepts.
期刊:
Advances in Intelligent Systems and Computing,2020年1084:325-332 ISSN:2194-5357
通讯作者:
Chen, M.
作者机构:
[Wang D.; Chen M.; Cheng Chen; Zhang G.] National Engineering Research Center for E-learning, Central China Normal University, Wuhan, 430079, China
通讯机构:
[Chen, M.] N;National Engineering Research Center for E-learning, China
会议名称:
4th International Conference on Intelligent, Interactive Systems and Applications, IISA2019
会议时间:
28 June 2019 through 30 June 2019
会议论文集名称:
Advances in Intelligent Systems and Interactive Applications
关键词:
Meta-heuristic;Simulated annealing;Talent Scheduling Problem
作者机构:
[Chen Mao; Peng Xicheng; Zhang Jingzhong] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Hubei, Peoples R China.;[Zhang Jingzhong] Guangzhou Univ, Inst Computat Sci & Technol, Guangzhou 510006, Guangdong, Peoples R China.;[Zhang Jingzhong] Chinese Acad Sci, Chongqing Inst Green & Intelligent Technol, Chongqing 610041, Peoples R China.
通讯机构:
[Chen Mao] C;Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Hubei, Peoples R China.
关键词:
Geometry algebra;point geometry;proof method based on identical equations;vector geometry;Wu's method
摘要:
The algebraic methods represented by Wu's method have made significant breakthroughs in the field of geometric theorem proving. Algebraic proofs usually involve large amounts of calculations, thus making it difficult to understand intuitively. However, if the authors look at Wu's method from the perspective of identity,Wu's method can be understood easily and can be used to generate new geometric propositions. To make geometric reasoning simpler, more expressive, and richer in geometric meaning, the authors establish a geometric algebraic system (point geometry built on nearly 20 basic properties/formulas about operations on points) while maintaining the advantages of the coordinate method, vector method, and particle geometry method and avoiding their disadvantages. Geometric relations in the propositions and conclusions of a geometric problem are expressed as identical equations of vector polynomials according to point geometry. Thereafter, a proof method that maintains the essence of Wu's method is introduced to find the relationships between these equations. A test on more than 400 geometry statements shows that the proposed proof method, which is based on identical equations of vector polynomials, is simple and effective. Furthermore, when solving the original problem, this proof method can also help the authors recognize the relationship between the propositions of the problem and help the authors generate new geometric propositions.
作者机构:
[Chen, Mao; Zeng, Zhizhong; Tang, Xiangyang; Liu, Sanya] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Hubei, Peoples R China.
通讯机构:
[Chen, Mao] C;Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Hubei, Peoples R China.
摘要:
This paper presents a heuristic algorithm for solving a specific NP-hard 2D rectangular packing problem in which a rectangle called central rectangle is required to be placed in the center of the final layout, and the aspect ratio of the container is also required to be in a given range. The key component of the proposed algorithm is a greedy constructive procedure, according to which, the rectangles are packed into the container one by one and each rectangle is packed into the container by an angle-occupying placement with maximum fit degree. The proposed algorithm is evaluated on two groups of 35 well-known benchmark instances. Computational results disclose that the proposed algorithm outperforms the previous algorithm for the packing problem. For the first group of test instances, solutions with average filling rate 99.31% can be obtained; for the real-world layout problem in the second group, the filling rate of the solution is 94.75%.
作者机构:
[Chen, Mao; Dai, Miao; Wang, Huaxin; Liu, Sanya] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.;[Li, Ying Ying] Beijing Univ Posts & Telecommun, Inst Educ Technol, Beijing 100000, Peoples R China.
通讯机构:
[Chen, Mao] C;Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.
会议名称:
International Conference on Materials, Information, Mechanical, Electronic and Computer Engineering (MIMECE)
会议时间:
DEC 28-30, 2016
会议地点:
Sanya, PEOPLES R CHINA
会议主办单位:
[Chen, Mao;Wang, Huaxin;Dai, Miao;Liu, Sanya] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.^[Li, Ying Ying] Beijing Univ Posts & Telecommun, Inst Educ Technol, Beijing 100000, Peoples R China.
会议论文集名称:
DEStech Transactions on Engineering and Technology Research
摘要:
Quality video open course has played an important role in expanding the transmission of high-quality educational resource in universities and promoting the balanced development of educational resources. The production method and technology of quality video open courses directly determine the quality of the course and affect its application effect. Due to the lack of unified standard or template, the overall level of current quality video open course is not high enough. Under the guide of National Standard on Production Technology of Quality Video Open Course, this paper focuses on the target needs of the construction of the video open course, and a practical and effective shooting and making method is proposed by combining the video production industry norms and the current development trend of video technology. The whole production process, including the preparation, shooting and post-editing are all described in detail, and some important skills and matters needing attention are introduced for reference. The proposed method has been tried and tested in Central China Normal University and its effectiveness and efficiency has been successfully confirmed.
作者机构:
[Chen, Mao; Peng, Xicheng; Liu, Sanya; He, Tengbaao] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.;[Ge, Qiang] Henan Univ, Inst Data & Knowledge Engn, Kaifeng 475001, Peoples R China.
通讯机构:
[Ge, Qiang] H;Henan Univ, Inst Data & Knowledge Engn, Kaifeng 475001, Peoples R China.
会议地点:
Sanya, PEOPLES R CHINA
会议主办单位:
[Chen, Mao;He, Tengbaao;Peng, Xicheng;Liu, Sanya] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.^[Ge, Qiang] Henan Univ, Inst Data & Knowledge Engn, Kaifeng 475001, Peoples R China.
会议论文集名称:
DEStech Transactions on Engineering and Technology Research
摘要:
Dynamic geometry technology has been extensively used in geometry education. To aid the teaching and learning of geometry reasoning, many efficient automated geometry reasoning algorithms have been integrated into the dynamic geometry system. However, the reasoning functionalities in most current dynamic geometry system cannot fully meet the requirement of the geometry reasoning education. To tap the educational potential of automated geometry reasoning to the maximum, we proposed the concept and implementation mechanism of constrained automated geometry reasoning in this paper, and developed a constrained automated geometry reasoning system with a convenient dynamic geometry interface. Experimental results show that the proposed system could successfully solve 107 out of 132 geometry proof problems, which means it can meet the basic requirement of the geometry education.
摘要:
With the rapid development of mobile Internet technologies, mobile learning has become a new way of learning, which is playing an increasingly important role in classroom teaching and autonomous inquiry learning. EBook realizes the perfect combination of traditional learning resources and mobile learning, and it makes the reading and learning much more interactive and interesting. At present, there are a variety of eBook formatting standards, among which EPUB 3.0 is of great advantages and has a wide application perspective. With the advantages such as supporting interaction and rich media resources, EPUB3.0 can help improve the user experience and is particularly suitable for the production and publication of eBook. In order to promote the application of EPUB3.0 standard in education, an EPUB3.0 eBook learning system is designed and developed for Android operating system in this paper. The requirements analysis and design framework of the learning system are introduced firstly, and then the functions of each module are given in detail.
期刊:
Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications,2016年71:1241-1246 ISSN:2352-538X
作者机构:
[Chen, Mao; Luo, Hang; Liu, Sanya; He, Tengbaao] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.
通讯机构:
[Chen, Mao] C;Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.
会议名称:
4th International Conference on Machinery, Materials and Information Technology Applications (ICMMITA)
会议时间:
DEC 10-11, 2016
会议地点:
Xian, PEOPLES R CHINA
会议主办单位:
[Chen, Mao;Luo, Hang;He, Tengbaao;Liu, Sanya] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.
会议论文集名称:
ACSR-Advances in Comptuer Science Research
关键词:
EPUB;Readium;Rangy;Annotation
摘要:
With the rapid development of information technology, great changes have taken place in people's reading habits, and paper books are being replaced by eBooks. Digital annotation tool allows readers to highlight or insert notes into eBooks during the process of reading, which is an important way for readers to interact with book contents, and can significantly improve reading experience. Readium is an open-source framework with a series of high-performance techniques for EPUB parsing, but the annotation mechanism of it performs poorly. In order to improve the annotation function of Readium, this paper presents a new annotation mechanism based on Rangy library. After the application of proposed method, the problem that annotation can't adjust its position to adapt to the changes of display attributes of an eBook has been successfully solved. Moreover, this paper provides convenient tools for user to customize the annotation effect. All the work in this paper will make the Readium framework more perfect.
关键词:
Energy landscape paving method;Global optimization;BLN off-lattice model;Gradient descent method
摘要:
The optimization problem for finding the global minimum energy structure is one of the main problems of protein structure prediction and is known to be an NP-hard problem in computational molecular biology. The low-energy conformational search problem in the hydrophobic-hydrophilic-neutral (BLN) off-lattice model is studied. We convert the problem into an unconstrained optimization problem by introducing the penalty function. By putting forward a new updating mechanism of the histogram function in the energy landscape paving (ELP) method and incorporating heuristic conformation update strategies into the ELP method, we obtain an improved ELP (IELP) method. Subsequently, by combining the IELP method with the local search (LS) based on the gradient descent method, we propose a hybrid algorithm, denoted by IELP-LS, for the conformational search of the off-lattice BLN model. Simulation results indicate that IELP-LS can find lower-energy states than other methods in the literature, showing that the proposed method is an effective tool for global optimization in the BLN off-lattice protein model.
作者机构:
[葛强] Institute of Data and Knowledge Engineering, Henan University, Kaifeng , Henan , China;[陈矛; 葛强; 张景中; 彭翕成] National Engineering Research Center for E-Learning, Central China Normal University, Wuhan , China
通讯机构:
National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China
作者机构:
[Chen, Mao; Liu, Zhi; Liu, Sanya; Tang, Xiangyang; Min, Lei] National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China;[Tang, Xiangyang] School of Mathematics and Statistics, Central China Normal University, Wuhan, China
通讯机构:
National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China