期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
多元χ演算运行时错误的不可判定性
1
作者 陈韬略 韩婷婷 +1 位作者 颜锋 吕建 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2004年第5期601-604,共4页
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检... 针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的. 展开更多
关键词 多元χ演算 运行时错误 不可判定性 并发理论 进程代数 通信安全
下载PDF
自指语句赋值与元胞自动机的动态特征之比较研究
2
作者 李振宇 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2019年第4期29-35,共7页
Patrick Grim等人运用计算机模拟研究方法,揭示出在■ukasiewicz模糊逻辑系统中自指语句赋值具有周期性和混沌行为等动态特征,而且在系统内混沌行为本身不可判定。元胞自动机同样具有周期性与混沌行为,而Mikhail Prokopenk等人通过构造&... Patrick Grim等人运用计算机模拟研究方法,揭示出在■ukasiewicz模糊逻辑系统中自指语句赋值具有周期性和混沌行为等动态特征,而且在系统内混沌行为本身不可判定。元胞自动机同样具有周期性与混沌行为,而Mikhail Prokopenk等人通过构造"自指",证明元胞自动机的动态也同样具有不可判定性。对两者进行比较研究,有助于进一步揭示它们之间的内在关联。 展开更多
关键词 计算机模拟方法 自指 混沌 元胞自动机 不可判定性
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部