排序方式： 共有3条查询结果，搜索用时 15 毫秒
1
1.
针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的． 相似文献
2.
环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力． 相似文献
3.
讨论了现有的编序式问卷调查排序方法的不足之处;提出了基于模糊偏序关系的编序式问卷调查的排序方法,给出了模糊偏序排序法的数学模型,论证了用模糊偏序关系对编序式问卷调查进行排序是一种较好的方法;并用实例分析了模糊偏序排序法应用于编序式问卷调查的具体操作步骤. 相似文献
1