1) mixed strand space
混合串空间
2) spatial mixing
空间混合
1.
A new dynamic mixer with the structure of striped channels is introduced, which can realize spatial mixing of melt materials because of its function of exerting shear, stripping and distributing melt flow.
该混合器对熔体物料具有剪切、剥离、分流等作用,实现了对熔体物料的空间混合。
3) Mixed norm space
混合模空间
1.
This paper gives some results about polynomial approximation on the mixed norm space H p,q,ψ (B n) (0<p+∞, 0<q+∞).
主要讨论了 Cn 中单位球上混合模空间 Hp ,q ,ψ( Bn) (0 < p + ∞,0 < q + ∞) 的多项式逼近阶的估计,这些结果将沈燮昌等人关于单复变中 Bergman 空间相应结果推广到混合模空间,同时将关于多项式逼近从单复变推广到多复
4) mixture subspace
混合子空间
5) strand spaces
串空间
1.
A new algorithm for constructing invariant-sets based on strand spaces;
一种基于串空间的不变集生成算法
2.
Formal analysis to revised Helsinki protocol based on strand spaces;
改进型Helsinki协议的串空间模型分析
3.
Formal specification and verification of andrew secure RPC protocol based on strand spaces model;
基于串空间模型的Andrew RPC协议的分析与验证
6) strand space
串空间
1.
Application of strand space theory to formalization analyses of network protocol;
串空间理论在网络安全协议形式化分析中应用
2.
The Strand Space Model of NSSK Protocol and Its Analysis;
NSSK协议的串空间模型及分析
3.
Guttman presented a new cryptographic formal model, namely the strand space model,which was based on the Dolev-Yao algebraic model and combined with the advantages of Woo-Lam model, CSP, Schneider s rank function and Paulson induction method.
串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。
补充资料:《伤寒医诀串解》
《伤寒医诀串解》 《伤寒医诀串解》 伤寒著作。六卷。清·陈念祖撰。作者融会诸家学说,以串解的形式为主,阐明其人研读《伤寒论》的心得,冀使读者对《伤寒论》诸篇均有一个纲领性认识。原书缺漏不全,后经其侄陈道著补订刊行。现有十几种清末刻本,几种石印本,1949年后有排印本。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条