首先,我们构造以目的和背景知识为双条件的条件句系统akc,给出它的一些证明论结果。
Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
并讨论了双公用齿轮机构优化设计的目标函数和约束条件。
Then in this paper the object functions -and restrained conditions for optimum design are discussed.
然后利用双三角级数构造满足层板分层区位移边界条件的位移模态。
Then, a trigonometric series is applied to describe the displacement mode satisfying the boundary conditions.
If I took two double stranded DNA molecules and I exposed them to certain conditions that caused them to denature, that means its native structure falls apart.
假如我把两条DNA双链,放在特定的条件下,使它们变性,变性表示使它们的原始结构分开
应用推荐