搜索结果: 1-9 共查到“计算机科学技术 spin”相关记录9条 . 查询时间(0.116 秒)
![](http://www.firstlight.cn/upload/imgfile/20236/6/202366135236487.jpg)
2017软件模型检验国际研讨会(International SPIN Symposium on Model Checking of Software)
2017 软件模型检验 国际研讨会
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.
Efficient Spin Squeezing with Optimized Pulse Sequences
Efficient Spin Squeezing Optimized Pulse Sequences
2016/1/23
Spin squeezed states are a class of entangled states of spins that have practical applications to precision measurements.Inrecentyearsspinsqueezingwithone-axistwisting(OAT)hasbeendemonstratedexperimen...
Memory-built-in quantum cloning in a hybrid solid-state spin register
Memory-built-in quantum cloning hybrid solid-state spin register
2016/1/22
As a way to circumvent the quantum no-cloning theorem, approximate quantum cloning protocols have received wide attention with remarkable applications. Copying of quantum states to memory qubits provi...
Towards Logic Functions as the Device using Spin Wave Functions Nanofabric
Spin Wave Functions (SPWFs) Spintronics Threshold Logic Parallel Counters Magnonic Logic
2014/12/8
As CMOS technology scaling is fast approaching its fundamental limits, several new nano-electronic devices have been proposed as possible alternatives to MOSFETs. Research on emerging devices mainly f...
On the two-steps relaxation of mean-field glasses: p-spin model
two-steps relaxation mean-field glasses p-spin model
2012/2/24
Critical slowing down dynamics of supercooled glass-forming liquids is usually understood at the mean-field level in the framework of Mode Coupling Theory, providing a two-time relaxation scenario and...
采用SPIN的L4内存管理形式化验证
L4微内核 地址空间操作原语 模型检验
2009/8/19
模型检验通过状态空间搜索检验一个给定的计算模型是否满足某个用时序逻辑公式表示的特定性质。对L4微内核操作系统的内存管理机制进行形式化抽象建模,针对L4内核API提供的地址空间操作原语Grant, Map和Flush等操作进行形式化描述,模拟地址页面映射的树形结构管理,运用模型检验工具SPIN对抽象模型进行了验证。
基于Spin的UML状态图模型检查的设计与实现
Statechart山脉算法 迁移提取 Spin
2009/7/21
UML已经是软件建模方面的标准语言,UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,Statechart往往包含设计者所未预料到的隐患,通过模型检查来对Statechart进行穷举检验就成为一个重要课题,首先给出了含层次、并发Statechart的语义;随后提出了对Statechart进行模型检查的一种新方法,并且已经编写软件SC2Spin实现此方...