助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   83例 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:1.307秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
肿瘤学
外科学
临床医学
建筑科学与工程
心血管系统疾病
神经病学
地质学
泌尿科学
更多类别查询

图标索引 历史查询
 

相关语句
  case
    Research on the Key Technologies about Visualization of Spatial Information--Case of 2.5D、3D and Multidimensional Visualization
    空间信息可视化关键技术研究——以2.5维、三维、多维可视化为
短句来源
    Regional Sustainable Development Based on GIS: A Case Study of Henan Province
    基于GIS的区域可持续经济发展研究——以河南省为
短句来源
    An Application of Thematic Mapping Solfware on Environmental Geographic Information System──A Case Study of Jiaxian City
    专题制图软件在环境地理信息系统中的应用──以嘉兴市为
短句来源
    Design of the Earthquake Case Database of China and its Application System
    中国震数据库及其应用系统设计
短句来源
    ENCODING OF ARCHIVE FILES FOR CERN STATIONS—— CASE STUDY FOR LAKE ECOSYSTEM RESEARCH STATIONS
    中国生态系统研究网络(CERN)台站数据文档文件编码——以湖泊生态系统研究站为
短句来源
更多       
  example
    A Gravitational Law of the Pattern Recognition and an Example of Its Application in Cartography
    模式识别之重心法则及其在地图制图中运用一
短句来源
    An Application Example in the Recursive Technique
    递归技术应用一
短句来源
    The Application of AME in Architectural Moulding——taking a double-running stairs as an example
    实体建模(AME)在建筑造型中的应用——以双跑楼梯为
短句来源
    In attempting to account for the integrated dynamic 3PL solution by Web Services based on J2EE,the integrated concepts and theory of Web Services are illustrated firstly,and taking logistics order process as example business integration of 3PL method is studied based on Web Services.
    为了阐述基于J2EE的Web服务动态集成化第三方物流解决方案,首先在阐述了Web服务集成概念与理论的基础上,以物流订单处理的过程为,研究了基于Web服务的第三方物流业务集成方法。
短句来源
    Take 0-1 knapsack problem for example,in contrast to static state space tree algorithm,the new algorithm spends less times and it helps to extend the application of backtracking algorithm.
    以0-1背包问题为,说明动态树方法对求解线性规划问题等是非常有用的,且该算法所用时间少于静态状态空间树方法,有助于扩大回溯算法的应用。
短句来源
更多       
  instance
    Spatial Relativities Analysis of Soil Erosion and Different Natural Conditions with GIS——for Instance in Changting county, Fujian Province
    GIS支持下的土壤侵蚀与不同自然条件的空间相关性分析——以福建省长汀县为
    (4) Combing research conclusion with class diagram of UML, transforming class diagram into direct dependence graph, constructing class testing dependence aggregate, then reducing regression testing instance.
    (4) 将研究所得的结论与UML提供的类图相结合,把类图转换为有向依赖图,提出一种构建有向依赖图中类的测试依赖集算法,以此来安全地缩减回归测试用包。
短句来源
    Here give an instance of B2B e-business to analyze the solution that applied technology of Web Service in integration between the e-businesses, which implements with java and relative tools.
    然后,以一个B2B电子商务为分析其Web Service解决方案,并采用java语言和相关开发工具实现。
短句来源
    Taking Delphi as an instance,we give the realizeing mechanism of exception process—— exception,exception process sentences“ try… except… end” and“ try… finally… end” ,exception nest,exception protection,exception ignition and other grammar rules and concrete examples.
    并以 Delphi为,给出了异常处理的实现机制——异常类,异常处理语句“ try… except… end”和“ try… finally… end”,异常嵌套,异常保护,引发异常等的语法规则和实
短句来源
    This paper instance gallery in concrete dams, discusses design idea of CAD software on blocks of steel bar of gallery and method of connect technology of the blocks is solved.
    以混凝土坝内廊道结构为,论述了廊道CAD软件设计中钢筋的模块化设计思想和解决模块间拼接技术难题的方法。
短句来源
更多       
  “83例”译为未确定词的双语例句
    PRELIMINARY ANALYSIS OF THE WAVEFORMS OF V_7 V_8 AND V_9 LEADS ECG OF 500 NORMAL ADULTS
    500正常人V_7、V_8、V_9导联心电图波形的初步分析
