函数式程序设计方法在VLSI中的基础性应用研究

提出了处理量子系统相应阻尼的主方程方法，并用于场原相互作用中的非经典效应研究。提出了一个具普适意义的非线性去相干性模型，并用于研究囚禁离子和玻色凝聚系统的去相干性问题，很好地解释了有关实验结果。利用量子超快搜寻的方法和激光操纵离子的技术提出了一种制备多声子相干态及其迭加态，纠缠态方案，为量子态的构造和制备提供了新方法。研究了激光与单个玻色凝聚相作用的量子动力学，提出了用激光操纵和控制凝聚的量子统计的思想。提出了一种处理两个玻色凝聚间相干原子隧穿的理论方法，比较系统地研究了两个凝聚系统的隧穿动力学和宏观量子自囚禁现象，发现去相干性抑制隧穿。为处理多个凝聚系统的隧穿和宏观量子效应提供了理论方法。