基于知识的人机接口开放模型

本文基于对用户表达模型的研究,提出了一种人机接口的开放模型,它将交互式系统划分为六层:输入/出介质层、概念层、语法/语义层、领域层、方式/风格层和计算层,并采用知识作为描述各层功能的规范说明语言.知识成为开放模型人机接口的开发设计维护的基础.本文着重介绍了开放模型及其各层使用的知识,并讨论了它具有的特征,最后给出了一个交互实例及结论.     

内函数逼近定理及上溢原理的推广及应用

在κ-饱和的非标准模型中,首先推广了内函数逼近定理,并用这一推广定理证明了著名的A sco li定理;其次将上(下)溢原理推广到一般的定向集上,并证明了拓扑空间中单子的一些性质,给出了无穷小延伸定理的一个简单证明.     

扭转预变形提高Cu71.6Al17Mn11.4形状记忆合金强度和阻尼性能的研究

为了提高铜基形状记忆合金(SMAs)的强度和阻尼性能,并保持较高的恢复应变,本文选择扭转预变形工艺(TPD)对Cu71.6Al17Mn11.4 SMA进行预变形处理,并且研究了几种不同TPD变形量对Cu71.6Al17Mn11.4 SMA的力学性能和相组织结构的影响.结果表明,通过TPD处理后,Cu71.6Al17Mn...     

半群作用Li-Yorke对的存在性

设X为紧度量空间,T为半群,本文研究了动力系统（X,T）上Li-Yorke对的存在性问题,证明了当（X,T）拓扑可迁且包含周期点时,在（X,T）上存在无限scrambled集.另外,列举了一些不包含Li-Yorke对的动力系统.     

效应代数的表示理论

The aim of this paper is to characterize representable and weak representable effect algebras and establish a representation theory of effect algebras. An effect algebra E is said to be representable if there exists a Hilbert space H and a monomorphism π from E into the Hilbert space effect algebra ε(H) and it is said to be weakly representable if there exists an injective morphism from E into some ε(H). It is proved that an effect algebra E with the nonempty state space S(E) is representable if and only if x, y ∈ E, f(x)+f(y) ≤ 1 implies x⊕y is defined; it is weakly representable if and only if the state space S(E) separates the points of E. Some operational properties of representable effect algebras are established, and some applications of the obtained results are listed.     

金属薄膜表面化学反应活性中的量子尺寸效应

本文首先简要介绍了金属薄膜的量子尺寸效应及其对表面化学性质的影响,然后对Pb/si体系量子尺寸效应的近期研究进行了综述,最后详细介绍了量子效应对表面化学反应活性的影响.扫描隧道显微镜观察表明:在Pb(111)单晶薄膜表面卜的分子吸附和氧化反应随着薄膜厚度一个原子层一个原子层变化时会出现振荡现象.通过研究薄膜中量子阱态的形成、费米能级处电子态密度的变化与薄膜的表面反应活性之间的关系,我们从实验上直接定量地证明了最子尺寸效应对表面反应活性的调控作用.     

基于最小各向同性小波滤波的图像清晰度识别

提出了基于最小各向同性小波滤波的图像清晰度识别方法,对二维最小各向同性小波滤波提取图像特征进行了研究.直接将原始图像通过带通小波滤波器G0获得图像边缘信息,结合图像能量分析,建立了基于小波滤波的图像清晰度评价函数.利用构建的显微镜自动对焦实验平台,比较分析了基于小波滤波和拉普拉斯的评价方法.实验结果表明,采用基于各向同性小波滤波的自动对焦算法有更好的综合自动对焦性能.     

Experimental Realization of an Intrinsic Magnetic Topological Insulator

An intrinsic magnetic topological insulator(TI) is a stoichiometric magnetic compound possessing both inherent magnetic order and topological electronic states. Such a material can provide a shortcut to various novel topological quantum effects but remained elusive experimentally for a long time. Here we report the experimental realization of thin films of an intrinsic magnetic TI, MnBi_2Te_4, by alternate growth of a Bi_2Te_3 quintuple layer and a MnTe bilayer with molecular beam epitaxy. The material shows the archetypical Dirac surface states in angle-resolved photoemission spectroscopy and is demonstrated to be an antiferromagnetic topological insulator with ferromagnetic surfaces by magnetic and transport measurements as well as first-principles calculations. The unique magnetic and topological electronic structures and their interplays enable the material to embody rich quantum phases such as quantum anomalous Hall insulators and axion insulators at higher temperature and in a well-controlled way.     

利用外腔谐振倍频产生780nm原子吸收线明亮振幅压缩光

采用连续单频1.56μm激光光源作为泵浦光,通过周期极化铌酸锂晶体外腔倍频过程实验制备出位于原子吸收波线的780nm明亮振幅压缩态光场。在利用2个模清洁器过滤基频光的强度噪声、使之在分析频率4MHz处达到散粒噪声的基础上,利用谐振倍频获得输出功率为10mW、转换效率达40%的倍频光,实测的780nm明亮振幅压缩光的压缩度为0.6dB。     

单重态氧化物 IV: 6-取代-1,4-环辛二烯的光敏氧化反应

6-取代-1,4-环辛二烯与单重态氧立体有选择地氧化成顺式5,8-和反式5,6-二取代-1,3-环辛二烯的含氧衍生物. 依据产物的分子结构推知, 6-取代-1,4-环辛二烯发生“ene"反应时的优势构象不同于环辛烷, 而是具有角张力的扭曲构象(1), 这为研究环烯的分子构象提供了一种实验方法.用Monroe法测定了6-取代-1,4-环辛二烯对单重态氧反应的β值. 其反应活性顺序为:3>1>4>1, 5-环辛二烯>2>5. 表明推电子取代基增加了同单重态氧反应的能力, 而吸电子取代基则降低了同单重态氧的反应能力, 但是不论取代基性质如何, 都不能改变“ene"反应的本质.