1、

Deciding liveness of bounded Petri nets with its reachable marking graph is easy, but for unbounded Petri nets that are generally existing, finding an algorithm for its liveness decision is not easy.

对有界Petri网,通过构造其可达标识图来判定其活性是容易的,但对于大量的无界Petri网,找到一个判定其活性的一般性算法并不容易。

互联网摘选

2、

Second, to propose and realize a algorithm to detect whether all the reachable marking can return to the initial marking.

根据所构造可达树的特点提出并实现初始标识可达性判断算法,检测是否所有的可达标识均可回到初始标识。

互联网摘选

3、

In a nutshell, this means that the collector first walks through the set of reachable objects, marking them as live data.

简言之,这意味着收集器首先逐一访问可访问的对象,将它们标记为实时数据。

互联网摘选

4、

Laser scribing developed on the basis of laser marking. It irradiates on the work-pieces using high energy density laser, produces chemical reaction and makes permanent indicator.

激光刻线技术是在激光打标技术的基础上发展起来的,利用高能量密度的激光照射工件,局部发生化学反应,从而留下永久标记。

互联网摘选

5、

He interpreted them as marking the line of a fault that ran along the south slope of Mount Parnassus and under the site of the oracle.

他于是将断层画成一条线,沿著帕纳索斯山的南麓,从地底穿越神谕所。

互联网摘选

6、

China petroleum geophysical exploration, 50 years: marking the fiftieth birthday of the chinese geophysical society

中国石油物探五十年&谨以此文祝贺中国地球物理学会成立五十周年

互联网摘选

7、

Amid the gibes about lipstick and pigs, both men agreed to be nice for a day on September 11th and travel to New York for events marking the 2001 terror attacks.

在关于“猪涂口红”的相互嘲讽中,两方同意在9月11日和好一天,前往纽约出席2001年恐怖袭击纪念活动。

互联网摘选

8、

Then Oraibi will be rejuvenated with its faith and ceremonies, marking the start of a new cycle of Hopi life.

然后用它的信仰和仪式得到更新,标志霍皮人生命新的周期循环。

互联网摘选

9、

Visual Marking: A Mechanism of Prioritizing Selection

视觉标记:一种优先选择机制

互联网摘选

10、

The Carcass Analysis of the Pigeons by Molecular Genetic Marking Technique

肉鸽屠宰性状的分子遗传标记研究

互联网摘选

11、

In order to verify the factuality of the old and new optimal formulas of the throwing angle in shot put, the marking of the optimal angle of release was applied to sample for verifying the old and the new formulas.

为了验证新、旧最佳投掷角度公式的真实性,运用最佳出手角度标志线,对新、旧公式进行了抽样检验。

互联网摘选

12、

Method of Marking Removable Storage Medium Based on Partition Table

基于分区表的移动存储介质标识方法

互联网摘选

13、

After the passive marking with auxiliary word;

带后助词成分的被动标记;

互联网摘选

14、

Driving out nations before them, marking out the line of their heritage, and giving the people of Israel their tents for a resting-place.

他在他们面前赶出外邦人,用绳子将外邦的地量给他们为业,叫以色列支派的人,住在他们的帐棚里。

provided by jukuu

15、

In this system, users input the marking contents through the users interface module, and save the marking contents as text into the database, then through the marking controlling module, we dynamically change marking text contents into graphics and mark it on the bearings.

系统通过用户界面将输入的打标内容以文本格式保存到数据库中,然后通过我们设计的打标控制类,将用户输入的内容动态地转换成图形后输出打标在轴承上。

互联网摘选

16、

The TV Tower Spherical Joint and Bar Marking

某电视塔球形节点和杆件的制作

互联网摘选

17、

The marking cell percentage of the Spinal ganglia is 12.9% in group A, while 10.2% in group B 18 days after operation.

术后18d脊神经节的标记细胞百分率分别为12.9%(A组)、10.2%B(组)。

互联网摘选

18、

A program design method of BASIC module of computer automatic marking paper system

计算机上机考试阅卷系统BASIC模块软件设计

互联网摘选

19、

Usually metal marking equipments adopt the following several methods: rolling-print type, spraying-soldering type, electroetching type, spraying-print type, punching type, laser type.

通常金属标识设备采用以下几种方式:滚印式,喷焊式,电蚀式,喷印式,冲打式,激光式。

互联网摘选

20、

And our research focuses on the manufacture of speech simulation system. Considering the main problems of traditional Mandarin Text-to-Speech System, in-depth research was conducted on a series of key techniques such as text prosodic level marking, corpus analysis and design, unit selection strategy and etc.

针对传统的汉语文语转换系统存在的主要问题,采用基于语料库的语音合成方法,在文本韵律层级标注、语料库分析与设计、合成单元挑选策略等关键技术上做了一系列研究。

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