The author constructed a transformer Scp4 of functional programs. The transformer uses the technology known as Turchin's supercompilation. Scp4 was implemented in a functional language Refal 5. The input language...The author constructed a transformer Scp4 of functional programs. The transformer uses the technology known as Turchin's supercompilation. Scp4 was implemented in a functional language Refal 5. The input language for Scp4 is also Refal 5. In the present paper we give an outline of the supercompiler and consider a number of tools of the transformer in details. The tools can be formally thought of as quasi distributive laws.展开更多
We present a study of single nanoparticle detection using parity-time(PT) symmetric whispering-gallery mode(WGM) resonators. Our theoretical model and numerical simulations show that, with balanced gain and loss, the ...We present a study of single nanoparticle detection using parity-time(PT) symmetric whispering-gallery mode(WGM) resonators. Our theoretical model and numerical simulations show that, with balanced gain and loss, the PT-symmetric WGM nanoparticle sensor, tailored to operate at PT phase transition points(also called exceptional points), exhibits significant enhancement in frequency splitting when compared with a single WGM nanoparticle sensor subject to the same perturbation. The presence of gain in the PT-symmetric system leads to narrower linewidth, which helps to resolve smaller changes in frequency splitting and improve the detection limit of nanoparticle sensing. Furthermore, we also provide a general method for detecting multiple nanoparticles entering the mode volume of a PT-symmetric WGM sensor one by one. Our study shows the feasibility of PT-symmetric WGM resonators for ultrasensitive single nanoparticle and biomolecule sensing.展开更多
文摘The author constructed a transformer Scp4 of functional programs. The transformer uses the technology known as Turchin's supercompilation. Scp4 was implemented in a functional language Refal 5. The input language for Scp4 is also Refal 5. In the present paper we give an outline of the supercompiler and consider a number of tools of the transformer in details. The tools can be formally thought of as quasi distributive laws.
基金Army Research Office(ARO)(W911NF-12-1-0026,W911NF1710189)National Natural Science Foundation of China(NSFC)(11674194,61134008,61622306)+4 种基金National Basic Research Program of China(973 Program)(2014CB921401)Tsinghua University Initiative Scientific Research ProgramTsinghua National Laboratory for Information Science and Technology(TNList)Cross-discipline FoundationNational Science Foundation(NSF)(ECCS-1303499)Directorate for Engineering(ENG)(EFMA1641109)
文摘We present a study of single nanoparticle detection using parity-time(PT) symmetric whispering-gallery mode(WGM) resonators. Our theoretical model and numerical simulations show that, with balanced gain and loss, the PT-symmetric WGM nanoparticle sensor, tailored to operate at PT phase transition points(also called exceptional points), exhibits significant enhancement in frequency splitting when compared with a single WGM nanoparticle sensor subject to the same perturbation. The presence of gain in the PT-symmetric system leads to narrower linewidth, which helps to resolve smaller changes in frequency splitting and improve the detection limit of nanoparticle sensing. Furthermore, we also provide a general method for detecting multiple nanoparticles entering the mode volume of a PT-symmetric WGM sensor one by one. Our study shows the feasibility of PT-symmetric WGM resonators for ultrasensitive single nanoparticle and biomolecule sensing.