高温直流超导量子干涉器心磁图仪的研制

研制了用于心磁测量的直流高温量子干涉器,并建立了单通道高温直流超导量子干涉器心磁图仪. 根据临床诊断标准,在磁屏蔽室内依次调节无磁床的位置,采集了人体胸前平面5×5正方格子上各点的心磁数据. 实验结果表明,健康人与心脏病患者的心脏磁场信号存在明显差异. 利用该系统,可为心脏病的临床诊断提供有价值的实验数据.     

和谐社会视野下的司法公信力研究

作为社会公平正义最后防线的司法机关,提升司法公信力,让民众把司法作为定纷止争、维护稳定的自觉选择,是推进依法治国进程的必经途径.我们应当认真分析我国司法公信力的现状及原因,积极探索构建司法公信体系的途径.     

经济学视野下构建和谐社会的路径探索

构建社会主义和谐社会是全面落实科学发展观、更好地推进我国经济社会发展的一个重大理论问题,也是一个重大实践问题,学者们从不同的视角对其进行了卓有成效的研究,本文从经济学的角度对目前社会经济发展失衡的成因,构建社会主义和谐社会的原则以及构建社会主义和谐社会的路径进行了深入探索.     

求解约束非线性规划的ABS算法软件

求解约束非线性规划的ＡＢＳ算法软件王锡禄，冯恩民，夏尊铨，张立卫（应用数学系）本算法是大连理工大学应用数学系与意大利Ｂｅｒｇａｍｏ大学ＡＢＳ算法合作组历经两年时间研究所得，为ＡＢＳ算法最新成果。参加人员意大利方面有著名数值优化专家Ｅ．Ｓｐｅｄｉｃａｔ...     

Pushing Multiple Convertible Constrains into Frequent Itemsets Mining

Constraint pushing techniques have been developed for mining frequent patterns and association rules. How ever, multiple constraints cannot be handled with existing techniques in frequent pattern mining. In this paper, a new algorithm MCFMC （mining complete set of frequent itemsets with multiple constraints） is introduced. The algorithm takes advantage of the fact that a convertible constraint can be pushed into mining algorithm to reduce mining research spaces. By using a sample database, the algorithm develops techniques which select an optimal method based on a sample database to convert multiple constraints into multiple convert ible constraints, disjoined by conjunction and/or, and then partition these constraints into two parts. One part is pushed deep inside the mining process to reduce the research spaces for frequent itemsets, the other part that cannot be pushed in algorithm is used to filter the complete set of frequent itemsets and get the final result. Results from our detailed experi ment show the feasibility and effectiveness of the algorithm.     

光和物质间的首次量子隐形传送

量子隐形传送的概念一以无实体的传输方式把量子系统的状态输送到其它地方一首次在两个不同光束间的传输实验中得到了实现。后来将一个选定离子的特性传输给另一个相同类离子也变得可能。以马普学会教授Ignacio Cirac和哥本哈根NielsBohr学院教授Eugene Polzik为首的科学家团队证明了光脉冲的量子态也能被传输到宏观物体上。这是在不同状态物体间进行的首次成功的量子隐形传送一动态的光和静念的原子之间。这种成功的结果不仅是基础理论研究,而且最根本的是在量子计算机或代码数据传输(量子加密)领域具有现实应用的意义。自从上世纪90年…     

关于准粒子系统的讨论

通过对准粒子概念的分析及准粒子系统所遵从量子统计规律的应用举例,给出了准粒子系统的一般处理方法.     

GATEST:使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。