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.     

信息化教育下的学习理论及学习模式研究

在信息化教育的背景下,建构主义学习理论较行为主义和认知主义学习理论更能满足学习者的需求。自主学习、探究学习、协作学习三种学习模式也得到广泛应用。教师只有转变教学观念,改进教学策略,不断创新,才能促进信息化环境下学习模式的实现。     

磁性琼酯糖亲和吸附剂的合成与应用

采用反相悬浮包埋技术合成了粒径在43-295μm之间的磁性琼脂糖微球。磁性琼脂糖微球经环氧氯丙烷活化后，分别键合6-氨基已酸、氨基乙酸和乙二胺为间隔臂，用水溶性碳二亚胺为缩合剂，分别偶联对氨基苯甲脒、l-精氨酸甲酯和胍基已酸，制备了3种磁性亲和吸附剂，并用于尿激酶粗品的分离纯化。测定了活性回收率和比活提高倍数，并与以磁性葡聚糖为基质的磁性亲和吸附剂对尿激酶的纯化效果进行了对比。     

电力工程造价问题探究

随着市场经济的不断深入,电力建设也在快速发展.但与此同时,原材料价格上涨,建设规模的变化,电力工程的总造价和单位造价也在不断提高.如何合理确定和控制工程造价,使工程造价的增长控制在一定范围内,已成为当前一个重要课题.     

新的生存方式——复合图书馆

分析了图书馆的分类以及在信息化进程中为适应信息环境的需要促使复合图书馆的出现,结合复合图书馆的特点,提出新型的服务体系、空间效能和实体虚拟一体化馆藏格局的建议,探讨了信息时代更适合复合图书馆的新的生存方式。     

东江干流(惠州段)水生生态系统关键物种的优先保护顺序

以东江干流(惠州段)生物调查资料为依据,根据东江干流(惠州段)水生生态系统的食物结构,计算水生生态系统中各类种群的关键性指数,比较各类种群的关键性指数的大小,识别出关键物种;然后在计算每种关键物种濒危系数、遗传损失系数和物种价值系数的基础上得出其优先保护的顺序.结果表明:东江干流(惠州段)水生生态系统的关键物种为鱼类,处于1、2、3和4级保护级别的物种分别有1、3、7和39种;鲤鱼的保护顺序系数最高;四大家鱼亦应作为优先保护物种.     

我国社区矫正执行体制的缺陷及其改革

我国近年来推行的社区矫正改革总体进展不大.主要原因在于,我国现行社区矫正的执行体制存在严重缺陷,因此需要对其进行重大改革.     

创新型城市的形成过程研究

通过研究创新型城市建设成功案例，分析了由城市创新形成创新型城市的条件及各形成阶段特征，提出了只有具备了创新要素聚集、创新能力提高、j创新体制完善和创新文化浓厚等条件才能成为创新型城市。     

水泥稳定碎石基层施工工艺与质量控制

文章根据贵州贵都高速公路水泥稳定碎石基层的施工情况,介绍了水泥稳定碎石基层的材料、配比、拌和、摊铺、碾压和养生等施工工艺,并总结了质量控制要点.     

浅析事业单位会计制度的完善

在我国,事业单位会计制度的改革由于其涉及面广、改革难度大,更是引起理论界和实践界的广泛关注。事业单位会计处理出现了很多新的特征,导致现行事业单位会计制度存在的问题日益显现,文章主要提出了事业单位会计制度的完善措施。