1)  time length selection
时段选取
2)  period
时段
1.
, inflow and water using in various periods and breaches in the paper.
本文分时段、河段从来水和用水的角度探讨了造成黄河卜游断流的原因,通过分析得出如I;结论:2~5月份下游断流的主要原因是下游引黄耗水量大幅度增加和中游区间来水的减少;汛期下游断流的原因主要是全网耗水的增加、中游区间来水的减少和龙羊峡、刘家峡水库进入汛期蓄水运用阶段影响;龙、刘水库非汛期的补水有助于缓解厂游断流的程度,但中游区间来水的减少和上游引黄耗水量的增加削弱了龙、刘水库的补水作用;全河特别是下游引黄时间的提前导致下游首次发生断流的日期也相应前提。
3)  period of time
时段
1.
According as the time dynamic of the bottle existence in the production logistics, this paper applied theory of constrains, and studied the way of the period of time division.
本文应用TOC原理,根据生产物流过程中瓶颈存在的时间动态性,研究了已有的设备时段划分方法,提出一种新的设备时段划分方法以识别瓶颈,最后通过开发原型系统验证了此方法的可行性。
4)  time interval
时段
1.
The sentence of "shihou" will serve a different syntactical function and give different semantic meanings due to different reference time interval and different reference time point.
“时候句”由于参照时段与参照时点的不同,句式获得了不同的语句功能,表达出不同的语义。
5)  time section
时段
1.
This aticle thinks that time structures have 3 main sides called itme amount,time point and time section.
本文认为时间结构包括时量、时点和时段三个主要方面。
6)  sub-stage
子时段
1.
For multistage,time-variant,nonlinear characteristic and the unavailable on-line product qualities of injection molding batch process,a sub-stage moving window generalized regression neural network(GRNN) method was proposed.
针对注塑间歇过程多阶段、缓慢时变、非线性和质量变量测量值不能在线获得等特点,提出子时段滑动窗口广义回归神经网络质量预测方法,首先,采用分类算法对三维数据矩阵的时间片PCA负载矩阵进行分析,根据相关性分析把注塑过程划分为几个子时段,然后确定与重量密切相关的阶段,在确定的阶段内采用滑动窗口建立GRNN多模型,解决常规MPLS在工业应用过程中存在的几个潜在问题:(1)静态单一模型;(2)模型失配问题;(3)MPLS线性方法不能充分有效压缩和抽取非线性过程信息;(4)估计未来测量变量所引进的模型偏差。
参考词条
补充资料:时段演算


时段演算
duration calculus

shiduan yansuan时段演算(duration calculus)一种实时区间时态逻辑。它将布尔函数在区间上的积分进行形式化,从而用来描述和推导离散状态系统的实时和逻辑特性。 时段演算的研究始于1989年。当时E甲rit的研究项目P幻段6正寻求设计严格安全系统的形式技术,应用项目的需要推动了时段演算的研究。该演算是由周巢尘,C.A.R.玉bn℃和A.P.F汤山1所提出。 时段演算已应用于若干实例,如煤气燃烧器、铁路岔口控制、水位控制、自动导航、〔叉~语言的实时语义、描述调度程序的实时行为和电路设计等方面。 Pr以众石项目的一个研究实例就是要对如下煤气燃烧器需求进行形式化:“如果对系统观察的时间大于605时,那么漏气的时间占整个时间的比例应小于1/20。”应用数学分析可直接地对这个需求进行形式化,结果是(一。)、6。一20{;、(‘,d:、(一。)这里1刀ak是一个布尔函数,它表示煤气燃烧漏气状态。函数是从实数R(表示时间)到10,1{的函数,其中1表示系统正处于该状态,0表示系统不处于该状态。观察的区间采用闭区间,并且用b表示开始和用e表示结束。积分被认为是从状态函数和区间到实数的函数:{:S今(】~R)。其中S表示状态集(即布尔函数),I表示闭区间集。因此区间时态逻辑(这里被扩展成连续时间模型)被作为它的基础逻辑,并且区间函数丁S,{P.二变成了演算的区间变量。这里S和P是状态。如此有fl=e一b,并且我们用l作为它的缩写,即是区间的长度。因此上面的需求可以更简单地描述为: Req:1)60020丁玫ak(1 通过用积分定义一个「门的运算,我们可以表示一个状态在区间上持续的出现:「引会({S二1 AI>0),r引在一个区间上成立要求这个区间为非点区间,并且状态S在区间上(几乎)处处取值为1。如此下面的公式 I殆cl:(「h纽k〕=> Req. 在实时系统形式化领域的研究中,时段演算被公认是一种成功的形式化方法。目前时段演算的研究还在不断地发展完善之中。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。