排序方式: 共有13条查询结果,搜索用时 0 毫秒
1.
2.
3.
本文分析了Ada语言的汇聚机制(rendevous),并使用语法直接解释的方法(Syntax-directed translation)给出了一个在Ada子集上实现任务间同步及通讯的高效算法。 相似文献
4.
5.
双修饰的Ising-Heisenberg平面模型是凝聚态物理领域一个受到比较广泛重视的模型。由于量子关联对于研究低温情况下物质的相变具有十分重要的意义,所以本文里我们考查了这个模型中同一个键里两个海森堡自旋量子关联的几何特性。另一方面,由于任何体系不可避免地要受到外界环境的影响,我们同样也求解了三种不同的局域通道作用下量子关联的几何测量,以期该文的研究结果对于研究噪声存在情况下体系的相变具有一定的借鉴意义。 相似文献
6.
研究了全内反射在光子晶体多模波导中的作用,利用常规的耦合模理论对对称入射时的多模干涉行为和自映射现象进行了讨论和分析.研究表明,输入光场依然能沿着多模导光区高效的传输,这种结构中的光场传输是由全内反射和布喇格反射的联合作用而决定的.设计了一种全内反射偏振无关型光分束器,这种分束器在集成光学中具有重大的潜在应用价值. 相似文献
7.
8.
9.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP和高阶通信系统演算CHOCS的主要特征.在CC中,通信端口可为任意表达式,并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects).从而CC不仅可以描述一阶通信行为,而且可以刻划通信网络的动态自修改行为.另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型.本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律.选择算子“+”在CCS,CMP,CHOCS及CC中都有相同的语义定义,本文将给它一种新的语义,体现了环境决定进程演变方向的原则,并研究了在此新语义下CC的代数性质. 相似文献
10.