短句来源
    A Heuristic Algorithm for Learning from Positive Examples
    正学习的一个启发式算法
短句来源
    A Multi-Example Multi-Concept Based Approach to EBL Theory Refinement
    一种基于多多概念的EBL领域理论的修正方法
短句来源
    LEARNING k-DL FROM RANDOM EXAMPLES WITH CLASSIFICATION NOISE
    从有分类噪声的随机样中学习k-判定表
短句来源
    KNOWLEDGE BASED IMAGE CLASSIFICATION APPROACH SUPPORTED BY A GIS
    GIS辅助下的基于知识的遥感影像分类方法研究——以土地覆盖/土地利用类型为
短句来源
更多       
查询“83例”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  case
In the present paper we study the remaing nontrivial case, that of a negative central charge-N.
      
The method applies to the standard arithmetic subgroups ofSO(n,1) (a case which was proved previously by Millson [Mi]), to the non-arithmetic lattices inSO(n,1) constructed by Gromov and Piatetski-Shapiro [GPS] and to groups generated by reflections.
      
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
      
In the case of 3-dimensional commutative algebras a new proof of a recent theorem of Katsylo and Mikhailov about the 28 bitangents to the associated plane quartic is given.
      
As in the case of Mumford's geometric invariant theory (which concerns projective good quotients) the problem can be reduced to the case of an action of a torus.
      
更多          
  example
In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.
      
As an example of how this can be used, we show that the ring of invariants (under the adjoint action of SL (3)) ofg copies ofM3 is C-M.
      
An example shows that the differentiable structures can indeed be different, even though they are isomorphic.
      
For example, if our groupG isSn, these objects are field extensions; ifG=On, they are quadratic forms; ifG=PGLn, they are division algebras (all of degreen); ifG=G2, they are octonion algebras; ifG=F4, they are exceptional Jordan algebras.
      
For instance, we find that |f(u)| ≤ L(u) + O(ε2/3), where L(u) is the Boas-Kac-Lukosz bound, and show by means of an example that this version is the sharpest possible with respect to its behaviour as a function of ε as ε ↓ 0.
      
更多          
  instance
For instance, we find that |f(u)| ≤ L(u) + O(ε2/3), where L(u) is the Boas-Kac-Lukosz bound, and show by means of an example that this version is the sharpest possible with respect to its behaviour as a function of ε as ε ↓ 0.
      
This model is more general than the circular defects model as the latter is only an instance of the proposed model.
      
In the first instance therefore, a new method to calculate the root ecological niche index (RENI) is proposed, embracing the entire phytocommunity of plantations.
      
For instance, in a certain case, if the effects of the mechanical seal were taken into account, the systems critical speed may increase by 70-80%.
      
The little porous parameter will lead to a prominent increase of load capability (for instance, the load and the moment predicted), which is still augmented by the thicker layer parameter.
      
更多          


In this paper arc investigated the design principles and the methodology,with which control structures of parallel asynchronous processes(in which may be micro- computers)without mutual interference are to be implemented.In order to be adapted for application of multimicroprocessors,Petri net model of parallel systems is par tially interpreted[1]with various semantics in which places may be interpreted as a fixed length vector with token,and transitions may be interpreted as an(internal) process.Such partially...

In this paper arc investigated the design principles and the methodology,with which control structures of parallel asynchronous processes(in which may be micro- computers)without mutual interference are to be implemented.In order to be adapted for application of multimicroprocessors,Petri net model of parallel systems is par tially interpreted[1]with various semantics in which places may be interpreted as a fixed length vector with token,and transitions may be interpreted as an(internal) process.Such partially interpreted Petri nets are called MP nets.MP nets can be used to describe micro-control,macro-control,or micro-and macro-control of parallel systems.They are implemented by multimicroprocessors which as controls coordinate the execution of parallel asynchronous processes without interference.In this paper is presented the fundamental idea of general design principles and methodology of the multimicroprocessor-controls.MP nets are decomposed into sub-MP nets.The latter are implemented by microcomputers,and their shared places are implemented as mail boxes with which they communicate.All these microcomputers are linked through mail boxes,and then organized as a required multimicroprocessor-control.The fun- damental idea of methodology presented here is illustrated by an example based on microcomputer family M6800. The work presented in this paper is a initial report and,principally,intuitive in nature.

