Atomically Thin Femtojoule Memristive Device

The morphology and dimension of the conductive filament formed in a memristive device are strongly influenced by the thickness of its switching medium layer. Aggressive scaling of this active layer thickness is critical toward reducing the operating current, voltage, and energy consumption in filamentary‐type memristors. Previously, the thickness of this filament layer has been limited to above a few nanometers due to processing constraints, making it challenging to further suppress the on‐state current and the switching voltage. Here, the formation of conductive filaments in a material medium with sub‐nanometer thickness formed through the oxidation of atomically thin two‐dimensional boron nitride is studied. The resulting memristive device exhibits sub‐nanometer filamentary switching with sub‐pA operation current and femtojoule per bit energy consumption. Furthermore, by confining the filament to the atomic scale, current switching characteristics are observed that are distinct from that in thicker medium due to the profoundly different atomic kinetics. The filament morphology in such an aggressively scaled memristive device is also theoretically explored. These ultralow energy devices are promising for realizing femtojoule and sub‐femtojoule electronic computation, which can be attractive for applications in a wide range of electronics systems that desire ultralow power operation.     

Computer Simulations and Network-Based Profiling of Binding and Allosteric Interactions of SARS-CoV-2 Spike Variant Complexes and the Host Receptor: Dissecting the Mechanistic Effects of the Delta and Omicron Mutations

In this study, we combine all-atom MD simulations and comprehensive mutational scanning of S-RBD complexes with the angiotensin-converting enzyme 2 (ACE2) host receptor in the native form as well as the S-RBD Delta and Omicron variants to (a) examine the differences in the dynamic signatures of the S-RBD complexes and (b) identify the critical binding hotspots and sensitivity of the mutational positions. We also examined the differences in allosteric interactions and communications in the S-RBD complexes for the Delta and Omicron variants. Through the perturbation-based scanning of the allosteric propensities of the SARS-CoV-2 S-RBD residues and dynamics-based network centrality and community analyses, we characterize the global mediating centers in the complexes and the nature of local stabilizing communities. We show that a constellation of mutational sites (G496S, Q498R, N501Y and Y505H) correspond to key binding energy hotspots and also contribute decisively to the key interfacial communities that mediate allosteric communications between S-RBD and ACE2. These Omicron mutations are responsible for both favorable local binding interactions and long-range allosteric interactions, providing key functional centers that mediate the high transmissibility of the virus. At the same time, our results show that other mutational sites could provide a “flexible shield” surrounding the stable community network, thereby allowing the Omicron virus to modulate immune evasion at different epitopes, while protecting the integrity of binding and allosteric interactions in the RBD–ACE2 complexes. This study suggests that the SARS-CoV-2 S protein may exploit the plasticity of the RBD to generate escape mutants, while engaging a small group of functional hotspots to mediate efficient local binding interactions and long-range allosteric communications with ACE2.     

Formal methods for verification and validation of partial specifications: A case study

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety-critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for IV&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product, that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.     

Citywide: Supporting Interactive Digital Experiences Across Physical Space

The Citywide project is exploring ways in which technology can provide people with rich and engaging digital experiences as they move through physical space, including historical experiences, performances and games. This paper describes some initial results and experiences with this project based upon two prototype demonstrators. In the first, we describe an application in which a search party explores an archaeological site, uncovering enacted scenes within the virtual world that are of a historical relevance to their particular physical location. In the second, we describe a museum experience where participants explore an outdoors location, hunting for buried virtual artifacts that they then bring back to a museum for a more detailed study. Our demonstrators employ a varied set of devices, including mobile wireless interfaces for locating hotspots of virtual activity when outdoors, to give different experiences of the virtual world depending upon location, task, available equipment and accuracy of tracking. We conclude by discussing some of the potential advantages of using an underlying shared virtual world to support interactive experiences across extended physical settings.     

Verifying security protocols with PVS: widening the rank function approach

To enable the verification of authentication protocols, Schneider formulated the rank function approach which could be used, under suitable circumstances, to verify protocols modelled using the process algebra CSP. We develop this theoretical result and extend it to a practical framework which can be used to model and analyse a wider variety of security protocols with respect to a wider range of security specifications than were hitherto possible. These results are achieved using PVS, which also provides tool support for the rank function approach.     

面向微粒操纵的介电泳芯片系统研究

针对目前在纳米器件及传感器的制造中尚无对大量粒子进行有效操纵的方法,我们利用介电泳方法对大量微粒进行定位和传输操纵,介绍了利用MEMS工艺进行介电泳芯片加工的过程以及整个观测与实验系统的建立,通过有限元软件对传统介电泳和行波介电泳中电极阵列的电场分布进行求解,并在该实验系统下实现了对微通道中的悬浮高度和微粒的运动速度的测量.该实验系统的研究为液体环境下微纳颗粒的装配和分离提供了一条有效的技术路径.     

Evaluation of 1-dimensional nanomaterials release during electrospinning and thermogravimetric analysis

The growing research interests with engineered nanomaterials in academic laboratories and manufacturing facilities pose potential safety risks to students and workers. New nanoparticle substances, compositions, and processing approaches are developed regularly, creating new health risks which may not have been addressed previously. Accordingly, the Institute of Occupational Medicine conducted field studies at Texas A&M University (TAMU) to characterize possible particle emissions during processing and fabrication of carbon nanotubes, copper nanowires, and polymeric fibers. The nature of the monitoring work carried out at TAMU was to investigate the potential release of 1D nanomaterials to air from activities associated with synthesis, handling, thermal gravimetric analysis, and electrospinning processes, and evaluate the effectiveness of the utilized control measures. The potential nanoparticle release to air from each activity was investigated using a combination of particle detection instrumentations, coupled with standard filter-based sampling techniques. The analyses indicated that a measurable quantity of free carbon nanosphere aggregates was detected during these activities; however, no free MWCNTs or nanowires were detected. Scanning electron microscopy identified the presence of carbon nanospheres aggregates on the filters. While the control measures used at TAMU are effective in containing the nanomaterial release during processing, poor handling and occupational hygiene practices can increase the risk of employee exposure to the nanomaterials.