Then the special computer algorithms are introduced properly, the procedures of software and compositions of the hardware are explained necessarily 接着对微机实现的相关具体算法做了必要的介绍,对软件设计和硬件结构也做了详细的说明和相应的介绍。
Although the ending is almost satisfied with requirements, the stability need improved . predictive control is a computer algorithm . easily modeling and carrying out online brings it to more and more application in industry control 预测控制是一种计算机控制算法,因其建模简便、易于在线实施,在工业控制中得到了越来越广泛的应用。
At present, the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence 目前解决这个问题主要有两条途径:a数学优化模型及其算法求解+符号模型及其人工智能求解;b数学优化模型及其算法求解+人机交互或人机结合。
Random number generators are used in many areas including computer simulation, monte-carlo techniques on numerical analysis, test problem generation for the performance evaluation of computer algorithms, statistical sampling, and so on 随机数发生器在很多领域有广泛的应用,包括计算机模拟、数值分析上的蒙特卡罗方法、评估算法的测试问题、统计抽样等等。
This dissertation first discusses the two-dimension interpolation algorithm and coordinate rotation digital computer algorithm involved in the process of designing system . then the paper particularly probes into the research and development of b-mode digital scan converter, m-mode digital scan converter and graphic circuitry in the digital scan conversion system 本文首先对系统设计过程中引入的二维线性插值算法和坐标旋转数字计算算法进行了讨论,然后着重论述了数字扫描变换系统中的b型数字扫描变换器、m型数字扫描变换器和图形界面电路的原理、设计与实现。
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 modelchecking过去主要是作为一种验证技术被广为使用的,本文作者通过对dmc以及后续工程项目的研究发现,modelchecking完全可以作为一种计算技术被广泛使用,就相当于已经成为经典编译技术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图,此算法在网络系统可靠性分析方面具有很好的应用价值。