助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   网论 的翻译结果: 查询用时:0.019秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

网论
相关语句
  net theory
     One of the most important issues in case-based reasoning (CBR) is inference in the case memory. This paper investigates a Petri net model for a CBR system and shows the linear technique of net theory for case-based inference.
     在基于案例推理中,一个重要的问题就是如何在案例存储空间进行推演.本文中,我们提出了一个基于案例推理(CBR)系统的Petri网模型,而且使用网论中的线性技术来解决基于案例的推演.
短句来源
     In order to introduce the analysis method and results of net theory into the research of DEDS. the net theoretical sementics of controlled Petri net is given in this paper.
     本文分析此模型的网论语义,以便把Petri网的研究方法和成果引入离散事件动态系统控制理论的研究。
短句来源
     CTT's event-condition scheme provides foundationfor off-line and real-time graphical simulation of the control task with net theory.
     CTT的事件-条件模式为运用网论.进行离线实时图形仿真提供了良好的基础。
短句来源
     This paper presents how to convert the non directional transportation net into Petri net denoted directional graph with the help of Petri net theory and Petri net simulator, meanwhile finding the corresponding shortest path of the transportation network.
     本文内容是论述如何借助于 Petri网论和 Petri网图计算机仿真将无向交通运输网络转换为 Petri网表示的有向图 ,并同时求出相应的运输网络中 OD(起点终点 )对的最短有向路径及路长。
短句来源
     The Euler nets modeling method is a kind of model-bulding method which takes the diagram and net theory as its description language based on active cycle diagram method. It can support life cycle better and reflect fully the process of development and improvement in an enterprise. Therefore the article puts the emphasis on the study of business process modeling adopting Euler nets method which also offers a new idea for business modeling.
     本文主要介绍了基于离散事件系统的 Euler网建模方法 ,Euler网方法是在活动周期图方法的基础上 ,以图论和网论为描述语言的一种建模方法 ,它可以较好地支持生命周期 ,能够充分反映企业不断改进和扩展的过程 ,因此本文采用 Euler网方法对企业流程建模进行了重点研究 ,为企业建模提供了新的思路 .
短句来源
  “网论”译为未确定词的双语例句
     Theorem of L-nets and its applications
     L—网论与应用
短句来源
     With the use of Petri net simulator,nondirectional transportation network is converted into a directional network,and its dual graph, denoted by DG,is converted into its Petri net model,then automatically get the maximum flow of the transportation network by seeking the DG's shortest path, i.e. the G's minimum cut capacity.
     在此基础上 ,采用 Petri网论法和计算机图形仿真法相结合的方法 ,求解运输网络最大流。 即用Petri网图仿真器把无向运输网络转化为有向运输网络 ,然后求有向运输网络 G的对偶网络 DG,再用 Petri网图仿真器将对偶网络 DG转换成 Petri图模型 ,并自动求得 DG最短路 (原网络 G的最小割容量 ) ,即运输网络最大流。
短句来源
     The modeling technology based on Petri Nets advanced in this paper is a good simulation to the system realizing, it could describe the system structure not only, and can be used to analyze the various characteristics of information system by the tools of figuring and mathematics in GNT.
     本文提出的一种基于Petri网的信息系统建模技术 ,作为从实际问题到Petri网的桥梁 ,对于系统的实现是一种很好的模拟 ,它可以充分利用网论强大的图形表达能力和严谨的数学分析理论对信息系统的各种综合性能进行描述和分析 ,具有一定应用价值。
短句来源
     The computer-aided automatical HAZOP analysis is put forward by using SDG model and the reasoning method based on network theory.
     在人工HAZOP方法的基础上,提出利用SDG模型及基于网论的推理方法,进行计算机自动HAZOP分析。
短句来源
     A Petri Net Method for Planed Management System Research
     研究计划管理系统的Petri网论
短句来源
更多       
  相似匹配句对
     On Network Morals
    
短句来源
     Talk about the Standardization of the Network Language
     语的规范化
短句来源
     THE MESH
    
短句来源
     People Network
     人
短句来源
     On "Subject"
     “主语”
短句来源
查询“网论”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  net theory
As in neural net theory, recognition is selective reconstruction of an image from a database of many concrete images (simultaneously stored in an associative memory) after presentation of a different version of that image.
      
This permits the transferal of intuitively important semantical results of Petri Net theory to their corresponding programs.
      
After various attempts, an equivalence relation is defined for labelled Petri nets, on the base of the concurrency semantics of net theory.
      
Elementary transition systems are-in a strong categorical sense-the transition system version of a basic system model of net theory called elementary net systems.
      
By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory.
      
更多          


∑-calculus is a subtheory of concurrent calculus CC[1],which emphasizes the concurrent features of CC.Considering a concurrent and communicating system as a dynamic system which consists of states and transformations,this paper provides a categorical model for ∑-calculus.The principle of this paper is making the correspondences between ∑-calculus and categorical construction by seeing formulas in ∑ as objects in a category and deductions in ∑ as morphisms.So we get a category naturally from the structured operational...

∑-calculus is a subtheory of concurrent calculus CC[1],which emphasizes the concurrent features of CC.Considering a concurrent and communicating system as a dynamic system which consists of states and transformations,this paper provides a categorical model for ∑-calculus.The principle of this paper is making the correspondences between ∑-calculus and categorical construction by seeing formulas in ∑ as objects in a category and deductions in ∑ as morphisms.So we get a category naturally from the structured operational semantics of ∑-calculus.This method can be extended to other concurrency theories such as net theory and logical approaches.Thus category theory can be thought as a universally formal framework for specifying and verifying concurrent systems.

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。

One of the most important issues in case-based reasoning (CBR) is inference in the case memory. This paper investigates a Petri net model for a CBR system and shows the linear technique of net theory for case-based inference.

在基于案例推理中,一个重要的问题就是如何在案例存储空间进行推演.本文中,我们提出了一个基于案例推理(CBR)系统的Petri网模型,而且使用网论中的线性技术来解决基于案例的推演.

This paper introduces a Petri net model for a reason maintenance system and applies Petri net analysis methods to a finite nonmonotonic theory.The model proposed in this paper can not only specify the reason maintenance system, but also analyse the system based upon the net theory and techniques.It is important that the authors derive an algorithm to find the extensions for a given set of nonmonotonic rules and an algorithm to find out inconsistency in a system.Their algorithm to find extensions is considered...

This paper introduces a Petri net model for a reason maintenance system and applies Petri net analysis methods to a finite nonmonotonic theory.The model proposed in this paper can not only specify the reason maintenance system, but also analyse the system based upon the net theory and techniques.It is important that the authors derive an algorithm to find the extensions for a given set of nonmonotonic rules and an algorithm to find out inconsistency in a system.Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable.

本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的不一致性.我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的.

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

 


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

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