1) presheaf structure
预层结构
2) thermal inconsistency
预载结构
3) structure prediction
结构预测
1.
Three dimensional structure prediction of SARS coronavirus S protein;
SARS病毒S蛋白三维结构预测
2.
Review of new approaches in protein structure prediction;
蛋白质结构预测的方法学评述
3.
Cloning and sequence analysis of the light harvesting complex Ⅰ gene(Lhca1) from three kinds of Phyllostachys and structure prediction of the protein;
刚竹属3种重要散生竹光系统Ⅰ基因(Lhca1)的克隆、序列分析和蛋白结构预测
4) Structural prediction
结构预测
1.
Cloning of 45W Gene Family of Taenia Solium, Expression and Structural Prediction of A_3 and B_2;
猪带绦虫45W基因家族的克隆及A_3与B_2的表达和结构预测
2.
The structural prediction method is introduced to the heavy rainfall forecast.
介绍了“结构预测法”在区域性暴雨预报中的应用 ,特别是在 2 0 0 1年 9月 2 0日成都暴雨的预报中 ,V 3θ图的应用为暴雨的发生和落区提供了可靠的依
5) prefabricated structures
预制结构
1.
The FBG(fiber Bragg grating) strain gauge is a kind of new prefabricated structures of FBG stress sensing.
光纤光栅应变片是一种新型的光纤光栅应力传感预制结构,它把布拉格光栅封装在光连接器内部以实现分体插接式结构,从而保证光纤光栅应变片在具有布拉格光栅体小质轻等优点的同时,还具有类似于光连接器的使用便利性,从而解决了光纤光栅传感器使用复杂,不宜用作二次变换元件的缺陷,扩大了光纤光栅传感器的使用范围。
6) pre-tensional structure
预紧结构
1.
Analysis and calculation of the pre-tensional structure of moving table support in quick forging hydraulic press
快锻压机移动工作台支架预紧结构分析计算
2.
The preloads distribution of the die s quasi thick-walled cylinder pre-tensional structure was gotten subjected to the changing of k,which was the ratio of the die s height to its diameter,in .
1~5类厚壁筒模具预紧结构的模拟计算,得出预紧力沿轴向的分布规律。
补充资料：预层
预层
pre-sheaf
预层f僻一由臼f;即e八11”。川，拓扑空间X上取值于范畴夕(例如集合、群、模、环等等的范畴)的 从X的开集及其自然包含映射所组成的范畴(category)到‘才中的一个反变函子(丘mCtor)F.函子F依照才分别称为集合、群、模、环、等等的预层(pre一shoif).对应于包含关系V CU的态射F(U)~F(V)叫作限制同态. 每个预层生成X的一个层(sheaf)(见层理论(sheaf tbeory)).E .r .copeHx。撰【补注】更一般地，若C是任一小范畴(s班111 cate-即尽)，则术语“C上的预层”指定义于C上的一个反变(通常是集值的)函子(见景(s讼)).张英伯译谓词fore山Ca妞;npe及“ICaT] 一种函数，其自变元以个体的n元组为值，而函数的值为关于这种衬元组的语句.当。=1时，谓词称为“性质”，当n>l时，称为“关系”;命题(proPosition)可视为O元谓词. 为描述一个n元谓词尸(x;，…，x。)，必须指出集合D:，一，D。—个体变元xt，…，x。的变域;通常考虑D、二·一D。的情形.从集合论的观点看，谓词是由Descartes积D .x…XD。的一个子集M描述.此时P(“，，…，“。)指的是“序组(“l，…，a。)属于M”，n元谓词的语法描述是通过给出逻辑数学语言中的含有n个自由变元的公式实现的.谓词的概念始于Aristotle;对含有谓词的语句进行运算的方法是在数理逻辑(见逻辑演算(kigical calculus);谓词演算(Pledicate calculus”中发展的.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条