去查网 logo

Algorithmic Routine

中文翻译演算例程

同义词释义

    1)Algorithmic Routine,演算例程2)algorithm routine,算法例程3)process calculus,进程演算4)programming calculi,程序演算5)subroutines,arithmetic,算术次例程6)computing routines,计算机例行程序

用法例句

    Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.

    进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。

    Security protocols are typical distributed concurrent systems, while process calculus is a powerful tool to model distributed concurrent systems.

    进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为。

    In this paper, a generic model is proposed for the analysis of security protocols based on a process calculus with knowledg.

    进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。

    On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi;

    高阶进程演算的互模拟理论和公理化的研究

    The Application of an Improved Particle Swarm Optimization in Inversion of Mechanical Parameter of Slope Engineering;

    改进粒子群优化算法在边坡工程力学参数反演中的应用

    Study on Parameter Inversion of Underground Engineering Based on Improving Genetic Algorithm;

    改进遗传算法在地下工程岩体参数反演分析的研究

    The Research on Teaching of Algorithm Applying Step-by-Step Demonstration Methods in Data Structure Courses;

    《数据结构》课程中使用逐步演示法进行算法教学的实验研究

    The improvement of organizational logic in the shunt progress of China economy;

    中国经济转轨进程中组织的逻辑演进

    The special case of the exchange of resistance equivalents of both theΠ- shape and the T-shape is simplified a great deal in the process of the deduction.

    从特殊情况出发,对电阻Π联接与T型联接的等效互换进行了推导,简化了推导演算过程。

    By analyzing and estimating the data from experiment, the mechanism in heat transmission of gas during the experiment is obtained.

    分析了从低气压到常压的实验数据,并进行了理论计算,得出了实验中气体传热机制的演变过程。

    An Advanced Hierarchical Parallel Evolutionary Algorithm;

    一种改进的分层并行演化算法(英文)

    On the Evolutions and Features of the Inter-Bank Settlement System in Euro Area Based on TARGET System;

    论欧元区TARGET清算系统的演进与特征

    The Evolution and Characteristics of the Inter-bank Settlement Systems in the Euro-zone;

    欧元区银行间清算体系的演进与特征

    An Improved Algorithm for Singular Value Decomposition Inversion of T_2 Spectrum in Nuclear Magnetic Resonance

    核磁共振T_2谱奇异值反演改进算法

    An Improved GEP Algorithm and Its Application in Evolutionary Modeling

    改进的GEP算法在演化建模中的应用

    Backtracking techniques can be encoded by fairly short solution programs.

    回溯演算法可以写成很短的解题程式。

    This program was created to show how to evaluate a string.

    这个程序演示了如何计算一个字符串。

    The Research on Optimizing Based on Program Transformation of the Decision Tree Algorithms;

    基于程序演化的决策树算法优化研究

    Modeling BPEL4WS Program with Pi Calculus and Case Study;

    Pi演算建模BPEL4WS程序及实例研究

    Making of Illustrative Courseware in《 Application of Computer 》;

    《计算机应用》课程演示课件的制作

    Lifecycle of Modeling Business Process Based on Pi Calculus

    用Pi演算为业务过程建模的生命周期

全部查询工具

关于我们免责声明联系我们网站地图最近更新

免责说明:本站为非营利性网站,本站内容全部由《去查网》从互联网搜集编辑整理而成,版权归原作者所有,如有冒犯,请联系我们删除。

Copyright © 2020 - 2024 quchaw.com All rights reserved.浙ICP备20019715号