- 电脑算法
- 计算机程序法
- 计算机算法
- computer: n. 1.计算者。 2.(电子)计算机；计量器。 短语和 ...
- algorithm: n. 【数学】算法；规则系统；演段。
- algorithm and application of computer: 计算机算法与应用
- algorithm for computer link method: 计算机连接法算法
- analysis of computer algorithm: 计算机算法分析
下载手机词典可随时随地查词查翻译
computer algorithm中文什么意思
- 电脑算法
- 计算机程序法
- 计算机算法
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 上一页 下一页
- Professor yao was awarded the turing award in 2000 , " in recognition of his fundamental contributions to the theory of computation , including the complexity - based theory of pseudorandom number generation , cryptography , and communication complexity " . his research activities are in the design of efficient computer algorithms , and complexity theories in emerging new areas of theoretical computer science , such as quantum communication and computing
姚教授于2000年获颁杜林奖，这是美国计算机学会自1966年设立杜林奖以来，首次颁予华人科学家，美国计算机学会并赞扬姚教授对计算理论作出了根本性而意义重大的贡献，其中包括基于复杂性的?乱数生成理论、密码学和通信复杂性。 - The computer data structure of branch circuit element type and its linear list is defined ; the problem describing a complicated circuits whth data structure is solved . kirchhoff branch element type , kirchhoff colosed loop circuit element type and the set of kirchhoff closed loop circuits are defined ; the computer algorithm for getting a set of kirchhoff closed circuits is given out . and so , using computer for automaticly analysing and solving complicated linear circuit problem can be realized
针对一般的线性电路，用数据结构中关于定义抽象数据类型的方法定义了电路支路数据元素类型及相应的线性表，解决了用数据结构描述任一复杂电路的问题.定义了基尔霍夫支路数据元素类型、基尔霍夫回路元素类型和基尔霍夫回路集，给出了求基尔霍夫回路集的算法.从而实现了计算机自动分析、求解复杂线性电路的问题 - To achieve these goals , first of all , the national coding standards of various bar code systems have been learned . for the variety of bar codes , some commonly used id bar codes and 2d pdf417 bar code have been especially selected and their coding forms have been comprehended by consulting the national standard . secondly , computer algorithms for various bar code systems have been designed by combining the coding principles of various bar codes with the corresponding mathematic methods
首先，了解各种条码码制的编码国家标准，因条码种类众多，本课题特选取其中常用的几种一维条码和二维pdf417码，查阅了相应的国家标准了解其相应的编码形式；其次，结合各种条码的编码原理和相应的数学基础知识，对各种条码码制进行了计算机算法的设计。 - 6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms
Model checking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现， model checking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。 - Abstract : the calculation of the minimum route set for network system from input node to output node using the join matrix method was discussed . a computer algorithm for this calculation and a pad were presented . the algorithm is valuable in network system reliability analysis
摘要：讨论了用联络矩阵法求网络系统从输入节点到输出节点的所有最小路集，给出了一种实现此方法的计算机算法，画出了实现此算法的pad图，此算法在网络系统可靠性分析方面具有很好的应用价值。