本文探讨:用来控制并行异步而无干扰的诸过程(其中可以有微计算机)的那种控制结构被实现成多微处理机—控制器时可依循的设计原理和方法。为了适应多微处理机的应用,本文用多种语义给予表示并行系统的 Petri 网模型以半解释,其中 p 结点可被解释成带引燃号的定长向量,t 结点可被解释成(内部)过程。称这样半解释的 Petri 网为 MP 网。MP 网可用来描述并行系统的微控制、宏控制、或微宏混合控制。利用多微处理机来实现 MP 网,此多微处理机—控制器用来控制并行异步的过程,它们并行地异步地进行工作而无干扰。文中提出根据MP 网设计多微处理机—控制器的一般原理和方法的基本思想。分解 MP 网成各子MP 网,这些子 MP 网分别以微处理机实现之,而它们所共享的那些 p 结点实现成为它们相互间通讯用的邮箱。所有这些微处理机通过邮箱联系起来,组织成所要设计的多微处理机—挖制器。以微计算机族 M6800为来阐明本文提出的方法论基本思想。本文未臻形式化阶段,基本上以直觉的形式叙述基本思想,而未完全论证,还不是完备的方法论,仅供讨论。

The effects of parameters of optical beam splitter on-Doppler signals in a dual beam LDV were discussed, and the formulae about these effects were given. The effect on signals caused by the influence of different ratios of fringe separationto diameter separations to diameters of scattering particles was calculated by the author. It showed(?)a great difference between the round cross section of particles and the square cross section that calculated by others before.With an example of designing a laser sea current...

The effects of parameters of optical beam splitter on-Doppler signals in a dual beam LDV were discussed, and the formulae about these effects were given. The effect on signals caused by the influence of different ratios of fringe separationto diameter separations to diameters of scattering particles was calculated by the author. It showed(?)a great difference between the round cross section of particles and the square cross section that calculated by others before.With an example of designing a laser sea current meter, the method electing the spacial period of fringe with respect to match the diameter of scattering particles was recomended. Finally, an configuration in which those parameters could be adjected independently was introduced.

本文着重讨论了双光束条纹型激光多普勒测流系统中,光学分束系统参数与散射信号的关系,列出了有关的公式。计算了园形截面的散射颗粒直径与干涉条纹周期呈不同比值时对信号的影响,其结果与以前采用矩型截面进行计算的结果差异较大。以设计一台激光海流计为,推荐一种以选择与散射粒径相匹配的条纹周期为出发点的光学参数选择方法。最后介绍作者提出的为实现这种选择的光学布置。

In this paper is investigated design methodology in accordance with which implementation of μ-Petri nets by multimicroprocessor may be procceded. μ-Petri nets are defined, and they are used to describe the struetures of a significantly wide class of parallel asynchronous processes. Introduced is the canonical form of μ-Petri nets with which μ-Petri nets are transformed into typical asynchronous sequential circuits. Then the transition/output table (i.e. coded flow table) is written out on condition of allowed...

In this paper is investigated design methodology in accordance with which implementation of μ-Petri nets by multimicroprocessor may be procceded. μ-Petri nets are defined, and they are used to describe the struetures of a significantly wide class of parallel asynchronous processes. Introduced is the canonical form of μ-Petri nets with which μ-Petri nets are transformed into typical asynchronous sequential circuits. Then the transition/output table (i.e. coded flow table) is written out on condition of allowed set of input sequences. If the given μ-Petri net and, in particular, the number of its places are considersbly large, the corresponding multimictoprocessor architecture is presented, decomposing the transition/output table. An example based on the microcomputer family M6800 is used to illustrate the implementation of μ-Petri nets by multimicroprocessor system.

本文探讨在以多微处理机实现μ-Petri网(一种加以半解释的安全Petri网)这一工作中可遵循的设计方法论。先定义μ-Petri网可描述相当广泛类型的并行异步过程的控制结构。引入μ-Petri网的标准型式后,将μ-Petri网转换成标准的异步时序线路,再写出此异步时序线路在容许输入序列集下的转移/输出表(编了码的流程表)。分裂转移/输出表(如果给定的μ-Petri网规模相当大,特别是p结点为数相当多,因而此表也相应大),提出相应的多微处理机总体结构。以M—6800微计算机族为,阐明如何实现μ-Petri网成多微处理机系统。

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

 


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

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