软件Inject 的数学模型