此外，该环境变量还为任何用于登录系统的登录机制，确保在一定时间间隔的不活跃之后自动超时。
Moreover this environment variable ensures auto timeout after inactivity for the interval of time for any login mechanism used to log into the system.
减去的税会自动回补论调的卷土重来导致了对税收从哪一高点开始会出现再提高则总收入反而下降这一老问题讨论的再度活跃。
The renewal of claims that tax cuts pay for themselves has led to a revival of discussion about an old question: how high do taxes have to be before further increases actually reduce revenue?
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
应用推荐