1) monitoring period of time
监测时段
2) detection time step and frequency
监测时段及频率
3) Monitoring
监测
1.
Analysis of Monitoring Data of Personal dosage from occupational Radiation Exposure from 2004 to 2006 in Chaohu City;
巢湖市2004～2006年放射工作人员个人剂量监测结果分析
2.
Application of MapObjects in the development of long-distance oil pipeline leakage monitoring system;
MapObjects在输油管道泄漏监测系统中的应用
3.
Dynamic change monitoring of cyanobacterial blooms using multi-temporal satellite data in Lake Taihu;
基于多时相卫星数据的太湖蓝藻暴发的动态变化监测
4) Surveillance
监测
1.
Surveillance of Iodized Salt of Changzhi in 2007;
2007年长治市居民户食盐碘含量监测结果分析
2.
Analysis of Surveillance on Salt Consumption in Ji'nan City from 2003 to 2006;
2003～2006年济南市居民户盐监测结果分析
3.
Analysis of the Surveillance Results of Underground Water Quality in Daxing Village of Beijing from 2005 to 2006;
2005～2006年北京市大兴区农村地下水水质监测结果分析
5) detection
监测
1.
Radiant Intensity of Ultraviolet Lamp:Detection and Management;
紫外线灯辐照强度监测管理中的问题
2.
Detection of Sterilizing Quaility About Medical Institution in Shaoguan;
韶关市医疗机构消毒质量监测
3.
Application of Software for Drug-resistance Message Input System in Pathogen Detection;
应用“药敏信息系统软件”提高病原菌监测的管理水平
6) supervision
监测
1.
Supervision of the Individual Dosage of Radiation-Exposed Working Staff in Taigang during 1998～2002;
太钢1998~2002年放射工作人员个人剂量监测分析
2.
Model Study on Supervision and Management of Bioecology System;
生态系统监测与管理信息模型研究
3.
Specialist analysis system of furnishing and endmost section of sinter machine automatic supervision picture;
烧结机布料及机尾断面自动监测图象专家分析系统
参考词条
补充资料：时段演算
时段演算
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〕=>
说明：补充资料仅用于学习参考，请勿用于其它任何用途。