1.
Jordan Triple Maps on Spin Factors
Spin因子上的Jordan三元映射
2.
The Yangian Applied in the Interactive System of Two Particles with Spin-1/2 and the Transition of the Topotogical Phase;
Yangian在Spin-1/2自旋和轨道耦合系统拓扑相因子的应用
3.
The Influence of Temperature on Quantum Tunneling in Spin-boson Model;
Spin-boson model中环境温度对量子隧穿的影响
4.
Geometry of Submanifolds in Riemannian Spin Manifolds Admiting Nonzero Killing Spinors;
具有非零Killing Spinor的黎曼Spin流形中的子流形几何
5.
Spin-off Technology Transfer Mechanism;
Spin-off技术转移机制研究
6.
The Elementary Excitation in Spin Peierls System;
Spin-Peierls系统中的元激发谱
7.
Research on Verification Technology of UML Models Based on Model Checking with SPIN;
基于SPIN的UML模型验证技术的研究
8.
Formal Analysis for UML Model of Security Protocols Using SPIN;
安全协议UML模型的SPIN分析
9.
State Compression in SPIN: State-vector Optimization Based on Property;
SPIN状态压缩：基于属性的状态向量优化
10.
SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;
硬件系统SystemC～（FL）设计模型的SPIN验证
11.
Verification of ATM Fabric s Behavior Using SPIN;
基于SPIN的ATM交换机行为的验证
12.
Study on Localized Transition in the Spin-boson Model by Variational Calculation;
Spin-boson model中局域相变的变分法研究
13.
Lanczos Method in Spin-Peierls System;
spin-Peierls强关联系统中的Lanczos方法
14.
Research in SPIN of wireless sensor networks;
无线传感器网络的SPIN协议研究
15.
Research on the phase transition in Spin-Peierls Systems with s=1/2xxz antiferromagnetic chain;
s=1/2xxz反铁磁链的Spin-Peierls相变研究
16.
Composition Abstraction Spin Model Checking Based on Promela and Its Application
基于Promela的组合抽象Spin模型检测及应用
17.
Research of SPIN Routing Protocol for Wireless Sensor Networks
无线传感器网络SPIN路由协议的研究
18.
Verification and improvement of process scheduling model by Spin
进程调度模型的Spin验证分析与改进