靶丸装配位置偏差对靶丸表面温度均匀性的影响

为了研究靶丸装配对惯性约束核聚变间接驱动靶系统中靶丸表面温度场的影响,建立了三维冷冻靶系统数值计算模型,利用CFD软件的传热和Boussinesq模型分析了系统的传热规律,并对靶丸装配中可能产生的装配偏差的影响进行了探究。结果表明:靶丸在水平方向上的装配位置偏差会对靶丸表面温度场分布产生极大的影响,而在竖直方向上的装配位置偏差影响相对较小。在竖直方向上看,向上偏移的位置偏差相对于向下偏移的位置偏差对靶丸温度均匀性的影响会较大。     

BW-RAID系统的分布式异步版本识别机制

为解决BW-RAID系统中数据冗余模式从镜像向RAID4转换时的节点间缓存数据版本识别问题,提出了一种分布式异步版本识别机制。该版本识别机制在镜像卷中的一个逻辑块被更新时,为其生成一个新版本;在冗余模式转换时,通过比较镜像节点间的版本判定某一逻辑块在两个镜像节点缓存的数据是否一致,如果数据一致将其迁移到数据存储卷,否则暂存入镜像节点各自的磁盘缓存以保证系统的冗余一致性。实验表明,该机制在系统正常、降级、故障恢复状态下均能准确、有效识别一致数据;顺序写评测中存储负载小于1%,平均带宽提升最高达25.43%;Open-mail负载重播评测中存储负载低于40%,应用重播结束时写更新数据均完成冗余模式转换,实现了提高空间利用率的目标。     

DHT系统的安全性优化方法研究

对分布式哈希表(DHT)系统的安全脆弱性问题进行了研究,提出了多种安全性优化策略,并给出了一个原型系统。进行了真实网络实验,实验数据表明,现有DHT网络易受索引毒害和路由污染攻击,产生的错误查询结果甚至会引发更大规模的网络安全事件。通过改进一个个DHT系统的节点ID生成机制、路由表更新机制和搜索路径选择机制,从系统运行的各个阶段提升其安全场,抵御攻击者共谋。基于上述方法设计的原型系统在保证平均查询跳数增加不到1跳的情况下,在共谋攻击节点占比60%的网络中,将系统查询成功率保持在65%以上,其方法适用于各种分布式哈希表结构,具有重要的实际应用前景。     

一种面向事务型数据库的无锁并发B+tree索引结构

为了克服现有多版本并发控制(MVCC)进行数据的并发访问控制中短暂阻塞的缺点,达到读写完全并发,提出了一种基于写时复制的多版本并发B+tree(BCMVBT)索引结构。BCMVBT通过复制分离读写的操作空间以使读写事务在任意时刻完全并发执行,规避比较与交换(CAS)操作带来的高CPU消耗,达到一写多读场景下的完全并发。同时针对现有多版本开发B+tree(MVBT)范围查询的复杂操作,提出了无锁的BCMVBT的范围查询算法和回收机制,从而实现了索引的插入、查询、更新与回收的无锁并发操作。通过与事务型MVBT(transaction MVBT)的对比,在读写并发环境下BCMVBT的时间消耗降低了50%,实验进一步表明BCMVBT在大事务的场景下具有更高的优势。     

Autonomous Magnetic Microrobots by Navigating Gates for Multiple Biomolecules Delivery

The precise delivery of biofunctionalized matters is of great interest from the fundamental and applied viewpoints. In spite of significant progress achieved during the last decade, a parallel and automated isolation and manipulation of rare analyte, and their simultaneous on‐chip separation and trapping, still remain challenging. Here, a universal micromagnet junction for self‐navigating gates of microrobotic particles to deliver the biomolecules to specific sites using a remote magnetic field is described. In the proposed concept, the nonmagnetic gap between the lithographically defined donor and acceptor micromagnets creates a crucial energy barrier to restrict particle gating. It is shown that by carefully designing the geometry of the junctions, it becomes possible to deliver multiple protein‐functionalized carriers in high resolution, as well as MCF‐7 and THP‐1 cells from the mixture, with high fidelity and trap them in individual apartments. Integration of such junctions with magnetophoretic circuitry elements could lead to novel platforms without retrieving for the synchronous digital manipulation of particles/biomolecules in microfluidic multiplex arrays for next‐generation biochips.     

