基于线性规划的构件优选机制研究  

Research on Component Optimal Mechanism Based on Linear Programming

作　　者：王怀军[1] 李军怀[1] 张璟[1] 楼文晓 

机构地区：[1]西安理工大学计算机科学与工程学院,陕西西安710048 [2]西安计算机软件产业推进中心,陕西西安710075

出　　处：《西安理工大学学报》2010年第2期186-191,共6页Journal of Xi'an University of Technology

基　　金：国家863计划重点资助项目(2007AA010402);西安市高新技术产业发展专项基金资助项目(GX07026);西安市科技计划资助项目(LD0704)

摘　　要：针对特定领域构件组装的特点,重点探索了构件组装过程中的优选机制。将组装中构件选择问题转化为在一组线性约束条件下目标函数优选的数学问题,利用回溯法求得最优解,进而确定用于系统组装的构件。该机制可以避免组装后对系统的反复验证,提高构件复用的准确性和效率。同时,也降低系统组装者对领域知识的要求。With an aim at component assembly characteristic in specific domain,an optimal mechanism is discussed with emphasis in the assembly process in this paper,which transforms the problem of the components optimization into a mathematical problem of the optimization for the objective function under a group of linear constraints,and a backtracking methodology is used to obtain the optimal solution.Whereby the components utilized in the system assembly are determined.This mechanism can avoid the repeated tests of the system after the assembly so that the accuracy and efficiency of the components can be improved.Meanwhile the requirements for the domain knowledge by the system assembly operators can be reduced.

关 键 词：构件组装 线性规划 回溯法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]