助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   property preservation 的翻译结果: 查询用时:0.2秒
图标索引 在分类学科中查询
所有学科
诉讼法与司法制度
法理、法史
经济法
更多类别查询

图标索引 历史查询
 

property preservation
相关语句
  财产保全
     There is some inadequacy of legislation in force for guarantee in property preservation of China's Civil Procedural law.
     我国民事诉讼法中关于财产保全中担保的现行立法存在一些不足 ,即对诉前担保的规定过于严苛 ;
短句来源
     Take the object which preserved as the standard, the system may be divided into property preservation and act preservation.
     以保全的客体为标准,民事保全制度可以分为财产保全和行为保全两种类型。
短句来源
     The temporary legal protection system includes suspending execution of the specific administrative act, property preservation and preliminary execution.
     我国行政诉讼暂时法律保护制度主要包括诉讼期间对被诉具体行政行为停止执行制度以及诉讼中的财产保全和先予执行制度。
短句来源
     In our present legal system of the preservation of creditor rights, there are rights security system, rights presen ation system and property preservation system in achieving creditor rights besides civil liability system.
     我国目前的债权保全制度除民事责任制度外,还有债权担保制度、债的保全制度以及债权实现中的财产保全制度。
短句来源
     For a long time, there were two kinds of provisional remediational measures in our code of civil law, which were property preservation and advance execution, there was no system of provisional injunction, and this was a big pity for our legislative framework of civil action.
     长期以来,民事诉讼法中的临时性救济措施有两种样态:即财产保全和先予执行,没有设置针对客体为行为的临时禁令制度,这不能不说是我国民事诉讼立法体制的一个缺憾。
短句来源
更多       
  “property preservation”译为未确定词的双语例句
     ON STRUCTURAL PROPERTY PRESERVATION BY ST COMPOSITION OF PETRI NETS
     ST-组合Petri网的结构性质分析
短句来源
     On Structural Property Preservation by Synchronization Composition of Petri Nets
     同步合成网的结构性质分析
短句来源
     But, we also found that, with the content of organic clay change from lwt% to 7wt%, both of the water-inhaling rate of two moulding system show themselves as increasing tendency comparative to the oppositional tendency of its property preservation rate after the course of 24h, 48h 72h, 96h and 118h boiling in water.
     但随着粘土加入量的增加,在1%~7%范围内,两浇注体树脂体系分别经24h、48h、72h、96h和118h水煮的吸水率均呈直线提高、性能保持率均呈直线下降趋势;
短句来源
     Some conditions of the structural property preservation by synchronization composition of Petri nets are obtained. It is shown that some structural properties are directly preserved by synchronization composition of Petri nets, but other structural properties are preserved under some conditions. These results are useful for studying synchronous composition of net systems.
     研究了同步合成网的结构性质, 给出了同步合成网保持子网结构性质不变的条件.结果表明: 同步合成网对某些结构性质可直接保持,而对另一些结构性质,需在某种条件下保持.这些结果可为网系统同步合成提供有力手段.
短句来源
     The ST composition net of Petri nets is defined. The conditions of structural property preservation by ST composition of Petri nets are obtained, such as structural liveness, structural boundedness, conservativeness, repetitiveness, consistency, S invariant and T invariant. The composition of Petri nets given in this paper may be used as a effective method of analysis and synthesis of net systems.
     本文提出ST- 组合Petri网的概念,讨论了ST- 组合Petri网对子网的结构性质保持问题,深入研究了ST- 组合Petri网的结构活性、结构有界性、守恒性、可重复性、相容性、公平性.本文给出的网组合可作为系统合成与分析的有效方法
短句来源
更多       
  相似匹配句对
     property;
     性质;
短句来源
     A Discussion of Guarantee in Property Preservation
     浅议财产保全中的担保问题
短句来源
     Property preservation in Chinese commercial arbitration
     试论我国商事仲裁中的财产保全
短句来源
     On Pelczynski Property (v)
     关于Pelczynski性质(v)
短句来源
     Preservation of Reagent
     试剂的存放
短句来源
查询“property preservation”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  property preservation
(2003, Real-time property preservation in approximations of timed systems.
      
This result extends the classical CTL property preservation results in a particular context.
      
Three types of abstractions are considered,??, ?? and ?0,1?, and for each of them corresponding property preservation results are established.
      
The first phase analyzes individual features and generates sufficient constraints for property preservation.
      
This forces the property preservation during its refinement course wide open.
      
更多          


Petri net simplification of property preservation is a kind of methods for Petri net analysis. Murata et al. presented a series of net simplification operations for live and safe marked T-graphs. Jiang Changjun gave several simplification operations for weighted T-graphs under the preservations of structural boundedness,convervativeness, repetitiveness and consistency, but didn't concern to liveness and fairness, a more important property of Petri net. This paper presents another kind of net simplification...

Petri net simplification of property preservation is a kind of methods for Petri net analysis. Murata et al. presented a series of net simplification operations for live and safe marked T-graphs. Jiang Changjun gave several simplification operations for weighted T-graphs under the preservations of structural boundedness,convervativeness, repetitiveness and consistency, but didn't concern to liveness and fairness, a more important property of Petri net. This paper presents another kind of net simplification operations for weighted T-graphs, which will preserve the structural liveness and fairness of nets.

Petri网的保性化简是Petri例分析的一种重要途径.Marata等对活的和安全的标识T-图提出了系统的化简运算体系.蒋昌俊对加权T-图提出了若干种化简运算,这些化商运算能够保持网的结构有界性、守恒性、可重复性和相容性,但未涉及活性和公平性的保持问题.本文提出对加权T-图的另一类保性化简,这些化简运算可以保持网的结构活性和公平性.

The structural properties of synchronization composition of Petri nets are deeply discussed. Some conditions of the structural property preservation by synchronization composition of Petri nets are obtained. It is shown that some structural properties are directly preserved by synchronization composition of Petri nets, but other structural properties are preserved under some conditions. These results are useful for studying synchronous composition of net systems.

研究了同步合成网的结构性质, 给出了同步合成网保持子网结构性质不变的条件.结果表明: 同步合成网对某些结构性质可直接保持,而对另一些结构性质,需在某种条件下保持.这些结果可为网系统同步合成提供有力手段.

The ST composition net of Petri nets is defined. The conditions of structural property preservation by ST composition of Petri nets are obtained, such as structural liveness, structural boundedness, conservativeness, repetitiveness, consistency, S invariant and T invariant. The composition of Petri nets given in this paper may be used as a effective method of analysis and synthesis of net systems.

本文提出ST- 组合Petri网的概念,讨论了ST- 组合Petri网对子网的结构性质保持问题,深入研究了ST- 组合Petri网的结构活性、结构有界性、守恒性、可重复性、相容性、公平性.本文给出的网组合可作为系统合成与分析的有效方法

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关property preservation的内容
在知识搜索中查有关property preservation的内容
在数字搜索中查有关property preservation的内容
在概念知识元中查有关property preservation的内容
在学术趋势中查有关property preservation的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社