Reproducible Enhancement of Fluorescence by Bimetal Mediated Surface Plasmon Coupled Emission for Highly Sensitive Quantitative Diagnosis of Double‐Stranded DNA

Plasmonic enhancement of fluorescence from SYBR Green I conjugated with a double‐stranded DNA (dsDNA) amplicon is demonstrated on polymerase chain reaction (PCR) products. Theoretical computation leads to use of the bimetallic (Au 2 nm–Ag 50 nm) surface plasmons due to larger local fields (higher quality factors) than monometallic (Ag or Au) ones at both dye excitation and emission wavelengths simultaneously, optimizing fluorescence enhancement with surface plasmon coupled emission (SPCE). Two kinds of reverse Kretschmann configurations are used, which favor, in signal‐to‐noise ratio, a fluorescence assay that uses optically dense buffer such as blood plasma. The fluorescence enhancement (12.9 fold at maximum) with remarkably high reproducibility (coefficient of variation (CV) < 1%) is experimentally demonstrated. This facilitates credible quantitation of enhanced fluorescence, however unlikely to obtain by localized surface plasmons. The plasmon‐induced optical gain of 46 dB due to SPCE‐active dye molecules is also estimated. The fluorescence enhancement technologies with PCR enables LOD of the dsDNA template concentration of ≈400 fg µL^?1 (CV < 1%), the lowest ever reported in DNA fluorescence assay to date. SPCE also reduces photobleaching significantly. These technologies can be extended for a highly reproducible and sufficiently sensitive fluorescence assay with small volumes of analytes in multiplexed diagnostics.     

基于IEEE1588协议时钟同步精度影响因素的研究

随着分布式测试技术的快速发展,对地理位置分散的测试设备协同完成测试任务的需求也越来越大,而设备之间的时钟同步精度成为制约测试效果的关键因素;为了对时钟同步精度的影响因素进行研究,提出了基于IEEE1588协议的网络时钟同步实现方案;首先对IEEE1588基本原理进行分析,然后提出了IEEE1588协议的实现方案,最后搭建实验平台对影响同步精度的因素进行研究;研究结果表明,同步间隔和网络拓扑结构影响时钟同步精度的两个主要因素。     

磁悬浮飞轮储能系统机电耦合非线性动力学研究

针对磁悬浮飞轮储能系统的"磁悬浮飞轮-发电机"机电耦合非线性动力学特性进行研究.通过推导磁悬浮飞轮储能系统在偏心条件下的动能、势能、发电机系统的磁场能以及系统的耗散函数,由Lagrange-Maxwell方程建立磁悬浮飞轮系统和两相四极永磁发电机系统的机电耦合动力学方程.采用数值法对0.6MW磁悬浮飞轮储能系统进行了仿真分析,研究结果表明,系统机电耦合非线性方程存在稳定的与转速同频的基频和三倍频周期运动解,且基频振动幅值比三倍频振动幅值大.对于稳定的磁悬浮储能飞轮机电耦合系统,飞轮转速增大,或磁轴承系统刚度减小或阻尼增大,或磁场能(电枢反应磁场能或永磁励磁磁场能)减小,可使系统的非线性振动幅值减小.而增大磁轴承系统的刚度,或减小磁轴承系统的阻尼,或增大系统的磁场能有可能破坏机电耦合系统的稳定性,使飞轮失稳.     

Common Knowledge and Update in Finite Environments

Logics of knowledge have been shown to provide a useful approach to the high level specification and analysis of distributed systems. It has been proposed that such systems can be developed using knowledge- based protocols, in which agents' actions have preconditions that test their state of knowledge. Both computer-assisted analysis of the knowledge properties of systems and automated compilation of knowledge-based protocols require the development of algorithms for the computation of states of knowledge. This paper studies one of the computational problems of interest, the model checking problem for knowledge formulae in the S5_nKripke structures generated by finite state environments in which states determine an observation for each agent. Agents are assumed to have perfect recall and may operate synchronously or asynchronously. It is shown that, in this setting, model checking of common knowledge formulae is intractable, but efficient incremental algorithms are developed for formulae containing only knowledge operators. Connections to knowledge updates and compilation of knowledge-based protocols are discussed.     

冲击式机组动能参数在线监测

鉴于冲击式水轮机结构上的特殊性,其流量效率等动能参数在线监测目前在国内还是项空白,针对冲击式机组的具体情况,探讨了基于压差理论的监测途径,在此基础上结合一个冲击式电站的实例,设计出了利用单片机来实现的方案．