查询词典 module

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

G^k continuous piecewise algebraic blending surface patches are obtained by solving the system via the generator basis algorithm of module over polynomial ring.

借助围绕一个顶点处的代数曲面光滑拼接条件，利用多项式环上的素模中的生成基方法，给出了凸组合和非凸组合情形下三个坐标平面间的的任意阶几何连续的光滑拼接方法。

It is shown that, any reprersentation finite special biserial algebra has a Groebner basis theory, and a finite-dimensional basic algebra over an algebraically closed field is representation finite if and only if every module over it has a right Groebner basis theory.

证明了表示有限特殊双列代数有Groebner基，从而扩大了Groebner基理论的应用范围；证明了一个代数封闭域上的有限维代数是表示有限特殊双列代数当且仅当其上每个右模都有右Groebner基理论，从而扩大了右Groebner基理论的应用范围。

In this article, we will be comprehensive application CAXA physical design and finite element analysis module Algor, to pressure spring as an example, the mechanical parts modeling and analysis.

在本文中，我们将综合应用CAXA实体设计及有限元分析模块Algor，以压力弹簧为例，对该机械零件进行建模与分析。关键词：螺旋线弹簧功能

This text explain relevant knowledge of Tetris, algorithm, division of module and Tetris realize, platform test.

本文阐述了俄罗斯方块的相关知识，包括模块划分、俄罗斯方块算法实现、平台测试。

The aligner module lets you choose an original document and its translation in another file, and tries to establish the matching sentences by statistical means.

使用文本对齐模块，你可以选择一个原始文档和它的译文，然后通过统计的方式使句子间建立匹配关系。

The conceptions of spectral and module of almost periodic sequence in Banach space are introduced,which are similar to those of almost periodic function in Banach space.

引入了Banach空间中与概周期函数类似的概周期序列谱与模的概念，并证明了概周期序列的谱与模有与概周期函数谱与模一样的性质。

This example employs the alternative test module initialization function specification.

这个例子使用了备选的测试模块初始化函数签名。

If you have grown on Amiga and 386 PC should know what"s module music about、 if you don"t know、 just give it a try.

倘若你是有AMIGA与386伴随长大的一代就应该知道模仿音乐是什么，倘若不知道，就试一下吧。

The frame and working process of biogas refining system for obtaining vehicle fuel were discussed. Among them, the main device-hollow fiber polyimide membranes separation module was devised by our special request. And the other devices for removing water vapour, sulfureted hydrogen, oxygen, ammoniate were designed by ourselves.

文中简介了沼气制取车用天然气级燃料系统的组成和工作过程，该系统以自行设计的中空纤维聚酰亚胺膜组件作为主纯化脱碳装置，并设计了脱水、脱硫、脱氧和脱氨装置。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。