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.     

浅析平朔安太堡矿区采空区瞬变电磁异常特征

应用瞬变电磁勘探方法对平朔煤矿采空区进行勘查,介绍了瞬变电磁法野外数据采集技术,并对采空区的瞬变电磁法视电阻率异常特征进行了分析,推断了采空区平面分布范围并经钻探验证。通过对瞬变电磁资料、地调资料、钻探资料综合解译,分析了平朔煤矿安太堡矿区不充水采空区瞬变电磁法呈现低电阻率异常特征的原因。     

基于遗传算法SVM的基因表达谱数据分析

提出一种基于遗传算法的数据挖掘方法——TGASVM,它能够尽可能少地选出分类能力强的信息基因.实验表明与同类的算法相比,TGASVM算法无论是分类准确率,还是挑选信息基因数目都优于同类算法.     

如何更好地编制建筑工程投标报价

文章结合多年的实践经验,分析了施工企业在经营工作中如何更好地把握市场形势,顺应发展潮流,适应投标环境,发挥企业优势,建立科学、完善的投标管理体系,灵活合理运用报价策略和报价计巧,更好地做好投标报价工作,在竞争日益激烈的市场中立于不败之地。     

试论10kV配电无功补偿应用

基于无功补偿对电网的安全、优质、经济运行具有重要作用,因此,无功补偿方式的选择和补偿装置的安装、运行维护非常重要。笔者通过工程实例,对10 kV配电无功补偿进行了探讨。     

灰潮土油菜复肥的产量品质效益

速效磷钾含量中上等的灰潮上研究,施用氮磷复肥能增强油菜植株氮磷的吸收能力,促进营养物质积累,增加角果数和粒数,增产极显著;并明显提高油菜籽粒蛋白质及氨基酸含量,降低硫甙含量。在氮磷复肥基础上配合施钾肥则能显著提高产油量,降低芥酸含量。     

高温冷却柴油机的燃油喷射特性和喷雾特性

目前,为了进一步提高车用涡轮增压柴油机的功率,而又不至于增大其散热器的尺寸,有利于车辆动力舱的布置,趋向于采用高温冷却发动机的气缸和燃烧室组件的技术。在高温冷却下,发动机的冷却水温度从80～90℃提高到120℃。这样可以减少冷却水所传走的热量,达到适当控制其冷却水散热器的尺寸的目的。 本文主要研究高温冷却柴油机在整机温度和环境温度提高之后,柴油机燃料密度和可压缩性的变化对燃油喷射和雾化特性的影响。     

直线滚动导轨考虑滑块体弹性变形时的刚度计算

本文应用赫兹（Hertz）弹性接触变形理论,以及有限元方法,分析了直线滚动导轨考虑滑块体弹性变形时的工作机理,即物理关系和几何关系,导出了承受垂直载荷时的刚度计算方法,并通过实验验证了本计算方法的有效性.     

青海东部的发菜资源及其合理开发的措施

本文对青海东部地区10县1市发菜资源进行了考察,上述地区均有发菜分布,发菜产区均为干旱半干旱的大陆性气侯,土壤为灰钙土和淡栗钙土.在其中所取的26个4m~2的样方上,最低产量为37.46kg/km~2,最高产量为497.76kg/km~2.作者还根据调查结果,提出了合理开发该地区发菜资源的若干措施.     

非完整力学的辛几何方法

以一个特殊辛流形的Lagrange子流形的子流形的形式研究了非完整自治力学系统,分别考虑了力学系统的Hamilton描述和Lagrange描述。