Spin相关论文
因通信的同步问题、网络分区的可靠性问题等，分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识．Paxos是近年分布......
背景:Spin是在科学文献中通过对结果的歪曲解释,误导读者从更有利的角度来看待结果的一种导向型陈诉。医学中spin的存在可能对进一......
无线传感器网络是信息领域的研究热点之一,可用于特殊环境的信号采集、处理和发送,是一种全新的信息获取和处理技术。受限于传感器......
本文采用幺正变换和改进的线性组合算符相结合的办法研究了自旋对量子线中强耦合束缚极化子性质的影响。计算了在自旋影响下量子线......
Spatial precession is a special micro-motion of the spinning-directional target,and the micro-Doppler signature of the c......
摘 要：M701F燃气轮机停机后，由SFC带动机组升速至710r/min左右，维持该转速运行，此操作称为高速盘车。本文系统阐述了高速盘车的作用、......
本文旨在研究软件模型检测及其工具实现，包括模型的表示、检测的算法、实现方案、案例分析和如何与软件开发过程相结合等问题。......
工作流是在计算机辅助下全部或部分自动执行的工作过程。Internet的发展对工作流的发展起了极大的促进作用,使计算机支持的分布式......
模型检测是近二十年来最成功的形式化自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于并发系统的分析与验证中。......
目的观察鞘内注射N-甲基-D-天门冬氨酸(NMDA)受体NR1亚基激动和拮抗剂对坐骨神经慢性缩窄性损伤(CCI)模型大鼠行为学、痛阈以及脊......
由于计算机技术的快速发展,系统的可靠性与安全性问题也成为了人们重点关注的问题。目前为了确保系统的可靠性与安全性,一般采用测......
计算机联锁系统作为典型的安全苛求系统是铁路控制系统的核心部分,在保障行车安全方面起着无可替代的作用,因此必须保证其安全性和......
安全协议,是以密码学为基础的信息交换协议。由于安全目标本身的复杂性、协议运行环境的复杂性以及攻击者模型的复杂性等多方面的......
主持人赵周赵周老师曾在阿里巴巴集团、华数集团等知名企业从事销售相关工作多年,历任一线销售、销售管理、销售策划、销售培训以......
目的 评价胶原支架结合脑源性神经营养因子(brain-derived neurotrophic factor,BDNF)移植修复大鼠全横断脊髓损伤的效果.方法 将 ......
保险行业是国家金融支柱之一，是社会经济稳定发展的重要因素。人寿保险行业是保险行业的一个重要的组成部分，随着国内人寿保险行业的......
西昌 610005;3.中国电子系统设备工程公司研究所,北京 100141) 摘要:规格描述语言SDL目前广泛应用于复杂通信协议和软件系统的......
目的 观察乙醇治疗大白兔急性脊髓型减压病的疗效.方法 将58只新西兰大白兔分为乙醇组25只、生理盐水组20只和不采取任何治疗措施......
The purpose of this study is to investigate and quantify some possible sources of dispersion of 120 mm APFSDS tank ammun......
模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据......
无线传感器网络集成了传感器技术、嵌入式技术、分布式信息处理技术和无线通讯技术,是一种全新的信息获取和处理技术。在各种应用......
目的 探讨经后路椎体次全切除三柱重建治疗不稳定性胸、腰椎单发爆裂型骨折的临床疗效.方法 2005年1月至2009年3月,采用该术式治疗......
目的探讨动态F波检测对平山病颈椎前路融合内固定术后疗效的预测价值。方法2014年2月至2016年1月期间，按纳入及排除标准选取36例采......
目的探讨阈值追踪技术评估平山病患者神经损害的可行性。方法2017年6月至2017年10月在华山医院骨科就诊的17例平山病患者纳入研究（......
目的探讨多点刺激运动单位估数（motor unit number estimation，MUNE）评价平山病患者颈椎前路融合内固定术后疗效的价值。方法回顾性分......
目的探讨颈椎前路融合或非融合内固定术治疗平山病的中期临床疗效。方法2008年7月至2015年12月期间采用颈椎前路手术治疗平山病患......
目的探讨颈椎前路融合内固定术治疗平山病的中远期疗效。方法回顾性分析2008年5月至2011年5月期间31例明确诊断为平山病的临床资料......
The diamond films were deposited on a Si substrate with chemical vapor deposition MCVD using methanehydrogen gas. Raman ......
第16届Spin Expo针对2011年秋冬季,有来自18个国家和地区的180家企业参展.参展的日本以及日资企业有堀田(上海)贸易公司、MITSUBIS......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Non-classical correlation between a single photon and the collective spin excited state of a cold at
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
本文运用模型检测技术,以Dolev-Yao模型为基础,提出了使用Promela语言和模型检测工具SPIN对Andrew RPC协议进行建模和分析的方法,......
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式.本文从语义角度研究PROMELA语......
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有......
近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势.因此,CSCW系统的......
Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model
Memory is one of the critical resources in model checking. This paper discusses a strategy for reducing peak memory in m......
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言......
传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码......
目的：对退行性腰椎侧凸后路长节段融合内固定不同上端固定椎选择进行Meta分析，探讨不同上端固定椎对临床疗效的影响。方法计算机检索......
目的 分析颈、胸、腰椎多节段椎管狭窄症患者行一期椎管减压术的临床疗效.方法 收集2009年10月～2012年5月解放军第八十九医院脊柱外......
The nonlinear dynamic model of spinning ballistic missiles is established during the first boosting phase of the missile......
Toxic effects of chlortetracycline on maize growth, reactive oxygen species generation and the antio
The toxicity of chlortetracycline (CTC) on maize (Zea mays L.) growth and reactive oxygen species (ROS) generation was s......
We have developed a path integral formalism of the quantum mechanics in the rotating frame of reference, and proposed a ......
目的 研究用苯甲基磺酰氟(PMSF)预处理对有机磷化合物诱导的迟发性神经病(OPIDN)母鸡脊髓中神经丝(NFs)动态变化的影响,探索OPIDN......
提供了利用欧拉方法计算的某改型飞机尾旋时间历程结果,文中比较了使用和没使用洗流时差动导数数据对计算结果的影响,说明洗流时差......
介绍了中国航空工业空气动力研究院自主开发的旋转流场下单自由度振荡系统及相应的试验技术.尾旋特性分析及预测时所使用的动导数......
