查询词典 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.

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

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。