Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

鲁滨逊能遵守规则吗?——关于个体论与集体论之争的解决

基于维特根斯坦的遵守规则理论,以鲁滨逊为例,分别论述了个体论者麦金和集体论者布鲁尔对于一个与世隔绝的鲁滨逊是否能遵守规则的看法。对于个体论者和集体论者来说,他们都认为与世隔绝的鲁滨逊能遵守规则,虽然前提一致,但产生的结论却大相径庭。对于个体论者来说,遵守规则的前提只不过是基于个体心理活动的一种意图,而对集体论者来说遵守规则必须是可共享的,它离不开社会及周围环境的影响。     

少数民族地区高校美术创新教育的研究

少数民族地区高校美术教育应根据自身的环境和经济发展状况实施创新教育,以"全人"的培养为目的,把基础知识、基本技能的学习与培养学生创新能力、实践能力和创业精神有机地结合起来,以促进本地社会经济的发展.     

基于心率遥测的某单人单机系统操作手心理分析

本文结合某单人单机系统操作手作业的心率遥测实验,梳理总结了操作手在不同环境中的心理特点,认真剖析了不同作业环境对操作手心理的影响因素,提出了加强操作手心理训练的针对性对策。本文对增强某单人单机系统操作手心理素质、推动该型装备作战效能发挥具有一定实践应用价值。     

侗族青少年母语使用情况探析——以广西三江侗族自治县独峒乡、林溪乡为例

通过对广西三江侗族自治县侗族青少年母语使用情况的调查,分析了侗族青少年的语言生活,认为:侗族青少年母语使用现状具有稳定性、兼用性、差异性的特点;侗族青少年在使用侗语过程中出现小舌音声母脱落、侗语词汇量减少、语法结构与汉语趋同等新特点;侗族青少年总体出现母语能力下降的趋势。在此基础上,就侗族母语使用情况的演变趋势进行了讨论。     

羊毛织物抗菌防缩功能整理

应用常用杀菌剂六亚甲基双胍(PHMB)处理由过一硫酸氢钾复合盐和亚硫酸钠预处理的羊毛织物,研究整理后羊毛织物的防缩和抗菌性能.在浸轧和浸渍两种处理工艺中,预处理过的羊毛织物对PHMB的结合率(owf,相对织物质量百分比)分别高达4.6%和4.4%.这种抗菌处理使得羊毛织物具有高效的抗菌性能,几乎能够杀灭所有接种大肠杆菌.该抗菌能力也有耐洗性,经过相当于40～50次ISO5A重复洗涤后,PHMB处理过的羊毛织物对大肠杆菌的灭菌率仍高达93.3%(浸轧)和99.3%(浸渍).在扫描电镜下观察,发现PHMB能覆盖羊毛表面的磷片,从而产生防缩效果.PHMB含量(owf)为8%处理后的羊毛织物,经过相当于40～50次ISO5A重复洗涤,其面积毡缩率降低至8.4%(浸轧)和6.1%(浸渍).因此,PHMB的一步法处理使得羊毛织物同时具有了抗菌和防缩的双重性能.     

Si/SiN_x多层膜能带结构的理论研究

利用Kronig-Penney模型计算了Si/SiNx多层膜结构中Si亚层的能带结构.结果表明,无论是减少Si或Si/SiNx亚层的厚度都将导致Si层的带隙发生宽化,计算结果与实验值符合较好.进而还发现,当Si层厚度减小时,Si/SiNx多层膜结构中载流子(电子和空穴)的有效质量均减小,有利于对载流子复合发光的控制.计算结果对实验上研究发光可控的Si/SiNx多层膜结构有重要指导意义.     

复形式Fouries级数内积空间的积分公式

主要通过内积空间基本性质及二重积分性质,得到复形式Fourier级数内积空间的积分公式.     

当前合同制消防队伍发展过程中存在的问题及其对策研究

合同制消防队伍是国家大力发展多种形式消防队伍的一种重要发展形式,能有效缓解各地公安消防力量的不足。本文分析了合同制消防队伍发展过程中的主要问题,探究了这些问题的原因,并提出了相应的解决对策,以期对公安消防工作的良性发展提供一定的帮助。     

民族高校图书馆自建特色数据库的调查与分析

自建特色数据库是民族高校图书馆顺应数字化发展趋势的需要,也是切实解决现实发展困境的有效途径。对民族高校图书馆自建特色数据库的现状进行了调查,针对存在的问题提出了具体的解决对策。