一种求解合取范式可满足性问题的数学物理方法

给出合取范式与带电质点在某类静电场中势函数的一一对应关系,证明判断一个合取范式是否可满足等价于判断一个带电质点在相应的静电场中是否有使其势函数为零的位置,由于带电质点在静电场中总是沿使其势能下降最快的方向,也就是沿其势函数梯度指引的方向运动,并最终达到势能最低的位置。因此,对一个客观上可满足的合取范式所对应的势函数,使用梯度算法是求使该合取范式成真的赋值的高效算法。     

参态逻辑

提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式.     

实现Ada语言任务通讯的一个高效算法

本文分析了Ada语言的汇聚机制(rendevous),并使用语法直接解释的方法(Syntax-directed translation)给出了一个在Ada子集上实现任务间同步及通讯的高效算法。     

基于全内反射光子晶体多模波导偏振无关型光分束器

研究了全内反射在光子晶体多模波导中的作用,利用常规的耦合模理论对对称入射时的多模干涉行为和自映射现象进行了讨论和分析.研究表明,输入光场依然能沿着多模导光区高效的传输,这种结构中的光场传输是由全内反射和布喇格反射的联合作用而决定的.设计了一种全内反射偏振无关型光分束器,这种分束器在集成光学中具有重大的潜在应用价值.     

双修饰的Ising-Heisenberg平面模型几何量子关联

双修饰的Ising-Heisenberg平面模型是凝聚态物理领域一个受到比较广泛重视的模型。由于量子关联对于研究低温情况下物质的相变具有十分重要的意义,所以本文里我们考查了这个模型中同一个键里两个海森堡自旋量子关联的几何特性。另一方面,由于任何体系不可避免地要受到外界环境的影响,我们同样也求解了三种不同的局域通道作用下量子关联的几何测量,以期该文的研究结果对于研究噪声存在情况下体系的相变具有一定的借鉴意义。     

基于全内反射光子晶体多模波导偏振无关型光分束器

研究了全内反射在光子晶体多模波导中的作用,利用常规的耦合模理论对对称入射时的多模干涉行为和自映射现象进行了讨论和分析.研究表明,输入光场依然能沿着多模导光区高效的传输,这种结构中的光场传输是由全内反射和布喇格反射的联合作用而决定的.设计了一种全内反射偏振无关型光分束器,这种分束器在集成光学中具有重大的潜在应用价值.     

1×4光子晶体波导分束器的特性

在完整的二维光子晶体中引入线缺陷,形成了光子晶体波导,光子晶体波导分束器是集成化光学电路的重要组成元件。我们设计了一种线缺陷1×4光子晶体分束器,并且用有限时域差分法研究了它的特性。研究表明,输出端的透射传输特性与入射光的波长和分支的几何形状有关,并且入射波分别相等地流入四个输出端口。为了减少1×4分束器在三个Y型分支区的反射,可以通过调节在分支区的可调介质柱的半径R,使每个输出端口具有很高的透射率。     

一个开放的逻辑系统

本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限.作为开放逻辑的应用,本文给出了Rei-ter缺省推理理论的一个模型论解释.     

工科院校大学物理开放实验教学模式探讨与实践

以工科院校大学物理实验开放为例,阐述了实验室开放的基本形式和内容、管理和保障措施,并对大学物理开放式实验教学模式进行了探讨与实践。     

并发演算CC及其性质

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP和高阶通信系统演算CHOCS的主要特征.在CC中,通信端口可为任意表达式,并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects).从而CC不仅可以描述一阶通信行为,而且可以刻划通信网络的动态自修改行为.另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型.本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律.选择算子“+”在CCS,CMP,CHOCS及CC中都有相同的语义定义,本文将给它一种新的语义,体现了环境决定进程演变方向的原则,并研究了在此新语义下CC的代数性质.