分享到:

基于π演算的编程与表达能力研究

π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的表达能力比较有着重要意义:对于一些顺序计算模型,如果能找到它们在π演算中的编码,那么我们可以从并发的角度来研究顺序计算;对于一些看似比π演算能描述更多现象的计算模型,比如能够描述移动设备上的移动计算的Ambient演算,如果能够找到它们在π演算中的编码,那么就进一步证明了π演算的表达能力。这样的问题一些已有了答案,而一些仍然悬而未决,其中比较著名的就是λ演算在π演算中是否存在编码的问题。本文运用基于π的编程提出一个解决上述问题的统一方法:即将其它模型的语法语义用程序解释,然后再用π演算进行编程,从而得到由其它模型到π演算的编码。这样的方法简单直接,我们用这种方法找到了λ演算在π演算中的编码,并研究了MA演算在π中的编码。我们相信此方法可以用来解决更多模型与π演算之间的表达能力比较问题。本文  (本文共157页) 本文目录 | 阅读全文>>

《统计科学与实践》2020年08期
统计科学与实践

提高人口普查职业编码准确性的思考

准确的人口普查职业编码对人普工作具有重要意义,发挥重大作用。本文分析职业编码中信息表述不完整、人工编码效率低...  (本文共2页) 阅读全文>>

《条码与信息系统》2019年02期
条码与信息系统

编码事业正青春

...  (本文共1页) 阅读全文>>

《汽车与驾驶维修(维修版)》2018年06期
汽车与驾驶维修(维修版)

大众车系编码简谈

众所周知,大众、奥迪、斯柯达、西亚特和宾利等大众车系的车辆编码众多,因为"刷隐藏功能"和原厂增配升级的流行,使得大众车系给人一种"无控制单元不编码"的感觉。而且...  (本文共4页) 阅读全文>>

《检察风云》2018年14期
检察风云

数据

2024北京小客车指标办发布消息,截至2018年6月8日24时,普通小客车指标申请个人共有2808047个有效编码,2...  (本文共1页) 阅读全文>>

《中国自动识别技术》2014年04期
中国自动识别技术

编码里是诚信

...  (本文共1页) 阅读全文>>