面向对象分布事务的并发控制调度

使用消息队列和多线程,以页为封锁单元,给出一个基于工作流管理系统的面向对象分布事务的并发控制调度算法.为确保分布事务整体的独立性,引入家族ID的概念,并对以前的算法进行了改进.     

Transfer of entangled state, entanglement swapping and quantum information processing via the Rydberg blockade

We provide a scheme with which the transfer of the entangled state and the entanglement swapping can be realized in a system of neutral atoms via the Rydberg blockade. Our idea can be extended to teleport an unknown atomic state. According to the latest theoretical research of the Rydberg excitation and experimental reports of the Rydberg blockade effect in quantum information processing, we discuss the experimental feasibility of our scheme.     

利用偶极封锁制备多粒子三维纠缠态

选择碱金属原子的三个稳定基态为qutrit,其里德堡态为辅助态,借助调节经典脉冲所实现的单量子比特操作和偶极封锁机制分别制备了两原子三维最大纠缠态和三原子三维最大纠缠态。     

配电网静止无功补偿器的故障分析及仿真

利用电磁暂态仿真软件包PSCAD/EMTDC建立了基于IGBT的±100 kvar配电网静止无功补偿器(DSTATCOM)装置的仿真模型。根据该模型对装置自身的两种主要故障以及系统故障对装置的影响进行了详细的计算分析和仿真,并采用脉冲封锁保护方式使装置在经受瞬时扰动或故障时迅速对装置进行保护,同时封锁脉冲后在直流侧不会产生过电压。现场测试结果表明,该模型正确,保护有效。     

中国首台自动光学检测设备研制成功

屈就前,中国电子科技集团第45所（燕郊）与加拿大共同合作的“自动光学检测（AOI）设备技术”研制成功,各项技术指标均达到国外同类设备水平。这标志着我国打破了国外在自动光学检测设备领域的垄断与技术封锁,使自动光学检测设备进口产品降价30％。     

运营线施工中如何减少对运输的干扰

从运营线施工和运输的辩证关系出发 ,探讨了运输部门与施工部门的相互关系 ,指出了施工中减少对运输的干扰在于双方的及时协调、发挥和统一组织     

新型复合金属封锁剂

在实验室合成了分子量从980到45000的一系列聚丙烯酸及其钠盐。结果发现分子量较低的聚丙烯酸钠对Fe~(3+)离子具有较高的络合分散力和较强的钙皂分散力。新型复合金属封锁剂是用聚丙烯酸钠和其它助剂复配而成。同日本商品金属封锁剂K相比较,复合金属封锁剂对钙皂分散力和络合Ca~(2+)离子的能力较封锁剂K好。用复合金属封锁剂精烁后的丝绸白度为87,而封锁剂K精炼后的丝绸的白度为86.2。根据本文所得结果表明新型复合金属封锁剂是一种有效的丝绸精炼助剂。     

命题逻辑中一类扩展子句消去方法

随着计算机求解问题越加复杂,问题在转化为命题逻辑子句集包含的冗余信息也越来越多,浪费计算机大量的储存空间和搜索解的时间,因此,对于冗余信息的删减有助于提高计算机求解问题的效率．针对命题逻辑子句集化简问题,在原有冗余性质P、RP基础上,提出多种扩展的、具有性质HRP、ARP的子句消去方法,并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET_BC)、蕴涵模归结原则(IMR)结合,分别提出不对称集合封锁(ASET_BC)消去方法和不对称蕴涵模归结(AIMR)原则．最后,提出L-集合蕴涵模归结(L-SET_IMR)原则和L-不对称集合蕴涵模(L-ASET_IMR)原则．所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法．