Title :
Research of Generating Skill Operation Paper Based on Constraint Satisfaction
Author :
Chen Yaofei ; Chen Huantong ; Ni Yinghua
Author_Institution :
Coll. of Inf. Eng., Jinhua Coll. of Profession & Technol., Jinhua, China
Abstract :
Basing on the characteristics of Skill operation paper, a constraint model of generating a paper around skill points is proposed, and the strategy of combining distribution-satisfying skill points is applied to automatically generate a skill operation paper. Besides, a matrix constraint model for skill points-based paper generation is designed and the three key points needed in the strategy are mainly discussed and explored: parameter validation and optimization, skill point combination program generation and skill operation paper generation. In addition, an instance verifies that the method above is capable of fully satisfying the skill point-based matrix constraint conditions in generating a skill operation paper, and with easy operation, high efficiency and good quality, it is very suitable for generating a skill operation paper.
Keywords :
constraint theory; formal verification; matrix algebra; optimisation; constraint satisfaction; matrix constraint model; parameter optimization; parameter validation; skill operation paper generation; skill point combination program generation; Algorithm design and analysis; Educational institutions; Error analysis; Information technology; Neodymium; Optimization; Software;
Conference_Titel :
Internet Technology and Applications, 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5142-5
Electronic_ISBN :
978-1-4244-5143-2
DOI :
10.1109/ITAPP.2010.5566353
