分时段反演,time-interval back-analysis,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 分时段反演

1) time-interval back-analysis 点击朗读

分时段反演

2) Nobody inversion using data segments 点击朗读

非块体分段反演

3) wavelength ranges 点击朗读

反演波段

The deal method to spectrum data,the wavelength ranges and the wavelength interval of inversion used and photodissociation to SO2 of U.

利用差分吸收光谱法(DOAS)对SO2气体进行了实验研究,对光谱数据的处理方法、反演波段、反演波长间隔以及240 nm以下的紫外光对SO2的光解作用进行了分析。

更多例句>>

4) duration calculi 点击朗读

时段演算

As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi.

采用的手段是时段演算技术及其扩展。

This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension.

在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。

5) duration calculus 点击朗读

时段演算

A formal semantics of VHDL based on duration calculus; 点击朗读

一种基于时段演算的VHDL的形式语义

switch platform with the aid of the duration calculus theory. 点击朗读

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性。

In order to formalize the parallel model of DDS, we firstly introduce duration calculus with which we can formalize DDS model.

传统的时段演算可以很好地对DDS模型进行形式化,但却不能描述加入了空间限制条件的DDS并行模型。

6) time-depended back-analysis 点击朗读

时参反演

例句>>

补充资料：时段演算

时段演算
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. 在实时系统形式化领域的研究中，时段演算被公认是一种成功的形式化方法。目前时段演算的研究还在不断地发展完善之中。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

反演分析

走时反演时间反演同时反演实时反演多阶段反演时段演算(DC)

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 分时段反演 1) time-interval back-analysis 分时段反演 2) Nobody inversion using data segments 非块体分段反演 3) wavelength ranges 反演波段 1. The deal method to spectrum data,the wavelength ranges and the wavelength interval of inversion used and photodissociation to SO2 of U. 利用差分吸收光谱法(DOAS)对SO2气体进行了实验研究,对光谱数据的处理方法、反演波段、反演波长间隔以及240 nm以下的紫外光对SO2的光解作用进行了分析。更多例句>> 4) duration calculi 时段演算 1. As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi. 采用的手段是时段演算技术及其扩展。 2. This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension. 在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。 5) duration calculus 时段演算 1. A formal semantics of VHDL based on duration calculus; 一种基于时段演算的VHDL的形式语义 2. switch platform with the aid of the duration calculus theory. 利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性。 3. In order to formalize the parallel model of DDS, we firstly introduce duration calculus with which we can formalize DDS model. 传统的时段演算可以很好地对DDS模型进行形式化,但却不能描述加入了空间限制条件的DDS并行模型。 6) time-depended back-analysis 时参反演例句>> 补充资料：时段演算时段演算 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. 在实时系统形式化领域的研究中，时段演算被公认是一种成功的形式化方法。目前时段演算的研究还在不断地发展完善之中。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条反演分析

©2011 dictall.com