• DocumentCode
    1978957
  • 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
  • fYear
    2010
  • fDate
    20-22 Aug. 2010
  • Firstpage
    1
  • Lastpage
    4
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ITAPP.2010.5566353
  • Filename
    5566353