Abstract: In an axiomatic system on boxed pigs under background of time-consuming technology developments, the function relations between the two pigs' enthusiasm for labor and the other factors are given and the relations between the two pigs' enthusiasm for labor is also discussed, by axiomatic methods. A main conclusion is that the small pig's enthusiasm for labor is greater than the big one's if each of them can get profit when he labors. The research result shows that the two pigs' enthusiasm for labor can be controlled by setting or adjusting some indices in the system.

Key words: OR, boxed pigs, axiomatization, enthusiasm for labor

摘要： 在一种耗时技术开发背景下的公理智猪博弈系统中,由公理化方法研究了两猪劳动积极性与系统中诸因素之间的函数关系以及两猪劳动积极性间的关系。一个主要结论是,在两猪都劳有其利的情况下,小猪的劳动积极性大于大猪。研究结果表明,通过设置和调整系统中的某些指标,可以控制两猪的劳动积极性。

关键词: 运筹学, 智猪博弈, 公理化, 劳动积极性